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-3482230-1307578785/watcher-3482230-1307578785 -o /tmp/evaluation-result-3482230-1307578785/solver-3482230-1307578785 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482230-1307578785.opb -seed 950059646 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.09 1.93 2/761 16622
/proc/meminfo: memFree=16982992/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 899 0 0 0 0 0 0 0 20 0 1 0 869476778 16154624 779 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335892112 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16622/statm: 3944 780 343 364 0 431 0
[startup+0.113854 s]
/proc/loadavg: 2.08 2.09 1.93 2/761 16622
/proc/meminfo: memFree=16982992/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 3170 930 1 0 6 1 0 0 18 0 1 0 869476778 98435072 2484 33554432000 4194304 5683644 140736848391392 18446744073709551615 5158281 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16622/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200851 s]
/proc/loadavg: 2.08 2.09 1.93 2/761 16622
/proc/meminfo: memFree=16982992/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=123744 CPUtime=0.13 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 5358 930 1 0 11 2 0 0 17 0 1 0 869476778 126713856 3745 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335888389 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16622/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123744
[startup+0.300777 s]
/proc/loadavg: 2.08 2.09 1.93 2/761 16622
/proc/meminfo: memFree=16982992/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=184248 CPUtime=0.2 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 6287 930 1 0 16 4 0 0 17 0 1 0 869476778 188669952 4593 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/16622/statm: 46062 4593 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 184248
[startup+0.700761 s]
/proc/loadavg: 2.08 2.09 1.93 2/761 16622
/proc/meminfo: memFree=16982992/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=298316 CPUtime=0.56 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 12965 930 1 0 49 7 0 0 17 0 1 0 869476778 305475584 10827 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335553221 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16622/statm: 74579 10827 1781 364 0 9472 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 298316
[startup+1.5006 s]
/proc/loadavg: 2.08 2.09 1.93 2/745 16650
/proc/meminfo: memFree=16984972/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=328764 CPUtime=1.36 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 20255 930 1 0 128 8 0 0 18 0 1 0 869476778 336654336 18117 33554432000 4194304 5683644 140736848391392 18446744073709551615 4960392 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16622/statm: 82191 18117 1781 364 0 17084 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 328764
[startup+3.10032 s]
/proc/loadavg: 2.08 2.09 1.93 2/745 16651
/proc/meminfo: memFree=16959800/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=338244 CPUtime=2.96 cores=1,3,5,7
/proc/16622/stat : 16622 (python) R 16620 16622 14938 0 -1 4202496 32218 930 1 0 287 9 0 0 20 0 1 0 869476778 346361856 20909 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335559647 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/16622/statm: 84561 20909 1816 364 0 19454 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 338244
[startup+6.30074 s]
/proc/loadavg: 2.23 2.12 1.94 3/747 16675
/proc/meminfo: memFree=16963692/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=352344 CPUtime=4.4 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 33455 930 1 0 431 9 0 0 20 0 2 0 869476778 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/16622/statm: 88086 21917 1862 364 0 22973 0
[pid=16652] ppid=16622 vsize=342100 CPUtime=0 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869477234 350310400 20402 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912463 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16652/statm: 85525 20402 351 364 0 20412 0
[pid=16654] ppid=16652 vsize=50472 CPUtime=1.73 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) R 16652 16654 16654 0 -1 4202496 20893 0 0 0 170 3 0 0 19 0 1 0 869477234 51683328 12043 33554432000 134512640 135751879 4293145904 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16654/statm: 12618 12043 146 303 0 12313 0
[pid=16622/tid=16653] ppid=16620 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869477234 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 744916
[startup+12.7006 s]
/proc/loadavg: 2.53 2.19 1.96 3/753 16688
/proc/meminfo: memFree=16744744/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=352344 CPUtime=4.4 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 33455 930 1 0 431 9 0 0 20 0 2 0 869476778 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/16622/statm: 88086 21917 1862 364 0 22973 0
[pid=16652] ppid=16622 vsize=342100 CPUtime=0.04 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 914 0 0 0 1 3 0 0 15 0 1 0 869477234 350310400 20426 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912463 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16652/statm: 85525 20426 375 364 0 20412 0
[pid=16654] ppid=16652 vsize=55708 CPUtime=8.13 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) R 16652 16654 16654 0 -1 4202496 23435 0 0 0 805 8 0 0 25 0 1 0 869477234 57044992 13232 33554432000 134512640 135751879 4293145904 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16654/statm: 13927 13232 146 303 0 13622 0
[pid=16622/tid=16653] ppid=16620 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869477234 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 750152
[startup+25.5003 s]
/proc/loadavg: 2.45 2.18 1.96 3/753 16688
/proc/meminfo: memFree=16701760/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=352344 CPUtime=4.4 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 33455 930 1 0 431 9 0 0 20 0 2 0 869476778 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/16622/statm: 88086 21917 1862 364 0 22973 0
[pid=16652] ppid=16622 vsize=342100 CPUtime=0.1 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 922 0 0 0 4 6 0 0 15 0 1 0 869477234 350310400 20426 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912463 0 0 16781312 33554946 5623753486446373561 0 0 17 7 0 0 0
/proc/16652/statm: 85525 20426 375 364 0 20412 0
[pid=16654] ppid=16652 vsize=70700 CPUtime=20.93 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) R 16652 16654 16654 0 -1 4202496 27284 0 0 0 2078 15 0 0 25 0 1 0 869477234 72396800 16645 33554432000 134512640 135751879 4293145904 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16654/statm: 17675 16645 146 303 0 17370 0
[pid=16622/tid=16653] ppid=16620 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869477234 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 765144
[startup+51.1198 s]
/proc/loadavg: 2.27 2.16 1.96 3/753 16689
/proc/meminfo: memFree=16662192/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=352344 CPUtime=4.4 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 33455 930 1 0 431 9 0 0 20 0 2 0 869476778 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/16622/statm: 88086 21917 1862 364 0 22973 0
[pid=16652] ppid=16622 vsize=342100 CPUtime=0.21 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 932 0 0 0 9 12 0 0 15 0 1 0 869477234 350310400 20426 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912463 0 0 16781312 33554946 5623458817330129593 0 0 17 3 0 0 0
/proc/16652/statm: 85525 20426 375 364 0 20412 0
[pid=16654] ppid=16652 vsize=73852 CPUtime=46.55 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) R 16652 16654 16654 0 -1 4202496 28053 0 0 0 4632 23 0 0 25 0 1 0 869477234 75624448 17414 33554432000 134512640 135751879 4293145904 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16654/statm: 18463 17414 146 303 0 18158 0
[pid=16622/tid=16653] ppid=16620 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869477234 360800256 21917 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 768296
[startup+102.302 s]
/proc/loadavg: 2.25 2.17 1.97 5/782 16719
/proc/meminfo: memFree=14559308/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=372856 CPUtime=4.46 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 35237 930 1 0 436 10 0 0 20 0 4 0 869476778 381804544 21938 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16622/statm: 93214 21938 1875 364 0 28095 0
[pid=16652] ppid=16622 vsize=352344 CPUtime=0.23 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 1091 0 0 0 10 13 0 0 16 0 2 0 869477234 360800256 20462 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16652/statm: 88086 20462 406 364 0 22973 0
[pid=16654] ppid=16652 vsize=76096 CPUtime=49.2 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) T 16652 16654 16654 0 -1 4202496 28614 0 0 0 4896 24 0 0 25 0 1 0 869477234 77922304 17975 33554432000 134512640 135751879 4293145904 18446744073709551615 134604779 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16654/statm: 19024 17975 146 303 0 18719 0
[pid=16652/tid=16690] ppid=16622 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16652/task/16690/stat : 16690 (python) S 16622 16622 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869482155 360800256 20462 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464880964928 0 0 -1 3 0 0 0
[pid=16691] ppid=16622 vsize=352356 CPUtime=0.21 cores=1,3,5,7
/proc/16691/stat : 16691 (python) S 16622 16622 14938 0 -1 4202560 1100 0 0 0 10 11 0 0 16 0 2 0 869482157 360812544 20452 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16691/statm: 88089 20452 396 364 0 22973 0
[pid=16693] ppid=16691 vsize=1034984 CPUtime=47.36 cores=1,3,5,7
/proc/16693/stat : 16693 (scip-2.0.1.linu) T 16691 16693 16693 0 -1 4202496 250928 0 0 0 4597 139 0 0 25 0 1 0 869482158 1059823616 250209 33554432000 4194304 13684479 140735092630512 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16693/statm: 258746 250209 646 2317 0 256424 0
[pid=16691/tid=16699] ppid=16622 vsize=352356 CPUtime=0 cores=1,3,5,7
/proc/16691/task/16699/stat : 16699 (python) S 16622 16622 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869486895 360812544 20452 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464880964032 0 0 -1 7 0 0 0
[pid=16700] ppid=16622 vsize=362612 CPUtime=0 cores=1,3,5,7
/proc/16700/stat : 16700 (python) S 16622 16622 14938 0 -1 4202560 768 0 0 0 0 0 0 0 18 0 1 0 869486898 371314688 20407 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912518 0 0 16781312 33554946 16425764912136945924 0 0 17 1 0 0 0
/proc/16700/statm: 90653 20407 348 364 0 25534 0
[pid=16702] ppid=16700 vsize=8537476 CPUtime=1.66 cores=1,3,5,7
/proc/16702/stat : 16702 (java) S 16700 16702 16702 0 -1 4202496 48273 0 1 0 160 6 0 0 17 0 18 0 869486898 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16702/statm: 2134369 46072 2231 9 0 2125110 0
[pid=16702/tid=16703] ppid=16700 vsize=8537476 CPUtime=1.03 cores=1,3,5,7
/proc/16702/task/16703/stat : 16703 (java) R 16700 16702 16702 0 -1 4202560 35262 0 1 0 99 4 0 0 18 0 18 0 869486899 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 46912505595668 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16702/tid=16704] ppid=16700 vsize=8537476 CPUtime=0.01 cores=1,3,5,7
/proc/16702/task/16704/stat : 16704 (java) S 16700 16702 16702 0 -1 4202560 649 0 0 0 1 0 0 0 15 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 5 0 0 0
[pid=16702/tid=16705] ppid=16700 vsize=8537476 CPUtime=0.01 cores=1,3,5,7
/proc/16702/task/16705/stat : 16705 (java) S 16700 16702 16702 0 -1 4202560 1189 0 0 0 1 0 0 0 16 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 7 0 0 0
[pid=16702/tid=16706] ppid=16700 vsize=8537476 CPUtime=0.02 cores=1,3,5,7
/proc/16702/task/16706/stat : 16706 (java) S 16700 16702 16702 0 -1 4202560 1641 0 0 0 2 0 0 0 16 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 5 0 0 0
[pid=16702/tid=16707] ppid=16700 vsize=8537476 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16707/stat : 16707 (java) S 16700 16702 16702 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 1 0 0 0
[pid=16702/tid=16708] ppid=16700 vsize=8537476 CPUtime=0.01 cores=1,3,5,7
/proc/16702/task/16708/stat : 16708 (java) S 16700 16702 16702 0 -1 4202560 975 0 0 0 1 0 0 0 16 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 3 0 0 0
[pid=16702/tid=16709] ppid=16700 vsize=8537476 CPUtime=0.01 cores=1,3,5,7
/proc/16702/task/16709/stat : 16709 (java) S 16700 16702 16702 0 -1 4202560 705 0 0 0 1 0 0 0 16 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 7 0 0 0
[pid=16702/tid=16710] ppid=16700 vsize=8537476 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16710/stat : 16710 (java) S 16700 16702 16702 0 -1 4202560 499 0 0 0 0 0 0 0 15 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 3 0 0 0
[pid=16702/tid=16711] ppid=16700 vsize=8537476 CPUtime=0.01 cores=1,3,5,7
/proc/16702/task/16711/stat : 16711 (java) S 16700 16702 16702 0 -1 4202560 1310 0 0 0 1 0 0 0 16 0 18 0 869486900 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 3 0 0 0
[pid=16702/tid=16712] ppid=16700 vsize=8537476 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16712/stat : 16712 (java) S 16700 16702 16702 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 18 0 869486901 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 0 0 16800975 18446604458959911616 0 0 -1 1 0 0 0
[pid=16702/tid=16713] ppid=16700 vsize=8537476 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16713/stat : 16713 (java) S 16700 16702 16702 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 18 0 869486901 8742375424 46072 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446604458959911616 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/16693/stat : 16693 (scip-2.0.1.linu) T 16691 16693 16693 0 -1 4202496 250928 0 0 0 4597 139 0 0 25 0 1 0 869482158 1059823616 250209 33554432000 4194304 13684479 140735092630512 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16693/statm: 258746 250209 646 2317 0 256424 0
[pid=16691/tid=16699] ppid=16622 vsize=352356 CPUtime=0 cores=1,3,5,7
/proc/16691/task/16699/stat : 16699 (python) S 16622 16622 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869486895 360812544 20452 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464880964032 0 0 -1 7 0 0 0
[pid=16700] ppid=16622 vsize=362612 CPUtime=0.22 cores=1,3,5,7
/proc/16700/stat : 16700 (python) S 16622 16622 14938 0 -1 4202560 1100 0 0 0 11 11 0 0 16 0 2 0 869486898 371314688 20456 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16700/statm: 90653 20456 396 364 0 25534 0
[pid=16702] ppid=16700 vsize=8540208 CPUtime=50.76 cores=1,3,5,7
/proc/16702/stat : 16702 (java) T 16700 16702 16702 0 -1 4202496 720197 0 1 0 4999 77 0 0 15 0 19 0 869486898 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16702/statm: 2135052 708258 2251 9 0 2125793 0
[pid=16702/tid=16703] ppid=16700 vsize=8540208 CPUtime=47.65 cores=1,3,5,7
/proc/16702/task/16703/stat : 16703 (java) T 16700 16702 16702 0 -1 4202560 630313 0 1 0 4699 66 0 0 19 0 19 0 869486899 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 46912506013640 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16704] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16704/stat : 16704 (java) T 16700 16702 16702 0 -1 4202560 14475 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16705] ppid=16700 vsize=8540208 CPUtime=0.15 cores=1,3,5,7
/proc/16702/task/16705/stat : 16705 (java) T 16700 16702 16702 0 -1 4202560 11061 0 0 0 14 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16706] ppid=16700 vsize=8540208 CPUtime=0.06 cores=1,3,5,7
/proc/16702/task/16706/stat : 16706 (java) T 16700 16702 16702 0 -1 4202560 5170 0 0 0 5 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16707] ppid=16700 vsize=8540208 CPUtime=0.06 cores=1,3,5,7
/proc/16702/task/16707/stat : 16707 (java) T 16700 16702 16702 0 -1 4202560 3590 0 0 0 6 0 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16708] ppid=16700 vsize=8540208 CPUtime=0.16 cores=1,3,5,7
/proc/16702/task/16708/stat : 16708 (java) T 16700 16702 16702 0 -1 4202560 11025 0 0 0 15 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16709] ppid=16700 vsize=8540208 CPUtime=0.09 cores=1,3,5,7
/proc/16702/task/16709/stat : 16709 (java) T 16700 16702 16702 0 -1 4202560 6388 0 0 0 9 0 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16710] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16710/stat : 16710 (java) T 16700 16702 16702 0 -1 4202560 12091 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16711] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16711/stat : 16711 (java) T 16700 16702 16702 0 -1 4202560 13841 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16712] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16712/stat : 16712 (java) T 16700 16702 16702 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16713] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16713/stat : 16713 (java) T 16700 16702 16702 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16714] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16714/stat : 16714 (java) T 16700 16702 16702 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16715] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16715/stat : 16715 (java) T 16700 16702 16702 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16716] ppid=16700 vsize=8540208 CPUtime=0.76 cores=1,3,5,7
/proc/16702/task/16716/stat : 16716 (java) T 16700 16702 16702 0 -1 4202560 2888 0 0 0 76 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16717] ppid=16700 vsize=8540208 CPUtime=1.08 cores=1,3,5,7
/proc/16702/task/16717/stat : 16717 (java) T 16700 16702 16702 0 -1 4202560 6684 0 0 0 108 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16718] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16718/stat : 16718 (java) T 16700 16702 16702 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16719] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16719/stat : 16719 (java) T 16700 16702 16702 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16720] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16720/stat : 16720 (java) T 16700 16702 16702 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869487072 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16700/tid=16744] ppid=16622 vsize=362612 CPUtime=0 cores=1,3,5,7
/proc/16700/task/16744/stat : 16744 (python) S 16622 16622 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869491708 371314688 20456 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604455948257344 0 0 -1 7 0 0 0
[pid=16745] ppid=16622 vsize=372868 CPUtime=7.29 cores=1,3,5,7
/proc/16745/stat : 16745 (python) S 16622 16622 14938 0 -1 4202560 1062 0 0 0 352 377 0 0 15 0 1 0 869491711 381816832 20435 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912518 0 0 16781312 33554946 5623753486446373561 0 0 17 7 0 0 0
/proc/16745/statm: 93217 20435 372 364 0 28095 0
[pid=16747] ppid=16745 vsize=1497104 CPUtime=1633 cores=1,3,5,7
/proc/16747/stat : 16747 (bsolo_pb10) R 16745 16747 16747 0 -1 4202496 23648113 0 0 0 161012 2288 0 0 25 0 1 0 869491711 1533034496 371669 33554432000 134512640 137138936 4290388800 18446744073709551615 134542351 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/16747/statm: 374276 371669 192 642 0 373632 0
[pid=16622/tid=16653] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 869477234 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16692] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16692/stat : 16692 (python) S 16620 16622 14938 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869482157 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16701] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16701/stat : 16701 (python) S 16620 16622 14938 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 5 0 869486898 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16746] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16746/stat : 16746 (python) S 16620 16622 14938 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869491711 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1792.76
Current children cumulated vsize (KiB) 12971684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.5 s]
/proc/loadavg: 2.13 2.09 2.04 3/813 16795
/proc/meminfo: memFree=6348644/32951124 swapFree=57654872/67111528
[pid=16622] ppid=16620 vsize=383112 CPUtime=4.49 cores=1,3,5,7
/proc/16622/stat : 16622 (python) S 16620 16622 14938 0 -1 4202496 36163 930 1 0 439 10 0 0 19 0 5 0 869476778 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16622/statm: 95778 21944 1877 364 0 30656 0
[pid=16652] ppid=16622 vsize=352344 CPUtime=0.23 cores=1,3,5,7
/proc/16652/stat : 16652 (python) S 16622 16622 14938 0 -1 4202560 1091 0 0 0 10 13 0 0 16 0 2 0 869477234 360800256 20462 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16652/statm: 88086 20462 406 364 0 22973 0
[pid=16654] ppid=16652 vsize=76096 CPUtime=49.2 cores=1,3,5,7
/proc/16654/stat : 16654 (wbo1.4a) T 16652 16654 16654 0 -1 4202496 28614 0 0 0 4896 24 0 0 25 0 1 0 869477234 77922304 17975 33554432000 134512640 135751879 4293145904 18446744073709551615 134604779 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16654/statm: 19024 17975 146 303 0 18719 0
[pid=16652/tid=16690] ppid=16622 vsize=352344 CPUtime=0 cores=1,3,5,7
/proc/16652/task/16690/stat : 16690 (python) S 16622 16622 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869482155 360800256 20462 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464880964928 0 0 -1 3 0 0 0
[pid=16691] ppid=16622 vsize=352356 CPUtime=0.21 cores=1,3,5,7
/proc/16691/stat : 16691 (python) S 16622 16622 14938 0 -1 4202560 1100 0 0 0 10 11 0 0 16 0 2 0 869482157 360812544 20452 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16691/statm: 88089 20452 396 364 0 22973 0
[pid=16693] ppid=16691 vsize=1034984 CPUtime=47.36 cores=1,3,5,7
/proc/16693/stat : 16693 (scip-2.0.1.linu) T 16691 16693 16693 0 -1 4202496 250928 0 0 0 4597 139 0 0 25 0 1 0 869482158 1059823616 250209 33554432000 4194304 13684479 140735092630512 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16693/statm: 258746 250209 646 2317 0 256424 0
[pid=16691/tid=16699] ppid=16622 vsize=352356 CPUtime=0 cores=1,3,5,7
/proc/16691/task/16699/stat : 16699 (python) S 16622 16622 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869486895 360812544 20452 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464880964032 0 0 -1 7 0 0 0
[pid=16700] ppid=16622 vsize=362612 CPUtime=0.22 cores=1,3,5,7
/proc/16700/stat : 16700 (python) S 16622 16622 14938 0 -1 4202560 1100 0 0 0 11 11 0 0 16 0 2 0 869486898 371314688 20456 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16700/statm: 90653 20456 396 364 0 25534 0
[pid=16702] ppid=16700 vsize=8540208 CPUtime=50.76 cores=1,3,5,7
/proc/16702/stat : 16702 (java) T 16700 16702 16702 0 -1 4202496 720197 0 1 0 4999 77 0 0 15 0 19 0 869486898 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16702/statm: 2135052 708258 2251 9 0 2125793 0
[pid=16702/tid=16703] ppid=16700 vsize=8540208 CPUtime=47.65 cores=1,3,5,7
/proc/16702/task/16703/stat : 16703 (java) T 16700 16702 16702 0 -1 4202560 630313 0 1 0 4699 66 0 0 19 0 19 0 869486899 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 46912506013640 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16704] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16704/stat : 16704 (java) T 16700 16702 16702 0 -1 4202560 14475 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16705] ppid=16700 vsize=8540208 CPUtime=0.15 cores=1,3,5,7
/proc/16702/task/16705/stat : 16705 (java) T 16700 16702 16702 0 -1 4202560 11061 0 0 0 14 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16706] ppid=16700 vsize=8540208 CPUtime=0.06 cores=1,3,5,7
/proc/16702/task/16706/stat : 16706 (java) T 16700 16702 16702 0 -1 4202560 5170 0 0 0 5 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16707] ppid=16700 vsize=8540208 CPUtime=0.06 cores=1,3,5,7
/proc/16702/task/16707/stat : 16707 (java) T 16700 16702 16702 0 -1 4202560 3590 0 0 0 6 0 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16708] ppid=16700 vsize=8540208 CPUtime=0.16 cores=1,3,5,7
/proc/16702/task/16708/stat : 16708 (java) T 16700 16702 16702 0 -1 4202560 11025 0 0 0 15 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16709] ppid=16700 vsize=8540208 CPUtime=0.09 cores=1,3,5,7
/proc/16702/task/16709/stat : 16709 (java) T 16700 16702 16702 0 -1 4202560 6388 0 0 0 9 0 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16710] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16710/stat : 16710 (java) T 16700 16702 16702 0 -1 4202560 12091 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16702/tid=16711] ppid=16700 vsize=8540208 CPUtime=0.21 cores=1,3,5,7
/proc/16702/task/16711/stat : 16711 (java) T 16700 16702 16702 0 -1 4202560 13841 0 0 0 20 1 0 0 15 0 19 0 869486900 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16712] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16712/stat : 16712 (java) T 16700 16702 16702 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16713] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16713/stat : 16713 (java) T 16700 16702 16702 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16714] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16714/stat : 16714 (java) T 16700 16702 16702 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869486901 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16715] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16715/stat : 16715 (java) T 16700 16702 16702 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16716] ppid=16700 vsize=8540208 CPUtime=0.76 cores=1,3,5,7
/proc/16702/task/16716/stat : 16716 (java) T 16700 16702 16702 0 -1 4202560 2888 0 0 0 76 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16717] ppid=16700 vsize=8540208 CPUtime=1.08 cores=1,3,5,7
/proc/16702/task/16717/stat : 16717 (java) T 16700 16702 16702 0 -1 4202560 6684 0 0 0 108 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16718] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16718/stat : 16718 (java) T 16700 16702 16702 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16702/tid=16719] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16719/stat : 16719 (java) T 16700 16702 16702 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869486904 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16702/tid=16720] ppid=16700 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/16702/task/16720/stat : 16720 (java) T 16700 16702 16702 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869487072 8745172992 708258 33554432000 1073741824 1073778376 140734994134080 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16700/tid=16744] ppid=16622 vsize=362612 CPUtime=0 cores=1,3,5,7
/proc/16700/task/16744/stat : 16744 (python) S 16622 16622 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869491708 371314688 20456 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554946 18446604455948257344 0 0 -1 7 0 0 0
[pid=16745] ppid=16622 vsize=372868 CPUtime=7.34 cores=1,3,5,7
/proc/16745/stat : 16745 (python) S 16622 16622 14938 0 -1 4202560 1062 0 0 0 354 380 0 0 15 0 1 0 869491711 381816832 20435 33554432000 4194304 5683644 140736848391392 18446744073709551615 232335912518 0 0 16781312 33554946 5623753486446373561 0 0 17 7 0 0 0
/proc/16745/statm: 93217 20435 372 364 0 28095 0
[pid=16747] ppid=16745 vsize=1502180 CPUtime=1640.21 cores=1,3,5,7
/proc/16747/stat : 16747 (bsolo_pb10) R 16745 16747 16747 0 -1 4202496 23705164 0 0 0 161726 2295 0 0 25 0 1 0 869491711 1538232320 372950 33554432000 134512640 137138936 4290388800 18446744073709551615 134618214 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/16747/statm: 375545 372950 192 642 0 374901 0
[pid=16622/tid=16653] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16653/stat : 16653 (python) S 16620 16622 14938 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 869477234 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16692] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16692/stat : 16692 (python) S 16620 16622 14938 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869482157 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16701] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16701/stat : 16701 (python) S 16620 16622 14938 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 5 0 869486898 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 7 0 0 0
[pid=16622/tid=16746] ppid=16620 vsize=383112 CPUtime=0 cores=1,3,5,7
/proc/16622/task/16746/stat : 16746 (python) S 16620 16622 14938 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869491711 392306688 21944 33554432000 4194304 5683644 140736848391392 18446744073709551615 232347716017 0 0 16781312 33554434 18446604470725674880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12976760
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 16622 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=395331
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110983
# CPU time returned by wait4() is 4.50631
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.56
CPU time (s): 1800.02
CPU user time (s): 1770.42
CPU system time (s): 29.6
CPU usage (%): 100.585
Max. virtual memory (cumulated for all children) (KiB): 12976760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.39533
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37095
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= 1212
involuntary context switches= 30
runsolver used 13.6559 second user time and 33.8219 second system time
The end