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-3482089-1307577249/watcher-3482089-1307577249 -o /tmp/evaluation-result-3482089-1307577249/solver-3482089-1307577249 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482089-1307577249.opb -seed 819548245 -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: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 1047 0 0 0 0 0 0 0 17 0 1 0 869327740 16629760 918 33554432000 4194304 5683644 140736905151280 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 4060 918 381 364 0 547 0
[startup+0.105817 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 3169 928 1 0 6 1 0 0 18 0 1 0 869327740 98430976 2483 33554432000 4194304 5683644 140736905151280 18446744073709551615 5170896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200791 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 5357 928 1 0 11 3 0 0 17 0 1 0 869327740 126709760 3744 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370953221 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300809 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=195524 CPUtime=0.21 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 6588 928 1 0 16 5 0 0 17 0 1 0 869327740 200216576 4878 33554432000 4194304 5683644 140736905151280 18446744073709551615 218371000455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 195524
[startup+0.700697 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=288308 CPUtime=0.58 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 10667 928 1 0 50 8 0 0 17 0 1 0 869327740 295227392 8412 33554432000 4194304 5683644 140736905151280 18446744073709551615 4619873 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 72077 8412 1781 364 0 6970 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 288308
[startup+1.50056 s]
/proc/loadavg: 1.98 1.90 1.17 3/566 27478
/proc/meminfo: memFree=20513940/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=294820 CPUtime=1.38 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 14880 928 1 0 130 8 0 0 18 0 1 0 869327740 301895680 10060 33554432000 4194304 5683644 140736905151280 18446744073709551615 4662462 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/27473/statm: 73705 10060 1816 364 0 8598 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 294820
[startup+3.10128 s]
/proc/loadavg: 1.98 1.90 1.17 3/586 27498
/proc/meminfo: memFree=20438328/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869327920 301920256 8610 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 14675046357211775238 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8610 351 364 0 8598 0
[pid=27481] ppid=27479 vsize=8550096 CPUtime=2.36 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 49478 0 1 0 230 6 0 0 18 0 19 0 869327921 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2137524 44085 2242 9 0 2128265 0
[pid=27481/tid=27482] ppid=27479 vsize=8550096 CPUtime=1.27 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 35253 0 1 0 123 4 0 0 20 0 19 0 869327921 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505887149 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) S 27479 27481 27481 0 -1 4202560 355 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) S 27479 27481 27481 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) S 27479 27481 27481 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) S 27479 27481 27481 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) S 27479 27481 27481 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 0 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) S 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) S 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8550096 CPUtime=0.51 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) S 27479 27481 27481 0 -1 4202560 5210 0 0 0 51 0 0 0 21 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8550096 CPUtime=0.54 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) S 27479 27481 27481 0 -1 4202560 6323 0 0 0 54 0 0 0 22 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27473/tid=27480] ppid=27471 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 2 0 869327921 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9150028
[startup+6.30171 s]
/proc/loadavg: 1.98 1.90 1.17 3/587 27499
/proc/meminfo: memFree=20188444/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0.01 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 926 0 0 0 0 1 0 0 16 0 1 0 869327920 301920256 8634 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 14675038798069334278 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8634 375 364 0 8598 0
[pid=27481] ppid=27479 vsize=8550096 CPUtime=5.83 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 91234 0 1 0 572 11 0 0 18 0 19 0 869327921 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2137524 82592 2242 9 0 2128265 0
[pid=27481/tid=27482] ppid=27479 vsize=8550096 CPUtime=4.44 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 68888 0 1 0 436 8 0 0 25 0 19 0 869327921 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505887058 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 857 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 531 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 923 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8550096 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 933 0 0 0 1 0 0 0 16 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) S 27479 27481 27481 0 -1 4202560 1557 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) S 27479 27481 27481 0 -1 4202560 669 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) S 27479 27481 27481 0 -1 4202560 534 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) S 27479 27481 27481 0 -1 4202560 683 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) S 27479 27481 27481 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 0 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) S 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) S 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8550096 CPUtime=0.7 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) S 27479 27481 27481 0 -1 4202560 7751 0 0 0 69 1 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8550096 CPUtime=0.59 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) S 27479 27481 27481 0 -1 4202560 6356 0 0 0 59 0 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) S 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869327982 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27473/tid=27480] ppid=27471 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 2 0 869327921 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9150028
[startup+12.7016 s]
/proc/loadavg: 1.98 1.90 1.18 3/591 27503
/proc/meminfo: memFree=20014088/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0.03 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 930 0 0 0 1 2 0 0 15 0 1 0 869327920 301920256 8634 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 432045131265212416 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8634 375 364 0 8598 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=12.43 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 94722 0 1 0 1231 12 0 0 18 0 19 0 869327921 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 82337 2244 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=10.8 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 68903 0 1 0 1072 8 0 0 25 0 19 0 869327921 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505716813 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 1369 0 0 0 1 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 809 0 0 0 0 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 1139 0 0 0 0 0 0 0 16 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 1516 0 0 0 1 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.13 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 963 0 0 0 6 7 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 1024654857522380800 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=40.95 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36805 0 0 0 3995 100 0 0 25 0 1 0 869332684 148979712 33384 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33384 798 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 92.53
Current children cumulated vsize (KiB) 9611456
[startup+91.2017 s]
/proc/loadavg: 2.27 2.00 1.27 3/587 27567
/proc/meminfo: memFree=19610540/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=315344 CPUtime=1.71 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 16053 928 1 0 162 9 0 0 20 0 3 0 869327740 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/27473/statm: 78836 10142 1875 364 0 13720 0
[pid=27479] ppid=27473 vsize=305088 CPUtime=0.16 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 1116 0 0 0 6 10 0 0 16 0 2 0 869327920 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27479/statm: 76272 8670 406 364 0 11159 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=49.58 cores=1,3,5,7
/proc/27481/stat : 27481 (java) T 27479 27481 27481 0 -1 4202496 123677 0 1 0 4938 20 0 0 18 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 103075 2247 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=47.17 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) T 27479 27481 27481 0 -1 4202560 87154 0 1 0 4705 12 0 0 25 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) T 27479 27481 27481 0 -1 4202560 2486 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) T 27479 27481 27481 0 -1 4202560 1986 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.15 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 968 0 0 0 7 8 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=41.75 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36808 0 0 0 4073 102 0 0 18 0 1 0 869332684 148979712 33387 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33387 800 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.35
Current children cumulated vsize (KiB) 9611456
[startup+91.6016 s]
/proc/loadavg: 2.27 2.00 1.27 3/587 27567
/proc/meminfo: memFree=19609680/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=315344 CPUtime=1.71 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 16053 928 1 0 162 9 0 0 20 0 3 0 869327740 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/27473/statm: 78836 10142 1875 364 0 13720 0
[pid=27479] ppid=27473 vsize=305088 CPUtime=0.16 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 1116 0 0 0 6 10 0 0 16 0 2 0 869327920 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27479/statm: 76272 8670 406 364 0 11159 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=49.58 cores=1,3,5,7
/proc/27481/stat : 27481 (java) T 27479 27481 27481 0 -1 4202496 123677 0 1 0 4938 20 0 0 18 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 103075 2247 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=47.17 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) T 27479 27481 27481 0 -1 4202560 87154 0 1 0 4705 12 0 0 25 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) T 27479 27481 27481 0 -1 4202560 2486 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) T 27479 27481 27481 0 -1 4202560 1986 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.15 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 968 0 0 0 7 8 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 3828010759292452864 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=42.15 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36810 0 0 0 4112 103 0 0 18 0 1 0 869332684 148979712 33389 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33389 802 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.75
Current children cumulated vsize (KiB) 9611456
Child status: 0
Real time (s): 91.6924
CPU time (s): 93.8917
CPU user time (s): 92.335
CPU system time (s): 1.55676
CPU usage (%): 102.399
Max. virtual memory (cumulated for all children) (KiB): 9611456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.335
system time used= 1.55676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185674
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= 6510
involuntary context switches= 3245
runsolver used 0.383941 second user time and 0.927858 second system time
The end