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-3463149-1307176752/watcher-3463149-1307176752 -o /tmp/evaluation-result-3463149-1307176752/solver-3463149-1307176752 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463149-1307176752.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.00 2.04 1.97 2/514 15053
/proc/meminfo: memFree=19168152/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 907905979 11186176 287 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 2731 287 192 642 0 2087 0
[startup+0.104202 s]
/proc/loadavg: 2.00 2.04 1.97 2/514 15053
/proc/meminfo: memFree=19168152/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=11596 CPUtime=0.1 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 520 0 0 0 10 0 0 0 25 0 1 0 907905979 11874304 467 33554432000 134512640 137138936 4291885360 18446744073709551615 134574113 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 2899 467 192 642 0 2255 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11596
[startup+0.2012 s]
/proc/loadavg: 2.00 2.04 1.97 2/514 15053
/proc/meminfo: memFree=19168152/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=12300 CPUtime=0.19 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 697 0 0 0 19 0 0 0 25 0 1 0 907905979 12595200 644 33554432000 134512640 137138936 4291885360 18446744073709551615 134573452 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 3075 644 192 642 0 2431 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12300
[startup+0.301173 s]
/proc/loadavg: 2.00 2.04 1.97 2/514 15053
/proc/meminfo: memFree=19168152/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=13012 CPUtime=0.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 864 0 0 0 29 0 0 0 25 0 1 0 907905979 13324288 811 33554432000 134512640 137138936 4291885360 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 3253 811 192 642 0 2609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13012
[startup+0.7011 s]
/proc/loadavg: 2.00 2.04 1.97 2/514 15053
/proc/meminfo: memFree=19168152/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=14084 CPUtime=0.69 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 1130 0 0 0 69 0 0 0 25 0 1 0 907905979 14422016 1077 33554432000 134512640 137138936 4291885360 18446744073709551615 134601095 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 3521 1077 192 642 0 2877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14084
[startup+1.50095 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15054
/proc/meminfo: memFree=19163184/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=15384 CPUtime=1.49 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 1458 0 0 0 149 0 0 0 25 0 1 0 907905979 15753216 1405 33554432000 134512640 137138936 4291885360 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 3846 1405 192 642 0 3202 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15384
[startup+3.10067 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15054
/proc/meminfo: memFree=19161200/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=16204 CPUtime=3.09 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 1666 0 0 0 308 1 0 0 25 0 1 0 907905979 16592896 1613 33554432000 134512640 137138936 4291885360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 4051 1613 192 642 0 3407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16204
[startup+6.30108 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15055
/proc/meminfo: memFree=19160456/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=16804 CPUtime=6.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 1818 0 0 0 627 2 0 0 25 0 1 0 907905979 17207296 1765 33554432000 134512640 137138936 4291885360 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 4201 1765 192 642 0 3557 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16804
[startup+12.7009 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15055
/proc/meminfo: memFree=19157716/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=17704 CPUtime=12.69 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 2054 0 0 0 1265 4 0 0 25 0 1 0 907905979 18128896 1993 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 4426 1993 192 642 0 3782 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17704
[startup+25.5006 s]
/proc/loadavg: 2.00 2.04 1.97 3/515 15055
/proc/meminfo: memFree=19157180/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=19400 CPUtime=25.5 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 2487 0 0 0 2543 7 0 0 25 0 1 0 907905979 19865600 2405 33554432000 134512640 137138936 4291885360 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 4850 2405 192 642 0 4206 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19400
[startup+51.1012 s]
/proc/loadavg: 2.00 2.03 1.97 3/515 15056
/proc/meminfo: memFree=19156168/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=20708 CPUtime=51.09 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 2820 0 0 0 5097 12 0 0 25 0 1 0 907905979 21204992 2738 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5177 2738 192 642 0 4533 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20708
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/515 15057
/proc/meminfo: memFree=19150052/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=22228 CPUtime=102.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 3232 0 0 0 10205 24 0 0 25 0 1 0 907905979 22761472 3128 33554432000 134512640 137138936 4291885360 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5557 3128 192 642 0 4913 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 22228
[startup+162.301 s]
/proc/loadavg: 2.14 2.06 1.99 3/515 15059
/proc/meminfo: memFree=19147648/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=23312 CPUtime=162.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 3591 0 0 0 16192 37 0 0 25 0 1 0 907905979 23871488 3403 33554432000 134512640 137138936 4291885360 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5828 3403 192 642 0 5184 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23312
[startup+222.319 s]
/proc/loadavg: 2.05 2.05 1.99 3/515 15060
/proc/meminfo: memFree=19149084/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=23260 CPUtime=222.32 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 3591 0 0 0 22181 51 0 0 25 0 1 0 907905979 23818240 3390 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5815 3390 192 642 0 5171 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 23260
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 1.99 3/515 15062
/proc/meminfo: memFree=19150024/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=23232 CPUtime=282.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 3591 0 0 0 28162 67 0 0 25 0 1 0 907905979 23789568 3383 33554432000 134512640 137138936 4291885360 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5808 3383 192 642 0 5164 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23232
[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.00 3/515 15064
/proc/meminfo: memFree=19149868/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=23348 CPUtime=342.3 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 3619 0 0 0 34148 82 0 0 25 0 1 0 907905979 23908352 3411 33554432000 134512640 137138936 4291885360 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 5837 3411 192 642 0 5193 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23348
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.00 3/515 15065
/proc/meminfo: memFree=19148592/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=25408 CPUtime=402.29 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 4120 0 0 0 40134 95 0 0 25 0 1 0 907905979 26017792 3909 33554432000 134512640 137138936 4291885360 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6352 3909 192 642 0 5708 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25408
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 15067
/proc/meminfo: memFree=19147812/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=25360 CPUtime=462.3 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 4144 0 0 0 46123 107 0 0 25 0 1 0 907905979 25968640 3915 33554432000 134512640 137138936 4291885360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6340 3915 192 642 0 5696 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25360
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 15068
/proc/meminfo: memFree=19147396/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=26036 CPUtime=522.3 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 4319 0 0 0 52112 118 0 0 25 0 1 0 907905979 26660864 4062 33554432000 134512640 137138936 4291885360 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6509 4062 192 642 0 5865 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26036
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 15070
/proc/meminfo: memFree=19147612/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=25368 CPUtime=582.3 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 4340 0 0 0 58100 130 0 0 25 0 1 0 907905979 25976832 3917 33554432000 134512640 137138936 4291885360 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6342 3917 192 642 0 5698 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25368
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19146756/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=25884 CPUtime=1122.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 4876 0 0 0 111992 239 0 0 25 0 1 0 907905979 26505216 4035 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6471 4035 192 642 0 5827 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25884
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 15086
/proc/meminfo: memFree=19145220/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=27036 CPUtime=1182.32 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 5163 0 0 0 117985 247 0 0 25 0 1 0 907905979 27684864 4322 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6759 4322 192 642 0 6115 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 27036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15087
/proc/meminfo: memFree=19143932/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=26036 CPUtime=1242.32 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 5351 0 0 0 123973 259 0 0 25 0 1 0 907905979 26660864 4084 33554432000 134512640 137138936 4291885360 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6509 4084 192 642 0 5865 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26036
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/515 15089
/proc/meminfo: memFree=19141408/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=26588 CPUtime=1302.32 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 5616 0 0 0 129962 270 0 0 25 0 1 0 907905979 27226112 4222 33554432000 134512640 137138936 4291885360 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6647 4222 192 642 0 6003 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 26588
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/515 15100
/proc/meminfo: memFree=19137928/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=27072 CPUtime=1362.33 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 5804 0 0 0 135949 284 0 0 25 0 1 0 907905979 27721728 4343 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15053/statm: 6768 4343 192 642 0 6124 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 27072
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 15128
/proc/meminfo: memFree=18750272/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=27536 CPUtime=1422.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 6038 0 0 0 141934 297 0 0 25 0 1 0 907905979 28196864 4459 33554432000 134512640 137138936 4291885360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 6884 4459 192 642 0 6240 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 27536
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 15130
/proc/meminfo: memFree=18396724/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=27536 CPUtime=1482.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 6038 0 0 0 147924 307 0 0 25 0 1 0 907905979 28196864 4459 33554432000 134512640 137138936 4291885360 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 6884 4459 192 642 0 6240 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 27536
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15132
/proc/meminfo: memFree=18137400/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=27520 CPUtime=1542.33 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 6038 0 0 0 153914 319 0 0 25 0 1 0 907905979 28180480 4455 33554432000 134512640 137138936 4291885360 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 6880 4455 192 642 0 6236 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 27520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 15133
/proc/meminfo: memFree=18137712/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28096 CPUtime=1602.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 6328 0 0 0 159902 329 0 0 25 0 1 0 907905979 28770304 4599 33554432000 134512640 137138936 4291885360 18446744073709551615 134599789 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7024 4599 192 642 0 6380 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 28096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15135
/proc/meminfo: memFree=18137288/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=29316 CPUtime=1662.3 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 6781 0 0 0 165890 340 0 0 25 0 1 0 907905979 30019584 4902 33554432000 134512640 137138936 4291885360 18446744073709551615 134602805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7329 4902 192 642 0 6685 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 29316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 15136
/proc/meminfo: memFree=18127452/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=29272 CPUtime=1722.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 171881 350 0 0 25 0 1 0 907905979 29974528 4892 33554432000 134512640 137138936 4291885360 18446744073709551615 134575813 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7318 4892 192 642 0 6674 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 29272
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 15138
/proc/meminfo: memFree=18126292/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28992 CPUtime=1782.31 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 177869 362 0 0 25 0 1 0 907905979 29687808 4822 33554432000 134512640 137138936 4291885360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7248 4822 192 642 0 6604 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 28992
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 15138
/proc/meminfo: memFree=18126292/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28584 CPUtime=1785.61 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 178199 362 0 0 25 0 1 0 907905979 29270016 4720 33554432000 134512640 137138936 4291885360 18446744073709551615 134551138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7146 4720 192 642 0 6502 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 28584
[startup+1792.02 s]
/proc/loadavg: 2.14 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127644/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1792.03 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 178840 363 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1792.03
Current children cumulated vsize (KiB) 28576
[startup+1795.2 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127644/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1795.22 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 179158 364 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 28576
[startup+1796.8 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127644/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1796.81 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 179317 364 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 28576
[startup+1797.6 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127148/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1797.61 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 179397 364 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 28576
[startup+1797.8 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127148/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1797.81 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 179417 364 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 134576416 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 28576
[startup+1797.9 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 15138
/proc/meminfo: memFree=18127148/32950940 swapFree=67111364/67111528
[pid=15053] ppid=15051 vsize=28576 CPUtime=1797.91 cores=0,2,4,6
/proc/15053/stat : 15053 (bsolo) R 15051 15053 13684 0 -1 4202496 7023 0 0 0 179427 364 0 0 25 0 1 0 907905979 29261824 4718 33554432000 134512640 137138936 4291885360 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15053/statm: 7144 4718 192 642 0 6500 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 28576
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1794.35
CPU system time (s): 3.65045
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 29412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 3.65044
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7024
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= 8678
runsolver used 9.24759 second user time and 20.1779 second system time
The end