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-3482236-1307578756/watcher-3482236-1307578756 -o /tmp/evaluation-result-3482236-1307578756/solver-3482236-1307578756 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482236-1307578756.opb -seed 1605687779 -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.19 2.13 1.93 2/883 21592
/proc/meminfo: memFree=12774056/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 869472370 16629760 917 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500385748 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/21592/statm: 4060 918 381 364 0 547 0
[startup+0.0967089 s]
/proc/loadavg: 2.19 2.13 1.93 2/883 21592
/proc/meminfo: memFree=12774056/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 2596 0 0 0 4 1 0 0 20 0 1 0 869472370 87408640 2316 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21592/statm: 21340 2316 715 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.100725 s]
/proc/loadavg: 2.19 2.13 1.93 2/883 21592
/proc/meminfo: memFree=12774056/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 2666 0 0 0 4 1 0 0 20 0 1 0 869472370 87674880 2382 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500687717 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21592/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.30072 s]
/proc/loadavg: 2.19 2.13 1.93 2/883 21592
/proc/meminfo: memFree=12774056/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 5357 929 1 0 12 4 0 0 17 0 1 0 869472370 126709760 3744 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500687877 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/21592/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700585 s]
/proc/loadavg: 2.19 2.13 1.93 2/883 21592
/proc/meminfo: memFree=12774056/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=291544 CPUtime=0.42 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 11335 929 1 0 33 9 0 0 16 0 1 0 869472370 298541056 9198 33554432000 4194304 5683644 140737315218384 18446744073709551615 47443751305066 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21592/statm: 72886 9198 1781 364 0 7779 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 291544
[startup+1.50047 s]
/proc/loadavg: 2.17 2.13 1.93 3/884 21597
/proc/meminfo: memFree=12731888/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=318616 CPUtime=1.2 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 17895 929 1 0 110 10 0 0 17 0 1 0 869472370 326262784 15758 33554432000 4194304 5683644 140737315218384 18446744073709551615 4602370 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21592/statm: 79654 15760 1781 364 0 14547 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 318616
[startup+3.10116 s]
/proc/loadavg: 2.17 2.13 1.93 3/884 21597
/proc/meminfo: memFree=12698780/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=335528 CPUtime=2.81 cores=0,2,4,6
/proc/21592/stat : 21592 (python) R 21590 21592 19061 0 -1 4202496 31131 929 1 0 269 12 0 0 19 0 1 0 869472370 343580672 20230 33554432000 4194304 5683644 140737315218384 18446744073709551615 47443584821749 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/21592/statm: 83882 20230 1816 364 0 18775 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 335528
[startup+6.30053 s]
/proc/loadavg: 2.24 2.14 1.94 3/887 21601
/proc/meminfo: memFree=12643280/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=349800 CPUtime=4.15 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 32408 929 1 0 403 12 0 0 24 0 2 0 869472370 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 87450 21281 1862 364 0 22337 0
[pid=21599] ppid=21592 vsize=339556 CPUtime=0 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869472815 347705344 19766 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500711951 0 0 16781312 33554946 16534595466407411970 0 0 17 4 0 0 0
/proc/21599/statm: 84889 19766 351 364 0 19776 0
[pid=21601] ppid=21599 vsize=49072 CPUtime=1.84 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) R 21599 21601 21601 0 -1 4202496 22550 0 0 0 182 2 0 0 25 0 1 0 869472815 50249728 11739 33554432000 134512640 135751879 4292423344 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/21601/statm: 12268 11739 146 303 0 11963 0
[pid=21592/tid=21600] ppid=21590 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 2 0 869472815 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 738428
[startup+12.7013 s]
/proc/loadavg: 2.22 2.14 1.94 3/890 21604
/proc/meminfo: memFree=12620200/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=349800 CPUtime=4.15 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 32408 929 1 0 403 12 0 0 24 0 2 0 869472370 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 87450 21281 1862 364 0 22337 0
[pid=21599] ppid=21592 vsize=339556 CPUtime=0.04 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 910 0 0 0 1 3 0 0 15 0 1 0 869472815 347705344 19790 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500711951 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/21599/statm: 84889 19790 375 364 0 19776 0
[pid=21601] ppid=21599 vsize=53392 CPUtime=8.24 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) R 21599 21601 21601 0 -1 4202496 24710 0 0 0 819 5 0 0 25 0 1 0 869472815 54673408 12774 33554432000 134512640 135751879 4292423344 18446744073709551615 134616689 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/21601/statm: 13348 12774 146 303 0 13043 0
[pid=21592/tid=21600] ppid=21590 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 2 0 869472815 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 742748
[startup+25.5007 s]
/proc/loadavg: 2.18 2.14 1.94 3/890 21604
/proc/meminfo: memFree=12597032/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=349800 CPUtime=4.15 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 32408 929 1 0 403 12 0 0 24 0 2 0 869472370 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 87450 21281 1862 364 0 22337 0
[pid=21599] ppid=21592 vsize=339556 CPUtime=0.09 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 912 0 0 0 4 5 0 0 15 0 1 0 869472815 347705344 19790 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/21599/statm: 84889 19790 375 364 0 19776 0
[pid=21601] ppid=21599 vsize=53920 CPUtime=21.04 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) R 21599 21601 21601 0 -1 4202496 24851 0 0 0 2096 8 0 0 25 0 1 0 869472815 55214080 12915 33554432000 134512640 135751879 4292423344 18446744073709551615 134517428 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/21601/statm: 13480 12915 146 303 0 13175 0
[pid=21592/tid=21600] ppid=21590 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 2 0 869472815 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 743276
[startup+51.1226 s]
/proc/loadavg: 2.11 2.12 1.94 3/890 21605
/proc/meminfo: memFree=12555836/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=349800 CPUtime=4.15 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 32408 929 1 0 403 12 0 0 24 0 2 0 869472370 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 87450 21281 1862 364 0 22337 0
[pid=21599] ppid=21592 vsize=339556 CPUtime=0.23 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 924 0 0 0 10 13 0 0 15 0 1 0 869472815 347705344 19790 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/21599/statm: 84889 19790 375 364 0 19776 0
[pid=21601] ppid=21599 vsize=69668 CPUtime=46.67 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) R 21599 21601 21601 0 -1 4202496 28770 0 0 0 4653 14 0 0 25 0 1 0 869472815 71340032 16834 33554432000 134512640 135751879 4292423344 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/21601/statm: 17417 16834 146 303 0 17112 0
[pid=21592/tid=21600] ppid=21590 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 2 0 869472815 358195200 21281 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 759024
[startup+102.301 s]
/proc/loadavg: 2.05 2.10 1.94 3/895 21611
/proc/meminfo: memFree=11594624/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=360056 CPUtime=4.17 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 33293 929 1 0 405 12 0 0 20 0 3 0 869472370 368697344 21296 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21592/statm: 90014 21296 1873 364 0 24898 0
[pid=21599] ppid=21592 vsize=349800 CPUtime=0.26 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 1082 0 0 0 12 14 0 0 16 0 2 0 869472815 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21599/statm: 87450 19826 406 364 0 22337 0
[pid=21601] ppid=21599 vsize=71780 CPUtime=50.59 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) T 21599 21601 21601 0 -1 4202496 29313 0 0 0 5045 14 0 0 25 0 1 0 869472815 73502720 17377 33554432000 134512640 135751879 4292423344 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/21601/statm: 17945 17377 146 303 0 17640 0
[pid=21599/tid=21606] ppid=21592 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21599/task/21606/stat : 21606 (python) S 21592 21592 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869477875 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446402335104 0 0 -1 6 0 0 0
[pid=21607] ppid=21592 vsize=349812 CPUtime=0.24 cores=0,2,4,6
/proc/21607/stat : 21607 (python) S 21592 21592 19061 0 -1 4202560 950 0 0 0 11 13 0 0 15 0 1 0 869477878 358207488 19791 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500712006 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/21607/statm: 87453 19791 372 364 0 22337 0
[pid=21609] ppid=21607 vsize=971564 CPUtime=47.2 cores=0,2,4,6
/proc/21609/stat : 21609 (scip-2.0.1.linu) R 21607 21609 21609 0 -1 4202496 236293 0 0 0 4634 86 0 0 25 0 1 0 869477878 994881536 235572 33554432000 4194304 13684479 140734043304160 18446744073709551615 4880912 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21609/statm: 242891 235572 642 2317 0 240569 0
[pid=21592/tid=21600] ppid=21590 vsize=360056 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 3 0 869472815 368697344 21296 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
[pid=21592/tid=21608] ppid=21590 vsize=360056 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21608/stat : 21608 (python) S 21590 21592 19061 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 3 0 869477878 368697344 21296 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 2103012
[startup+162.302 s]
/proc/loadavg: 2.09 2.10 1.94 3/906 21697
/proc/meminfo: memFree=8638932/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=380568 CPUtime=4.24 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 35052 929 1 0 411 13 0 0 20 0 5 0 869472370 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 95142 21308 1877 364 0 30020 0
[pid=21599] ppid=21592 vsize=349800 CPUtime=0.26 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 1082 0 0 0 12 14 0 0 16 0 2 0 869472815 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21599/statm: 87450 19826 406 364 0 22337 0
[pid=21601] ppid=21599 vsize=71780 CPUtime=50.59 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) T 21599 21601 21601 0 -1 4202496 29313 0 0 0 5045 14 0 0 25 0 1 0 869472815 73502720 17377 33554432000 134512640 135751879 4292423344 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/21601/statm: 17945 17377 146 303 0 17640 0
[pid=21599/tid=21606] ppid=21592 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21599/task/21606/stat : 21606 (python) S 21592 21592 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869477875 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446402335104 0 0 -1 6 0 0 0
[pid=21607] ppid=21592 vsize=349812 CPUtime=0.26 cores=0,2,4,6
/proc/21607/stat : 21607 (python) S 21592 21592 19061 0 -1 4202560 1112 0 0 0 12 14 0 0 16 0 2 0 869477878 358207488 19816 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21607/statm: 87453 19816 396 364 0 22337 0
[pid=21609] ppid=21607 vsize=976612 CPUtime=51.17 cores=0,2,4,6
/proc/21609/stat : 21609 (scip-2.0.1.linu) T 21607 21609 21609 0 -1 4202496 237555 0 0 0 5031 86 0 0 25 0 1 0 869477878 1000050688 236834 33554432000 4194304 13684479 140734043304160 18446744073709551615 4973419 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21609/statm: 244153 236834 642 2317 0 241831 0
[pid=21607/tid=21612] ppid=21592 vsize=349812 CPUtime=0 cores=0,2,4,6
/proc/21607/task/21612/stat : 21612 (python) S 21592 21592 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869482998 358207488 19816 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446753412416 0 0 -1 6 0 0 0
[pid=21613] ppid=21592 vsize=360068 CPUtime=0.26 cores=0,2,4,6
################
# More data... #
################
/proc/21609/stat : 21609 (scip-2.0.1.linu) T 21607 21609 21609 0 -1 4202496 237555 0 0 0 5031 86 0 0 25 0 1 0 869477878 1000050688 236834 33554432000 4194304 13684479 140734043304160 18446744073709551615 4973419 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21609/statm: 244153 236834 642 2317 0 241831 0
[pid=21607/tid=21612] ppid=21592 vsize=349812 CPUtime=0 cores=0,2,4,6
/proc/21607/task/21612/stat : 21612 (python) S 21592 21592 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869482998 358207488 19816 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446753412416 0 0 -1 6 0 0 0
[pid=21613] ppid=21592 vsize=360068 CPUtime=0.26 cores=0,2,4,6
/proc/21613/stat : 21613 (python) S 21592 21592 19061 0 -1 4202560 1103 0 0 0 13 13 0 0 17 0 2 0 869483000 368709632 19820 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21613/statm: 90017 19820 396 364 0 24898 0
[pid=21615] ppid=21613 vsize=8546008 CPUtime=48.33 cores=0,2,4,6
/proc/21615/stat : 21615 (java) T 21613 21615 21615 0 -1 4202496 717691 0 1 0 4751 82 0 0 18 0 19 0 869483001 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21615/statm: 2136502 706211 2249 9 0 2127243 0
[pid=21615/tid=21616] ppid=21613 vsize=8546008 CPUtime=45.16 cores=0,2,4,6
/proc/21615/task/21616/stat : 21616 (java) T 21613 21615 21615 0 -1 4202560 628892 0 1 0 4448 68 0 0 25 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 46912505366582 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21617] ppid=21613 vsize=8546008 CPUtime=0.18 cores=0,2,4,6
/proc/21615/task/21617/stat : 21617 (java) T 21613 21615 21615 0 -1 4202560 14596 0 0 0 16 2 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=8546008 CPUtime=0.07 cores=0,2,4,6
/proc/21615/task/21618/stat : 21618 (java) T 21613 21615 21615 0 -1 4202560 4746 0 0 0 7 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=8546008 CPUtime=0.14 cores=0,2,4,6
/proc/21615/task/21619/stat : 21619 (java) T 21613 21615 21615 0 -1 4202560 10677 0 0 0 13 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=8546008 CPUtime=0.1 cores=0,2,4,6
/proc/21615/task/21620/stat : 21620 (java) T 21613 21615 21615 0 -1 4202560 7235 0 0 0 9 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21621] ppid=21613 vsize=8546008 CPUtime=0.13 cores=0,2,4,6
/proc/21615/task/21621/stat : 21621 (java) T 21613 21615 21615 0 -1 4202560 9271 0 0 0 12 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21622] ppid=21613 vsize=8546008 CPUtime=0.08 cores=0,2,4,6
/proc/21615/task/21622/stat : 21622 (java) T 21613 21615 21615 0 -1 4202560 6388 0 0 0 8 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21623] ppid=21613 vsize=8546008 CPUtime=0.12 cores=0,2,4,6
/proc/21615/task/21623/stat : 21623 (java) T 21613 21615 21615 0 -1 4202560 9390 0 0 0 12 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21624] ppid=21613 vsize=8546008 CPUtime=0.15 cores=0,2,4,6
/proc/21615/task/21624/stat : 21624 (java) T 21613 21615 21615 0 -1 4202560 11370 0 0 0 14 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21625] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21625/stat : 21625 (java) T 21613 21615 21615 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869483003 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21626] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21626/stat : 21626 (java) T 21613 21615 21615 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869483004 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21627] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21627/stat : 21627 (java) T 21613 21615 21615 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869483004 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21628] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21628/stat : 21628 (java) T 21613 21615 21615 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21629] ppid=21613 vsize=8546008 CPUtime=1.16 cores=0,2,4,6
/proc/21615/task/21629/stat : 21629 (java) T 21613 21615 21615 0 -1 4202560 5461 0 0 0 115 1 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21630] ppid=21613 vsize=8546008 CPUtime=0.91 cores=0,2,4,6
/proc/21615/task/21630/stat : 21630 (java) T 21613 21615 21615 0 -1 4202560 7005 0 0 0 90 1 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21631] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21631/stat : 21631 (java) T 21613 21615 21615 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21632] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21632/stat : 21632 (java) T 21613 21615 21615 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21633] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21633/stat : 21633 (java) T 21613 21615 21615 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869483165 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21613/tid=21681] ppid=21592 vsize=360068 CPUtime=0 cores=0,2,4,6
/proc/21613/task/21681/stat : 21681 (python) S 21592 21592 19061 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869487563 368709632 19820 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604445337563264 0 0 -1 6 0 0 0
[pid=21682] ppid=21592 vsize=370324 CPUtime=7.95 cores=0,2,4,6
/proc/21682/stat : 21682 (python) S 21592 21592 19061 0 -1 4202560 1065 0 0 0 387 408 0 0 15 0 1 0 869487566 379211776 19799 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500712006 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/21682/statm: 92581 19799 372 364 0 27459 0
[pid=21684] ppid=21682 vsize=719204 CPUtime=1630.37 cores=0,2,4,6
/proc/21684/stat : 21684 (bsolo_pb10) R 21682 21684 21684 0 -1 4202496 15591044 0 0 0 161394 1643 0 0 25 0 1 0 869487567 736464896 177151 33554432000 134512640 137138936 4294851200 18446744073709551615 134542233 0 0 16781312 16384 0 0 0 17 2 0 0 0
/proc/21684/statm: 179801 177151 192 642 0 179157 0
[pid=21592/tid=21600] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 5 0 869472815 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
[pid=21592/tid=21608] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21608/stat : 21608 (python) S 21590 21592 19061 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 5 0 869477878 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 6 0 0 0
[pid=21592/tid=21614] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21614/stat : 21614 (python) S 21590 21592 19061 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869483001 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 0 0 0 0
[pid=21592/tid=21683] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21683/stat : 21683 (python) S 21590 21592 19061 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869487567 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1793.43
Current children cumulated vsize (KiB) 12124176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.9 s]
/proc/loadavg: 1.11 1.07 1.20 2/897 21785
/proc/meminfo: memFree=8150032/32950928 swapFree=26914392/67111528
[pid=21592] ppid=21590 vsize=380568 CPUtime=4.24 cores=0,2,4,6
/proc/21592/stat : 21592 (python) S 21590 21592 19061 0 -1 4202496 35052 929 1 0 411 13 0 0 20 0 5 0 869472370 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/21592/statm: 95142 21308 1877 364 0 30020 0
[pid=21599] ppid=21592 vsize=349800 CPUtime=0.26 cores=0,2,4,6
/proc/21599/stat : 21599 (python) S 21592 21592 19061 0 -1 4202560 1082 0 0 0 12 14 0 0 16 0 2 0 869472815 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21599/statm: 87450 19826 406 364 0 22337 0
[pid=21601] ppid=21599 vsize=71780 CPUtime=50.59 cores=0,2,4,6
/proc/21601/stat : 21601 (wbo1.4a) T 21599 21601 21601 0 -1 4202496 29313 0 0 0 5045 14 0 0 25 0 1 0 869472815 73502720 17377 33554432000 134512640 135751879 4292423344 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/21601/statm: 17945 17377 146 303 0 17640 0
[pid=21599/tid=21606] ppid=21592 vsize=349800 CPUtime=0 cores=0,2,4,6
/proc/21599/task/21606/stat : 21606 (python) S 21592 21592 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869477875 358195200 19826 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446402335104 0 0 -1 6 0 0 0
[pid=21607] ppid=21592 vsize=349812 CPUtime=0.26 cores=0,2,4,6
/proc/21607/stat : 21607 (python) S 21592 21592 19061 0 -1 4202560 1112 0 0 0 12 14 0 0 16 0 2 0 869477878 358207488 19816 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21607/statm: 87453 19816 396 364 0 22337 0
[pid=21609] ppid=21607 vsize=976612 CPUtime=51.17 cores=0,2,4,6
/proc/21609/stat : 21609 (scip-2.0.1.linu) T 21607 21609 21609 0 -1 4202496 237555 0 0 0 5031 86 0 0 25 0 1 0 869477878 1000050688 236834 33554432000 4194304 13684479 140734043304160 18446744073709551615 4973419 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21609/statm: 244153 236834 642 2317 0 241831 0
[pid=21607/tid=21612] ppid=21592 vsize=349812 CPUtime=0 cores=0,2,4,6
/proc/21607/task/21612/stat : 21612 (python) S 21592 21592 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869482998 358207488 19816 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446753412416 0 0 -1 6 0 0 0
[pid=21613] ppid=21592 vsize=360068 CPUtime=0.26 cores=0,2,4,6
/proc/21613/stat : 21613 (python) S 21592 21592 19061 0 -1 4202560 1103 0 0 0 13 13 0 0 17 0 2 0 869483000 368709632 19820 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21613/statm: 90017 19820 396 364 0 24898 0
[pid=21615] ppid=21613 vsize=8546008 CPUtime=48.33 cores=0,2,4,6
/proc/21615/stat : 21615 (java) T 21613 21615 21615 0 -1 4202496 717691 0 1 0 4751 82 0 0 18 0 19 0 869483001 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21615/statm: 2136502 706211 2249 9 0 2127243 0
[pid=21615/tid=21616] ppid=21613 vsize=8546008 CPUtime=45.16 cores=0,2,4,6
/proc/21615/task/21616/stat : 21616 (java) T 21613 21615 21615 0 -1 4202560 628892 0 1 0 4448 68 0 0 25 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 46912505366582 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21617] ppid=21613 vsize=8546008 CPUtime=0.18 cores=0,2,4,6
/proc/21615/task/21617/stat : 21617 (java) T 21613 21615 21615 0 -1 4202560 14596 0 0 0 16 2 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21618] ppid=21613 vsize=8546008 CPUtime=0.07 cores=0,2,4,6
/proc/21615/task/21618/stat : 21618 (java) T 21613 21615 21615 0 -1 4202560 4746 0 0 0 7 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21619] ppid=21613 vsize=8546008 CPUtime=0.14 cores=0,2,4,6
/proc/21615/task/21619/stat : 21619 (java) T 21613 21615 21615 0 -1 4202560 10677 0 0 0 13 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21620] ppid=21613 vsize=8546008 CPUtime=0.1 cores=0,2,4,6
/proc/21615/task/21620/stat : 21620 (java) T 21613 21615 21615 0 -1 4202560 7235 0 0 0 9 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21621] ppid=21613 vsize=8546008 CPUtime=0.13 cores=0,2,4,6
/proc/21615/task/21621/stat : 21621 (java) T 21613 21615 21615 0 -1 4202560 9271 0 0 0 12 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21622] ppid=21613 vsize=8546008 CPUtime=0.08 cores=0,2,4,6
/proc/21615/task/21622/stat : 21622 (java) T 21613 21615 21615 0 -1 4202560 6388 0 0 0 8 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21615/tid=21623] ppid=21613 vsize=8546008 CPUtime=0.12 cores=0,2,4,6
/proc/21615/task/21623/stat : 21623 (java) T 21613 21615 21615 0 -1 4202560 9390 0 0 0 12 0 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21624] ppid=21613 vsize=8546008 CPUtime=0.15 cores=0,2,4,6
/proc/21615/task/21624/stat : 21624 (java) T 21613 21615 21615 0 -1 4202560 11370 0 0 0 14 1 0 0 15 0 19 0 869483002 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21625] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21625/stat : 21625 (java) T 21613 21615 21615 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869483003 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21626] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21626/stat : 21626 (java) T 21613 21615 21615 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869483004 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21627] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21627/stat : 21627 (java) T 21613 21615 21615 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869483004 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21628] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21628/stat : 21628 (java) T 21613 21615 21615 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21615/tid=21629] ppid=21613 vsize=8546008 CPUtime=1.16 cores=0,2,4,6
/proc/21615/task/21629/stat : 21629 (java) T 21613 21615 21615 0 -1 4202560 5461 0 0 0 115 1 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21615/tid=21630] ppid=21613 vsize=8546008 CPUtime=0.91 cores=0,2,4,6
/proc/21615/task/21630/stat : 21630 (java) T 21613 21615 21615 0 -1 4202560 7005 0 0 0 90 1 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21631] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21631/stat : 21631 (java) T 21613 21615 21615 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21632] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21632/stat : 21632 (java) T 21613 21615 21615 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869483006 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21615/tid=21633] ppid=21613 vsize=8546008 CPUtime=0 cores=0,2,4,6
/proc/21615/task/21633/stat : 21633 (java) T 21613 21615 21615 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869483165 8751112192 706211 33554432000 1073741824 1073778376 140733675158352 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21613/tid=21681] ppid=21592 vsize=360068 CPUtime=0 cores=0,2,4,6
/proc/21613/task/21681/stat : 21681 (python) S 21592 21592 19061 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869487563 368709632 19820 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554946 18446604445337563264 0 0 -1 6 0 0 0
[pid=21682] ppid=21592 vsize=370324 CPUtime=7.97 cores=0,2,4,6
/proc/21682/stat : 21682 (python) S 21592 21592 19061 0 -1 4202560 1065 0 0 0 388 409 0 0 15 0 1 0 869487566 379211776 19799 33554432000 4194304 5683644 140737315218384 18446744073709551615 254500712006 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/21682/statm: 92581 19799 372 364 0 27459 0
[pid=21684] ppid=21682 vsize=721316 CPUtime=1636.99 cores=0,2,4,6
/proc/21684/stat : 21684 (bsolo_pb10) R 21682 21684 21684 0 -1 4202496 15622895 0 0 0 162052 1647 0 0 25 0 1 0 869487567 738627584 177685 33554432000 134512640 137138936 4294851200 18446744073709551615 134542310 0 0 16781312 16384 0 0 0 17 2 0 0 0
/proc/21684/statm: 180329 177685 192 642 0 179685 0
[pid=21592/tid=21600] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21600/stat : 21600 (python) S 21590 21592 19061 0 -1 4202560 27 929 0 0 0 0 0 0 24 0 5 0 869472815 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
[pid=21592/tid=21608] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21608/stat : 21608 (python) S 21590 21592 19061 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 5 0 869477878 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 6 0 0 0
[pid=21592/tid=21614] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21614/stat : 21614 (python) S 21590 21592 19061 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869483001 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 0 0 0 0
[pid=21592/tid=21683] ppid=21590 vsize=380568 CPUtime=0 cores=0,2,4,6
/proc/21592/task/21683/stat : 21683 (python) S 21590 21592 19061 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869487567 389701632 21308 33554432000 4194304 5683644 140737315218384 18446744073709551615 254512515505 0 0 16781312 33554434 18446604446283526400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 12126288
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 21592 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=112374
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=135979
# CPU time returned by wait4() is 4.24835
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1788.97
CPU time (s): 1800.07
CPU user time (s): 1777.15
CPU system time (s): 22.92
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (KiB): 12126860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.11237
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35982
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= 2566
involuntary context switches= 47
runsolver used 17.0784 second user time and 34.0458 second system time
The end