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-3481784-1307576360/watcher-3481784-1307576360 -o /tmp/evaluation-result-3481784-1307576360/solver-3481784-1307576360 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481784-1307576360.opb -seed 1857836293 -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: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=8300 CPUtime=0 cores=1,3,5,7
/proc/21705/stat : 21705 (python) R 21701 21705 21667 0 -1 4194304 101 0 2 0 0 0 0 0 17 0 1 0 947869680 8499200 55 33554432000 4194304 5683644 140736747451824 18446744073709551615 256410467975 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21705/statm: 2719 56 43 364 0 43 0
[startup+0.0555191 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 643 0 7 0 0 0 0 0 17 0 1 0 947869680 15441920 545 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 1
/proc/21705/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100496 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 804 0 7 0 0 0 0 0 17 0 1 0 947869680 15753216 696 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 2
/proc/21705/statm: 3846 696 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.30045 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=16404 CPUtime=0.01 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 1116 0 7 0 1 0 0 0 16 0 1 0 947869680 16797696 990 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415387572 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 4
/proc/21705/statm: 4101 990 413 364 0 588 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16404
[startup+0.700389 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=25320 CPUtime=0.03 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 1338 0 11 0 2 1 0 0 16 0 1 0 947869680 25927680 1194 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 6
/proc/21705/statm: 6330 1194 438 364 0 731 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25320
[startup+1.50024 s]
/proc/loadavg: 0.35 0.08 0.02 1/516 21707
/proc/meminfo: memFree=31246264/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=50016 CPUtime=0.07 cores=1,3,5,7
/proc/21705/stat : 21705 (python) D 21701 21705 21667 0 -1 4202496 1936 0 18 0 4 3 0 0 16 0 1 0 947869680 51216384 1717 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415387493 0 0 16781312 2 0 0 0 17 5 0 0 9
/proc/21705/statm: 12504 1717 476 364 0 1204 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 50016
[startup+3.10091 s]
/proc/loadavg: 0.35 0.08 0.02 2/516 21707
/proc/meminfo: memFree=31236212/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=98564 CPUtime=0.13 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 3606 923 25 9 8 5 0 0 16 0 1 0 947869680 100929536 2587 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 25
/proc/21705/statm: 24641 2587 794 364 0 1721 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 98564
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 0.40 0.10 0.03 1/516 21715
/proc/meminfo: memFree=31214976/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=123744 CPUtime=0.24 cores=1,3,5,7
/proc/21705/stat : 21705 (python) D 21701 21705 21667 0 -1 4202496 5320 923 41 9 14 10 0 0 15 0 1 0 947869680 126713856 3746 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415196955 0 0 16781312 2 0 0 0 17 7 0 0 46
/proc/21705/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 123744
heavy processes:
[startup+12.7011 s]
/proc/loadavg: 0.53 0.13 0.04 4/522 21721
/proc/meminfo: memFree=31136716/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=293248 CPUtime=0.62 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 9552 923 117 9 39 23 0 0 17 0 2 0 947869680 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 206
/proc/21705/statm: 73312 7174 1870 364 0 8199 0
[pid=21716] ppid=21705 vsize=283004 CPUtime=0 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 947870754 289796096 5652 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415411727 0 0 16781312 33554946 409659980761792512 0 0 17 7 0 0 0
/proc/21716/statm: 70751 5652 352 364 0 5638 0
[pid=21720] ppid=21716 vsize=27620 CPUtime=1.95 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) R 21716 21720 21720 0 -1 4202496 5255 0 0 0 189 6 0 0 20 0 1 0 947870754 28282880 4604 33554432000 4194304 13684479 140736014532720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/21720/statm: 6905 4604 777 2317 0 4583 0
[pid=21705/tid=21718] ppid=21701 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21718/stat : 21718 (python) S 21701 21705 21667 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870754 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 603872
heavy processes:
[startup+25.5006 s]
/proc/loadavg: 0.86 0.22 0.07 4/522 21721
/proc/meminfo: memFree=31130024/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=293248 CPUtime=0.62 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 9552 923 117 9 39 23 0 0 17 0 2 0 947869680 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 206
/proc/21705/statm: 73312 7174 1870 364 0 8199 0
[pid=21716] ppid=21705 vsize=283004 CPUtime=0.05 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 891 0 0 0 2 3 0 0 15 0 1 0 947870754 289796096 5676 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415411727 0 0 16781312 33554946 5623606151888251746 0 0 17 5 0 0 0
/proc/21716/statm: 70751 5676 376 364 0 5638 0
[pid=21720] ppid=21716 vsize=29848 CPUtime=14.75 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) R 21716 21720 21720 0 -1 4202496 6582 0 0 0 1437 38 0 0 25 0 1 0 947870754 30564352 5194 33554432000 4194304 13684479 140736014532720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/21720/statm: 7462 5194 804 2317 0 5140 0
[pid=21705/tid=21718] ppid=21701 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21718/stat : 21718 (python) S 21701 21705 21667 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870754 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 606100
heavy processes:
[startup+51.1007 s]
/proc/loadavg: 1.24 0.36 0.12 3/522 21722
/proc/meminfo: memFree=31130048/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=293248 CPUtime=0.62 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 9552 923 117 9 39 23 0 0 17 0 2 0 947869680 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 206
/proc/21705/statm: 73312 7174 1870 364 0 8199 0
[pid=21716] ppid=21705 vsize=283004 CPUtime=0.16 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 902 0 0 0 8 8 0 0 15 0 1 0 947870754 289796096 5676 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415411727 0 0 16781312 33554946 2027433492396113920 0 0 17 3 0 0 0
/proc/21716/statm: 70751 5676 376 364 0 5638 0
[pid=21720] ppid=21716 vsize=29848 CPUtime=40.35 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) R 21716 21720 21720 0 -1 4202496 6593 0 0 0 3915 120 0 0 18 0 1 0 947870754 30564352 5205 33554432000 4194304 13684479 140736014532720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/21720/statm: 7462 5205 812 2317 0 5140 0
[pid=21705/tid=21718] ppid=21701 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21718/stat : 21718 (python) S 21701 21705 21667 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870754 300285952 7174 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 41.13
Current children cumulated vsize (KiB) 606100
[startup+102.321 s]
/proc/loadavg: 1.67 0.61 0.22 4/530 21731
/proc/meminfo: memFree=31084644/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=304008 CPUtime=0.65 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 10404 923 117 9 41 24 0 0 20 0 3 0 947869680 311304192 7298 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 206
/proc/21705/statm: 76002 7298 1873 364 0 10886 0
[pid=21716] ppid=21705 vsize=293248 CPUtime=0.22 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 1068 0 0 0 11 11 0 0 17 0 2 0 947870754 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21716/statm: 73312 5712 407 364 0 8199 0
[pid=21720] ppid=21716 vsize=30180 CPUtime=50.57 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) T 21716 21720 21720 0 -1 4202496 6747 0 0 0 4909 148 0 0 25 0 1 0 947870754 30904320 5359 33554432000 4194304 13684479 140736014532720 18446744073709551615 7390754 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21720/statm: 7545 5359 812 2317 0 5223 0
[pid=21716/tid=21727] ppid=21705 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (python) S 21705 21705 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875812 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460735981440 0 0 -1 7 0 0 0
[pid=21728] ppid=21705 vsize=293764 CPUtime=0.18 cores=1,3,5,7
/proc/21728/stat : 21728 (python) S 21705 21705 21667 0 -1 4202560 955 0 0 0 8 10 0 0 15 0 1 0 947875814 300814336 5794 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415411782 0 0 16781312 33554946 5623458817330129762 0 0 17 3 0 0 0
/proc/21728/statm: 73441 5794 373 364 0 8325 0
[pid=21730] ppid=21728 vsize=31756 CPUtime=40.95 cores=1,3,5,7
/proc/21730/stat : 21730 (scip-2.0.1.linu) R 21728 21730 21730 0 -1 4202496 20481 0 0 0 4074 21 0 0 21 0 1 0 947875815 32518144 5425 33554432000 4194304 15243407 140734605320368 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/21730/statm: 7939 5425 935 2698 0 5234 0
[pid=21705/tid=21718] ppid=21701 vsize=304008 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21718/stat : 21718 (python) S 21701 21705 21667 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 3 0 947870754 311304192 7298 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21729] ppid=21701 vsize=304008 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21729/stat : 21729 (python) S 21701 21705 21667 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 3 0 947875815 311304192 7298 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 92.57
Current children cumulated vsize (KiB) 952956
[startup+162.301 s]
/proc/loadavg: 2.16 0.95 0.36 3/546 21749
/proc/meminfo: memFree=31018840/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=324652 CPUtime=0.7 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 12281 923 117 9 46 24 0 0 20 0 5 0 947869680 332443648 7344 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 206
/proc/21705/statm: 81163 7344 1877 364 0 16041 0
[pid=21716] ppid=21705 vsize=293248 CPUtime=0.22 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 1068 0 0 0 11 11 0 0 17 0 2 0 947870754 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21716/statm: 73312 5712 407 364 0 8199 0
[pid=21720] ppid=21716 vsize=30180 CPUtime=50.57 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) T 21716 21720 21720 0 -1 4202496 6747 0 0 0 4909 148 0 0 25 0 1 0 947870754 30904320 5359 33554432000 4194304 13684479 140736014532720 18446744073709551615 7390754 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21720/statm: 7545 5359 812 2317 0 5223 0
[pid=21716/tid=21727] ppid=21705 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (python) S 21705 21705 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875812 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460735981440 0 0 -1 7 0 0 0
[pid=21728] ppid=21705 vsize=293764 CPUtime=0.21 cores=1,3,5,7
/proc/21728/stat : 21728 (python) S 21705 21705 21667 0 -1 4202560 1117 0 0 0 10 11 0 0 16 0 2 0 947875814 300814336 5819 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/21728/statm: 73441 5819 397 364 0 8325 0
[pid=21730] ppid=21728 vsize=34448 CPUtime=45.97 cores=1,3,5,7
/proc/21730/stat : 21730 (scip-2.0.1.linu) T 21728 21730 21730 0 -1 4202496 20758 0 0 0 4573 24 0 0 25 0 1 0 947875815 35274752 5455 33554432000 4194304 15243407 140734605320368 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21730/statm: 8612 5455 935 2698 0 5907 0
[pid=21728/tid=21737] ppid=21705 vsize=293764 CPUtime=0 cores=1,3,5,7
/proc/21728/task/21737/stat : 21737 (python) S 21705 21705 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947880413 300814336 5819 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460577771712 0 0 -1 3 0 0 0
[pid=21738] ppid=21705 vsize=303708 CPUtime=0.2 cores=1,3,5,7
/proc/21738/stat : 21738 (python) S 21705 21705 21667 0 -1 4202560 1156 0 0 0 9 11 0 0 16 0 2 0 947880416 310996992 5768 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21738/statm: 75927 5768 403 364 0 10808 0
[pid=21740] ppid=21738 vsize=2256 CPUtime=48.4 cores=1,3,5,7
/proc/21740/stat : 21740 (clasp-1.3.7-x86) T 21738 21740 21740 0 -1 4202496 585 0 0 0 4840 0 0 0 25 0 1 0 947880416 2310144 320 33554432000 134512640 136139019 4286987952 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
################
# More data... #
################
[pid=21705/tid=21729] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21729/stat : 21729 (python) S 21701 21705 21667 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 7 0 947875815 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21739] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21739/stat : 21739 (python) S 21701 21705 21667 0 -1 4202560 34 923 0 9 0 0 0 0 18 0 7 0 947880416 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21748] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21748/stat : 21748 (python) S 21701 21705 21667 0 -1 4202560 91 923 0 9 0 0 0 0 20 0 7 0 947885260 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 1 0 0 0
[pid=21705/tid=21776] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21776/stat : 21776 (python) S 21701 21705 21667 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947894858 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21825] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21825/stat : 21825 (python) S 21701 21705 21667 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947899736 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (KiB) 19515488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+301.302 s]
/proc/loadavg: 2.05 1.35 0.58 4/594 21866
/proc/meminfo: memFree=29969104/32950928 swapFree=50514916/67111528
[pid=21705] ppid=21701 vsize=345492 CPUtime=0.78 cores=1,3,5,7
/proc/21705/stat : 21705 (python) S 21701 21705 21667 0 -1 4202496 14221 923 117 9 53 25 0 0 20 0 7 0 947869680 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 206
/proc/21705/statm: 86373 7422 1881 364 0 21245 0
[pid=21716] ppid=21705 vsize=293248 CPUtime=0.22 cores=1,3,5,7
/proc/21716/stat : 21716 (python) S 21705 21705 21667 0 -1 4202560 1068 0 0 0 11 11 0 0 17 0 2 0 947870754 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21716/statm: 73312 5712 407 364 0 8199 0
[pid=21720] ppid=21716 vsize=30180 CPUtime=50.57 cores=1,3,5,7
/proc/21720/stat : 21720 (scip-2.0.1.linu) T 21716 21720 21720 0 -1 4202496 6747 0 0 0 4909 148 0 0 25 0 1 0 947870754 30904320 5359 33554432000 4194304 13684479 140736014532720 18446744073709551615 7390754 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21720/statm: 7545 5359 812 2317 0 5223 0
[pid=21716/tid=21727] ppid=21705 vsize=293248 CPUtime=0 cores=1,3,5,7
/proc/21716/task/21727/stat : 21727 (python) S 21705 21705 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875812 300285952 5712 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460735981440 0 0 -1 7 0 0 0
[pid=21728] ppid=21705 vsize=293764 CPUtime=0.21 cores=1,3,5,7
/proc/21728/stat : 21728 (python) S 21705 21705 21667 0 -1 4202560 1117 0 0 0 10 11 0 0 16 0 2 0 947875814 300814336 5819 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/21728/statm: 73441 5819 397 364 0 8325 0
[pid=21730] ppid=21728 vsize=34448 CPUtime=45.97 cores=1,3,5,7
/proc/21730/stat : 21730 (scip-2.0.1.linu) T 21728 21730 21730 0 -1 4202496 20758 0 0 0 4573 24 0 0 25 0 1 0 947875815 35274752 5455 33554432000 4194304 15243407 140734605320368 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21730/statm: 8612 5455 935 2698 0 5907 0
[pid=21728/tid=21737] ppid=21705 vsize=293764 CPUtime=0 cores=1,3,5,7
/proc/21728/task/21737/stat : 21737 (python) S 21705 21705 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947880413 300814336 5819 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460577771712 0 0 -1 3 0 0 0
[pid=21738] ppid=21705 vsize=303708 CPUtime=0.41 cores=1,3,5,7
/proc/21738/stat : 21738 (python) S 21705 21705 21667 0 -1 4202560 1178 0 0 0 19 22 0 0 15 0 2 0 947880416 310996992 5768 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21738/statm: 75927 5768 403 364 0 10808 0
[pid=21740] ppid=21738 vsize=2256 CPUtime=94.6 cores=1,3,5,7
/proc/21740/stat : 21740 (clasp-1.3.7-x86) T 21738 21740 21740 0 -1 4202496 588 0 0 0 9460 0 0 0 25 0 1 0 947880416 2310144 323 33554432000 134512640 136139019 4286987952 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/21740/statm: 564 323 184 398 0 164 0
[pid=21738/tid=21746] ppid=21705 vsize=303708 CPUtime=0 cores=1,3,5,7
/proc/21738/task/21746/stat : 21746 (python) S 21705 21705 21667 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 947885257 310996992 5768 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604460723417280 0 0 -1 7 0 0 0
[pid=21747] ppid=21705 vsize=314408 CPUtime=0.24 cores=1,3,5,7
/proc/21747/stat : 21747 (python) S 21705 21705 21667 0 -1 4202560 1195 0 0 0 12 12 0 0 17 0 2 0 947885259 321953792 5867 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/21747/statm: 78602 5867 403 364 0 13480 0
[pid=21749] ppid=21747 vsize=154660 CPUtime=49.72 cores=1,3,5,7
/proc/21749/stat : 21749 (wbo1.4a) T 21747 21749 21749 0 -1 4202496 38442 0 0 0 4907 65 0 0 25 0 1 0 947885260 158371840 38163 33554432000 134512640 135751879 4286957328 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/21749/statm: 38665 38163 146 303 0 38360 0
[pid=21747/tid=21752] ppid=21705 vsize=314408 CPUtime=0 cores=1,3,5,7
/proc/21747/task/21752/stat : 21752 (python) S 21705 21705 21667 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947890233 321953792 5867 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127730112 0 0 -1 1 0 0 0
[pid=21775] ppid=21705 vsize=324992 CPUtime=0.22 cores=1,3,5,7
/proc/21775/stat : 21775 (python) S 21705 21705 21667 0 -1 4202560 1130 0 0 0 10 12 0 0 17 0 2 0 947894858 332791808 5931 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21775/statm: 81248 5931 397 364 0 16123 0
[pid=21777] ppid=21775 vsize=8544856 CPUtime=50.76 cores=1,3,5,7
/proc/21777/stat : 21777 (java) T 21775 21777 21777 0 -1 4202496 139011 0 1 0 5057 19 0 0 18 0 19 0 947894858 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21777/statm: 2136214 102805 2237 9 0 2126955 0
[pid=21777/tid=21778] ppid=21775 vsize=8544856 CPUtime=48.28 cores=1,3,5,7
/proc/21777/task/21778/stat : 21778 (java) T 21775 21777 21777 0 -1 4202560 94617 0 1 0 4817 11 0 0 25 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 46912505635032 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21779] ppid=21775 vsize=8544856 CPUtime=0.13 cores=1,3,5,7
/proc/21777/task/21779/stat : 21779 (java) T 21775 21777 21777 0 -1 4202560 3123 0 0 0 13 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21780] ppid=21775 vsize=8544856 CPUtime=0.12 cores=1,3,5,7
/proc/21777/task/21780/stat : 21780 (java) T 21775 21777 21777 0 -1 4202560 3207 0 0 0 12 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21777/tid=21781] ppid=21775 vsize=8544856 CPUtime=0.13 cores=1,3,5,7
/proc/21777/task/21781/stat : 21781 (java) T 21775 21777 21777 0 -1 4202560 4404 0 0 0 13 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21777/tid=21782] ppid=21775 vsize=8544856 CPUtime=0.15 cores=1,3,5,7
/proc/21777/task/21782/stat : 21782 (java) T 21775 21777 21777 0 -1 4202560 6054 0 0 0 15 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21783] ppid=21775 vsize=8544856 CPUtime=0.11 cores=1,3,5,7
/proc/21777/task/21783/stat : 21783 (java) T 21775 21777 21777 0 -1 4202560 3446 0 0 0 11 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21777/tid=21784] ppid=21775 vsize=8544856 CPUtime=0.13 cores=1,3,5,7
/proc/21777/task/21784/stat : 21784 (java) T 21775 21777 21777 0 -1 4202560 4219 0 0 0 13 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21785] ppid=21775 vsize=8544856 CPUtime=0.13 cores=1,3,5,7
/proc/21777/task/21785/stat : 21785 (java) T 21775 21777 21777 0 -1 4202560 4653 0 0 0 13 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21777/tid=21786] ppid=21775 vsize=8544856 CPUtime=0.14 cores=1,3,5,7
/proc/21777/task/21786/stat : 21786 (java) T 21775 21777 21777 0 -1 4202560 3906 0 0 0 14 0 0 0 15 0 19 0 947894859 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21777/tid=21787] ppid=21775 vsize=8544856 CPUtime=0.01 cores=1,3,5,7
/proc/21777/task/21787/stat : 21787 (java) T 21775 21777 21777 0 -1 4202560 137 0 0 0 0 1 0 0 15 0 19 0 947894860 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21788] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21788/stat : 21788 (java) T 21775 21777 21777 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947894861 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21789] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21789/stat : 21789 (java) T 21775 21777 21777 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947894861 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21790] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21790/stat : 21790 (java) T 21775 21777 21777 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894863 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21791] ppid=21775 vsize=8544856 CPUtime=0.54 cores=1,3,5,7
/proc/21777/task/21791/stat : 21791 (java) T 21775 21777 21777 0 -1 4202560 3856 0 0 0 54 0 0 0 15 0 19 0 947894863 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21777/tid=21792] ppid=21775 vsize=8544856 CPUtime=0.76 cores=1,3,5,7
/proc/21777/task/21792/stat : 21792 (java) T 21775 21777 21777 0 -1 4202560 5994 0 0 0 76 0 0 0 15 0 19 0 947894863 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21777/tid=21793] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21793/stat : 21793 (java) T 21775 21777 21777 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894863 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21794] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21794/stat : 21794 (java) T 21775 21777 21777 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894863 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21777/tid=21795] ppid=21775 vsize=8544856 CPUtime=0 cores=1,3,5,7
/proc/21777/task/21795/stat : 21795 (java) T 21775 21777 21777 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894881 8749932544 102805 33554432000 1073741824 1073778376 140736575358064 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21775/tid=21823] ppid=21705 vsize=324992 CPUtime=0 cores=1,3,5,7
/proc/21775/task/21823/stat : 21823 (python) S 21705 21705 21667 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947899733 332791808 5931 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033987968 0 0 -1 7 0 0 0
[pid=21824] ppid=21705 vsize=335248 CPUtime=0 cores=1,3,5,7
/proc/21824/stat : 21824 (python) S 21705 21705 21667 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 1 0 947899736 343293952 5886 33554432000 4194304 5683644 140736747451824 18446744073709551615 256415411782 0 0 16781312 33554946 14910525532717154567 0 0 17 7 0 0 0
/proc/21824/statm: 83812 5886 349 364 0 18684 0
[pid=21826] ppid=21824 vsize=8538228 CPUtime=1.21 cores=1,3,5,7
/proc/21826/stat : 21826 (java) S 21824 21826 21826 0 -1 4202496 28134 0 1 0 116 5 0 0 18 0 19 0 947899736 8743145472 26835 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21826/statm: 2134557 26837 2214 9 0 2125298 0
[pid=21826/tid=21827] ppid=21824 vsize=8538228 CPUtime=0.75 cores=1,3,5,7
/proc/21826/task/21827/stat : 21827 (java) R 21824 21826 21826 0 -1 4202560 23800 0 1 0 71 4 0 0 18 0 19 0 947899737 8743145472 27140 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 46912505588709 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21826/tid=21828] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21828/stat : 21828 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947899737 8743145472 27142 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21829] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21829/stat : 21829 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947899737 8743145472 27145 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21830] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21830/stat : 21830 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947899737 8743145472 27146 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21831] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21831/stat : 21831 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899737 8743145472 27148 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21832] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21832/stat : 21832 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899737 8743145472 27149 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21833] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21833/stat : 21833 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899737 8743145472 27150 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21834] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21834/stat : 21834 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899737 8743145472 27153 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21835] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21835/stat : 21835 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899737 8743145472 27154 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21836] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21836/stat : 21836 (java) S 21824 21826 21826 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 947899738 8743145472 27156 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427208192 0 0 0 16800975 18446604464418606016 0 0 -1 7 0 0 0
[pid=21826/tid=21837] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21837/stat : 21837 (java) S 21824 21826 21826 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 947899739 8743145472 27157 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21838] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21838/stat : 21838 (java) S 21824 21826 21826 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 947899739 8743145472 27160 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21839] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21839/stat : 21839 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947899741 8743145472 27161 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427215281 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21840] ppid=21824 vsize=8538228 CPUtime=0.19 cores=1,3,5,7
/proc/21826/task/21840/stat : 21840 (java) S 21824 21826 21826 0 -1 4202560 1453 0 0 0 19 0 0 0 19 0 19 0 947899741 8743145472 27163 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 7 0 0 0
[pid=21826/tid=21841] ppid=21824 vsize=8538228 CPUtime=0.25 cores=1,3,5,7
/proc/21826/task/21841/stat : 21841 (java) S 21824 21826 21826 0 -1 4202560 1786 0 0 0 25 0 0 0 15 0 19 0 947899741 8743145472 27163 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21842] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21842/stat : 21842 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947899741 8743145472 27166 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427207577 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21826/tid=21843] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21843/stat : 21843 (java) S 21824 21826 21826 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947899741 8743145472 27167 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427208192 0 4 0 16800975 18446604464418606016 0 0 -1 7 0 0 0
[pid=21826/tid=21844] ppid=21824 vsize=8538228 CPUtime=0 cores=1,3,5,7
/proc/21826/task/21844/stat : 21844 (java) S 21824 21826 21826 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 947899759 8743145472 27168 33554432000 1073741824 1073778376 140735770926608 18446744073709551615 256427208192 0 4 0 16800975 18446604464418606016 0 0 -1 5 0 0 0
[pid=21705/tid=21718] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21718/stat : 21718 (python) S 21701 21705 21667 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 7 0 947870754 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21729] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21729/stat : 21729 (python) S 21701 21705 21667 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 7 0 947875815 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21739] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21739/stat : 21739 (python) S 21701 21705 21667 0 -1 4202560 34 923 0 9 0 0 0 0 18 0 7 0 947880416 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21748] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21748/stat : 21748 (python) S 21701 21705 21667 0 -1 4202560 91 923 0 9 0 0 0 0 20 0 7 0 947885260 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 1 0 0 0
[pid=21705/tid=21776] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21776/stat : 21776 (python) S 21701 21705 21667 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947894858 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
[pid=21705/tid=21825] ppid=21701 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/21705/task/21825/stat : 21825 (python) S 21701 21705 21667 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947899736 353783808 7422 33554432000 4194304 5683644 140736747451824 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467172295680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (KiB) 19515488
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21705 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=541917
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=258960
# CPU time returned by wait4() is 0.800877
# while last known CPU time is 294.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 301.391
CPU time (s): 294.91
CPU user time (s): 291.37
CPU system time (s): 3.54
CPU usage (%): 97.8497
Max. virtual memory (cumulated for all children) (KiB): 19515488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.541917
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15148
page faults= 126
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18581
involuntary context switches= 72
runsolver used 1.73673 second user time and 4.18936 second system time
The end