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-3482459-1307576357/watcher-3482459-1307576357 -o /tmp/evaluation-result-3482459-1307576357/solver-3482459-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482459-1307576357.opb -seed 611056974 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.59 0.13 0.04 4/429 3652
/proc/meminfo: memFree=18800736/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (runsolver) S 3650 3652 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 1 0 869237717 12079104 51 33554432000 4194304 5432328 140736473588112 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 0 0 0 0
/proc/3652/statm: 2949 51 31 303 0 2643 0
[startup+0.034336 s]
/proc/loadavg: 0.59 0.13 0.04 4/429 3652
/proc/meminfo: memFree=18800736/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (runsolver) S 3650 3652 3617 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 869237717 12079104 54 33554432000 4194304 5432328 140736473588112 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699109054 0 0 17 0 0 0 0
/proc/3652/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100355 s]
/proc/loadavg: 0.59 0.13 0.04 4/429 3652
/proc/meminfo: memFree=18800736/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (python) D 3650 3652 3617 0 -1 4194304 74 0 1 0 0 0 0 0 20 0 1 0 869237717 2011136 28 33554432000 4194304 5683644 140734034945664 18446744073709551615 274659886096 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 4
/proc/3652/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.300295 s]
/proc/loadavg: 0.59 0.13 0.04 4/429 3652
/proc/meminfo: memFree=18800736/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 609 0 7 0 0 0 0 0 18 0 1 0 869237717 15441920 513 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 16
/proc/3652/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700227 s]
/proc/loadavg: 0.59 0.13 0.04 4/429 3652
/proc/meminfo: memFree=18800736/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 803 0 7 0 0 0 0 0 15 0 1 0 869237717 15749120 696 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 25
/proc/3652/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50108 s]
/proc/loadavg: 0.86 0.19 0.06 1/435 3658
/proc/meminfo: memFree=18792876/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=16400 CPUtime=0.02 cores=0,2,4,6
/proc/3652/stat : 3652 (python) D 3650 3652 3617 0 -1 4202496 1109 0 7 0 1 1 0 0 16 0 1 0 869237717 16793600 985 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664808192 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 37
/proc/3652/statm: 4100 985 408 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
[startup+3.1008 s]
/proc/loadavg: 0.86 0.19 0.06 1/435 3658
/proc/meminfo: memFree=18789044/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=23208 CPUtime=0.04 cores=0,2,4,6
/proc/3652/stat : 3652 (python) D 3650 3652 3617 0 -1 4202496 1306 0 9 0 2 2 0 0 15 0 1 0 869237717 23764992 1166 33554432000 4194304 5683644 140734034945664 18446744073709551615 274659887968 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 73
/proc/3652/statm: 5802 1166 428 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23208
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 1.03 0.24 0.08 1/435 3658
/proc/meminfo: memFree=18781088/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=58828 CPUtime=0.08 cores=0,2,4,6
/proc/3652/stat : 3652 (python) D 3650 3652 3617 0 -1 4202496 2086 0 22 0 4 4 0 0 16 0 1 0 869237717 60239872 1862 33554432000 4194304 5683644 140734034945664 18446744073709551615 274659885066 0 0 16781312 2 18446744071696489144 0 0 17 2 0 0 166
/proc/3652/statm: 14707 1862 501 364 0 1309 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58828
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 1.27 0.30 0.10 2/435 3666
/proc/meminfo: memFree=18765684/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=123740 CPUtime=0.2 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 5316 920 41 9 11 9 0 0 15 0 1 0 869237717 126709760 3743 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664804357 0 2147483391 16781312 2 18446744071699855507 0 0 17 2 0 0 258
/proc/3652/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 2.02 0.52 0.17 3/441 3672
/proc/meminfo: memFree=18643972/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=293140 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 9532 920 113 9 37 23 0 0 17 0 2 0 869237717 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 73285 7154 1870 364 0 8172 0
[pid=3669] ppid=3652 vsize=282896 CPUtime=0.02 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 973 0 0 0 1 1 0 0 15 0 1 0 869239563 289685504 5661 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828431 0 0 16781312 33554946 3355464219569946624 0 0 17 0 0 0 0
/proc/3669/statm: 70724 5661 381 364 0 5611 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=7.03 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) R 3669 3672 3672 0 -1 4202496 10226 0 0 0 688 15 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3652/tid=3671] ppid=3650 vsize=293140 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 869239563 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 620060
heavy processes:
[startup+51.1005 s]
/proc/loadavg: 2.90 0.86 0.29 3/441 3672
/proc/meminfo: memFree=18650468/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=293140 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 9532 920 113 9 37 23 0 0 17 0 2 0 869237717 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 73285 7154 1870 364 0 8172 0
[pid=3669] ppid=3652 vsize=283028 CPUtime=0.21 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1035 0 0 0 14 7 0 0 15 0 1 0 869239563 289820672 5690 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828431 0 0 16781312 33554946 1618418431038586880 0 0 17 6 0 0 0
/proc/3669/statm: 70757 5690 384 364 0 5644 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=32.59 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) R 3669 3672 3672 0 -1 4202496 10226 0 0 0 3161 98 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3652/tid=3671] ppid=3650 vsize=293140 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 869239563 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.4
Current children cumulated vsize (KiB) 620192
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+61.4007 s]
/proc/loadavg: 2.76 0.89 0.31 3/441 3672
/proc/meminfo: memFree=18650404/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=293140 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 9532 920 113 9 37 23 0 0 17 0 2 0 869237717 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 73285 7154 1870 364 0 8172 0
[pid=3669] ppid=3652 vsize=283028 CPUtime=0.26 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1038 0 0 0 17 9 0 0 15 0 1 0 869239563 289820672 5690 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828431 0 0 16781312 33554946 2925005782367862784 0 0 17 6 0 0 0
/proc/3669/statm: 70757 5690 384 364 0 5644 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=42.88 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) R 3669 3672 3672 0 -1 4202496 10226 0 0 0 4157 131 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3652/tid=3671] ppid=3650 vsize=293140 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 869239563 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.74
Current children cumulated vsize (KiB) 620192
[startup+64.6011 s]
/proc/loadavg: 2.76 0.89 0.31 3/441 3673
/proc/meminfo: memFree=18650776/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=293140 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 9532 920 113 9 37 23 0 0 17 0 2 0 869237717 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 73285 7154 1870 364 0 8172 0
[pid=3669] ppid=3652 vsize=283188 CPUtime=0.28 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1042 0 0 0 18 10 0 0 15 0 1 0 869239563 289984512 5692 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828431 0 0 16781312 33554946 3931914698311598080 0 0 17 6 0 0 0
/proc/3669/statm: 70797 5692 384 364 0 5684 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=46.09 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) R 3669 3672 3672 0 -1 4202496 10226 0 0 0 4467 142 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3652/tid=3671] ppid=3650 vsize=293140 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 869239563 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.97
Current children cumulated vsize (KiB) 620352
[startup+66.2009 s]
/proc/loadavg: 2.70 0.91 0.32 3/441 3673
/proc/meminfo: memFree=18650776/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=293140 CPUtime=0.6 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 9532 920 113 9 37 23 0 0 17 0 2 0 869237717 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 73285 7154 1870 364 0 8172 0
[pid=3669] ppid=3652 vsize=283188 CPUtime=0.28 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1042 0 0 0 18 10 0 0 15 0 1 0 869239563 289984512 5692 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828431 0 0 16781312 33554946 2148323266861727744 0 0 17 4 0 0 0
/proc/3669/statm: 70797 5692 384 364 0 5684 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=47.68 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) R 3669 3672 3672 0 -1 4202496 10226 0 0 0 4622 146 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3652/tid=3671] ppid=3650 vsize=293140 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 869239563 300175360 7154 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.56
Current children cumulated vsize (KiB) 620352
[startup+67.8006 s]
/proc/loadavg: 2.70 0.91 0.32 3/445 3677
/proc/meminfo: memFree=18647148/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=303936 CPUtime=0.63 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 10391 920 113 9 39 24 0 0 20 0 3 0 869237717 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 75984 7282 1873 364 0 10868 0
[pid=3669] ppid=3652 vsize=293432 CPUtime=0.29 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1177 0 0 0 19 10 0 0 17 0 2 0 869239563 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3669/statm: 73358 5727 414 364 0 8245 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=48.01 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) T 3669 3672 3672 0 -1 4202496 10226 0 0 0 4654 147 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3669/tid=3674] ppid=3652 vsize=293432 CPUtime=0 cores=0,2,4,6
/proc/3669/task/3674/stat : 3674 (python) S 3652 3652 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869244371 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554946 18446604452802199616 0 0 -1 4 0 0 0
[pid=3675] ppid=3652 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3652 3652 3617 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 869244373 300740608 5754 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828486 0 0 16781312 33554946 15809556608330989826 0 0 17 6 0 0 0
/proc/3675/statm: 73423 5754 349 364 0 8307 0
[pid=3677] ppid=3675 vsize=2252 CPUtime=1.16 cores=0,2,4,6
/proc/3677/stat : 3677 (clasp-1.3.7-x86) R 3675 3677 3677 0 -1 4202496 572 0 0 0 116 0 0 0 24 0 1 0 869244379 2306048 306 33554432000 134512640 136139019 4291469776 18446744073709551615 134742370 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3677/statm: 563 306 183 398 0 163 0
[pid=3652/tid=3671] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 3 0 869239563 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
[pid=3652/tid=3676] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3676/stat : 3676 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 20 0 3 0 869244374 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.09
Current children cumulated vsize (KiB) 937336
[startup+68.2005 s]
/proc/loadavg: 2.70 0.91 0.32 3/445 3677
/proc/meminfo: memFree=18647148/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=303936 CPUtime=0.63 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 10391 920 113 9 39 24 0 0 20 0 3 0 869237717 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 75984 7282 1873 364 0 10868 0
[pid=3669] ppid=3652 vsize=293432 CPUtime=0.29 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1177 0 0 0 19 10 0 0 17 0 2 0 869239563 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3669/statm: 73358 5727 414 364 0 8245 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=48.01 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) T 3669 3672 3672 0 -1 4202496 10226 0 0 0 4654 147 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3669/tid=3674] ppid=3652 vsize=293432 CPUtime=0 cores=0,2,4,6
/proc/3669/task/3674/stat : 3674 (python) S 3652 3652 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869244371 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554946 18446604452802199616 0 0 -1 4 0 0 0
[pid=3675] ppid=3652 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3652 3652 3617 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 869244373 300740608 5754 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828486 0 0 16781312 33554946 15809556608330989826 0 0 17 6 0 0 0
/proc/3675/statm: 73423 5754 349 364 0 8307 0
[pid=3677] ppid=3675 vsize=2252 CPUtime=1.56 cores=0,2,4,6
/proc/3677/stat : 3677 (clasp-1.3.7-x86) R 3675 3677 3677 0 -1 4202496 582 0 0 0 156 0 0 0 25 0 1 0 869244379 2306048 316 33554432000 134512640 136139019 4291469776 18446744073709551615 134831224 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3677/statm: 563 316 183 398 0 163 0
[pid=3652/tid=3671] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 3 0 869239563 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
[pid=3652/tid=3676] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3676/stat : 3676 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 20 0 3 0 869244374 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 937336
[startup+68.4005 s]
/proc/loadavg: 2.70 0.91 0.32 3/445 3677
/proc/meminfo: memFree=18647148/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=303936 CPUtime=0.63 cores=0,2,4,6
/proc/3652/stat : 3652 (python) S 3650 3652 3617 0 -1 4202496 10391 920 113 9 39 24 0 0 20 0 3 0 869237717 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 447
/proc/3652/statm: 75984 7282 1873 364 0 10868 0
[pid=3669] ppid=3652 vsize=293432 CPUtime=0.29 cores=0,2,4,6
/proc/3669/stat : 3669 (python) S 3652 3652 3617 0 -1 4202560 1177 0 0 0 19 10 0 0 17 0 2 0 869239563 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3669/statm: 73358 5727 414 364 0 8245 0
[pid=3672] ppid=3669 vsize=44024 CPUtime=48.01 cores=0,2,4,6
/proc/3672/stat : 3672 (scip-2.0.1.linu) T 3669 3672 3672 0 -1 4202496 10226 0 0 0 4654 147 0 0 18 0 1 0 869239563 45080576 8852 33554432000 4194304 13684479 140737085025600 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3672/statm: 11006 8852 818 2317 0 8684 0
[pid=3669/tid=3674] ppid=3652 vsize=293432 CPUtime=0 cores=0,2,4,6
/proc/3669/task/3674/stat : 3674 (python) S 3652 3652 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869244371 300474368 5727 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554946 18446604452802199616 0 0 -1 4 0 0 0
[pid=3675] ppid=3652 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/3675/stat : 3675 (python) S 3652 3652 3617 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 869244373 300740608 5754 33554432000 4194304 5683644 140734034945664 18446744073709551615 274664828486 0 0 16781312 33554946 15809556608330989826 0 0 17 6 0 0 0
/proc/3675/statm: 73423 5754 349 364 0 8307 0
[pid=3677] ppid=3675 vsize=2252 CPUtime=1.76 cores=0,2,4,6
/proc/3677/stat : 3677 (clasp-1.3.7-x86) R 3675 3677 3677 0 -1 4202496 584 0 0 0 176 0 0 0 25 0 1 0 869244379 2306048 318 33554432000 134512640 136139019 4291469776 18446744073709551615 134831224 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3677/statm: 563 318 183 398 0 163 0
[pid=3652/tid=3671] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3671/stat : 3671 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 3 0 869239563 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
[pid=3652/tid=3676] ppid=3650 vsize=303936 CPUtime=0 cores=0,2,4,6
/proc/3652/task/3676/stat : 3676 (python) S 3650 3652 3617 0 -1 4202560 25 920 0 9 0 0 0 0 20 0 3 0 869244374 311230464 7282 33554432000 4194304 5683644 140734034945664 18446744073709551615 274676631985 0 0 16781312 33554434 18446604453848674688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 937336
[startup+68.5005 s]
/proc/loadavg: 2.70 0.91 0.32 3/438 3678
/proc/meminfo: memFree=18706972/32951132 swapFree=65929880/67111528
[pid=3652] ppid=3650 vsize=0 CPUtime=50.83 cores=0,2,4,6
/proc/3652/stat : 3652 (python) Z 3650 3652 3617 0 -1 4202524 14808 14037 113 9 41 24 4859 159 17 0 1 0 869237717 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 447
/proc/3652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 68.5162
CPU time (s): 50.8543
CPU user time (s): 49.0086
CPU system time (s): 1.84572
CPU usage (%): 74.2223
Max. virtual memory (cumulated for all children) (KiB): 937336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0085
system time used= 1.84572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28845
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9373
involuntary context switches= 2086
runsolver used 0.288956 second user time and 0.603908 second system time
The end