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-3481544-1307578112/watcher-3481544-1307578112 -o /tmp/evaluation-result-3481544-1307578112/solver-3481544-1307578112 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481544-1307578112.opb -seed 2144739014 -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.00 2.07 1.75 3/668 16203
/proc/meminfo: memFree=22658016/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/16203/stat : 16203 (python) R 16201 16203 14938 0 -1 4202496 815 0 0 0 0 0 0 0 25 0 1 0 869409465 15757312 701 33554432000 4194304 5683644 140736699018352 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16203/statm: 3847 702 334 364 0 334 0
[startup+0.0797239 s]
/proc/loadavg: 2.00 2.07 1.75 3/668 16203
/proc/meminfo: memFree=22658016/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=45820 CPUtime=0.05 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 1928 0 0 0 4 1 0 0 25 0 1 0 869409465 46919680 1701 33554432000 4194304 5683644 140736699018352 18446744073709551615 232330968711 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/16203/statm: 11455 1701 470 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 45820
[startup+0.100732 s]
/proc/loadavg: 2.00 2.07 1.75 3/668 16203
/proc/meminfo: memFree=22658016/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/16203/stat : 16203 (python) R 16201 16203 14938 0 -1 4202496 2664 0 0 0 5 1 0 0 18 0 1 0 869409465 87678976 2382 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335888229 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/16203/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300702 s]
/proc/loadavg: 2.00 2.07 1.75 3/668 16203
/proc/meminfo: memFree=22658016/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/16203/stat : 16203 (python) R 16201 16203 14938 0 -1 4202496 5356 930 1 0 12 6 0 0 17 0 1 0 869409465 126713856 3744 33554432000 4194304 5683644 140736699018352 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16203/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.701713 s]
/proc/loadavg: 2.00 2.07 1.75 3/668 16203
/proc/meminfo: memFree=22658016/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=282672 CPUtime=0.44 cores=0,2,4,6
/proc/16203/stat : 16203 (python) R 16201 16203 14938 0 -1 4202496 9250 930 1 0 31 13 0 0 17 0 1 0 869409465 289456128 6982 33554432000 4194304 5683644 140736699018352 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16203/statm: 70668 6982 1777 364 0 5561 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282672
[startup+1.50049 s]
/proc/loadavg: 2.00 2.07 1.75 3/672 16212
/proc/meminfo: memFree=22612476/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=293732 CPUtime=0.53 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 10818 1348 1 0 39 13 1 0 19 0 2 0 869409465 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 73433 7273 1871 364 0 8320 0
[pid=16210] ppid=16203 vsize=283488 CPUtime=0 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 733 0 0 0 0 0 0 0 16 0 1 0 869409544 290291712 5717 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912463 0 0 16781312 33554946 230842569330786304 0 0 17 4 0 0 0
/proc/16210/statm: 70872 5717 319 364 0 5759 0
[pid=16212] ppid=16210 vsize=35304 CPUtime=0.69 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) R 16210 16212 16212 0 -1 4202496 7195 0 0 0 65 4 0 0 18 0 1 0 869409544 36151296 6538 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16212/statm: 8826 6538 776 2317 0 6504 0
[pid=16203/tid=16211] ppid=16201 vsize=293732 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 2 0 869409544 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 612524
[startup+3.54813 s]
/proc/loadavg: 2.00 2.07 1.75 3/672 16212
/proc/meminfo: memFree=22612476/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=293732 CPUtime=0.53 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 10818 1348 1 0 39 13 1 0 19 0 2 0 869409465 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 73433 7273 1871 364 0 8320 0
[pid=16210] ppid=16203 vsize=283488 CPUtime=0 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 869409544 290291712 5717 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912463 0 0 16781312 33554946 74721650582487040 0 0 17 4 0 0 0
/proc/16210/statm: 70872 5717 319 364 0 5759 0
[pid=16212] ppid=16210 vsize=48216 CPUtime=2.74 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) R 16210 16212 16212 0 -1 4202496 11328 0 0 0 267 7 0 0 18 0 1 0 869409544 49373184 9856 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16212/statm: 12054 9856 783 2317 0 9732 0
[pid=16203/tid=16211] ppid=16201 vsize=293732 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 2 0 869409544 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 625436
[startup+6.31863 s]
/proc/loadavg: 2.24 2.12 1.77 3/672 16212
/proc/meminfo: memFree=22573024/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=293732 CPUtime=0.53 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 10818 1348 1 0 39 13 1 0 19 0 2 0 869409465 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 73433 7273 1871 364 0 8320 0
[pid=16210] ppid=16203 vsize=283488 CPUtime=0.01 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 874 0 0 0 0 1 0 0 15 0 1 0 869409544 290291712 5741 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912463 0 0 16781312 33554946 3323903296640385024 0 0 17 4 0 0 0
/proc/16210/statm: 70872 5741 343 364 0 5759 0
[pid=16212] ppid=16210 vsize=48216 CPUtime=5.52 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) R 16210 16212 16212 0 -1 4202496 12074 0 0 0 535 17 0 0 18 0 1 0 869409544 49373184 9865 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16212/statm: 12054 9865 787 2317 0 9732 0
[pid=16203/tid=16211] ppid=16201 vsize=293732 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 2 0 869409544 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 625436
[startup+12.7005 s]
/proc/loadavg: 2.22 2.12 1.77 3/672 16212
/proc/meminfo: memFree=22550844/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=293732 CPUtime=0.53 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 10818 1348 1 0 39 13 1 0 19 0 2 0 869409465 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 73433 7273 1871 364 0 8320 0
[pid=16210] ppid=16203 vsize=283488 CPUtime=0.06 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 883 0 0 0 3 3 0 0 15 0 1 0 869409544 290291712 5741 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912463 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/16210/statm: 70872 5741 343 364 0 5759 0
[pid=16212] ppid=16210 vsize=51356 CPUtime=11.9 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) R 16210 16212 16212 0 -1 4202496 13717 0 0 0 1151 39 0 0 19 0 1 0 869409544 52588544 10604 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16212/statm: 12839 10604 787 2317 0 10517 0
[pid=16203/tid=16211] ppid=16201 vsize=293732 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 2 0 869409544 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 628576
[startup+25.5012 s]
/proc/loadavg: 2.17 2.11 1.77 3/672 16212
/proc/meminfo: memFree=22490584/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=293732 CPUtime=0.53 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 10818 1348 1 0 39 13 1 0 19 0 2 0 869409465 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 73433 7273 1871 364 0 8320 0
[pid=16210] ppid=16203 vsize=283488 CPUtime=0.12 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 902 0 0 0 6 6 0 0 15 0 1 0 869409544 290291712 5743 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912463 0 0 16781312 33554946 4172506512691822592 0 0 17 6 0 0 0
/proc/16210/statm: 70872 5743 344 364 0 5759 0
[pid=16212] ppid=16210 vsize=57920 CPUtime=24.7 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) R 16210 16212 16212 0 -1 4202496 21271 0 0 0 2385 85 0 0 18 0 1 0 869409544 59310080 12329 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16212/statm: 14480 12329 803 2317 0 12158 0
[pid=16203/tid=16211] ppid=16201 vsize=293732 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 2 0 869409544 300781568 7273 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 635140
[startup+51.1017 s]
/proc/loadavg: 2.41 2.17 1.80 3/716 16257
/proc/meminfo: memFree=21215132/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=304436 CPUtime=0.56 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 11654 1348 1 0 42 13 1 0 20 0 3 0 869409465 311742464 7391 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 76109 7391 1874 364 0 10993 0
[pid=16210] ppid=16203 vsize=293732 CPUtime=0.26 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 1118 0 0 0 13 13 0 0 16 0 2 0 869409544 300781568 5814 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16210/statm: 73433 5814 407 364 0 8320 0
[pid=16212] ppid=16210 vsize=72480 CPUtime=48.8 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) T 16210 16212 16212 0 -1 4202496 29190 0 0 0 4706 174 0 0 18 0 1 0 869409544 74219520 16050 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16212/statm: 18120 16050 807 2317 0 15798 0
[pid=16210/tid=16236] ppid=16203 vsize=293732 CPUtime=0 cores=0,2,4,6
/proc/16210/task/16236/stat : 16236 (python) S 16203 16203 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869414425 300781568 5814 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442141708480 0 0 -1 6 0 0 0
[pid=16237] ppid=16203 vsize=294192 CPUtime=0 cores=0,2,4,6
/proc/16237/stat : 16237 (python) S 16203 16203 14938 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 869414428 301252608 5833 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912518 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/16237/statm: 73548 5833 320 364 0 8432 0
[pid=16239] ppid=16237 vsize=8540324 CPUtime=2.08 cores=0,2,4,6
/proc/16239/stat : 16239 (java) S 16237 16239 16239 0 -1 4202496 24593 0 1 0 205 3 0 0 20 0 19 0 869414428 8745291776 22756 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16239/statm: 2135081 22756 2252 9 0 2125822 0
[pid=16239/tid=16240] ppid=16237 vsize=8540324 CPUtime=1.42 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 16239 0 -1 4202560 14912 0 1 0 140 2 0 0 19 0 19 0 869414429 8745291776 22758 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 46912505614378 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16239/tid=16241] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (java) S 16237 16239 16239 0 -1 4202560 431 0 0 0 0 0 0 0 16 0 19 0 869414429 8745291776 22758 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 4 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 16239 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 19 0 869414429 8745291776 22758 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 16239 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 869414429 8745291776 22759 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 4 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869414429 8745291776 22759 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 16239 0 -1 4202560 489 0 0 0 0 0 0 0 16 0 19 0 869414429 8745291776 22759 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 4 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869414429 8745291776 22760 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 16239 0 -1 4202560 528 0 0 0 0 0 0 0 16 0 19 0 869414429 8745291776 22761 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869414429 8745291776 22761 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=8540324 CPUtime=0.02 cores=0,2,4,6
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 16239 0 -1 4202560 1422 0 0 0 2 0 0 0 15 0 19 0 869414430 8745291776 22761 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 0 0 16800975 18446604444230918272 0 0 -1 0 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 16239 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869414431 8745291776 22762 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 16239 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869414431 8745291776 22763 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869414433 8745291776 22764 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347716017 0 4 0 16800975 18446604444230918272 0 0 -1 4 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=8540324 CPUtime=0.32 cores=0,2,4,6
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 16239 0 -1 4202560 2019 0 0 0 32 0 0 0 15 0 19 0 869414433 8745291776 22764 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 6 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=8540324 CPUtime=0.28 cores=0,2,4,6
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 16239 0 -1 4202560 2960 0 0 0 28 0 0 0 15 0 19 0 869414433 8745291776 22764 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446604444230918272 0 0 -1 0 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=8540324 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=16239/tid=16252] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16252/stat : 16252 (java) T 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=8539064 CPUtime=0.36 cores=0,2,4,6
/proc/16239/task/16253/stat : 16253 (java) T 16237 16239 16239 0 -1 4202560 2028 0 0 0 36 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=8539064 CPUtime=0.34 cores=0,2,4,6
/proc/16239/task/16254/stat : 16254 (java) T 16237 16239 16239 0 -1 4202560 2995 0 0 0 34 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16255/stat : 16255 (java) T 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16256/stat : 16256 (java) T 16237 16239 16239 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16257/stat : 16257 (java) T 16237 16239 16239 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869414455 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16237/tid=16260] ppid=16203 vsize=294192 CPUtime=0 cores=0,2,4,6
/proc/16237/task/16260/stat : 16260 (python) S 16203 16203 14938 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869419142 301252608 5905 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604444527001920 0 0 -1 0 0 0 0
[pid=16261] ppid=16203 vsize=304588 CPUtime=0.02 cores=0,2,4,6
/proc/16261/stat : 16261 (python) S 16203 16203 14938 0 -1 4202560 915 0 0 0 2 0 0 0 15 0 1 0 869419145 311898112 5896 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912518 0 0 16781312 33554946 3241892609815216128 0 0 17 2 0 0 0
/proc/16261/statm: 76147 5896 344 364 0 11028 0
[pid=16263] ppid=16261 vsize=47952 CPUtime=5.47 cores=0,2,4,6
/proc/16263/stat : 16263 (scip-2.0.1.linu) R 16261 16263 16263 0 -1 4202496 11956 0 0 0 538 9 0 0 19 0 1 0 869419145 49102848 9346 33554432000 4194304 15243407 140736585810784 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16263/statm: 11988 9346 911 2698 0 9283 0
[pid=16203/tid=16211] ppid=16201 vsize=314832 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 4 0 869409544 322387968 7432 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
[pid=16203/tid=16238] ppid=16201 vsize=314832 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16238/stat : 16238 (python) S 16201 16203 14938 0 -1 4202560 29 1348 0 0 0 0 1 0 20 0 4 0 869414428 322387968 7432 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 6 0 0 0
[pid=16203/tid=16262] ppid=16201 vsize=314832 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16262/stat : 16262 (python) S 16201 16203 14938 0 -1 4202560 31 1348 0 0 0 0 1 0 20 0 4 0 869419145 322387968 7432 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.4
Current children cumulated vsize (KiB) 9866840
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+145.902 s]
/proc/loadavg: 2.28 2.18 1.84 6/742 16285
/proc/meminfo: memFree=20070512/32951124 swapFree=57654872/67111528
[pid=16203] ppid=16201 vsize=325088 CPUtime=0.62 cores=0,2,4,6
/proc/16203/stat : 16203 (python) S 16201 16203 14938 0 -1 4202496 13460 1348 1 0 47 14 1 0 20 0 5 0 869409465 332890112 7456 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16203/statm: 81272 7456 1878 364 0 16150 0
[pid=16210] ppid=16203 vsize=293732 CPUtime=0.26 cores=0,2,4,6
/proc/16210/stat : 16210 (python) S 16203 16203 14938 0 -1 4202560 1118 0 0 0 13 13 0 0 16 0 2 0 869409544 300781568 5814 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16210/statm: 73433 5814 407 364 0 8320 0
[pid=16212] ppid=16210 vsize=72480 CPUtime=48.8 cores=0,2,4,6
/proc/16212/stat : 16212 (scip-2.0.1.linu) T 16210 16212 16212 0 -1 4202496 29190 0 0 0 4706 174 0 0 18 0 1 0 869409544 74219520 16050 33554432000 4194304 13684479 140735339778544 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16212/statm: 18120 16050 807 2317 0 15798 0
[pid=16210/tid=16236] ppid=16203 vsize=293732 CPUtime=0 cores=0,2,4,6
/proc/16210/task/16236/stat : 16236 (python) S 16203 16203 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869414425 300781568 5814 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442141708480 0 0 -1 6 0 0 0
[pid=16237] ppid=16203 vsize=294192 CPUtime=0.24 cores=0,2,4,6
/proc/16237/stat : 16237 (python) S 16203 16203 14938 0 -1 4202560 1125 0 0 0 12 12 0 0 16 0 2 0 869414428 301252608 5905 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16237/statm: 73548 5905 391 364 0 8432 0
[pid=16239] ppid=16237 vsize=8539064 CPUtime=48.03 cores=0,2,4,6
/proc/16239/stat : 16239 (java) T 16237 16239 16239 0 -1 4202496 34252 0 1 0 4798 5 0 0 18 0 19 0 869414428 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16239/statm: 2134766 32098 2253 9 0 2125507 0
[pid=16239/tid=16240] ppid=16237 vsize=8539064 CPUtime=45.65 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (java) T 16237 16239 16239 0 -1 4202560 21312 0 1 0 4563 2 0 0 25 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 46912505737818 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16239/tid=16241] ppid=16237 vsize=8539064 CPUtime=0.06 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (java) T 16237 16239 16239 0 -1 4202560 649 0 0 0 6 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=8539064 CPUtime=0.07 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (java) T 16237 16239 16239 0 -1 4202560 664 0 0 0 7 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=8539064 CPUtime=0.06 cores=0,2,4,6
/proc/16239/task/16243/stat : 16243 (java) T 16237 16239 16239 0 -1 4202560 312 0 0 0 6 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=8539064 CPUtime=0.07 cores=0,2,4,6
/proc/16239/task/16244/stat : 16244 (java) T 16237 16239 16239 0 -1 4202560 154 0 0 0 7 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=8539064 CPUtime=0.08 cores=0,2,4,6
/proc/16239/task/16245/stat : 16245 (java) T 16237 16239 16239 0 -1 4202560 610 0 0 0 8 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=8539064 CPUtime=0.05 cores=0,2,4,6
/proc/16239/task/16246/stat : 16246 (java) T 16237 16239 16239 0 -1 4202560 73 0 0 0 5 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=8539064 CPUtime=0.07 cores=0,2,4,6
/proc/16239/task/16247/stat : 16247 (java) T 16237 16239 16239 0 -1 4202560 594 0 0 0 7 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=8539064 CPUtime=0.06 cores=0,2,4,6
/proc/16239/task/16248/stat : 16248 (java) T 16237 16239 16239 0 -1 4202560 8 0 0 0 6 0 0 0 15 0 19 0 869414429 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=8539064 CPUtime=1.07 cores=0,2,4,6
/proc/16239/task/16249/stat : 16249 (java) T 16237 16239 16239 0 -1 4202560 3460 0 0 0 107 0 0 0 16 0 19 0 869414430 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16250/stat : 16250 (java) T 16237 16239 16239 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869414431 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16251/stat : 16251 (java) T 16237 16239 16239 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869414431 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16252/stat : 16252 (java) T 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=8539064 CPUtime=0.36 cores=0,2,4,6
/proc/16239/task/16253/stat : 16253 (java) T 16237 16239 16239 0 -1 4202560 2028 0 0 0 36 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=8539064 CPUtime=0.34 cores=0,2,4,6
/proc/16239/task/16254/stat : 16254 (java) T 16237 16239 16239 0 -1 4202560 2995 0 0 0 34 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16255/stat : 16255 (java) T 16237 16239 16239 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16256/stat : 16256 (java) T 16237 16239 16239 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869414433 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=8539064 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16257/stat : 16257 (java) T 16237 16239 16239 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869414455 8744001536 32098 33554432000 1073741824 1073778376 140733465110960 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16237/tid=16260] ppid=16203 vsize=294192 CPUtime=0 cores=0,2,4,6
/proc/16237/task/16260/stat : 16260 (python) S 16203 16203 14938 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869419142 301252608 5905 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604444527001920 0 0 -1 0 0 0 0
[pid=16261] ppid=16203 vsize=304588 CPUtime=0.28 cores=0,2,4,6
/proc/16261/stat : 16261 (python) S 16203 16203 14938 0 -1 4202560 1139 0 0 0 15 13 0 0 16 0 2 0 869419145 311898112 5945 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16261/statm: 76147 5945 392 364 0 11028 0
[pid=16263] ppid=16261 vsize=66292 CPUtime=48.8 cores=0,2,4,6
/proc/16263/stat : 16263 (scip-2.0.1.linu) T 16261 16263 16263 0 -1 4202496 22588 0 0 0 4796 84 0 0 19 0 1 0 869419145 67883008 13630 33554432000 4194304 15243407 140736585810784 18446744073709551615 8112200 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16263/statm: 16573 13630 927 2698 0 13868 0
[pid=16261/tid=16265] ppid=16203 vsize=304588 CPUtime=0 cores=0,2,4,6
/proc/16261/task/16265/stat : 16265 (python) S 16203 16203 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869424028 311898112 5945 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604445562478976 0 0 -1 6 0 0 0
[pid=16266] ppid=16203 vsize=314844 CPUtime=0 cores=0,2,4,6
/proc/16266/stat : 16266 (python) S 16203 16203 14938 0 -1 4202560 783 0 0 0 0 0 0 0 17 0 1 0 869424031 322400256 5894 33554432000 4194304 5683644 140736699018352 18446744073709551615 232335912518 0 0 16781312 33554946 2104630684818604032 0 0 17 0 0 0 0
/proc/16266/statm: 78711 5894 320 364 0 13589 0
[pid=16268] ppid=16266 vsize=8534188 CPUtime=0.42 cores=0,2,4,6
/proc/16268/stat : 16268 (java) S 16266 16268 16268 0 -1 4202496 7584 0 1 0 41 1 0 0 20 0 18 0 869424031 8739008512 6944 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16268/statm: 2133547 6944 2209 9 0 2124288 0
[pid=16268/tid=16269] ppid=16266 vsize=8534408 CPUtime=0.25 cores=0,2,4,6
/proc/16268/task/16269/stat : 16269 (java) R 16266 16268 16268 0 -1 4202560 4725 0 1 0 25 0 0 0 18 0 18 0 869424032 8739233792 7051 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 47020794849299 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16268/tid=16270] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16270/stat : 16270 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869424032 8740286464 7051 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16271] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16271/stat : 16271 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16272] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16272/stat : 16272 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16273] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16273/stat : 16273 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16274] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16274/stat : 16274 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16275] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16275/stat : 16275 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16276] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16276/stat : 16276 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16277] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16277/stat : 16277 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424032 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16278] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16278/stat : 16278 (java) S 16266 16268 16268 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869424033 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708928 0 0 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16279] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16279/stat : 16279 (java) S 16266 16268 16268 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869424034 8740286464 7053 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16280] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16280/stat : 16280 (java) S 16266 16268 16268 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869424034 8740286464 7054 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16281] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16281/stat : 16281 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424036 8740286464 7054 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347716017 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16282] ppid=16266 vsize=8535436 CPUtime=0.1 cores=0,2,4,6
/proc/16268/task/16282/stat : 16282 (java) S 16266 16268 16268 0 -1 4202560 841 0 0 0 10 0 0 0 17 0 19 0 869424036 8740286464 7054 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 0 0 0 0
[pid=16268/tid=16283] ppid=16266 vsize=8535436 CPUtime=0.06 cores=0,2,4,6
/proc/16268/task/16283/stat : 16283 (java) S 16266 16268 16268 0 -1 4202560 730 0 0 0 6 0 0 0 25 0 19 0 869424036 8740286464 7054 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 2 0 0 0
[pid=16268/tid=16284] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16284/stat : 16284 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869424036 8740286464 7055 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 18446604449919295936 0 0 -1 4 0 0 0
[pid=16268/tid=16285] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16285/stat : 16285 (java) S 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869424036 8740286464 7055 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708928 0 4 0 16800975 18446604449919295936 0 0 -1 2 0 0 0
[pid=16268/tid=16286] ppid=16266 vsize=8535436 CPUtime=0 cores=0,2,4,6
/proc/16268/task/16286/stat : 16286 (java) R 16266 16268 16268 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869424059 8740286464 7055 33554432000 1073741824 1073778376 140735441229744 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16203/tid=16211] ppid=16201 vsize=325088 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16211/stat : 16211 (python) S 16201 16203 14938 0 -1 4202560 28 1348 0 0 0 0 1 0 19 0 5 0 869409544 332890112 7456 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
[pid=16203/tid=16238] ppid=16201 vsize=325088 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16238/stat : 16238 (python) S 16201 16203 14938 0 -1 4202560 29 1348 0 0 0 0 1 0 20 0 5 0 869414428 332890112 7456 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 6 0 0 0
[pid=16203/tid=16262] ppid=16201 vsize=325088 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16262/stat : 16262 (python) S 16201 16203 14938 0 -1 4202560 31 1348 0 0 0 0 1 0 20 0 5 0 869419145 332890112 7456 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 6 0 0 0
[pid=16203/tid=16267] ppid=16201 vsize=325088 CPUtime=0.01 cores=0,2,4,6
/proc/16203/task/16267/stat : 16267 (python) S 16201 16203 14938 0 -1 4202560 31 1348 0 0 0 0 1 0 20 0 5 0 869424031 332890112 7456 33554432000 4194304 5683644 140736699018352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.45
Current children cumulated vsize (KiB) 18744468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16203 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=491925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=147977
# CPU time returned by wait4() is 0.639902
# while last known CPU time is 147.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.978
CPU time (s): 147.45
CPU user time (s): 144.29
CPU system time (s): 3.16
CPU usage (%): 101.008
Max. virtual memory (cumulated for all children) (KiB): 18744468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.491925
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14810
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= 3924
involuntary context switches= 22
runsolver used 0.868867 second user time and 1.67075 second system time
The end