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-3481921-1307577176/watcher-3481921-1307577176 -o /tmp/evaluation-result-3481921-1307577176/solver-3481921-1307577176 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481921-1307577176.opb -seed 1719461105 -budget 1800
running on 4 cores: 1,3,5,7
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.07 1.93 1.19 2/540 5189
/proc/meminfo: memFree=24109880/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=15188 CPUtime=0 cores=1,3,5,7
/proc/5189/stat : 5189 (python) R 5187 5189 4987 0 -1 4202496 736 0 0 0 0 0 0 0 22 0 1 0 850133839 15552512 624 33554432000 4194304 5683644 140733384893008 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5189/statm: 3846 637 322 364 0 333 0
[startup+0.071561 s]
/proc/loadavg: 2.07 1.93 1.19 2/540 5189
/proc/meminfo: memFree=24109880/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=36504 CPUtime=0.04 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 1614 0 0 0 3 1 0 0 17 0 1 0 850133839 37380096 1445 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/5189/statm: 9126 1445 452 364 0 943 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36504
[startup+0.100558 s]
/proc/loadavg: 2.07 1.93 1.19 2/540 5189
/proc/meminfo: memFree=24109880/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 2663 0 0 0 5 1 0 0 17 0 1 0 850133839 87670784 2381 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/5189/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300552 s]
/proc/loadavg: 2.07 1.93 1.19 2/540 5189
/proc/meminfo: memFree=24109880/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 5356 931 1 0 11 6 0 0 16 0 1 0 850133839 126705664 3743 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106764805 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/5189/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.700462 s]
/proc/loadavg: 2.07 1.93 1.19 2/540 5189
/proc/meminfo: memFree=24109880/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=283680 CPUtime=0.44 cores=1,3,5,7
/proc/5189/stat : 5189 (python) R 5187 5189 4987 0 -1 4202496 9373 931 1 0 32 12 0 0 15 0 1 0 850133839 290488320 7236 33554432000 4194304 5683644 140733384893008 18446744073709551615 5008032 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5189/statm: 70920 7236 1781 364 0 5813 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 283680
[startup+1.50034 s]
/proc/loadavg: 2.07 1.93 1.19 3/541 5194
/proc/meminfo: memFree=24082320/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=297528 CPUtime=0.76 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 11190 931 1 0 64 12 0 0 18 0 2 0 850133839 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5189/statm: 74382 8221 1870 364 0 9269 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 297528
[startup+3.10103 s]
/proc/loadavg: 2.07 1.93 1.19 3/562 5215
/proc/meminfo: memFree=23998692/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=297528 CPUtime=0.76 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 11190 931 1 0 64 12 0 0 18 0 2 0 850133839 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5189/statm: 74382 8221 1870 364 0 9269 0
[pid=5195] ppid=5189 vsize=287284 CPUtime=0 cores=1,3,5,7
/proc/5195/stat : 5195 (python) S 5189 5189 4987 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 850133942 294178816 6698 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106788879 0 0 16781312 33554946 1616160588205916160 0 0 17 1 0 0 0
/proc/5195/statm: 71821 6698 351 364 0 6708 0
[pid=5197] ppid=5195 vsize=8538252 CPUtime=2.96 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 5197 0 -1 4202496 30855 0 1 0 291 5 0 0 18 0 19 0 850133942 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5197/statm: 2134563 27143 2255 9 0 2125304 0
[pid=5197/tid=5198] ppid=5195 vsize=8538252 CPUtime=2.02 cores=1,3,5,7
/proc/5197/task/5198/stat : 5198 (java) R 5195 5197 5197 0 -1 4202560 19092 0 1 0 199 3 0 0 19 0 19 0 850133943 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 46912505830771 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5197/tid=5199] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 5197 0 -1 4202560 874 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 5197 0 -1 4202560 1163 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133944 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=8538252 CPUtime=0.01 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 5197 0 -1 4202560 1996 0 0 0 1 0 0 0 15 0 19 0 850133945 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 0 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 5197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850133945 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 5197 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850133945 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850133947 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118592433 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=8538252 CPUtime=0.45 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 5197 0 -1 4202560 2347 0 0 0 45 0 0 0 15 0 19 0 850133947 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=8538252 CPUtime=0.44 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 5197 0 -1 4202560 4001 0 0 0 44 0 0 0 15 0 19 0 850133947 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850133948 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850133948 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 5197 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850133990 8743170048 27143 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5189/tid=5196] ppid=5187 vsize=297528 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5196/stat : 5196 (python) S 5187 5189 4987 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850133942 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9123064
[startup+6.30147 s]
/proc/loadavg: 2.06 1.94 1.19 3/562 5215
/proc/meminfo: memFree=23937312/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=297528 CPUtime=0.76 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 11190 931 1 0 64 12 0 0 18 0 2 0 850133839 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5189/statm: 74382 8221 1870 364 0 9269 0
[pid=5195] ppid=5189 vsize=287284 CPUtime=0.02 cores=1,3,5,7
/proc/5195/stat : 5195 (python) S 5189 5189 4987 0 -1 4202560 907 0 0 0 1 1 0 0 15 0 1 0 850133942 294178816 6722 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106788879 0 0 16781312 33554946 3877702757813059584 0 0 17 1 0 0 0
/proc/5195/statm: 71821 6722 375 364 0 6708 0
[pid=5197] ppid=5195 vsize=8538252 CPUtime=6.2 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 5197 0 -1 4202496 40139 0 1 0 614 6 0 0 18 0 19 0 850133942 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5197/statm: 2134563 36420 2256 9 0 2125304 0
[pid=5197/tid=5198] ppid=5195 vsize=8538252 CPUtime=5.13 cores=1,3,5,7
/proc/5197/task/5198/stat : 5198 (java) R 5195 5197 5197 0 -1 4202560 19095 0 1 0 510 3 0 0 25 0 19 0 850133943 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 46912505601223 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5197/tid=5199] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 5197 0 -1 4202560 874 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 5197 0 -1 4202560 1127 0 0 0 0 0 0 0 16 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 5197 0 -1 4202560 606 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 5197 0 -1 4202560 1163 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=8538252 CPUtime=0.01 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 5197 0 -1 4202560 2097 0 0 0 1 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 5197 0 -1 4202560 2280 0 0 0 0 0 0 0 15 0 19 0 850133944 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=8538252 CPUtime=0.06 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 5197 0 -1 4202560 5161 0 0 0 6 0 0 0 15 0 19 0 850133945 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 0 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 5197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850133945 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 5197 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850133945 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850133947 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118592433 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=8538252 CPUtime=0.48 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 5197 0 -1 4202560 2356 0 0 0 48 0 0 0 15 0 19 0 850133947 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=8538252 CPUtime=0.44 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 5197 0 -1 4202560 4002 0 0 0 44 0 0 0 15 0 19 0 850133947 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850133948 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850133948 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 5197 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850133990 8743170048 36420 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446604466629297088 0 0 -1 7 0 0 0
[pid=5189/tid=5196] ppid=5187 vsize=297528 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5196/stat : 5196 (python) S 5187 5189 4987 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850133942 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9123064
[startup+12.7013 s]
/proc/loadavg: 2.06 1.94 1.20 3/562 5215
/proc/meminfo: memFree=23902388/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=297528 CPUtime=0.76 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 11190 931 1 0 64 12 0 0 18 0 2 0 850133839 304668672 8221 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5189/statm: 74382 8221 1870 364 0 9269 0
[pid=5195] ppid=5189 vsize=287284 CPUtime=0.03 cores=1,3,5,7
/proc/5195/stat : 5195 (python) S 5189 5189 4987 0 -1 4202560 910 0 0 0 1 2 0 0 15 0 1 0 850133942 294178816 6722 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106788879 0 0 16781312 33554946 2274976780064391168 0 0 17 5 0 0 0
/proc/5195/statm: 71821 6722 375 364 0 6708 0
[pid=5197] ppid=5195 vsize=8537544 CPUtime=12.67 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 5197 0 -1 4202496 48120 0 1 0 1260 7 0 0 18 0 19 0 850133942 8742445056 44006 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5197/statm: 2134386 44006 2256 9 0 2125127 0
[pid=5197/tid=5198] ppid=5195 vsize=8537544 CPUtime=11.4 cores=1,3,5,7
/proc/5197/task/5198/stat : 5198 (java) R 5195 5197 5197 0 -1 4202560 19099 0 1 0 1137 3 0 0 25 0 19 0 850133943 8742445056 44006 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 46912505793241 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5197/tid=5199] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 5197 0 -1 4202560 1287 0 0 0 0 0 0 0 16 0 19 0 850133944 8742445056 44006 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 5197 0 -1 4202560 1916 0 0 0 0 0 0 0 15 0 19 0 850133944 8742445056 44006 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850133944 8742445056 44006 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446604466629297088 0 0 -1 5 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=5224/tid=5229] ppid=5189 vsize=307796 CPUtime=0 cores=1,3,5,7
/proc/5224/task/5229/stat : 5229 (python) S 5189 5189 4987 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850153184 315183104 6753 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554946 18446604467976666048 0 0 -1 7 0 0 0
[pid=5230] ppid=5189 vsize=318052 CPUtime=0.37 cores=1,3,5,7
/proc/5230/stat : 5230 (python) S 5189 5189 4987 0 -1 4202560 985 0 0 0 18 19 0 0 15 0 1 0 850153186 325685248 6732 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106788934 0 0 16781312 33554946 5623753486446373634 0 0 17 7 0 0 0
/proc/5230/statm: 79513 6732 373 364 0 14391 0
[pid=5232] ppid=5230 vsize=25176 CPUtime=88.82 cores=1,3,5,7
/proc/5232/stat : 5232 (clasp-1.3.7-x86) R 5230 5232 5232 0 -1 4202496 6362 0 0 0 8881 1 0 0 25 0 1 0 850153187 25780224 6039 33554432000 134512640 136139019 4291568432 18446744073709551615 134632461 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5232/statm: 6294 6039 187 398 0 5894 0
[pid=5189/tid=5196] ppid=5187 vsize=328296 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5196/stat : 5196 (python) S 5187 5189 4987 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 5 0 850133942 336175104 8240 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
[pid=5189/tid=5219] ppid=5187 vsize=328296 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5219/stat : 5219 (python) S 5187 5189 4987 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 5 0 850138777 336175104 8240 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
[pid=5189/tid=5225] ppid=5187 vsize=328296 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5225/stat : 5225 (python) S 5187 5189 4987 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 850148281 336175104 8240 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 1 0 0 0
[pid=5189/tid=5231] ppid=5187 vsize=328296 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5231/stat : 5231 (python) S 5187 5189 4987 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 850153187 336175104 8240 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.56
Current children cumulated vsize (KiB) 10293380
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+287.002 s]
/proc/loadavg: 2.04 2.01 1.41 4/596 5256
/proc/meminfo: memFree=22985400/32951124 swapFree=56717704/67111528
[pid=5189] ppid=5187 vsize=338552 CPUtime=0.88 cores=1,3,5,7
/proc/5189/stat : 5189 (python) S 5187 5189 4987 0 -1 4202496 14788 931 1 0 75 13 0 0 19 0 6 0 850133839 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5189/statm: 84638 8246 1879 364 0 19513 0
[pid=5195] ppid=5189 vsize=297528 CPUtime=0.46 cores=1,3,5,7
/proc/5195/stat : 5195 (python) S 5189 5189 4987 0 -1 4202560 1113 0 0 0 20 26 0 0 15 0 2 0 850133942 304668672 6759 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5195/statm: 74382 6759 407 364 0 9269 0
[pid=5197] ppid=5195 vsize=8537544 CPUtime=95.34 cores=1,3,5,7
/proc/5197/stat : 5197 (java) T 5195 5197 5197 0 -1 4202496 74971 0 1 0 9523 11 0 0 18 0 19 0 850133942 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5197/statm: 2134386 69698 2256 9 0 2125127 0
[pid=5197/tid=5198] ppid=5195 vsize=8537544 CPUtime=92.94 cores=1,3,5,7
/proc/5197/task/5198/stat : 5198 (java) T 5195 5197 5197 0 -1 4202560 19281 0 1 0 9291 3 0 0 25 0 19 0 850133943 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 46912506022278 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5197/tid=5199] ppid=5195 vsize=8537544 CPUtime=0.06 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) T 5195 5197 5197 0 -1 4202560 3962 0 0 0 6 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=8537544 CPUtime=0.07 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) T 5195 5197 5197 0 -1 4202560 4936 0 0 0 7 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=8537544 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) T 5195 5197 5197 0 -1 4202560 1962 0 0 0 4 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=8537544 CPUtime=0.06 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) T 5195 5197 5197 0 -1 4202560 2671 0 0 0 6 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=8537544 CPUtime=0.06 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) T 5195 5197 5197 0 -1 4202560 3337 0 0 0 6 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=8537544 CPUtime=0.1 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) T 5195 5197 5197 0 -1 4202560 10859 0 0 0 10 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=8537544 CPUtime=0.07 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) T 5195 5197 5197 0 -1 4202560 5064 0 0 0 7 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=8537544 CPUtime=0.09 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) T 5195 5197 5197 0 -1 4202560 5522 0 0 0 9 0 0 0 15 0 19 0 850133944 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=8537544 CPUtime=0.75 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) T 5195 5197 5197 0 -1 4202560 9622 0 0 0 74 1 0 0 15 0 19 0 850133945 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) T 5195 5197 5197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850133945 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) T 5195 5197 5197 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850133945 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) T 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133947 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=8537544 CPUtime=0.53 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) T 5195 5197 5197 0 -1 4202560 2369 0 0 0 53 0 0 0 15 0 19 0 850133947 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=8537544 CPUtime=0.44 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) T 5195 5197 5197 0 -1 4202560 4002 0 0 0 44 0 0 0 15 0 19 0 850133947 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) T 5195 5197 5197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850133948 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) T 5195 5197 5197 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 850133948 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=8537544 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) T 5195 5197 5197 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850133990 8742445056 69698 33554432000 1073741824 1073778376 140734638335808 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5195/tid=5217] ppid=5189 vsize=297528 CPUtime=0 cores=1,3,5,7
/proc/5195/task/5217/stat : 5217 (python) S 5189 5189 4987 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 850138774 304668672 6759 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554946 18446604471136892992 0 0 -1 5 0 0 0
[pid=5218] ppid=5189 vsize=297540 CPUtime=0.25 cores=1,3,5,7
/proc/5218/stat : 5218 (python) S 5189 5189 4987 0 -1 4202560 1172 0 0 0 14 11 0 0 16 0 2 0 850138776 304680960 6755 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/5218/statm: 74385 6755 403 364 0 9269 0
[pid=5220] ppid=5218 vsize=66632 CPUtime=49.23 cores=1,3,5,7
/proc/5220/stat : 5220 (wbo1.4a) T 5218 5220 5220 0 -1 4202496 17238 0 0 0 4870 53 0 0 25 0 1 0 850138777 68231168 16184 33554432000 134512640 135751879 4292731760 18446744073709551615 134616786 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/5220/statm: 16658 16184 146 303 0 16353 0
[pid=5218/tid=5222] ppid=5189 vsize=297540 CPUtime=0 cores=1,3,5,7
/proc/5218/task/5222/stat : 5222 (python) S 5189 5189 4987 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850143700 304680960 6755 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554946 18446604470016666560 0 0 -1 3 0 0 0
[pid=5224] ppid=5189 vsize=307796 CPUtime=0.21 cores=1,3,5,7
/proc/5224/stat : 5224 (python) S 5189 5189 4987 0 -1 4202560 1124 0 0 0 11 10 0 0 17 0 2 0 850148281 315183104 6753 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5224/statm: 76949 6753 397 364 0 11830 0
[pid=5226] ppid=5224 vsize=114816 CPUtime=49.02 cores=1,3,5,7
/proc/5226/stat : 5226 (pbct-0.1.2-linu) T 5224 5226 5226 0 -1 4202496 29442 0 0 0 4790 112 0 0 25 0 1 0 850148281 117571584 27949 33554432000 134512640 136422188 4294097824 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/5226/statm: 28704 27949 236 467 0 28235 0
[pid=5224/tid=5229] ppid=5189 vsize=307796 CPUtime=0 cores=1,3,5,7
/proc/5224/task/5229/stat : 5229 (python) S 5189 5189 4987 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850153184 315183104 6753 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554946 18446604467976666048 0 0 -1 7 0 0 0
[pid=5230] ppid=5189 vsize=318052 CPUtime=0.39 cores=1,3,5,7
/proc/5230/stat : 5230 (python) S 5189 5189 4987 0 -1 4202560 1152 0 0 0 19 20 0 0 16 0 2 0 850153186 325685248 6757 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5230/statm: 79513 6757 397 364 0 14391 0
[pid=5232] ppid=5230 vsize=25176 CPUtime=92.4 cores=1,3,5,7
/proc/5232/stat : 5232 (clasp-1.3.7-x86) T 5230 5232 5232 0 -1 4202496 6362 0 0 0 9239 1 0 0 25 0 1 0 850153187 25780224 6039 33554432000 134512640 136139019 4291568432 18446744073709551615 134599813 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5232/statm: 6294 6039 187 398 0 5894 0
[pid=5230/tid=5235] ppid=5189 vsize=318052 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (python) S 5189 5189 4987 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850162427 325685248 6757 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554946 18446604454882030848 0 0 -1 7 0 0 0
[pid=5236] ppid=5189 vsize=328308 CPUtime=0 cores=1,3,5,7
/proc/5236/stat : 5236 (python) S 5189 5189 4987 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 850162430 336187392 6712 33554432000 4194304 5683644 140733384893008 18446744073709551615 255106788934 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/5236/statm: 82077 6712 349 364 0 16952 0
[pid=5238] ppid=5236 vsize=8555300 CPUtime=2.69 cores=1,3,5,7
/proc/5238/stat : 5238 (java) S 5236 5238 5238 0 -1 4202496 46555 0 1 0 263 6 0 0 20 0 19 0 850162430 8760627200 40951 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5238/statm: 2138825 40952 2229 9 0 2129566 0
[pid=5238/tid=5239] ppid=5236 vsize=8555300 CPUtime=1.1 cores=1,3,5,7
/proc/5238/task/5239/stat : 5239 (java) R 5236 5238 5238 0 -1 4202560 29729 0 1 0 106 4 0 0 19 0 19 0 850162431 8760627200 41713 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 46912505878504 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5238/tid=5240] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5240/stat : 5240 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850162432 8760627200 41716 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5241] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5241/stat : 5241 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850162432 8760627200 41719 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5242] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5242/stat : 5242 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850162432 8760627200 41722 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5243] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5243/stat : 5243 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162432 8760627200 41724 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 7 0 0 0
[pid=5238/tid=5244] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5244/stat : 5244 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162432 8760627200 41726 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 7 0 0 0
[pid=5238/tid=5245] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5245/stat : 5245 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162432 8760627200 41726 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 7 0 0 0
[pid=5238/tid=5246] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5246/stat : 5246 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162432 8760627200 41726 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 7 0 0 0
[pid=5238/tid=5247] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5247/stat : 5247 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162432 8760627200 41726 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 7 0 0 0
[pid=5238/tid=5248] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5248/stat : 5248 (java) S 5236 5238 5238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 850162433 8760627200 41727 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118585344 0 0 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5249] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5249/stat : 5249 (java) S 5236 5238 5238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850162433 8760627200 41729 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5250] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5250/stat : 5250 (java) S 5236 5238 5238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850162433 8760627200 41730 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5251] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5251/stat : 5251 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162436 8760627200 41732 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118592433 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5252] ppid=5236 vsize=8555300 CPUtime=0.8 cores=1,3,5,7
/proc/5238/task/5252/stat : 5252 (java) S 5236 5238 5238 0 -1 4202560 9271 0 0 0 80 0 0 0 25 0 19 0 850162436 8760627200 41733 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 3 0 0 0
[pid=5238/tid=5253] ppid=5236 vsize=8555300 CPUtime=0.77 cores=1,3,5,7
/proc/5238/task/5253/stat : 5253 (java) S 5236 5238 5238 0 -1 4202560 6912 0 0 0 77 0 0 0 25 0 19 0 850162436 8760627200 41734 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 3 0 0 0
[pid=5238/tid=5254] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5254/stat : 5254 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850162436 8760627200 41735 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118584729 0 4 0 16800975 18446604468930632704 0 0 -1 1 0 0 0
[pid=5238/tid=5255] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5255/stat : 5255 (java) S 5236 5238 5238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850162436 8760627200 41736 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118585344 0 4 0 16800975 18446604468930632704 0 0 -1 3 0 0 0
[pid=5238/tid=5256] ppid=5236 vsize=8555300 CPUtime=0 cores=1,3,5,7
/proc/5238/task/5256/stat : 5256 (java) S 5236 5238 5238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850162478 8760627200 41738 33554432000 1073741824 1073778376 140734136305872 18446744073709551615 255118585344 0 4 0 16800975 18446604468930632704 0 0 -1 3 0 0 0
[pid=5189/tid=5196] ppid=5187 vsize=338552 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5196/stat : 5196 (python) S 5187 5189 4987 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 6 0 850133942 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
[pid=5189/tid=5219] ppid=5187 vsize=338552 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5219/stat : 5219 (python) S 5187 5189 4987 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 850138777 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 7 0 0 0
[pid=5189/tid=5225] ppid=5187 vsize=338552 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5225/stat : 5225 (python) S 5187 5189 4987 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 850148281 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 1 0 0 0
[pid=5189/tid=5231] ppid=5187 vsize=338552 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5231/stat : 5231 (python) S 5187 5189 4987 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 850153187 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 3 0 0 0
[pid=5189/tid=5237] ppid=5187 vsize=338552 CPUtime=0 cores=1,3,5,7
/proc/5189/task/5237/stat : 5237 (python) S 5187 5189 4987 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850162430 346677248 8246 33554432000 4194304 5683644 140733384893008 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470961590464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 290.87
Current children cumulated vsize (KiB) 19187244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5189 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=758884
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 0.902862
# while last known CPU time is 290.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.086
CPU time (s): 290.87
CPU user time (s): 288.24
CPU system time (s): 2.63
CPU usage (%): 101.318
Max. virtual memory (cumulated for all children) (KiB): 19187244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.758884
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15721
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= 2870
involuntary context switches= 25
runsolver used 1.69674 second user time and 3.47447 second system time
The end