runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/rand394916.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand394916.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand394916.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.25 1.09 1.02 1/94 9568 /proc/meminfo: memFree=1232516/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=1312 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4194304 84 0 0 0 0 0 0 0 25 0 1 0 416252017 1343488 27 1283457024 134512640 135539072 4292423216 18446744073709551615 4160266372 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/9569/statm: 333 27 20 251 0 12 0 [startup+0.200664 s] /proc/loadavg: 1.25 1.09 1.02 1/94 9568 /proc/meminfo: memFree=1232516/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.304331 s] /proc/loadavg: 1.25 1.09 1.02 1/94 9568 /proc/meminfo: memFree=1232516/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.48953 s] /proc/loadavg: 1.25 1.09 1.02 1/94 9568 /proc/meminfo: memFree=1232516/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.874365 s] /proc/loadavg: 1.25 1.09 1.02 1/94 9568 /proc/meminfo: memFree=1232516/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.5106 s] /proc/loadavg: 1.25 1.09 1.02 2/108 9582 /proc/meminfo: memFree=1152176/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 [pid=9571] ppid=9569 vsize=871216 CPUtime=2.43 /proc/9571/stat : 9571 (java) S 9569 9568 13759 34823 13904 4202496 28579 0 0 0 223 20 0 0 18 0 12 0 416252018 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159931538 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9571/statm: 217804 23987 1744 10 0 214891 0 [pid=9571/tid=9572] ppid=9569 vsize=871216 CPUtime=1.15 /proc/9571/task/9572/stat : 9572 (java) R 9569 9568 13759 34823 13904 4202560 9286 0 0 0 109 6 0 0 17 0 12 0 416252020 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4095501530 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9571/tid=9573] ppid=9569 vsize=871216 CPUtime=0.15 /proc/9571/task/9573/stat : 9573 (java) S 9569 9568 13759 34823 13904 4202560 5420 0 0 0 8 7 0 0 15 0 12 0 416252020 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9574] ppid=9569 vsize=871216 CPUtime=0.13 /proc/9571/task/9574/stat : 9574 (java) S 9569 9568 13759 34823 13904 4202560 5908 0 0 0 12 1 0 0 16 0 12 0 416252020 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9575] ppid=9569 vsize=871216 CPUtime=0.09 /proc/9571/task/9575/stat : 9575 (java) S 9569 9568 13759 34823 13904 4202560 88 0 0 0 9 0 0 0 16 0 12 0 416252022 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 0 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9576] ppid=9569 vsize=871216 CPUtime=0 /proc/9571/task/9576/stat : 9576 (java) S 9569 9568 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 20 0 12 0 416252022 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9577] ppid=9569 vsize=871216 CPUtime=0 /proc/9571/task/9577/stat : 9577 (java) S 9569 9568 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 19 0 12 0 416252022 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9578] ppid=9569 vsize=871216 CPUtime=0 /proc/9571/task/9578/stat : 9578 (java) S 9569 9568 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416252025 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159953232 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9579] ppid=9569 vsize=871216 CPUtime=0.66 /proc/9571/task/9579/stat : 9579 (java) S 9569 9568 13759 34823 13904 4202560 5521 0 0 0 62 4 0 0 17 0 12 0 416252025 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9580] ppid=9569 vsize=871216 CPUtime=0.21 /proc/9571/task/9580/stat : 9580 (java) S 9569 9568 13759 34823 13904 4202560 946 0 0 0 21 0 0 0 17 0 12 0 416252025 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9581] ppid=9569 vsize=871216 CPUtime=0 /proc/9571/task/9581/stat : 9581 (java) S 9569 9568 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416252025 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9582] ppid=9569 vsize=871216 CPUtime=0 /proc/9571/task/9582/stat : 9582 (java) S 9569 9568 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 416252025 892125184 23987 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 877600 [startup+3.11172 s] /proc/loadavg: 1.39 1.12 1.03 5/108 9582 /proc/meminfo: memFree=1080008/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 [pid=9571] ppid=9569 vsize=876540 CPUtime=5.18 /proc/9571/stat : 9571 (java) S 9569 9568 13759 34823 13904 4202496 52221 0 0 0 485 33 0 0 18 0 12 0 416252018 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159931538 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9571/statm: 219135 43914 1770 10 0 216222 0 [pid=9571/tid=9572] ppid=9569 vsize=876540 CPUtime=2.4 /proc/9571/task/9572/stat : 9572 (java) R 9569 9568 13759 34823 13904 4202560 15882 0 0 0 231 9 0 0 16 0 12 0 416252020 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4095158472 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9571/tid=9573] ppid=9569 vsize=876540 CPUtime=0.28 /proc/9571/task/9573/stat : 9573 (java) S 9569 9568 13759 34823 13904 4202560 10929 0 0 0 18 10 0 0 16 0 12 0 416252020 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9574] ppid=9569 vsize=876540 CPUtime=0.27 /proc/9571/task/9574/stat : 9574 (java) S 9569 9568 13759 34823 13904 4202560 11472 0 0 0 24 3 0 0 15 0 12 0 416252020 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9575] ppid=9569 vsize=876540 CPUtime=0.26 /proc/9571/task/9575/stat : 9575 (java) S 9569 9568 13759 34823 13904 4202560 2170 0 0 0 26 0 0 0 15 0 12 0 416252022 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 0 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9576] ppid=9569 vsize=876540 CPUtime=0 /proc/9571/task/9576/stat : 9576 (java) R 9569 9568 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 18 0 12 0 416252022 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9571/tid=9577] ppid=9569 vsize=876540 CPUtime=0 /proc/9571/task/9577/stat : 9577 (java) S 9569 9568 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 19 0 12 0 416252022 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9578] ppid=9569 vsize=876540 CPUtime=0 /proc/9571/task/9578/stat : 9578 (java) S 9569 9568 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416252025 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159953232 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9579] ppid=9569 vsize=876540 CPUtime=1.21 /proc/9571/task/9579/stat : 9579 (java) R 9569 9568 13759 34823 13904 4202560 6727 0 0 0 117 4 0 0 16 0 12 0 416252025 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4147397366 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9571/tid=9580] ppid=9569 vsize=876540 CPUtime=0.7 /proc/9571/task/9580/stat : 9580 (java) R 9569 9568 13759 34823 13904 4202560 3631 0 0 0 66 4 0 0 15 0 12 0 416252025 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4150038016 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9571/tid=9581] ppid=9569 vsize=876540 CPUtime=0 /proc/9571/task/9581/stat : 9581 (java) S 9569 9568 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416252025 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9582] ppid=9569 vsize=876540 CPUtime=0 /proc/9571/task/9582/stat : 9582 (java) S 9569 9568 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 416252025 897576960 43914 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 882924 Solver just ended. Dumping a history of the last processes samples [startup+3.41177 s] /proc/loadavg: 1.39 1.12 1.03 5/108 9582 /proc/meminfo: memFree=1080008/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=0 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 [pid=9571] ppid=9569 vsize=876928 CPUtime=5.78 /proc/9571/stat : 9571 (java) S 9569 9568 13759 34823 13904 4202496 52345 0 0 0 545 33 0 0 18 0 12 0 416252018 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159931538 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9571/statm: 219232 44038 1770 10 0 216319 0 [pid=9571/tid=9572] ppid=9569 vsize=876928 CPUtime=2.7 /proc/9571/task/9572/stat : 9572 (java) R 9569 9568 13759 34823 13904 4202560 15889 0 0 0 261 9 0 0 16 0 12 0 416252020 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4096008397 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9571/tid=9573] ppid=9569 vsize=876928 CPUtime=0.28 /proc/9571/task/9573/stat : 9573 (java) S 9569 9568 13759 34823 13904 4202560 10929 0 0 0 18 10 0 0 16 0 12 0 416252020 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9574] ppid=9569 vsize=876928 CPUtime=0.27 /proc/9571/task/9574/stat : 9574 (java) S 9569 9568 13759 34823 13904 4202560 11472 0 0 0 24 3 0 0 15 0 12 0 416252020 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9575] ppid=9569 vsize=876928 CPUtime=0.26 /proc/9571/task/9575/stat : 9575 (java) S 9569 9568 13759 34823 13904 4202560 2170 0 0 0 26 0 0 0 15 0 12 0 416252022 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 0 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 [pid=9571/tid=9576] ppid=9569 vsize=876928 CPUtime=0 /proc/9571/task/9576/stat : 9576 (java) R 9569 9568 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 18 0 12 0 416252022 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9571/tid=9577] ppid=9569 vsize=876928 CPUtime=0 /proc/9571/task/9577/stat : 9577 (java) S 9569 9568 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 19 0 12 0 416252022 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9578] ppid=9569 vsize=876928 CPUtime=0 /proc/9571/task/9578/stat : 9578 (java) S 9569 9568 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416252025 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159953232 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9579] ppid=9569 vsize=876928 CPUtime=1.23 /proc/9571/task/9579/stat : 9579 (java) R 9569 9568 13759 34823 13904 4202560 6727 0 0 0 119 4 0 0 16 0 12 0 416252025 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4148686531 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9571/tid=9580] ppid=9569 vsize=876928 CPUtime=0.98 /proc/9571/task/9580/stat : 9580 (java) R 9569 9568 13759 34823 13904 4202560 3748 0 0 0 94 4 0 0 16 0 12 0 416252025 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4150042569 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9571/tid=9581] ppid=9569 vsize=876928 CPUtime=0 /proc/9571/task/9581/stat : 9581 (java) S 9569 9568 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416252025 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159944944 0 4 0 16800975 18446612134451771456 0 0 -1 0 0 0 0 [pid=9571/tid=9582] ppid=9569 vsize=876928 CPUtime=0 /proc/9571/task/9582/stat : 9582 (java) S 9569 9568 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 416252025 897974272 44038 1283457024 134512640 134550932 4286728208 18446744073709551615 4159945736 0 4 0 16800975 18446612134451771456 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.78 Current children cumulated vsize (KiB) 883312 [startup+4.20668 s] /proc/loadavg: 1.39 1.12 1.03 6/108 9582 /proc/meminfo: memFree=1061780/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=6.62 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 783 52794 0 0 0 0 625 37 18 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 6.62 Current children cumulated vsize (KiB) 6384 [startup+4.61061 s] /proc/loadavg: 1.39 1.12 1.03 2/98 9588 /proc/meminfo: memFree=1197748/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=7.06 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 811 53642 0 0 0 0 663 43 15 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 [pid=9586] ppid=9569 vsize=2892 CPUtime=0 /proc/9586/stat : 9586 (sh) S 9569 9568 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416252449 2961408 321 1283457024 134512640 135191968 4287084928 18446744073709551615 4158950030 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9586/statm: 723 321 219 166 0 155 0 [pid=9587] ppid=9586 vsize=30440 CPUtime=0.27 /proc/9587/stat : 9587 (msuncore) R 9586 9568 13759 34823 13904 4202496 7567 0 0 0 25 2 0 0 18 0 1 0 416252450 31170560 7387 1283457024 134512640 135858300 4289221536 18446744073709551615 134615965 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9587/statm: 7610 7387 113 329 0 7279 0 Current children cumulated CPU time (s) 7.33 Current children cumulated vsize (KiB) 39716 [startup+5.00673 s] /proc/loadavg: 1.39 1.12 1.03 2/98 9588 /proc/meminfo: memFree=1197748/2097152 swapFree=2055676/2097144 [pid=9568] ppid=9567 vsize=2380 CPUtime=0 /proc/9568/stat : 9568 (inescp-1.0) S 9567 9568 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416252016 2437120 259 1283457024 134512640 135191968 4287863248 18446744073709551615 4158765710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9568/statm: 595 259 221 166 0 27 0 [pid=9569] ppid=9568 vsize=4004 CPUtime=7.06 /proc/9569/stat : 9569 (cudf-solver.py) S 9568 9568 13759 34823 13904 4202496 811 53642 0 0 0 0 663 43 15 0 1 0 416252017 4100096 642 1283457024 134512640 135539072 4292423216 18446744073709551615 4159167118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9569/statm: 1001 642 346 251 0 302 0 [pid=9586] ppid=9569 vsize=2892 CPUtime=0 /proc/9586/stat : 9586 (sh) S 9569 9568 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416252449 2961408 321 1283457024 134512640 135191968 4287084928 18446744073709551615 4158950030 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9586/statm: 723 321 219 166 0 155 0 [pid=9587] ppid=9586 vsize=13848 CPUtime=0.66 /proc/9587/stat : 9587 (msuncore) R 9586 9568 13759 34823 13904 4202496 14241 0 0 0 60 6 0 0 18 0 1 0 416252450 14180352 3236 1283457024 134512640 135858300 4289221536 18446744073709551615 134620129 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/9587/statm: 3462 3236 133 329 0 3131 0 Current children cumulated CPU time (s) 7.72 Current children cumulated vsize (KiB) 23124 Child status: 0 Real time (s): 5.06234 CPU time (s): 7.79649 CPU user time (s): 7.29646 CPU system time (s): 0.500031 CPU usage (%): 154.009 Max. virtual memory (cumulated for all children) (KiB): 885416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.29646 system time used= 0.500031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70173 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 406 involuntary context switches= 265 runsolver used 0 second user time and 0.004 second system time The end