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-3463069-1307177401/watcher-3463069-1307177401 -o /tmp/evaluation-result-3463069-1307177401/solver-3463069-1307177401 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463069-1307177401.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/424 883
/proc/meminfo: memFree=25870772/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=10896 CPUtime=0 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 829338283 11157504 243 33554432000 134512640 137138936 4291579088 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 2724 243 175 642 0 2054 0
[startup+0.0401281 s]
/proc/loadavg: 2.01 2.03 2.00 3/424 883
/proc/meminfo: memFree=25870772/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=11460 CPUtime=0.03 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 490 0 0 0 3 0 0 0 18 0 1 0 829338283 11735040 419 33554432000 134512640 137138936 4291579088 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 2865 420 192 642 0 2221 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11460
[startup+0.101125 s]
/proc/loadavg: 2.01 2.03 2.00 3/424 883
/proc/meminfo: memFree=25870772/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=11848 CPUtime=0.09 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 599 0 0 0 9 0 0 0 18 0 1 0 829338283 12132352 528 33554432000 134512640 137138936 4291579088 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 2962 528 192 642 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11848
[startup+0.301323 s]
/proc/loadavg: 2.01 2.03 2.00 3/424 883
/proc/meminfo: memFree=25870772/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=13340 CPUtime=0.29 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 970 0 0 0 29 0 0 0 18 0 1 0 829338283 13660160 899 33554432000 134512640 137138936 4291579088 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 3335 899 192 642 0 2691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13340
[startup+0.701037 s]
/proc/loadavg: 2.01 2.03 2.00 3/424 883
/proc/meminfo: memFree=25870772/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=14472 CPUtime=0.69 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 1258 0 0 0 68 1 0 0 18 0 1 0 829338283 14819328 1187 33554432000 134512640 137138936 4291579088 18446744073709551615 134539695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 3618 1187 192 642 0 2974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14472
[startup+1.50087 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 884
/proc/meminfo: memFree=25865680/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=15964 CPUtime=1.49 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 1627 0 0 0 148 1 0 0 20 0 1 0 829338283 16347136 1556 33554432000 134512640 137138936 4291579088 18446744073709551615 134577226 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 3991 1556 192 642 0 3347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15964
[startup+3.10055 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 884
/proc/meminfo: memFree=25863324/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=16488 CPUtime=3.09 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 1759 0 0 0 308 1 0 0 25 0 1 0 829338283 16883712 1688 33554432000 134512640 137138936 4291579088 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 4122 1688 192 642 0 3478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16488
[startup+6.30098 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 884
/proc/meminfo: memFree=25862120/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=17648 CPUtime=6.29 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 2049 0 0 0 627 2 0 0 25 0 1 0 829338283 18071552 1978 33554432000 134512640 137138936 4291579088 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 4412 1978 192 642 0 3768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17648
[startup+12.7008 s]
/proc/loadavg: 2.01 2.03 2.00 4/425 885
/proc/meminfo: memFree=25859148/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=20064 CPUtime=12.69 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 2651 0 0 0 1266 3 0 0 25 0 1 0 829338283 20545536 2580 33554432000 134512640 137138936 4291579088 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 5016 2580 192 642 0 4372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20064
[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 885
/proc/meminfo: memFree=25849976/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=21184 CPUtime=25.49 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 6832 0 0 0 2541 8 0 0 25 0 1 0 829338283 21692416 2872 33554432000 134512640 137138936 4291579088 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 5296 2872 192 642 0 4652 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21184
[startup+51.1008 s]
/proc/loadavg: 2.08 2.04 2.00 3/425 887
/proc/meminfo: memFree=25851212/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=28100 CPUtime=51.09 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 8858 0 0 0 5098 11 0 0 25 0 1 0 829338283 28774400 4599 33554432000 134512640 137138936 4291579088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 7025 4599 192 642 0 6381 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28100
[startup+102.315 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 888
/proc/meminfo: memFree=25847224/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=29852 CPUtime=102.31 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 12798 0 0 0 10213 18 0 0 25 0 1 0 829338283 30568448 5023 33554432000 134512640 137138936 4291579088 18446744073709551615 134607591 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 7463 5023 192 642 0 6819 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29852
[startup+162.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 890
/proc/meminfo: memFree=25839628/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=36420 CPUtime=162.3 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 17213 0 0 0 16206 24 0 0 25 0 1 0 829338283 37294080 6668 33554432000 134512640 137138936 4291579088 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 9105 6668 192 642 0 8461 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 36420
[startup+222.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/425 891
/proc/meminfo: memFree=25841356/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=34612 CPUtime=222.29 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 18177 0 0 0 22201 28 0 0 25 0 1 0 829338283 35442688 6229 33554432000 134512640 137138936 4291579088 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 8653 6229 192 642 0 8009 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34612
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 893
/proc/meminfo: memFree=25840964/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=34608 CPUtime=282.3 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 18177 0 0 0 28195 35 0 0 25 0 1 0 829338283 35438592 6228 33554432000 134512640 137138936 4291579088 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 8652 6228 192 642 0 8008 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 34608
[startup+342.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/425 894
/proc/meminfo: memFree=25838580/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=37764 CPUtime=342.3 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 18970 0 0 0 34191 39 0 0 25 0 1 0 829338283 38670336 7017 33554432000 134512640 137138936 4291579088 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 9441 7017 192 642 0 8797 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 37764
[startup+402.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 896
/proc/meminfo: memFree=25838300/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=38476 CPUtime=402.31 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 19196 0 0 0 40189 42 0 0 25 0 1 0 829338283 39399424 7192 33554432000 134512640 137138936 4291579088 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 9619 7192 192 642 0 8975 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 38476
[startup+462.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/425 898
/proc/meminfo: memFree=25826112/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=49380 CPUtime=462.31 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 21946 0 0 0 46184 47 0 0 25 0 1 0 829338283 50565120 9921 33554432000 134512640 137138936 4291579088 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12345 9921 192 642 0 11701 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 49380
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 899
/proc/meminfo: memFree=25825360/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=49292 CPUtime=522.31 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 21946 0 0 0 52180 51 0 0 25 0 1 0 829338283 50475008 9899 33554432000 134512640 137138936 4291579088 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12323 9899 192 642 0 11679 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 49292
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 901
/proc/meminfo: memFree=25825100/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=48900 CPUtime=582.31 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 21946 0 0 0 58177 54 0 0 25 0 1 0 829338283 50073600 9801 33554432000 134512640 137138936 4291579088 18446744073709551615 134555851 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12225 9801 192 642 0 11581 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 48900
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25824072/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=48796 CPUtime=1062.32 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 23816 0 0 0 106144 88 0 0 25 0 1 0 829338283 49967104 9775 33554432000 134512640 137138936 4291579088 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12199 9775 192 642 0 11555 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 48796
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 928
/proc/meminfo: memFree=25822056/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51196 CPUtime=1122.32 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25015 0 0 0 112141 91 0 0 25 0 1 0 829338283 52424704 10367 33554432000 134512640 137138936 4291579088 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12799 10367 192 642 0 12155 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 51196
[startup+1182.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/425 930
/proc/meminfo: memFree=25821148/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51264 CPUtime=1182.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 118138 95 0 0 25 0 1 0 829338283 52494336 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12816 10382 192 642 0 12172 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 51264
[startup+1242.3 s]
/proc/loadavg: 2.26 2.08 2.03 3/425 931
/proc/meminfo: memFree=25820492/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51264 CPUtime=1242.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 124136 97 0 0 25 0 1 0 829338283 52494336 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12816 10382 192 642 0 12172 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 51264
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/425 933
/proc/meminfo: memFree=25821452/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51260 CPUtime=1302.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 130133 100 0 0 25 0 1 0 829338283 52490240 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12815 10382 192 642 0 12171 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 51260
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/425 935
/proc/meminfo: memFree=25821424/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51260 CPUtime=1362.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 136130 103 0 0 25 0 1 0 829338283 52490240 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12815 10382 192 642 0 12171 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 51260
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/425 936
/proc/meminfo: memFree=25822392/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51232 CPUtime=1422.35 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 142130 105 0 0 25 0 1 0 829338283 52461568 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12808 10382 192 642 0 12164 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 51232
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/425 938
/proc/meminfo: memFree=25822472/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51232 CPUtime=1482.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25030 0 0 0 148126 107 0 0 25 0 1 0 829338283 52461568 10382 33554432000 134512640 137138936 4291579088 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12808 10382 192 642 0 12164 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 51232
[startup+1542.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/425 939
/proc/meminfo: memFree=25821332/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51232 CPUtime=1542.33 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25031 0 0 0 154123 110 0 0 25 0 1 0 829338283 52461568 10383 33554432000 134512640 137138936 4291579088 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12808 10383 192 642 0 12164 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 51232
[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/425 941
/proc/meminfo: memFree=25820052/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=51232 CPUtime=1602.34 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25031 0 0 0 160122 112 0 0 25 0 1 0 829338283 52461568 10383 33554432000 134512640 137138936 4291579088 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 12808 10383 192 642 0 12164 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 51232
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1662.34 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25952 0 0 0 166119 115 0 0 25 0 1 0 829338283 56270848 11299 33554432000 134512640 137138936 4291579088 18446744073709551615 134604256 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11299 192 642 0 13094 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 54952
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/425 1108
/proc/meminfo: memFree=25818116/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1722.34 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 172116 118 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 54952
[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/425 1110
/proc/meminfo: memFree=25814744/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1782.35 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 178114 121 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 54952
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.13 2.10 2.02 3/425 1110
/proc/meminfo: memFree=25814620/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1785.54 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 178433 121 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 54952
[startup+1791.92 s]
/proc/loadavg: 2.12 2.09 2.02 3/425 1110
/proc/meminfo: memFree=25814740/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1791.95 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 179074 121 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 54952
[startup+1795.1 s]
/proc/loadavg: 2.11 2.09 2.02 3/425 1110
/proc/meminfo: memFree=25814740/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1795.15 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 179393 122 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 54952
[startup+1796.7 s]
/proc/loadavg: 2.11 2.09 2.02 3/425 1110
/proc/meminfo: memFree=25814740/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1796.75 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 179553 122 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 54952
[startup+1797.5 s]
/proc/loadavg: 2.11 2.09 2.02 3/425 1110
/proc/meminfo: memFree=25814740/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1797.55 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 179633 122 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 54952
[startup+1797.9 s]
/proc/loadavg: 2.11 2.09 2.02 3/425 1110
/proc/meminfo: memFree=25814740/32951124 swapFree=44043516/67111528
[pid=883] ppid=881 vsize=54952 CPUtime=1797.95 cores=0,2,4,6
/proc/883/stat : 883 (bsolo) R 881 883 31765 0 -1 4202496 25962 0 0 0 179673 122 0 0 25 0 1 0 829338283 56270848 11309 33554432000 134512640 137138936 4291579088 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/883/statm: 13738 11309 192 642 0 13094 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 54952
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.78
CPU system time (s): 1.22381
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 54952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2690
runsolver used 7.82381 second user time and 16.6995 second system time
The end