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-3482423-1307576526/watcher-3482423-1307576526 -o /tmp/evaluation-result-3482423-1307576526/solver-3482423-1307576526 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482423-1307576526.opb -seed 106521175 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.90 0.58 0.20 2/481 30218
/proc/meminfo: memFree=31949296/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/30218/stat : 30218 (python) R 30215 30218 29517 0 -1 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 869255268 16633856 923 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436016896 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30218/statm: 4061 923 381 364 0 548 0
[startup+0.103332 s]
/proc/loadavg: 1.90 0.58 0.20 2/481 30218
/proc/meminfo: memFree=31949296/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/30218/stat : 30218 (python) R 30215 30218 29517 0 -1 4202496 3170 931 1 0 5 1 0 0 18 0 1 0 869255268 98430976 2483 33554432000 4194304 5683644 140735515973184 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30218/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.200504 s]
/proc/loadavg: 1.90 0.58 0.20 2/481 30218
/proc/meminfo: memFree=31949296/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 5359 931 1 0 11 3 0 0 17 0 1 0 869255268 126709760 3744 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/30218/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.301231 s]
/proc/loadavg: 1.90 0.58 0.20 2/481 30218
/proc/meminfo: memFree=31949296/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=195524 CPUtime=0.22 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 6590 931 1 0 16 6 0 0 17 0 1 0 869255268 200216576 4878 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436015104 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/30218/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 195524
[startup+0.7002 s]
/proc/loadavg: 1.90 0.58 0.20 2/481 30218
/proc/meminfo: memFree=31949296/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=261396 CPUtime=0.32 cores=1,3,5,7
/proc/30218/stat : 30218 (python) D 30215 30218 29517 0 -1 4202496 8264 931 1 0 25 7 0 0 17 0 1 0 869255268 267669504 6355 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436022839 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/30218/statm: 65349 6355 1677 364 0 5065 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 261396
[startup+1.501 s]
/proc/loadavg: 1.90 0.58 0.20 3/482 30228
/proc/meminfo: memFree=31895348/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=303728 CPUtime=0.82 cores=1,3,5,7
/proc/30218/stat : 30218 (python) R 30215 30218 29517 0 -1 4202496 14350 931 1 0 72 10 0 0 18 0 1 0 869255268 311017472 12210 33554432000 4194304 5683644 140735515973184 18446744073709551615 4602985 0 0 16781312 2 0 0 0 17 7 0 0 57
/proc/30218/statm: 75932 12210 1781 364 0 10825 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 303728
[startup+3.10074 s]
/proc/loadavg: 1.90 0.58 0.20 2/478 30250
/proc/meminfo: memFree=31901664/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=319984 CPUtime=2.42 cores=1,3,5,7
/proc/30218/stat : 30218 (python) R 30215 30218 29517 0 -1 4202496 24772 931 1 0 231 11 0 0 20 0 1 0 869255268 327663616 16344 33554432000 4194304 5683644 140735515973184 18446744073709551615 212435713460 0 0 16781312 33554434 0 0 0 17 3 0 0 57
/proc/30218/statm: 79996 16344 1816 364 0 14889 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 319984
heavy processes:
[startup+6.30113 s]
/proc/loadavg: 1.91 0.60 0.21 3/485 30269
/proc/meminfo: memFree=31833880/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=333176 CPUtime=3.08 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 25789 931 1 0 297 11 0 0 24 0 2 0 869255268 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 57
/proc/30218/statm: 83294 17135 1872 364 0 18181 0
[pid=30254] ppid=30218 vsize=322932 CPUtime=0 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 719 0 0 0 0 0 0 0 18 0 1 0 869255644 330682368 15610 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436037135 0 0 16781312 33554946 7383788929243119878 0 0 17 7 0 0 0
/proc/30254/statm: 80733 15610 351 364 0 15620 0
[pid=30256] ppid=30254 vsize=27648 CPUtime=2.52 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) R 30254 30256 30256 0 -1 4202496 8612 0 0 0 251 1 0 0 25 0 1 0 869255645 28311552 6546 33554432000 134512640 136139019 4291896560 18446744073709551615 134883043 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/30256/statm: 6912 6546 184 398 0 6512 0
[pid=30218/tid=30255] ppid=30215 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 24 0 2 0 869255644 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 683756
[startup+12.7009 s]
/proc/loadavg: 1.91 0.62 0.22 2/481 30359
/proc/meminfo: memFree=31945176/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=333176 CPUtime=3.08 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 25789 931 1 0 297 11 0 0 24 0 2 0 869255268 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 57
/proc/30218/statm: 83294 17135 1872 364 0 18181 0
[pid=30254] ppid=30218 vsize=322932 CPUtime=0.03 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869255644 330682368 15634 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/30254/statm: 80733 15634 375 364 0 15620 0
[pid=30256] ppid=30254 vsize=37528 CPUtime=8.92 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) R 30254 30256 30256 0 -1 4202496 11054 0 0 0 890 2 0 0 25 0 1 0 869255645 38428672 8988 33554432000 134512640 136139019 4291896560 18446744073709551615 134883454 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/30256/statm: 9382 8988 184 398 0 8982 0
[pid=30218/tid=30255] ppid=30215 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 24 0 2 0 869255644 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 693636
[startup+25.5005 s]
/proc/loadavg: 1.94 0.69 0.24 3/488 30450
/proc/meminfo: memFree=31771948/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=333176 CPUtime=3.08 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 25789 931 1 0 297 11 0 0 24 0 2 0 869255268 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 57
/proc/30218/statm: 83294 17135 1872 364 0 18181 0
[pid=30254] ppid=30218 vsize=322932 CPUtime=0.07 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 885 0 0 0 3 4 0 0 18 0 1 0 869255644 330682368 15634 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436037135 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/30254/statm: 80733 15634 375 364 0 15620 0
[pid=30256] ppid=30254 vsize=46924 CPUtime=21.72 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) R 30254 30256 30256 0 -1 4202496 13417 0 0 0 2170 2 0 0 25 0 1 0 869255645 48050176 11351 33554432000 134512640 136139019 4291896560 18446744073709551615 134832391 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/30256/statm: 11731 11351 184 398 0 11331 0
[pid=30218/tid=30255] ppid=30215 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 24 0 2 0 869255644 341172224 17135 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 703032
[startup+51.1007 s]
/proc/loadavg: 1.96 0.79 0.29 3/488 30451
/proc/meminfo: memFree=31711316/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=333180 CPUtime=3.22 cores=1,3,5,7
/proc/30218/stat : 30218 (python) R 30215 30218 29517 0 -1 4202496 26455 931 1 0 311 11 0 0 18 0 2 0 869255268 341176320 17137 33554432000 4194304 5683644 140735515973184 18446744073709551615 4619808 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 57
/proc/30218/statm: 83295 17137 1873 364 0 18182 0
[pid=30254] ppid=30218 vsize=333176 CPUtime=0.18 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 1125 0 0 0 8 10 0 0 19 0 2 0 869255644 341172224 15675 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30254/statm: 83294 15675 411 364 0 18181 0
[pid=30256] ppid=30254 vsize=52020 CPUtime=47.18 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) T 30254 30256 30256 0 -1 4202496 14694 0 0 0 4715 3 0 0 25 0 1 0 869255645 53268480 12628 33554432000 134512640 136139019 4291896560 18446744073709551615 134883415 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30256/statm: 13005 12628 184 398 0 12605 0
[pid=30218/tid=30255] ppid=30215 vsize=333180 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 24 0 2 0 869255644 341176320 17137 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 718376
[startup+102.301 s]
/proc/loadavg: 2.02 0.99 0.38 3/496 30460
/proc/meminfo: memFree=31551568/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=343432 CPUtime=11.55 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 26769 931 1 0 1140 15 0 0 25 0 3 0 869255268 351674368 17142 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 57
/proc/30218/statm: 85858 17142 1875 364 0 20742 0
[pid=30254] ppid=30218 vsize=333176 CPUtime=0.18 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 1125 0 0 0 8 10 0 0 19 0 2 0 869255644 341172224 15675 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30254/statm: 83294 15675 411 364 0 18181 0
[pid=30256] ppid=30254 vsize=52020 CPUtime=47.18 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) T 30254 30256 30256 0 -1 4202496 14694 0 0 0 4715 3 0 0 25 0 1 0 869255645 53268480 12628 33554432000 134512640 136139019 4291896560 18446744073709551615 134883415 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30256/statm: 13005 12628 184 398 0 12605 0
[pid=30254/tid=30452] ppid=30218 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30254/task/30452/stat : 30452 (python) S 30218 30218 29517 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869260363 341172224 15675 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604465658881344 0 0 -1 3 0 0 0
[pid=30453] ppid=30218 vsize=333188 CPUtime=0.17 cores=1,3,5,7
/proc/30453/stat : 30453 (python) S 30218 30218 29517 0 -1 4202560 935 0 0 0 7 10 0 0 15 0 1 0 869261210 341184512 15635 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436037190 0 0 16781312 33554946 5623753486446373750 0 0 17 7 0 0 0
/proc/30453/statm: 83297 15635 372 364 0 18181 0
[pid=30455] ppid=30453 vsize=170580 CPUtime=42.87 cores=1,3,5,7
/proc/30455/stat : 30455 (minion) R 30453 30455 30455 0 -1 4202496 46385 0 0 0 4282 5 0 0 25 0 1 0 869261211 174673920 35117 33554432000 134512640 165565024 4287873056 18446744073709551615 158624694 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/30455/statm: 42645 35117 346 7582 0 35060 0
[pid=30218/tid=30255] ppid=30215 vsize=343432 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 24 0 3 0 869255644 351674368 17142 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
[pid=30218/tid=30454] ppid=30215 vsize=343432 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30454/stat : 30454 (python) S 30215 30218 29517 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 3 0 869261211 351674368 17142 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 1232396
[startup+162.302 s]
/proc/loadavg: 2.00 1.17 0.48 3/509 30475
/proc/meminfo: memFree=30232496/32951124 swapFree=34789492/67111528
[pid=30218] ppid=30215 vsize=363944 CPUtime=11.6 cores=1,3,5,7
/proc/30218/stat : 30218 (python) S 30215 30218 29517 0 -1 4202496 28695 931 1 0 1145 15 0 0 19 0 5 0 869255268 372678656 17154 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 57
/proc/30218/statm: 90986 17154 1879 364 0 25864 0
[pid=30254] ppid=30218 vsize=333176 CPUtime=0.18 cores=1,3,5,7
/proc/30254/stat : 30254 (python) S 30218 30218 29517 0 -1 4202560 1125 0 0 0 8 10 0 0 19 0 2 0 869255644 341172224 15675 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30254/statm: 83294 15675 411 364 0 18181 0
[pid=30256] ppid=30254 vsize=52020 CPUtime=47.18 cores=1,3,5,7
/proc/30256/stat : 30256 (clasp-1.3.7-x86) T 30254 30256 30256 0 -1 4202496 14694 0 0 0 4715 3 0 0 25 0 1 0 869255645 53268480 12628 33554432000 134512640 136139019 4291896560 18446744073709551615 134883415 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30256/statm: 13005 12628 184 398 0 12605 0
[pid=30254/tid=30452] ppid=30218 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30254/task/30452/stat : 30452 (python) S 30218 30218 29517 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869260363 341172224 15675 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604465658881344 0 0 -1 3 0 0 0
[pid=30453] ppid=30218 vsize=333188 CPUtime=0.19 cores=1,3,5,7
/proc/30453/stat : 30453 (python) S 30218 30218 29517 0 -1 4202560 1099 0 0 0 8 11 0 0 16 0 2 0 869261210 341184512 15660 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30453/statm: 83297 15660 396 364 0 18181 0
[pid=30455] ppid=30453 vsize=170580 CPUtime=47.81 cores=1,3,5,7
/proc/30455/stat : 30455 (minion) T 30453 30455 30455 0 -1 4202496 46385 0 0 0 4776 5 0 0 25 0 1 0 869261211 174673920 35117 33554432000 134512640 165565024 4287873056 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/30455/statm: 42645 35117 346 7582 0 35060 0
[pid=30453/tid=30461] ppid=30218 vsize=333188 CPUtime=0 cores=1,3,5,7
/proc/30453/task/30461/stat : 30461 (python) S 30218 30218 29517 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869265994 341184512 15660 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604462944736512 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/30256/stat : 30256 (clasp-1.3.7-x86) T 30254 30256 30256 0 -1 4202496 18495 0 0 0 22996 3 0 0 25 0 1 0 869255645 68882432 16429 33554432000 134512640 136139019 4291896560 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/30256/statm: 16817 16429 184 398 0 16417 0
[pid=30254/tid=30452] ppid=30218 vsize=333176 CPUtime=0 cores=1,3,5,7
/proc/30254/task/30452/stat : 30452 (python) S 30218 30218 29517 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869260363 341172224 15676 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604465658881344 0 0 -1 3 0 0 0
[pid=30453] ppid=30218 vsize=333188 CPUtime=0.19 cores=1,3,5,7
/proc/30453/stat : 30453 (python) S 30218 30218 29517 0 -1 4202560 1099 0 0 0 8 11 0 0 16 0 2 0 869261210 341184512 15660 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30453/statm: 83297 15660 396 364 0 18181 0
[pid=30455] ppid=30453 vsize=170580 CPUtime=47.81 cores=1,3,5,7
/proc/30455/stat : 30455 (minion) T 30453 30455 30455 0 -1 4202496 46385 0 0 0 4776 5 0 0 25 0 1 0 869261211 174673920 35117 33554432000 134512640 165565024 4287873056 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/30455/statm: 42645 35117 346 7582 0 35060 0
[pid=30453/tid=30461] ppid=30218 vsize=333188 CPUtime=0 cores=1,3,5,7
/proc/30453/task/30461/stat : 30461 (python) S 30218 30218 29517 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869265994 341184512 15660 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604462944736512 0 0 -1 7 0 0 0
[pid=30462] ppid=30218 vsize=343444 CPUtime=4.61 cores=1,3,5,7
/proc/30462/stat : 30462 (python) S 30218 30218 29517 0 -1 4202560 1198 0 0 0 221 240 0 0 15 0 2 0 869265996 351686656 15673 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30462/statm: 85861 15673 405 364 0 20742 0
[pid=30464] ppid=30462 vsize=1989108 CPUtime=1060.59 cores=1,3,5,7
/proc/30464/stat : 30464 (scip-2.0.1.linu) T 30462 30464 30464 0 -1 4202496 496074 0 0 0 105088 971 0 0 25 0 1 0 869265997 2036846592 488153 33554432000 4194304 13684479 140735130054320 18446744073709551615 4880933 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/30464/statm: 497277 488153 669 2317 0 494955 0
[pid=30462/tid=30471] ppid=30218 vsize=343444 CPUtime=0 cores=1,3,5,7
/proc/30462/task/30471/stat : 30471 (python) S 30218 30218 29517 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869270992 351686656 15673 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604454416744576 0 0 -1 7 0 0 0
[pid=30472] ppid=30218 vsize=353700 CPUtime=0.44 cores=1,3,5,7
/proc/30472/stat : 30472 (python) S 30218 30218 29517 0 -1 4202560 1171 0 0 0 22 22 0 0 15 0 2 0 869270994 362188800 15668 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30472/statm: 88425 15668 396 364 0 23303 0
[pid=30474] ppid=30472 vsize=802708 CPUtime=97.95 cores=1,3,5,7
/proc/30474/stat : 30474 (scip-2.0.1.linu) T 30472 30474 30474 0 -1 4202496 201737 0 0 0 9605 190 0 0 25 0 1 0 869270995 821972992 193811 33554432000 4194304 15243407 140736173248080 18446744073709551615 4880933 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30474/statm: 200677 193811 706 2698 0 197972 0
[pid=30472/tid=30480] ppid=30218 vsize=353700 CPUtime=0 cores=1,3,5,7
/proc/30472/task/30480/stat : 30480 (python) S 30218 30218 29517 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869276049 362188800 15668 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604465658883136 0 0 -1 7 0 0 0
[pid=30482] ppid=30218 vsize=363956 CPUtime=0.21 cores=1,3,5,7
/proc/30482/stat : 30482 (python) S 30218 30218 29517 0 -1 4202560 1146 0 0 0 10 11 0 0 17 0 2 0 869280574 372690944 15672 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30482/statm: 90989 15672 396 364 0 25864 0
[pid=30484] ppid=30482 vsize=39288 CPUtime=49.37 cores=1,3,5,7
/proc/30484/stat : 30484 (wbo1.4a) T 30482 30484 30484 0 -1 4202496 10891 0 0 0 4928 9 0 0 25 0 1 0 869280574 40230912 8929 33554432000 134512640 135751879 4287473216 18446744073709551615 134616320 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/30484/statm: 9822 8929 143 303 0 9517 0
[pid=30482/tid=30491] ppid=30218 vsize=363956 CPUtime=0 cores=1,3,5,7
/proc/30482/task/30491/stat : 30491 (python) S 30218 30218 29517 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869285512 372690944 15672 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604469825180992 0 0 -1 7 0 0 0
[pid=30498] ppid=30218 vsize=374212 CPUtime=0.2 cores=1,3,5,7
/proc/30498/stat : 30498 (python) S 30218 30218 29517 0 -1 4202560 1131 0 0 0 9 11 0 0 16 0 2 0 869299278 383193088 15676 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30498/statm: 93553 15676 396 364 0 28425 0
[pid=30501] ppid=30498 vsize=87356 CPUtime=45.94 cores=1,3,5,7
/proc/30501/stat : 30501 (wbo1.4b-fixed) T 30498 30501 30501 0 -1 4202496 22887 0 0 0 4582 12 0 0 25 0 1 0 869299278 89452544 20925 33554432000 134512640 135752315 4292557552 18446744073709551615 134637250 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/30501/statm: 21839 20925 146 303 0 21534 0
[pid=30498/tid=30505] ppid=30218 vsize=374212 CPUtime=0 cores=1,3,5,7
/proc/30498/task/30505/stat : 30505 (python) S 30218 30218 29517 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869303873 383193088 15676 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604454224050944 0 0 -1 7 0 0 0
[pid=30556] ppid=30218 vsize=384468 CPUtime=0.2 cores=1,3,5,7
/proc/30556/stat : 30556 (python) S 30218 30218 29517 0 -1 4202560 1140 0 0 0 10 10 0 0 16 0 2 0 869359293 393695232 15680 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/30556/statm: 96117 15680 396 364 0 30986 0
[pid=30558] ppid=30556 vsize=8539284 CPUtime=48.87 cores=1,3,5,7
/proc/30558/stat : 30558 (java) T 30556 30558 30558 0 -1 4202496 126109 0 1 0 4871 16 0 0 15 0 19 0 869359294 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30558/statm: 2134821 123026 2255 9 0 2125562 0
[pid=30558/tid=30560] ppid=30556 vsize=8539284 CPUtime=47.41 cores=1,3,5,7
/proc/30558/task/30560/stat : 30560 (java) T 30556 30558 30558 0 -1 4202560 92669 0 1 0 4730 11 0 0 25 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 46912505934880 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30561] ppid=30556 vsize=8539284 CPUtime=0.03 cores=1,3,5,7
/proc/30558/task/30561/stat : 30561 (java) T 30556 30558 30558 0 -1 4202560 3067 0 0 0 3 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30562] ppid=30556 vsize=8539284 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30562/stat : 30562 (java) T 30556 30558 30558 0 -1 4202560 4587 0 0 0 4 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30563] ppid=30556 vsize=8539284 CPUtime=0.02 cores=1,3,5,7
/proc/30558/task/30563/stat : 30563 (java) T 30556 30558 30558 0 -1 4202560 2880 0 0 0 2 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30565] ppid=30556 vsize=8539284 CPUtime=0.02 cores=1,3,5,7
/proc/30558/task/30565/stat : 30565 (java) T 30556 30558 30558 0 -1 4202560 1631 0 0 0 2 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30566] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30566/stat : 30566 (java) T 30556 30558 30558 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30567] ppid=30556 vsize=8539284 CPUtime=0.03 cores=1,3,5,7
/proc/30558/task/30567/stat : 30567 (java) T 30556 30558 30558 0 -1 4202560 2641 0 0 0 3 0 0 0 15 0 19 0 869359295 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30558/tid=30568] ppid=30556 vsize=8539284 CPUtime=0.01 cores=1,3,5,7
/proc/30558/task/30568/stat : 30568 (java) T 30556 30558 30558 0 -1 4202560 778 0 0 0 1 0 0 0 15 0 19 0 869359296 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30569] ppid=30556 vsize=8539284 CPUtime=0.04 cores=1,3,5,7
/proc/30558/task/30569/stat : 30569 (java) T 30556 30558 30558 0 -1 4202560 3523 0 0 0 4 0 0 0 15 0 19 0 869359296 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30570] ppid=30556 vsize=8539284 CPUtime=0.17 cores=1,3,5,7
/proc/30558/task/30570/stat : 30570 (java) T 30556 30558 30558 0 -1 4202560 6970 0 0 0 17 0 0 0 15 0 19 0 869359297 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447833600 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30558/tid=30571] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30571/stat : 30571 (java) T 30556 30558 30558 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869359297 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30573] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30573/stat : 30573 (java) T 30556 30558 30558 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869359297 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30558/tid=30574] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30574/stat : 30574 (java) T 30556 30558 30558 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359299 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447840689 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30575] ppid=30556 vsize=8539284 CPUtime=0.48 cores=1,3,5,7
/proc/30558/task/30575/stat : 30575 (java) T 30556 30558 30558 0 -1 4202560 2306 0 0 0 48 0 0 0 15 0 19 0 869359299 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30558/tid=30576] ppid=30556 vsize=8539284 CPUtime=0.5 cores=1,3,5,7
/proc/30558/task/30576/stat : 30576 (java) T 30556 30558 30558 0 -1 4202560 3506 0 0 0 50 0 0 0 15 0 19 0 869359299 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30558/tid=30578] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30578/stat : 30578 (java) T 30556 30558 30558 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359299 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447832985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30558/tid=30579] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30579/stat : 30579 (java) T 30556 30558 30558 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869359299 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447833600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30558/tid=30580] ppid=30556 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/30558/task/30580/stat : 30580 (java) T 30556 30558 30558 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 869359410 8744226816 123026 33554432000 1073741824 1073778376 140737151586736 18446744073709551615 212447833600 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30556/tid=30589] ppid=30218 vsize=384468 CPUtime=0 cores=1,3,5,7
/proc/30556/task/30589/stat : 30589 (python) S 30218 30218 29517 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869364069 393695232 15680 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604465658880448 0 0 -1 3 0 0 0
[pid=30591] ppid=30218 vsize=394724 CPUtime=0.39 cores=1,3,5,7
/proc/30591/stat : 30591 (python) S 30218 30218 29517 0 -1 4202560 1214 0 0 0 18 21 0 0 16 0 2 0 869364070 404197376 15690 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447843787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30591/statm: 98681 15690 402 364 0 33547 0
[pid=30593] ppid=30591 vsize=50308 CPUtime=92.83 cores=1,3,5,7
/proc/30593/stat : 30593 (bsolo_pb10) T 30591 30593 30593 0 -1 4202496 11731 0 0 0 9276 7 0 0 25 0 1 0 869364071 51515392 9918 33554432000 134512640 137138936 4292303552 18446744073709551615 136506283 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/30593/statm: 12577 9918 184 642 0 11933 0
[pid=30591/tid=30606] ppid=30218 vsize=394724 CPUtime=0 cores=1,3,5,7
/proc/30591/task/30606/stat : 30606 (python) S 30218 30218 29517 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869373354 404197376 15690 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554946 18446604468154847552 0 0 -1 7 0 0 0
[pid=30977] ppid=30218 vsize=404980 CPUtime=0 cores=1,3,5,7
/proc/30977/stat : 30977 (python) S 30218 30218 29517 0 -1 4202560 877 0 0 0 0 0 0 0 18 0 1 0 869423755 414699520 15646 33554432000 4194304 5683644 140735515973184 18446744073709551615 212436037190 0 0 16781312 33554946 2816539200805928960 0 0 17 5 0 0 0
/proc/30977/statm: 101245 15646 355 364 0 36108 0
[pid=30979] ppid=30977 vsize=8534464 CPUtime=0.63 cores=1,3,5,7
/proc/30979/stat : 30979 (java) S 30977 30979 30979 0 -1 4202496 12842 0 1 0 61 2 0 0 17 0 18 0 869423755 8739291136 11228 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30979/statm: 2133616 11229 2204 9 0 2124357 0
[pid=30979/tid=30980] ppid=30977 vsize=8534464 CPUtime=0.34 cores=1,3,5,7
/proc/30979/task/30980/stat : 30980 (java) R 30977 30979 30979 0 -1 4202560 8674 0 1 0 33 1 0 0 18 0 18 0 869423756 8739291136 11298 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 46912505593038 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30979/tid=30981] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869423757 8739291136 11299 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 1 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869423757 8739291136 11301 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869423757 8739291136 11303 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30984] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30984/stat : 30984 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869423757 8739291136 11304 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30985] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30985/stat : 30985 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869423757 8739291136 11305 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30986] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30986/stat : 30986 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869423757 8739291136 11307 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30987] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30987/stat : 30987 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869423757 8739291136 11308 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30988] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30988/stat : 30988 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869423757 8739291136 11310 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30989] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30989/stat : 30989 (java) S 30977 30979 30979 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869423758 8739291136 11311 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447833600 0 0 0 16800975 18446604467625921280 0 0 -1 7 0 0 0
[pid=30979/tid=30990] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30990/stat : 30990 (java) S 30977 30979 30979 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869423758 8739291136 11313 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 1 0 0 0
[pid=30979/tid=30991] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30991/stat : 30991 (java) S 30977 30979 30979 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 18 0 869423758 8739291136 11314 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 3 0 0 0
[pid=30979/tid=30992] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30992/stat : 30992 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869423760 8739291136 11316 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447840689 0 4 0 16800975 18446604467625921280 0 0 -1 1 0 0 0
[pid=30979/tid=30993] ppid=30977 vsize=8534464 CPUtime=0.13 cores=1,3,5,7
/proc/30979/task/30993/stat : 30993 (java) R 30977 30979 30979 0 -1 4202560 1323 0 0 0 13 0 0 0 16 0 18 0 869423760 8739291136 11317 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 47138606973976 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30979/tid=30994] ppid=30977 vsize=8534464 CPUtime=0.14 cores=1,3,5,7
/proc/30979/task/30994/stat : 30994 (java) R 30977 30979 30979 0 -1 4202560 1522 0 0 0 14 0 0 0 19 0 18 0 869423760 8739291136 11318 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30979/tid=30995] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30995/stat : 30995 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869423760 8739291136 11320 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447832985 0 4 0 16800975 18446604467625921280 0 0 -1 1 0 0 0
[pid=30979/tid=30996] ppid=30977 vsize=8534464 CPUtime=0 cores=1,3,5,7
/proc/30979/task/30996/stat : 30996 (java) S 30977 30979 30979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869423760 8739291136 11321 33554432000 1073741824 1073778376 140733349687280 18446744073709551615 212447833600 0 4 0 16800975 18446604467625921280 0 0 -1 7 0 0 0
[pid=30218/tid=30255] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30255/stat : 30255 (python) S 30215 30218 29517 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 10 0 869255644 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
[pid=30218/tid=30454] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30454/stat : 30454 (python) S 30215 30218 29517 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 10 0 869261211 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
[pid=30218/tid=30463] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30463/stat : 30463 (python) S 30215 30218 29517 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 10 0 869265996 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 5 0 0 0
[pid=30218/tid=30473] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30473/stat : 30473 (python) S 30215 30218 29517 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 10 0 869270995 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
[pid=30218/tid=30483] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30483/stat : 30483 (python) S 30215 30218 29517 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 10 0 869280574 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
[pid=30218/tid=30499] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30499/stat : 30499 (python) S 30215 30218 29517 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 10 0 869299278 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
[pid=30218/tid=30557] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30557/stat : 30557 (python) S 30215 30218 29517 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 10 0 869359294 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 3 0 0 0
[pid=30218/tid=30592] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30592/stat : 30592 (python) S 30215 30218 29517 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 10 0 869364071 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 7 0 0 0
[pid=30218/tid=30978] ppid=30215 vsize=415224 CPUtime=0 cores=1,3,5,7
/proc/30218/task/30978/stat : 30978 (python) S 30215 30218 29517 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 10 0 869423755 425189376 17184 33554432000 4194304 5683644 140735515973184 18446744073709551615 212447840689 0 0 16781312 33554434 18446604468154848448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1693
Current children cumulated vsize (KiB) 23981436
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30218 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=647229
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=175973
# CPU time returned by wait4() is 11.8232
# while last known CPU time is 1693
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1685.35
CPU time (s): 1693
CPU user time (s): 1676.9
CPU system time (s): 16.1
CPU usage (%): 100.454
Max. virtual memory (cumulated for all children) (KiB): 23981436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6472
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34432
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= 1121
involuntary context switches= 54
runsolver used 11.0053 second user time and 24.4093 second system time
The end