runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482403-1307577581/watcher-3482403-1307577581 -o /tmp/evaluation-result-3482403-1307577581/solver-3482403-1307577581 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482403-1307577581.opb -seed 391022151 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/30092/stat : 30092 (python) R 30090 30092 28606 0 -1 4202496 916 0 0 0 0 0 0 0 25 0 1 0 869358945 16154624 796 33554432000 4194304 5683644 140736014853392 18446744073709551615 4509181 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30092/statm: 3944 800 349 364 0 431 0
[startup+0.113763 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/30092/stat : 30092 (python) R 30090 30092 28606 0 -1 4202496 3166 929 1 0 7 1 0 0 18 0 1 0 869358945 98430976 2483 33554432000 4194304 5683644 140736014853392 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30092/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.201483 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/30092/stat : 30092 (python) S 30090 30092 28606 0 -1 4202496 5356 929 1 0 11 4 0 0 17 0 1 0 869358945 126709760 3744 33554432000 4194304 5683644 140736014853392 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30092/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.301704 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=203276 CPUtime=0.23 cores=0,2,4,6
/proc/30092/stat : 30092 (python) S 30090 30092 28606 0 -1 4202496 6724 929 1 0 17 6 0 0 17 0 1 0 869358945 208154624 5003 33554432000 4194304 5683644 140736014853392 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30092/statm: 50819 5003 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.700659 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=286692 CPUtime=0.48 cores=0,2,4,6
/proc/30092/stat : 30092 (python) R 30090 30092 28606 0 -1 4202496 10249 929 1 0 37 11 0 0 15 0 1 0 869358945 293572608 7977 33554432000 4194304 5683644 140736014853392 18446744073709551615 222921426024 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30092/statm: 71673 7977 1777 364 0 6566 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 286692
[startup+1.50046 s]
/proc/loadavg: 2.19 2.02 1.43 2/293 30092
/proc/meminfo: memFree=30578820/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=302516 CPUtime=1.46 cores=0,2,4,6
/proc/30092/stat : 30092 (python) S 30090 30092 28606 0 -1 4202496 15405 1445 1 0 112 13 19 2 18 0 2 0 869358945 309776384 9471 33554432000 4194304 5683644 140736014853392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30092/statm: 75629 9471 1873 364 0 10516 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 302516
Solver just ended. Dumping a history of the last processes samples
[startup+2.10134 s]
/proc/loadavg: 2.19 2.02 1.43 3/314 30121
/proc/meminfo: memFree=30527380/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=302516 CPUtime=1.46 cores=0,2,4,6
/proc/30092/stat : 30092 (python) S 30090 30092 28606 0 -1 4202496 15405 1445 1 0 112 13 19 2 18 0 2 0 869358945 309776384 9471 33554432000 4194304 5683644 140736014853392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30092/statm: 75629 9471 1873 364 0 10516 0
[pid=30099] ppid=30092 vsize=292272 CPUtime=0 cores=0,2,4,6
/proc/30099/stat : 30099 (python) S 30092 30092 28606 0 -1 4202560 734 0 0 0 0 0 0 0 17 0 1 0 869359091 299286528 7912 33554432000 4194304 5683644 140736014853392 18446744073709551615 222921797135 0 0 16781312 33554946 8790857186491203841 0 0 17 0 0 0 0
/proc/30099/statm: 73068 7912 318 364 0 7955 0
[pid=30101] ppid=30099 vsize=8545848 CPUtime=1.5 cores=0,2,4,6
/proc/30101/stat : 30101 (java) S 30099 30101 30101 0 -1 4202496 27261 0 1 0 145 5 0 0 18 0 18 0 869359092 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30101/statm: 2136462 23498 2221 9 0 2127203 0
[pid=30101/tid=30102] ppid=30099 vsize=8545848 CPUtime=0.61 cores=0,2,4,6
/proc/30101/task/30102/stat : 30102 (java) R 30099 30101 30101 0 -1 4202560 16295 0 1 0 58 3 0 0 18 0 18 0 869359092 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 47815930603649 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30101/tid=30103] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30103/stat : 30103 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30104] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30104/stat : 30104 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30105] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30105/stat : 30105 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30106] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30106/stat : 30106 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30108] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30108/stat : 30108 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30109] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30109/stat : 30109 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30110] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30110/stat : 30110 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30111] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30111/stat : 30111 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30112] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30112/stat : 30112 (java) S 30099 30101 30101 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 869359094 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933593600 0 0 0 16800975 18446604445685913408 0 0 -1 0 0 0 0
[pid=30101/tid=30114] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30114/stat : 30114 (java) S 30099 30101 30101 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869359094 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30115] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30115/stat : 30115 (java) S 30099 30101 30101 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869359094 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 0 0 0 0
[pid=30101/tid=30116] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30116/stat : 30116 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869359097 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933600689 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30117] ppid=30099 vsize=8545848 CPUtime=0.41 cores=0,2,4,6
/proc/30101/task/30117/stat : 30117 (java) R 30099 30101 30101 0 -1 4202560 4452 0 0 0 41 0 0 0 19 0 18 0 869359097 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 47815931019713 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30101/tid=30118] ppid=30099 vsize=8545848 CPUtime=0.45 cores=0,2,4,6
/proc/30101/task/30118/stat : 30118 (java) R 30099 30101 30101 0 -1 4202560 5135 0 0 0 44 1 0 0 17 0 18 0 869359097 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 47815934616392 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30101/tid=30120] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30120/stat : 30120 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869359097 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30121] ppid=30099 vsize=8545848 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30121/stat : 30121 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869359097 8750948352 23498 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933593600 0 4 0 16800975 18446604445685913408 0 0 -1 4 0 0 0
[pid=30092/tid=30100] ppid=30090 vsize=302516 CPUtime=0.21 cores=0,2,4,6
/proc/30092/task/30100/stat : 30100 (python) S 30090 30092 28606 0 -1 4202560 27 1445 0 0 0 0 19 2 18 0 2 0 869359092 309776384 9471 33554432000 4194304 5683644 140736014853392 18446744073709551615 222933600689 0 0 16781312 33554434 18446604440293626112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 9140636
[startup+2.30135 s]
/proc/loadavg: 2.19 2.02 1.43 3/314 30121
/proc/meminfo: memFree=30527380/32951124 swapFree=53958412/67111528
[pid=30092] ppid=30090 vsize=302516 CPUtime=1.46 cores=0,2,4,6
/proc/30092/stat : 30092 (python) S 30090 30092 28606 0 -1 4202496 15405 1445 1 0 112 13 19 2 18 0 2 0 869358945 309776384 9471 33554432000 4194304 5683644 140736014853392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30092/statm: 75629 9471 1873 364 0 10516 0
[pid=30099] ppid=30092 vsize=292272 CPUtime=0 cores=0,2,4,6
/proc/30099/stat : 30099 (python) S 30092 30092 28606 0 -1 4202560 851 0 0 0 0 0 0 0 16 0 1 0 869359091 299286528 7918 33554432000 4194304 5683644 140736014853392 18446744073709551615 222921797135 0 0 16781312 33554946 3406706207363170304 0 0 17 0 0 0 0
/proc/30099/statm: 73068 7918 324 364 0 7955 0
[pid=30101] ppid=30099 vsize=8547904 CPUtime=1.99 cores=0,2,4,6
/proc/30101/stat : 30101 (java) S 30099 30101 30101 0 -1 4202496 29254 0 1 0 193 6 0 0 18 0 18 0 869359092 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30101/statm: 2136976 25490 2231 9 0 2127717 0
[pid=30101/tid=30102] ppid=30099 vsize=8547904 CPUtime=0.8 cores=0,2,4,6
/proc/30101/task/30102/stat : 30102 (java) S 30099 30101 30101 0 -1 4202560 18202 0 1 0 77 3 0 0 19 0 18 0 869359092 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 2 0 0 0
[pid=30101/tid=30103] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30103/stat : 30103 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30104] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30104/stat : 30104 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30105] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30105/stat : 30105 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30106] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30106/stat : 30106 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30108] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30108/stat : 30108 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30109] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30109/stat : 30109 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30110] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30110/stat : 30110 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30111] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30111/stat : 30111 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869359093 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30112] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30112/stat : 30112 (java) S 30099 30101 30101 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 869359094 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933593600 0 0 0 16800975 18446604445685913408 0 0 -1 0 0 0 0
[pid=30101/tid=30114] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30114/stat : 30114 (java) S 30099 30101 30101 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869359094 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30115] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30115/stat : 30115 (java) S 30099 30101 30101 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869359094 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 0 0 0 0
[pid=30101/tid=30116] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30116/stat : 30116 (java) S 30099 30101 30101 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 869359097 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30117] ppid=30099 vsize=8547904 CPUtime=0.54 cores=0,2,4,6
/proc/30101/task/30117/stat : 30117 (java) S 30099 30101 30101 0 -1 4202560 4473 0 0 0 54 0 0 0 19 0 18 0 869359097 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 0 0 0 0
[pid=30101/tid=30118] ppid=30099 vsize=8547904 CPUtime=0.61 cores=0,2,4,6
/proc/30101/task/30118/stat : 30118 (java) S 30099 30101 30101 0 -1 4202560 5156 0 0 0 60 1 0 0 17 0 18 0 869359097 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30101/tid=30120] ppid=30099 vsize=8547904 CPUtime=0 cores=0,2,4,6
/proc/30101/task/30120/stat : 30120 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869359097 8753053696 25490 33554432000 1073741824 1073778376 140735329689440 18446744073709551615 222933592985 0 4 0 16800975 18446604445685913408 0 0 -1 6 0 0 0
[pid=30092/tid=30100] ppid=30090 vsize=302516 CPUtime=0.21 cores=0,2,4,6
/proc/30092/task/30100/stat : 30100 (python) S 30090 30092 28606 0 -1 4202560 27 1445 0 0 0 0 19 2 18 0 2 0 869359092 309776384 9471 33554432000 4194304 5683644 140736014853392 18446744073709551615 222933600689 0 0 16781312 33554434 18446604440293626112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9142692
Child status: 0
Real time (s): 2.33914
CPU time (s): 3.50747
CPU user time (s): 3.2745
CPU system time (s): 0.232964
CPU usage (%): 149.947
Max. virtual memory (cumulated for all children) (KiB): 9142692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2745
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52804
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11655
involuntary context switches= 89
runsolver used 0.006998 second user time and 0.013997 second system time
The end