runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3501005-1308041302/watcher-3501005-1308041302 -o /tmp/evaluation-result-3501005-1308041302/solver-3501005-1308041302 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501005-1308041302.gcnf
running on 2 cores: 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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 1.01 0.50 5/189 17376
/proc/meminfo: memFree=28109424/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=4352 CPUtime=0 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 557 0 0 0 0 0 0 0 24 0 1 0 896545597 4456448 509 33554432000 4194304 5696331 140735384108208 18446744073709551615 4210406 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 1088 509 114 367 0 718 0
[startup+0.075403 s]
/proc/loadavg: 2.06 1.01 0.50 5/189 17376
/proc/meminfo: memFree=28109424/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=16964 CPUtime=0.06 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 4175 0 0 0 6 0 0 0 24 0 1 0 896545597 17371136 3689 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 4241 3691 114 367 0 3871 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16964
[startup+0.1004 s]
/proc/loadavg: 2.06 1.01 0.50 5/189 17376
/proc/meminfo: memFree=28109424/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=22376 CPUtime=0.09 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 5526 0 0 0 9 0 0 0 24 0 1 0 896545597 22913024 5040 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 5594 5042 114 367 0 5224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22376
[startup+0.300362 s]
/proc/loadavg: 2.06 1.01 0.50 5/189 17376
/proc/meminfo: memFree=28109424/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=50540 CPUtime=0.28 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 14298 0 0 0 27 1 0 0 25 0 1 0 896545597 51752960 12078 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 12635 12080 114 367 0 12265 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50540
[startup+0.700292 s]
/proc/loadavg: 2.06 1.01 0.50 5/189 17376
/proc/meminfo: memFree=28109424/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=114800 CPUtime=0.69 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 32658 0 0 0 66 3 0 0 25 0 1 0 896545597 117555200 28131 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 28700 28133 114 367 0 28330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114800
[startup+1.50016 s]
/proc/loadavg: 2.22 1.06 0.52 5/190 17377
/proc/meminfo: memFree=28025120/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=234080 CPUtime=1.49 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 67097 0 0 0 142 7 0 0 25 0 1 0 896545597 239697920 57959 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 58520 57962 114 367 0 58150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234080
[startup+3.10087 s]
/proc/loadavg: 2.22 1.06 0.52 5/190 17377
/proc/meminfo: memFree=27844336/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=488216 CPUtime=3.09 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 139846 0 0 0 292 17 0 0 25 0 1 0 896545597 499933184 121489 33554432000 4194304 5696331 140735384108208 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 122054 121492 114 367 0 121684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 488216
[startup+6.30031 s]
/proc/loadavg: 2.22 1.06 0.52 5/190 17377
/proc/meminfo: memFree=26815192/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1042144 CPUtime=6.29 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 278409 0 0 0 594 35 0 0 25 0 1 0 896545597 1067155456 253958 33554432000 4194304 5696331 140735384108208 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 260536 253958 141 367 0 260166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1042144
[startup+12.7002 s]
/proc/loadavg: 2.49 1.16 0.56 5/190 17377
/proc/meminfo: memFree=26691792/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1113400 CPUtime=12.69 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 377757 0 0 0 1222 47 0 0 25 0 1 0 896545597 1140121600 273074 33554432000 4194304 5696331 140735384108208 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 278350 273074 142 367 0 277980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1113400
[startup+25.5009 s]
/proc/loadavg: 2.72 1.25 0.59 5/190 17378
/proc/meminfo: memFree=26798876/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=991936 CPUtime=25.49 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 445239 0 0 0 2492 57 0 0 25 0 1 0 896545597 1015742464 244921 33554432000 4194304 5696331 140735384108208 18446744073709551615 4224615 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 247984 244921 142 367 0 247614 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 991936
[startup+51.1004 s]
/proc/loadavg: 3.16 1.47 0.68 5/190 17452
/proc/meminfo: memFree=27387860/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1072652 CPUtime=51.09 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 546454 0 0 0 5039 70 0 0 25 0 1 0 896545597 1098395648 263195 33554432000 4194304 5696331 140735384108208 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 268163 263195 148 367 0 267793 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1072652
[startup+102.307 s]
/proc/loadavg: 3.74 1.92 0.88 5/190 17491
/proc/meminfo: memFree=26498768/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1084940 CPUtime=102.3 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 549447 0 0 0 10159 71 0 0 25 0 1 0 896545597 1110978560 266188 33554432000 4194304 5696331 140735384108208 18446744073709551615 4419584 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 271235 266188 149 367 0 270865 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1084940
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (103.19 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (103.19 s) to the 'lost time'.
[startup+103.2 s]
/proc/loadavg: 3.74 1.92 0.88 5/190 17491
/proc/meminfo: memFree=26498768/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1052168 CPUtime=103.19 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 549449 0 0 0 10248 71 0 0 25 0 1 0 896545597 1077420032 260385 33554432000 4194304 5696331 140735384108208 18446744073709551615 4974254 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 263042 260385 151 367 0 262672 0
Current children cumulated CPU time (s) 103.19
Current children cumulated vsize (KiB) 1052168
[startup+103.3 s]
/proc/loadavg: 3.74 1.92 0.88 5/190 17491
/proc/meminfo: memFree=27431224/32951124 swapFree=67057920/67111528
[pid=17376] ppid=0 vsize=0 CPUtime=0 cores=3-6,8-9,11-12,16,20-21,23,28,64,68,71,75,135,139,193,197,258,576,578-579,584,586-587,590,598,708-710,712-713,715-716,720,724-725,727,732,771-774,776-777,779-780,784,788-789,791,796,839,841-843,850-855,857,862,864-868,870,899-902,904-905,907-908,912,916-917,919,924,964,968,971-974,976,980-981,983,988
/proc/17376/stat : 17376 (muser) Z 0 -1 -1 0 -1 4202524 0 0 0 0 0 0 0 0 18 0 0 0 896545597 0 0 0 0 0 0 0 0 0 0 0 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17376/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+103.1 s]
/proc/loadavg: 3.74 1.92 0.88 5/190 17491
/proc/meminfo: memFree=26498768/32951124 swapFree=67057920/67111528
[pid=17376] ppid=17374 vsize=1052168 CPUtime=103.09 cores=5,7
/proc/17376/stat : 17376 (muser) R 17374 17376 17266 0 -1 4202496 549447 0 0 0 10238 71 0 0 25 0 1 0 896545597 1077420032 260383 33554432000 4194304 5696331 140735384108208 18446744073709551615 4948792 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/17376/statm: 263042 260383 149 367 0 262672 0
Current children cumulated CPU time (s) 103.09
Current children cumulated vsize (KiB) 1052168
[startup+103.3 s]
/proc/loadavg: 3.74 1.92 0.88 5/190 17491
/proc/meminfo: memFree=27431224/32951124 swapFree=67057920/67111528
[pid=17376] ppid=0 vsize=0 CPUtime=0 cores=3-6,8-9,11-12,16,20-21,23,28,64,68,71,75,135,139,193,197,258,576,578-579,584,586-587,590,598,708-710,712-713,715-716,720,724-725,727,732,771-774,776-777,779-780,784,788-789,791,796,839,841-843,850-855,857,862,864-868,870,899-902,904-905,907-908,912,916-917,919,924,964,968,971-974,976,980-981,983,988
/proc/17376/stat : 17376 (muser) Z 0 -1 -1 0 -1 4202524 0 0 0 0 0 0 0 0 18 0 0 0 896545597 0 0 0 0 0 0 0 0 0 0 0 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17376/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17376 and gives
# childrusage.ru_utime.tv_sec=102
# childrusage.ru_utime.tv_usec=549410
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=756884
# CPU time returned by wait4() is 103.306
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 103.19
# lost CPU user time (s): 102.48
# lost CPU system time (s): 0.71
Real time (s): 103.307
CPU time (s): 103.19
CPU user time (s): 102.48
CPU system time (s): 0.71
CPU usage (%): 99.8871
Max. virtual memory (cumulated for all children) (KiB): 1117496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.549
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549449
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= 1136
runsolver used 0.145977 second user time and 0.426935 second system time
The end