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-3481778-1307577278/watcher-3481778-1307577278 -o /tmp/evaluation-result-3481778-1307577278/solver-3481778-1307577278 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481778-1307577278.opb -seed 77334238 -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.23 2.05 1.31 2/696 20342
/proc/meminfo: memFree=22644920/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/20342/stat : 20342 (python) R 20340 20342 19061 0 -1 4202496 1045 0 0 0 0 0 0 0 21 0 1 0 869324558 16629760 916 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500385748 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20342/statm: 4060 916 381 364 0 547 0
[startup+0.0718619 s]
/proc/loadavg: 2.23 2.05 1.31 2/696 20342
/proc/meminfo: memFree=22644920/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=54504 CPUtime=0.04 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 2051 0 0 0 3 1 0 0 17 0 1 0 869324558 55812096 1809 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/20342/statm: 13626 1809 492 364 0 1276 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54504
[startup+0.10486 s]
/proc/loadavg: 2.23 2.05 1.31 2/696 20342
/proc/meminfo: memFree=22644920/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/20342/stat : 20342 (python) R 20340 20342 19061 0 -1 4202496 3170 931 1 0 5 2 0 0 18 0 1 0 869324558 98430976 2483 33554432000 4194304 5683644 140733244950592 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20342/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300854 s]
/proc/loadavg: 2.23 2.05 1.31 2/696 20342
/proc/meminfo: memFree=22644920/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=190664 CPUtime=0.22 cores=1,3,5,7
/proc/20342/stat : 20342 (python) R 20340 20342 19061 0 -1 4202496 6479 931 1 0 15 7 0 0 17 0 1 0 869324558 195239936 4773 33554432000 4194304 5683644 140733244950592 18446744073709551615 254495729128 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20342/statm: 47666 4773 1342 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 190664
[startup+0.700773 s]
/proc/loadavg: 2.23 2.05 1.31 2/696 20342
/proc/meminfo: memFree=22644920/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293200
[startup+1.50061 s]
/proc/loadavg: 2.23 2.05 1.31 3/700 20350
/proc/meminfo: memFree=22597768/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 869324610 289746944 5632 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5632 352 364 0 5626 0
[pid=20350] ppid=20348 vsize=45936 CPUtime=0.96 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9485 0 0 0 89 7 0 0 18 0 1 0 869324611 47038464 8839 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11484 8839 780 2317 0 9162 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 622092
[startup+3.10029 s]
/proc/loadavg: 2.23 2.05 1.31 3/700 20350
/proc/meminfo: memFree=22584940/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869324610 289746944 5632 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 1168340364185042944 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5632 352 364 0 5626 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=2.56 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9544 0 0 0 227 29 0 0 18 0 1 0 869324611 47198208 8898 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11523 8898 800 2317 0 9201 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 622248
[startup+6.30065 s]
/proc/loadavg: 2.37 2.09 1.32 3/700 20350
/proc/meminfo: memFree=22584620/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0.02 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 895 0 0 0 1 1 0 0 15 0 1 0 869324610 289746944 5656 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 4509409416746860806 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5656 376 364 0 5626 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=5.76 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9546 0 0 0 522 54 0 0 25 0 1 0 869324611 47198208 8900 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11523 8900 800 2317 0 9201 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 622248
[startup+12.7004 s]
/proc/loadavg: 2.34 2.08 1.32 3/700 20350
/proc/meminfo: memFree=22583640/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0.06 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 898 0 0 0 3 3 0 0 15 0 1 0 869324610 289746944 5656 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5656 376 364 0 5626 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=12.16 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9689 0 0 0 1105 111 0 0 25 0 1 0 869324611 47198208 9043 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11523 9043 805 2317 0 9201 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 622248
[startup+25.5008 s]
/proc/loadavg: 2.27 2.08 1.33 3/700 20351
/proc/meminfo: memFree=22584524/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0.11 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 901 0 0 0 5 6 0 0 15 0 1 0 869324610 289746944 5656 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 1489558975388057600 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5656 376 364 0 5626 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=24.96 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9693 0 0 0 2283 213 0 0 25 0 1 0 869324611 47198208 9047 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11523 9047 805 2317 0 9201 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 622248
[startup+51.1007 s]
/proc/loadavg: 2.17 2.07 1.35 3/698 20409
/proc/meminfo: memFree=22592276/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=293200 CPUtime=0.41 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 9648 931 1 0 31 10 0 0 19 0 2 0 869324558 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20342/statm: 73300 7154 1870 364 0 8187 0
[pid=20348] ppid=20342 vsize=282956 CPUtime=0.24 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 917 0 0 0 11 13 0 0 15 0 1 0 869324610 289746944 5656 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500711951 0 0 16781312 33554946 4039424940980568064 0 0 17 7 0 0 0
/proc/20348/statm: 70739 5656 376 364 0 5626 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=50.57 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) R 20348 20350 20350 0 -1 4202496 9698 0 0 0 4659 398 0 0 19 0 1 0 869324611 47198208 9052 33554432000 4194304 13684479 140737318108192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20350/statm: 11523 9052 805 2317 0 9201 0
[pid=20342/tid=20349] ppid=20340 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869324611 300236800 7154 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 622248
[startup+102.3 s]
/proc/loadavg: 2.22 2.09 1.39 3/728 20441
/proc/meminfo: memFree=22483296/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=313960 CPUtime=0.46 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 11360 931 1 0 35 11 0 0 20 0 4 0 869324558 321495040 7227 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20342/statm: 78490 7227 1875 364 0 13371 0
[pid=20348] ppid=20342 vsize=293200 CPUtime=0.26 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 1079 0 0 0 12 14 0 0 16 0 2 0 869324610 300236800 5692 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20348/statm: 73300 5692 407 364 0 8187 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=52.05 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) T 20348 20350 20350 0 -1 4202496 9698 0 0 0 4801 404 0 0 23 0 1 0 869324611 47198208 9052 33554432000 4194304 13684479 140737318108192 18446744073709551615 7158520 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/20350/statm: 11523 9052 805 2317 0 9201 0
[pid=20348/tid=20410] ppid=20342 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20348/task/20410/stat : 20410 (python) S 20342 20342 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869329816 300236800 5692 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604461971452160 0 0 -1 7 0 0 0
[pid=20411] ppid=20342 vsize=293676 CPUtime=0.24 cores=1,3,5,7
/proc/20411/stat : 20411 (python) S 20342 20342 19061 0 -1 4202560 1128 0 0 0 10 14 0 0 16 0 2 0 869329818 300724224 5799 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/20411/statm: 73419 5799 397 364 0 8303 0
[pid=20413] ppid=20411 vsize=48852 CPUtime=48.63 cores=1,3,5,7
/proc/20413/stat : 20413 (scip-2.0.1.linu) T 20411 20413 20413 0 -1 4202496 10225 0 0 0 4803 60 0 0 19 0 1 0 869329818 50024448 9598 33554432000 4194304 15243407 140735498623216 18446744073709551615 6951759 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/20413/statm: 12213 9598 929 2698 0 9508 0
[pid=20411/tid=20420] ppid=20342 vsize=293676 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20420/stat : 20420 (python) S 20342 20342 19061 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869334682 300724224 5799 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018160832 0 0 -1 1 0 0 0
[pid=20421] ppid=20342 vsize=303716 CPUtime=0 cores=1,3,5,7
/proc/20421/stat : 20421 (python) S 20342 20342 19061 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869334685 311005184 5697 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500712006 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/20421/statm: 75929 5697 349 364 0 10810 0
[pid=20423] ppid=20421 vsize=8536664 CPUtime=1.42 cores=1,3,5,7
/proc/20423/stat : 20423 (java) S 20421 20423 20423 0 -1 4202496 11183 0 1 0 141 1 0 0 17 0 19 0 869334685 8741543936 9566 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20423/statm: 2134166 9566 2241 9 0 2124907 0
[pid=20423/tid=20424] ppid=20421 vsize=8536664 CPUtime=0.99 cores=1,3,5,7
/proc/20423/task/20424/stat : 20424 (java) R 20421 20423 20423 0 -1 4202560 4646 0 1 0 99 0 0 0 19 0 19 0 869334686 8741543936 9566 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 46912505605658 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20423/tid=20425] ppid=20421 vsize=8536664 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20425/stat : 20425 (java) S 20421 20423 20423 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 19 0 869334686 8741543936 9566 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446604461120998400 0 0 -1 3 0 0 0
[pid=20423/tid=20426] ppid=20421 vsize=8536664 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20426/stat : 20426 (java) S 20421 20423 20423 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869334686 8741543936 9566 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446604461120998400 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=20456/tid=20470] ppid=20454 vsize=8554984 CPUtime=0.31 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) R 20454 20456 20456 0 -1 4202560 7781 0 0 0 31 0 0 0 16 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 47310175341932 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20456/tid=20471] ppid=20454 vsize=8554984 CPUtime=0.32 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) R 20454 20456 20456 0 -1 4202560 4858 0 0 0 32 0 0 0 25 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 47310172484048 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20456/tid=20472] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20473] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) R 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869344202 8760303616 17446 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254500349680 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20456/tid=20474] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20454 20456 20456 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869344216 8760303616 17446 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512508416 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20342/tid=20349] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 6 0 869324611 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
[pid=20342/tid=20412] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20412/stat : 20412 (python) S 20340 20342 19061 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869329818 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
[pid=20342/tid=20422] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20422/stat : 20422 (python) S 20340 20342 19061 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869334685 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20342/tid=20449] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20449/stat : 20449 (python) S 20340 20342 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 6 0 869339248 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20342/tid=20455] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20455/stat : 20455 (python) S 20340 20342 19061 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869344196 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (KiB) 19263920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+196.901 s]
/proc/loadavg: 2.10 2.09 1.46 7/759 20474
/proc/meminfo: memFree=22093800/32950928 swapFree=26914392/67111528
[pid=20342] ppid=20340 vsize=334868 CPUtime=0.51 cores=1,3,5,7
/proc/20342/stat : 20342 (python) S 20340 20342 19061 0 -1 4202496 13090 931 1 0 40 11 0 0 19 0 6 0 869324558 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20342/statm: 83717 7345 1879 364 0 18592 0
[pid=20348] ppid=20342 vsize=293200 CPUtime=0.26 cores=1,3,5,7
/proc/20348/stat : 20348 (python) S 20342 20342 19061 0 -1 4202560 1079 0 0 0 12 14 0 0 16 0 2 0 869324610 300236800 5692 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20348/statm: 73300 5692 407 364 0 8187 0
[pid=20350] ppid=20348 vsize=46092 CPUtime=52.05 cores=1,3,5,7
/proc/20350/stat : 20350 (scip-2.0.1.linu) T 20348 20350 20350 0 -1 4202496 9698 0 0 0 4801 404 0 0 23 0 1 0 869324611 47198208 9052 33554432000 4194304 13684479 140737318108192 18446744073709551615 7158520 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/20350/statm: 11523 9052 805 2317 0 9201 0
[pid=20348/tid=20410] ppid=20342 vsize=293200 CPUtime=0 cores=1,3,5,7
/proc/20348/task/20410/stat : 20410 (python) S 20342 20342 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869329816 300236800 5692 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604461971452160 0 0 -1 7 0 0 0
[pid=20411] ppid=20342 vsize=293676 CPUtime=0.24 cores=1,3,5,7
/proc/20411/stat : 20411 (python) S 20342 20342 19061 0 -1 4202560 1128 0 0 0 10 14 0 0 16 0 2 0 869329818 300724224 5799 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/20411/statm: 73419 5799 397 364 0 8303 0
[pid=20413] ppid=20411 vsize=48852 CPUtime=48.63 cores=1,3,5,7
/proc/20413/stat : 20413 (scip-2.0.1.linu) T 20411 20413 20413 0 -1 4202496 10225 0 0 0 4803 60 0 0 19 0 1 0 869329818 50024448 9598 33554432000 4194304 15243407 140735498623216 18446744073709551615 6951759 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/20413/statm: 12213 9598 929 2698 0 9508 0
[pid=20411/tid=20420] ppid=20342 vsize=293676 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20420/stat : 20420 (python) S 20342 20342 19061 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869334682 300724224 5799 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018160832 0 0 -1 1 0 0 0
[pid=20421] ppid=20342 vsize=303716 CPUtime=0.27 cores=1,3,5,7
/proc/20421/stat : 20421 (python) S 20342 20342 19061 0 -1 4202560 1174 0 0 0 13 14 0 0 16 0 2 0 869334685 311005184 5752 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/20421/statm: 75929 5752 403 364 0 10810 0
[pid=20423] ppid=20421 vsize=8602200 CPUtime=46.35 cores=1,3,5,7
/proc/20423/stat : 20423 (java) T 20421 20423 20423 0 -1 4202496 14256 0 1 0 4630 5 0 0 15 0 19 0 869334685 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20423/statm: 2150550 12245 2242 9 0 2141291 0
[pid=20423/tid=20424] ppid=20421 vsize=8602200 CPUtime=43.72 cores=1,3,5,7
/proc/20423/task/20424/stat : 20424 (java) T 20421 20423 20423 0 -1 4202560 4760 0 1 0 4371 1 0 0 25 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20423/tid=20425] ppid=20421 vsize=8602200 CPUtime=0.1 cores=1,3,5,7
/proc/20423/task/20425/stat : 20425 (java) T 20421 20423 20423 0 -1 4202560 266 0 0 0 10 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20426] ppid=20421 vsize=8602200 CPUtime=0.06 cores=1,3,5,7
/proc/20423/task/20426/stat : 20426 (java) T 20421 20423 20423 0 -1 4202560 77 0 0 0 6 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20423/tid=20427] ppid=20421 vsize=8602200 CPUtime=0.09 cores=1,3,5,7
/proc/20423/task/20427/stat : 20427 (java) T 20421 20423 20423 0 -1 4202560 284 0 0 0 9 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20423/tid=20428] ppid=20421 vsize=8602200 CPUtime=0.11 cores=1,3,5,7
/proc/20423/task/20428/stat : 20428 (java) T 20421 20423 20423 0 -1 4202560 173 0 0 0 11 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20423/tid=20429] ppid=20421 vsize=8602200 CPUtime=0.08 cores=1,3,5,7
/proc/20423/task/20429/stat : 20429 (java) T 20421 20423 20423 0 -1 4202560 266 0 0 0 8 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20430] ppid=20421 vsize=8602200 CPUtime=0.09 cores=1,3,5,7
/proc/20423/task/20430/stat : 20430 (java) T 20421 20423 20423 0 -1 4202560 65 0 0 0 9 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 47778711635104 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20423/tid=20431] ppid=20421 vsize=8602200 CPUtime=0.09 cores=1,3,5,7
/proc/20423/task/20431/stat : 20431 (java) T 20421 20423 20423 0 -1 4202560 256 0 0 0 9 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20423/tid=20432] ppid=20421 vsize=8602200 CPUtime=0.06 cores=1,3,5,7
/proc/20423/task/20432/stat : 20432 (java) T 20421 20423 20423 0 -1 4202560 295 0 0 0 6 0 0 0 15 0 19 0 869334686 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 47778711635106 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20423/tid=20433] ppid=20421 vsize=8602200 CPUtime=1.44 cores=1,3,5,7
/proc/20423/task/20433/stat : 20433 (java) T 20421 20423 20423 0 -1 4202560 2501 0 0 0 142 2 0 0 15 0 19 0 869334687 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20423/tid=20434] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20434/stat : 20434 (java) T 20421 20423 20423 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869334688 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20435] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20435/stat : 20435 (java) T 20421 20423 20423 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869334688 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20436] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20436/stat : 20436 (java) T 20421 20423 20423 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869334690 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20437] ppid=20421 vsize=8602200 CPUtime=0.26 cores=1,3,5,7
/proc/20423/task/20437/stat : 20437 (java) T 20421 20423 20423 0 -1 4202560 2763 0 0 0 26 0 0 0 15 0 19 0 869334690 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20423/tid=20438] ppid=20421 vsize=8602200 CPUtime=0.17 cores=1,3,5,7
/proc/20423/task/20438/stat : 20438 (java) T 20421 20423 20423 0 -1 4202560 1159 0 0 0 17 0 0 0 15 0 19 0 869334690 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20439] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20439/stat : 20439 (java) T 20421 20423 20423 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869334690 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20423/tid=20440] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20440/stat : 20440 (java) T 20421 20423 20423 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869334690 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20423/tid=20441] ppid=20421 vsize=8602200 CPUtime=0 cores=1,3,5,7
/proc/20423/task/20441/stat : 20441 (java) T 20421 20423 20423 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869334704 8808652800 12245 33554432000 1073741824 1073778376 140736580014704 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20421/tid=20447] ppid=20342 vsize=303716 CPUtime=0 cores=1,3,5,7
/proc/20421/task/20447/stat : 20447 (python) S 20342 20342 19061 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869339245 311005184 5752 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604456459772992 0 0 -1 1 0 0 0
[pid=20448] ppid=20342 vsize=314368 CPUtime=0.25 cores=1,3,5,7
/proc/20448/stat : 20448 (python) S 20342 20342 19061 0 -1 4202560 1188 0 0 0 12 13 0 0 16 0 2 0 869339248 321912832 5842 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20448/statm: 78592 5842 403 364 0 13470 0
[pid=20450] ppid=20448 vsize=147340 CPUtime=49.45 cores=1,3,5,7
/proc/20450/stat : 20450 (wbo1.4a) T 20448 20450 20450 0 -1 4202496 36657 0 0 0 4856 89 0 0 25 0 1 0 869339248 150876160 36385 33554432000 134512640 135751879 4294099056 18446744073709551615 134616876 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/20450/statm: 36835 36385 146 303 0 36530 0
[pid=20448/tid=20453] ppid=20342 vsize=314368 CPUtime=0 cores=1,3,5,7
/proc/20448/task/20453/stat : 20453 (python) S 20342 20342 19061 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869344193 321912832 5842 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466691168128 0 0 -1 7 0 0 0
[pid=20454] ppid=20342 vsize=324624 CPUtime=0 cores=1,3,5,7
/proc/20454/stat : 20454 (python) S 20342 20342 19061 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 869344196 332414976 5811 33554432000 4194304 5683644 140733244950592 18446744073709551615 254500712006 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/20454/statm: 81156 5811 349 364 0 16031 0
[pid=20456] ppid=20454 vsize=8554984 CPUtime=1.09 cores=1,3,5,7
/proc/20456/stat : 20456 (java) S 20454 20456 20456 0 -1 4202496 21498 0 1 0 107 2 0 0 17 0 19 0 869344196 8760303616 16024 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/20456/statm: 2138746 16024 2213 9 0 2129487 0
[pid=20456/tid=20457] ppid=20454 vsize=8554984 CPUtime=0.58 cores=1,3,5,7
/proc/20456/task/20457/stat : 20457 (java) R 20454 20456 20456 0 -1 4202560 8964 0 1 0 57 1 0 0 25 0 19 0 869344198 8760303616 17410 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 46912505748028 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20456/tid=20458] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20458/stat : 20458 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869344198 8760303616 17412 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20459] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20459/stat : 20459 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17412 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20460] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20460/stat : 20460 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17412 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20461] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20461/stat : 20461 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17413 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20462] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20462/stat : 20462 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17413 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20463] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20463/stat : 20463 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17427 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20464] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20464/stat : 20464 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17436 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20465] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20465/stat : 20465 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869344198 8760303616 17442 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 5 0 0 0
[pid=20456/tid=20466] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20466/stat : 20466 (java) S 20454 20456 20456 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869344199 8760303616 17442 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512508416 0 0 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20467] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20467/stat : 20467 (java) S 20454 20456 20456 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869344200 8760303616 17443 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20468] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20468/stat : 20468 (java) S 20454 20456 20456 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869344200 8760303616 17443 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20469] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20469/stat : 20469 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869344202 8760303616 17443 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512515505 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20470] ppid=20454 vsize=8554984 CPUtime=0.31 cores=1,3,5,7
/proc/20456/task/20470/stat : 20470 (java) R 20454 20456 20456 0 -1 4202560 7781 0 0 0 31 0 0 0 16 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 47310175341932 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20456/tid=20471] ppid=20454 vsize=8554984 CPUtime=0.32 cores=1,3,5,7
/proc/20456/task/20471/stat : 20471 (java) R 20454 20456 20456 0 -1 4202560 4858 0 0 0 32 0 0 0 25 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 47310172484048 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20456/tid=20472] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20472/stat : 20472 (java) S 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869344202 8760303616 17445 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512507801 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20456/tid=20473] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20473/stat : 20473 (java) R 20454 20456 20456 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869344202 8760303616 17446 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254500349680 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20456/tid=20474] ppid=20454 vsize=8554984 CPUtime=0 cores=1,3,5,7
/proc/20456/task/20474/stat : 20474 (java) S 20454 20456 20456 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869344216 8760303616 17446 33554432000 1073741824 1073778376 140733300403616 18446744073709551615 254512508416 0 4 0 16800975 18446604462365355072 0 0 -1 7 0 0 0
[pid=20342/tid=20349] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20349/stat : 20349 (python) S 20340 20342 19061 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 6 0 869324611 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
[pid=20342/tid=20412] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20412/stat : 20412 (python) S 20340 20342 19061 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869329818 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
[pid=20342/tid=20422] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20422/stat : 20422 (python) S 20340 20342 19061 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869334685 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20342/tid=20449] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20449/stat : 20449 (python) S 20340 20342 19061 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 6 0 869339248 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20342/tid=20455] ppid=20340 vsize=334868 CPUtime=0 cores=1,3,5,7
/proc/20342/task/20455/stat : 20455 (python) S 20340 20342 19061 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869344196 342904832 7345 33554432000 4194304 5683644 140733244950592 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (KiB) 19263920
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20342 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=407937
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 0.526918
# while last known CPU time is 199.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 197.049
CPU time (s): 199.1
CPU user time (s): 192.84
CPU system time (s): 6.26
CPU usage (%): 101.041
Max. virtual memory (cumulated for all children) (KiB): 19263920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.407937
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14023
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= 1010
involuntary context switches= 24
runsolver used 1.3268 second user time and 2.89656 second system time
The end