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-3481897-1307577014/watcher-3481897-1307577014 -o /tmp/evaluation-result-3481897-1307577014/solver-3481897-1307577014 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481897-1307577014.opb -seed 2078187392 -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.12 1.86 1.03 4/598 23141
/proc/meminfo: memFree=22440776/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 947932129 15753216 704 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23141/statm: 3846 704 334 364 0 333 0
[startup+0.0647799 s]
/proc/loadavg: 2.12 1.86 1.03 4/598 23141
/proc/meminfo: memFree=22440776/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=30120 CPUtime=0.03 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 1510 0 0 0 3 0 0 0 25 0 1 0 947932129 30842880 1348 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23141/statm: 7530 1348 443 364 0 900 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30120
[startup+0.100774 s]
/proc/loadavg: 2.12 1.86 1.03 4/598 23141
/proc/meminfo: memFree=22440776/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 2665 0 0 0 5 1 0 0 25 0 1 0 947932129 87678976 2382 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23141/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300738 s]
/proc/loadavg: 2.12 1.86 1.03 4/598 23141
/proc/meminfo: memFree=22440776/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 5356 929 1 0 13 5 0 0 17 0 1 0 947932129 126713856 3744 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23141/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.700734 s]
/proc/loadavg: 2.12 1.86 1.03 4/598 23141
/proc/meminfo: memFree=22440776/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=284628 CPUtime=0.46 cores=0,2,4,6
/proc/23141/stat : 23141 (python) R 23139 23141 22387 0 -1 4202496 9607 929 1 0 35 11 0 0 16 0 1 0 947932129 291459072 7471 33554432000 4194304 5683644 140734071006080 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23141/statm: 71157 7471 1781 364 0 6050 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284628
[startup+1.50052 s]
/proc/loadavg: 2.12 1.86 1.03 4/599 23146
/proc/meminfo: memFree=22406784/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=303308 CPUtime=1.17 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 13743 929 1 0 105 12 0 0 19 0 2 0 947932129 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23141/statm: 75827 9665 1870 364 0 10714 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 303308
[startup+3.10123 s]
/proc/loadavg: 2.12 1.86 1.03 7/621 23168
/proc/meminfo: memFree=22278456/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=303308 CPUtime=1.17 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 13743 929 1 0 105 12 0 0 19 0 2 0 947932129 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23141/statm: 75827 9665 1870 364 0 10714 0
[pid=23148] ppid=23141 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/23148/stat : 23148 (python) S 23141 23141 22387 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947932270 300097536 8142 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905414159 0 0 16781312 33554946 10539648160093929730 0 0 17 6 0 0 0
/proc/23148/statm: 73266 8142 351 364 0 8153 0
[pid=23150] ppid=23148 vsize=8538212 CPUtime=2.63 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 23150 0 -1 4202496 40588 0 1 0 257 6 0 0 19 0 19 0 947932271 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23150/statm: 2134553 37453 2231 9 0 2125294 0
[pid=23150/tid=23151] ppid=23148 vsize=8538212 CPUtime=1.64 cores=0,2,4,6
/proc/23150/task/23151/stat : 23151 (java) R 23148 23150 23150 0 -1 4202560 33302 0 1 0 160 4 0 0 18 0 19 0 947932271 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 46912505941488 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23150/tid=23152] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 23150 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932272 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 23150 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 947932273 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 0 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 23150 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947932273 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947932273 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932275 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917217713 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=8538212 CPUtime=0.5 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 23150 0 -1 4202560 2187 0 0 0 50 0 0 0 15 0 19 0 947932275 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=8538212 CPUtime=0.46 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 23150 0 -1 4202560 3713 0 0 0 46 0 0 0 15 0 19 0 947932275 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932275 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 6 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947932275 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=8538212 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947932329 8743129088 37453 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23141/tid=23149] ppid=23139 vsize=303308 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23149/stat : 23149 (python) S 23139 23141 22387 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947932271 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9134584
[startup+6.30164 s]
/proc/loadavg: 2.11 1.86 1.03 3/621 23168
/proc/meminfo: memFree=22186936/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=303308 CPUtime=1.17 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 13743 929 1 0 105 12 0 0 19 0 2 0 947932129 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23141/statm: 75827 9665 1870 364 0 10714 0
[pid=23148] ppid=23141 vsize=293064 CPUtime=0.02 cores=0,2,4,6
/proc/23148/stat : 23148 (python) S 23141 23141 22387 0 -1 4202560 889 0 0 0 1 1 0 0 15 0 1 0 947932270 300097536 8166 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905414159 0 0 16781312 33554946 94489349231476736 0 0 17 6 0 0 0
/proc/23148/statm: 73266 8166 375 364 0 8153 0
[pid=23150] ppid=23148 vsize=8538348 CPUtime=5.95 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 23150 0 -1 4202496 61534 0 1 0 586 9 0 0 19 0 19 0 947932271 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23150/statm: 2134587 58316 2257 9 0 2125328 0
[pid=23150/tid=23151] ppid=23148 vsize=8538348 CPUtime=4.72 cores=0,2,4,6
/proc/23150/task/23151/stat : 23151 (java) R 23148 23150 23150 0 -1 4202560 34073 0 1 0 467 5 0 0 25 0 19 0 947932271 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 46912505888607 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23150/tid=23152] ppid=23148 vsize=8538348 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 23150 0 -1 4202560 3012 0 0 0 1 0 0 0 18 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=8538348 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 23150 0 -1 4202560 1603 0 0 0 1 0 0 0 16 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 23150 0 -1 4202560 693 0 0 0 0 0 0 0 15 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 23150 0 -1 4202560 942 0 0 0 0 0 0 0 16 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=8538348 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 23150 0 -1 4202560 2767 0 0 0 1 0 0 0 16 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=8538348 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 23150 0 -1 4202560 2792 0 0 0 1 0 0 0 16 0 19 0 947932272 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=8538348 CPUtime=0.05 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 23150 0 -1 4202560 8339 0 0 0 5 0 0 0 15 0 19 0 947932273 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 0 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 23150 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947932273 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947932273 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932275 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917217713 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=8538348 CPUtime=0.56 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) S 23148 23150 23150 0 -1 4202560 2214 0 0 0 56 0 0 0 15 0 19 0 947932275 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=8538348 CPUtime=0.49 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) S 23148 23150 23150 0 -1 4202560 3722 0 0 0 49 0 0 0 15 0 19 0 947932275 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947932275 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 6 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) S 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947932275 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=8538348 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) S 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947932329 8743268352 58316 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446604445532227712 0 0 -1 0 0 0 0
[pid=23141/tid=23149] ppid=23139 vsize=303308 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23149/stat : 23149 (python) S 23139 23141 22387 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 947932271 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9134720
[startup+12.7015 s]
/proc/loadavg: 2.10 1.87 1.04 3/621 23168
/proc/meminfo: memFree=22149084/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=303308 CPUtime=1.17 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 13743 929 1 0 105 12 0 0 19 0 2 0 947932129 310587392 9665 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23141/statm: 75827 9665 1870 364 0 10714 0
[pid=23148] ppid=23141 vsize=293064 CPUtime=0.04 cores=0,2,4,6
/proc/23148/stat : 23148 (python) S 23141 23141 22387 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 947932270 300097536 8166 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905414159 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/23148/statm: 73266 8166 375 364 0 8153 0
[pid=23150] ppid=23148 vsize=8536020 CPUtime=12.42 cores=0,2,4,6
/proc/23150/stat : 23150 (java) S 23148 23150 23150 0 -1 4202496 68791 0 1 0 1232 10 0 0 19 0 19 0 947932271 8740884480 64334 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23150/statm: 2134005 64334 2257 9 0 2124746 0
[pid=23150/tid=23151] ppid=23148 vsize=8536020 CPUtime=10.99 cores=0,2,4,6
/proc/23150/task/23151/stat : 23151 (java) R 23148 23150 23150 0 -1 4202560 34075 0 1 0 1094 5 0 0 25 0 19 0 947932271 8740884480 64334 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 46912505848677 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23150/tid=23152] ppid=23148 vsize=8536020 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 23150 0 -1 4202560 3013 0 0 0 2 0 0 0 15 0 19 0 947932272 8740884480 64334 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 4 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=8536020 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 23150 0 -1 4202560 1615 0 0 0 1 0 0 0 16 0 19 0 947932272 8740884480 64334 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 6 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=8536020 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 23150 0 -1 4202560 2373 0 0 0 1 0 0 0 16 0 19 0 947932272 8740884480 64334 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446604445532227712 0 0 -1 6 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=23282/tid=23296] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23296/stat : 23296 (java) S 23279 23282 23282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947960496 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23297] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23297/stat : 23297 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917217713 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23298] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23298/stat : 23298 (java) S 23279 23282 23282 0 -1 4202560 275 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 0 0 0 0
[pid=23282/tid=23299] ppid=23279 vsize=8532892 CPUtime=0.01 cores=0,2,4,6
/proc/23282/task/23299/stat : 23299 (java) R 23279 23282 23282 0 -1 4202560 589 0 0 0 1 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 47071455677986 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23282/tid=23300] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23300/stat : 23300 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23301] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23301/stat : 23301 (java) R 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23141/tid=23149] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23149/stat : 23149 (python) S 23139 23141 22387 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 6 0 947932271 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 6 0 0 0
[pid=23141/tid=23175] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23175/stat : 23175 (python) S 23139 23141 22387 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947936998 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 0 0 0 0
[pid=23141/tid=23186] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23186/stat : 23186 (python) S 23139 23141 22387 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947946465 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
[pid=23141/tid=23269] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23269/stat : 23269 (python) S 23139 23141 22387 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 947955738 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
[pid=23141/tid=23280] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23280/stat : 23280 (python) S 23139 23141 22387 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947960493 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 286.02
Current children cumulated vsize (KiB) 19380304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+283.702 s]
/proc/loadavg: 2.04 1.97 1.29 4/675 23301
/proc/meminfo: memFree=21034836/32950928 swapFree=61542368/67111528
[pid=23141] ppid=23139 vsize=344332 CPUtime=1.3 cores=0,2,4,6
/proc/23141/stat : 23141 (python) S 23139 23141 22387 0 -1 4202496 17398 929 1 0 117 13 0 0 20 0 6 0 947932129 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23141/statm: 86083 9690 1879 364 0 20958 0
[pid=23148] ppid=23141 vsize=303308 CPUtime=0.45 cores=0,2,4,6
/proc/23148/stat : 23148 (python) S 23141 23141 22387 0 -1 4202560 1093 0 0 0 22 23 0 0 16 0 2 0 947932270 310587392 8203 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23148/statm: 75827 8203 407 364 0 10714 0
[pid=23150] ppid=23148 vsize=8536020 CPUtime=95.03 cores=0,2,4,6
/proc/23150/stat : 23150 (java) T 23148 23150 23150 0 -1 4202496 104277 0 1 0 9486 17 0 0 18 0 19 0 947932271 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23150/statm: 2134005 97995 2257 9 0 2124746 0
[pid=23150/tid=23151] ppid=23148 vsize=8536020 CPUtime=92.37 cores=0,2,4,6
/proc/23150/task/23151/stat : 23151 (java) T 23148 23150 23150 0 -1 4202560 34091 0 1 0 9232 5 0 0 25 0 19 0 947932271 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 46912505840725 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23152] ppid=23148 vsize=8536020 CPUtime=0.07 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) T 23148 23150 23150 0 -1 4202560 6065 0 0 0 7 0 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=8536020 CPUtime=0.07 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) T 23148 23150 23150 0 -1 4202560 3636 0 0 0 7 0 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=8536020 CPUtime=0.05 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) T 23148 23150 23150 0 -1 4202560 4959 0 0 0 5 0 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8536020 CPUtime=0.09 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) T 23148 23150 23150 0 -1 4202560 7157 0 0 0 9 0 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=8536020 CPUtime=0.05 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) T 23148 23150 23150 0 -1 4202560 6754 0 0 0 4 1 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=8536020 CPUtime=0.09 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) T 23148 23150 23150 0 -1 4202560 5835 0 0 0 8 1 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=8536020 CPUtime=0.11 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) T 23148 23150 23150 0 -1 4202560 14222 0 0 0 9 2 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=8536020 CPUtime=0.03 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) T 23148 23150 23150 0 -1 4202560 4234 0 0 0 3 0 0 0 15 0 19 0 947932272 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=8536020 CPUtime=0.83 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) T 23148 23150 23150 0 -1 4202560 9803 0 0 0 82 1 0 0 15 0 19 0 947932273 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) T 23148 23150 23150 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947932273 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947932273 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947932275 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=8536020 CPUtime=0.57 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) T 23148 23150 23150 0 -1 4202560 2214 0 0 0 57 0 0 0 15 0 19 0 947932275 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=8536020 CPUtime=0.55 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) T 23148 23150 23150 0 -1 4202560 3924 0 0 0 55 0 0 0 15 0 19 0 947932275 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947932275 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947932275 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=8536020 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) T 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947932329 8740884480 97995 33554432000 1073741824 1073778376 140737428275552 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23148/tid=23173] ppid=23141 vsize=303308 CPUtime=0 cores=0,2,4,6
/proc/23148/task/23173/stat : 23173 (python) S 23141 23141 22387 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947936995 310587392 8203 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446866492096 0 0 -1 6 0 0 0
[pid=23174] ppid=23141 vsize=303320 CPUtime=0.23 cores=0,2,4,6
/proc/23174/stat : 23174 (python) S 23141 23141 22387 0 -1 4202560 1139 0 0 0 11 12 0 0 17 0 2 0 947936998 310599680 8192 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23174/statm: 75830 8192 396 364 0 10714 0
[pid=23176] ppid=23174 vsize=55160 CPUtime=48.25 cores=0,2,4,6
/proc/23176/stat : 23176 (wbo1.4a) T 23174 23176 23176 0 -1 4202496 16327 0 0 0 4801 24 0 0 25 0 1 0 947936998 56483840 13251 33554432000 134512640 135751879 4292271360 18446744073709551615 134616520 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/23176/statm: 13790 13251 146 303 0 13485 0
[pid=23174/tid=23179] ppid=23141 vsize=303320 CPUtime=0 cores=0,2,4,6
/proc/23174/task/23179/stat : 23179 (python) S 23141 23141 22387 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947941824 310599680 8192 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554946 18446604445268472832 0 0 -1 6 0 0 0
[pid=23185] ppid=23141 vsize=313576 CPUtime=0.37 cores=0,2,4,6
/proc/23185/stat : 23185 (python) S 23141 23141 22387 0 -1 4202560 1143 0 0 0 19 18 0 0 16 0 2 0 947946465 321101824 8196 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23185/statm: 78394 8196 396 364 0 13275 0
[pid=23187] ppid=23185 vsize=75956 CPUtime=92.63 cores=0,2,4,6
/proc/23187/stat : 23187 (clasp-1.3.7-x86) T 23185 23187 23187 0 -1 4202496 19171 0 0 0 9261 2 0 0 25 0 1 0 947946465 77778944 18742 33554432000 134512640 136139019 4288248896 18446744073709551615 134599797 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/23187/statm: 18989 18742 187 398 0 18589 0
[pid=23185/tid=23267] ppid=23141 vsize=313576 CPUtime=0 cores=0,2,4,6
/proc/23185/task/23267/stat : 23267 (python) S 23141 23141 22387 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947955735 321101824 8196 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446493087680 0 0 -1 6 0 0 0
[pid=23268] ppid=23141 vsize=323832 CPUtime=0.2 cores=0,2,4,6
/proc/23268/stat : 23268 (python) S 23141 23141 22387 0 -1 4202560 1125 0 0 0 10 10 0 0 16 0 2 0 947955738 331603968 8200 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23268/statm: 80958 8200 396 364 0 15836 0
[pid=23270] ppid=23268 vsize=257964 CPUtime=47.47 cores=0,2,4,6
/proc/23270/stat : 23270 (pbct-0.1.2-linu) T 23268 23270 23270 0 -1 4202496 66167 0 0 0 4684 63 0 0 25 0 1 0 947955738 264155136 63291 33554432000 134512640 136422188 4286759056 18446744073709551615 134860039 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/23270/statm: 64491 63291 236 467 0 64022 0
[pid=23268/tid=23277] ppid=23141 vsize=323832 CPUtime=0 cores=0,2,4,6
/proc/23268/task/23277/stat : 23277 (python) S 23141 23141 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947960490 331603968 8200 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554946 18446604452453781824 0 0 -1 4 0 0 0
[pid=23279] ppid=23141 vsize=334088 CPUtime=0 cores=0,2,4,6
/proc/23279/stat : 23279 (python) S 23141 23141 22387 0 -1 4202560 814 0 0 0 0 0 0 0 20 0 1 0 947960492 342106112 8155 33554432000 4194304 5683644 140734071006080 18446744073709551615 260905414214 0 0 16781312 33554946 3273501181111959552 0 0 17 0 0 0 0
/proc/23279/statm: 83522 8155 348 364 0 18397 0
[pid=23282] ppid=23279 vsize=8532748 CPUtime=0.09 cores=0,2,4,6
/proc/23282/stat : 23282 (java) S 23279 23282 23282 0 -1 4202496 5468 0 1 0 8 1 0 0 21 0 18 0 947960493 8737533952 4891 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23282/statm: 2133187 4891 2085 9 0 2123928 0
[pid=23282/tid=23283] ppid=23279 vsize=8532892 CPUtime=0.09 cores=0,2,4,6
/proc/23282/task/23283/stat : 23283 (java) R 23279 23282 23282 0 -1 4202560 3390 0 1 0 8 1 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23282/tid=23285] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23285/stat : 23285 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23286] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23286/stat : 23286 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23288] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23288/stat : 23288 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23289] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23289/stat : 23289 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23290] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23290/stat : 23290 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23291] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23291/stat : 23291 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23292] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23292/stat : 23292 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5072 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23293] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23293/stat : 23293 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960494 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 4 0 0 0
[pid=23282/tid=23294] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23294/stat : 23294 (java) S 23279 23282 23282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947960495 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210624 0 0 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23295] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23295/stat : 23295 (java) S 23279 23282 23282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947960496 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23296] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23296/stat : 23296 (java) S 23279 23282 23282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947960496 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23297] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23297/stat : 23297 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917217713 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23298] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23298/stat : 23298 (java) S 23279 23282 23282 0 -1 4202560 275 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 0 0 0 0
[pid=23282/tid=23299] ppid=23279 vsize=8532892 CPUtime=0.01 cores=0,2,4,6
/proc/23282/task/23299/stat : 23299 (java) R 23279 23282 23282 0 -1 4202560 589 0 0 0 1 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 47071455677986 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23282/tid=23300] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23300/stat : 23300 (java) S 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210009 0 4 0 16800975 18446604451149460672 0 0 -1 2 0 0 0
[pid=23282/tid=23301] ppid=23279 vsize=8532892 CPUtime=0 cores=0,2,4,6
/proc/23282/task/23301/stat : 23301 (java) R 23279 23282 23282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947960498 8737681408 5073 33554432000 1073741824 1073778376 140733260959968 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23141/tid=23149] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23149/stat : 23149 (python) S 23139 23141 22387 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 6 0 947932271 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 6 0 0 0
[pid=23141/tid=23175] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23175/stat : 23175 (python) S 23139 23141 22387 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947936998 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 0 0 0 0
[pid=23141/tid=23186] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23186/stat : 23186 (python) S 23139 23141 22387 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947946465 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
[pid=23141/tid=23269] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23269/stat : 23269 (python) S 23139 23141 22387 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 947955738 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
[pid=23141/tid=23280] ppid=23139 vsize=344332 CPUtime=0 cores=0,2,4,6
/proc/23141/task/23280/stat : 23280 (python) S 23139 23141 22387 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 947960493 352595968 9690 33554432000 4194304 5683644 140734071006080 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451149461568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 286.02
Current children cumulated vsize (KiB) 19380304
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23141 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=179820
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=138978
# CPU time returned by wait4() is 1.3188
# while last known CPU time is 286.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 283.785
CPU time (s): 286.02
CPU user time (s): 284.19
CPU system time (s): 1.83
CPU usage (%): 100.788
Max. virtual memory (cumulated for all children) (KiB): 19380304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17982
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18329
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= 20
runsolver used 1.81172 second user time and 3.63245 second system time
The end