0.18/0.25 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.25 c Parsing = 1
0.28/0.33 c Building = 1
0.38/0.40 c [ NumberOfVariables = 24 ]
0.38/0.40 c [ NumberOfConstraints = 72 ]
0.38/0.40 c [ SizeOfSearchSpace(log2) = 110.039 ]
0.38/0.40 c SymmetrySearch = 1
1.58/1.60 c InitialPropagation = 1
1.58/1.62 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.58/1.62 c InitialSAC = 1
1.78/1.85 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.78/1.85 c Search(SampleFF) :
94.71/95.17 c [ Sampling domwdeg ]
94.71/95.17 c [ Sampling impacts ]
94.71/95.17 c [ Sampling la ]
94.71/95.17 c [ SamplingScores: ]
94.71/95.17 c [ domwdeg+min = 2.27722e-05 | domwdeg+rnd = 5.15386e-05 ]
94.71/95.17 c [ impacts+min = 3.14997e-05 | impacts+rnd = 1.92483e-05 ]
94.71/95.17 c [ la+min = 5.59231e-11 | la+rnd = 2.98714e-08 ]
94.71/95.17 c [ domwdeg = 3.71554e-05 | impacts = 2.5374e-05 | la = 1.49636e-08 ]
94.71/95.17 c [ min = 1.80907e-05 | rand = 2.5374e-05 ]
94.71/95.17 c [ restarting at (0.282886,1.25805e-07) ]
95.51/95.95 c [ restarting at (0.707215,2.72105e-07) ]
97.40/97.89 c [ restarting at (1.76804,6.16945e-06) ]
102.18/102.65 c [ restarting at (4.42009,7.598e-05) ]
114.03/114.50 c [ restarting at (11.0502,0.000370858) ]
143.52/144.12 c [ restarting at (27.6256,0.00115742) ]
217.23/218.19 c [ restarting at (69.064,0.00203451) ]
315.63/316.92 c [ restarting at (172.66,0.00232113) ]
747.26/748.70 c [ restarting at (431.65,0.0128098) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056739-1215105711/watcher-1056739-1215105711 -o /tmp/evaluation-result-1056739-1215105711/solver-1056739-1215105711 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056739-1215105711.xml 1655016658
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/72 16075
/proc/meminfo: memFree=1649996/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=18572 CPUtime=0
/proc/16075/stat : 16075 (runsolver) R 16073 16075 15999 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1989544055 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 240907775271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16075/statm: 4643 292 257 25 0 2626 0
[startup+0.0820901 s]
/proc/loadavg: 0.00 0.00 0.00 4/72 16075
/proc/meminfo: memFree=1649996/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=7024 CPUtime=0.07
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 853 0 0 0 7 0 0 0 18 0 1 0 1989544055 7192576 813 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 1756 813 365 235 0 457 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7024
[startup+0.101085 s]
/proc/loadavg: 0.00 0.00 0.00 4/72 16075
/proc/meminfo: memFree=1649996/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=7436 CPUtime=0.08
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 959 0 0 0 8 0 0 0 18 0 1 0 1989544055 7614464 919 996147200 134512640 135477443 4294956224 18446744073709551615 4158915846 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 1859 919 365 235 0 560 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7436
[startup+0.301109 s]
/proc/loadavg: 0.00 0.00 0.00 4/72 16075
/proc/meminfo: memFree=1649996/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=11680 CPUtime=0.28
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 2040 0 0 0 28 0 0 0 20 0 1 0 1989544055 11960320 2000 996147200 134512640 135477443 4294956224 18446744073709551615 134780928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 2920 2000 365 235 0 1621 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11680
[startup+0.701153 s]
/proc/loadavg: 0.00 0.00 0.00 4/72 16075
/proc/meminfo: memFree=1649996/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=143708 CPUtime=0.68
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 11641 0 0 0 65 3 0 0 23 0 1 0 1989544055 147156992 11601 996147200 134512640 135477443 4294956224 18446744073709551615 134635384 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 35927 11601 432 235 0 34628 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 143708
[startup+1.50124 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 16076
/proc/meminfo: memFree=1573508/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=202552 CPUtime=1.48
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 22866 0 0 0 140 8 0 0 25 0 1 0 1989544055 207413248 22681 996147200 134512640 135477443 4294956224 18446744073709551615 9352545 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 50638 22681 445 235 0 49339 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 202552
[startup+3.10139 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 16076
/proc/meminfo: memFree=1627012/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=3.07
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23407 0 0 0 298 9 0 0 25 0 1 0 1989544055 118902784 5263 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5263 477 235 0 27730 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 116116
[startup+6.30171 s]
/proc/loadavg: 0.16 0.03 0.01 3/73 16076
/proc/meminfo: memFree=1626380/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=6.26
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23464 0 0 0 617 9 0 0 25 0 1 0 1989544055 118902784 5320 996147200 134512640 135477443 4294956224 18446744073709551615 134600992 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5320 477 235 0 27730 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 116116
[startup+12.7023 s]
/proc/loadavg: 0.31 0.07 0.02 3/73 16076
/proc/meminfo: memFree=1626124/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=12.63
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23499 0 0 0 1254 9 0 0 25 0 1 0 1989544055 118902784 5355 996147200 134512640 135477443 4294956224 18446744073709551615 134600845 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5355 477 235 0 27730 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 116116
[startup+25.5016 s]
/proc/loadavg: 0.76 0.18 0.06 3/73 16076
/proc/meminfo: memFree=1626124/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=25.38
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23510 0 0 0 2529 9 0 0 25 0 1 0 1989544055 118902784 5366 996147200 134512640 135477443 4294956224 18446744073709551615 134583249 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5366 479 235 0 27730 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 116116
[startup+51.1011 s]
/proc/loadavg: 1.18 0.32 0.11 3/73 16076
/proc/meminfo: memFree=1625868/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=50.88
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23589 0 0 0 5078 10 0 0 25 0 1 0 1989544055 118902784 5445 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5445 479 235 0 27730 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 116116
[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/73 16076
/proc/meminfo: memFree=1625804/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=101.89
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23590 0 0 0 10179 10 0 0 25 0 1 0 1989544055 118902784 5446 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5446 480 235 0 27730 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 116116
[startup+162.301 s]
/proc/loadavg: 1.91 0.85 0.32 3/73 16076
/proc/meminfo: memFree=1625420/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=161.64
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23663 0 0 0 16154 10 0 0 25 0 1 0 1989544055 118902784 5519 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5519 480 235 0 27730 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 116116
[startup+222.301 s]
/proc/loadavg: 2.01 1.07 0.43 3/73 16076
/proc/meminfo: memFree=1624716/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=221.41
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23880 0 0 0 22130 11 0 0 25 0 1 0 1989544055 118902784 5736 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5736 480 235 0 27730 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 116116
[startup+282.301 s]
/proc/loadavg: 2.10 1.27 0.53 3/73 16076
/proc/meminfo: memFree=1624652/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=281.17
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23880 0 0 0 28106 11 0 0 25 0 1 0 1989544055 118902784 5736 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/16075/statm: 29029 5736 480 235 0 27730 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 116116
[startup+342.302 s]
/proc/loadavg: 2.01 1.40 0.62 3/73 16103
/proc/meminfo: memFree=1623564/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=341.01
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23880 0 0 0 34090 11 0 0 25 0 1 0 1989544055 118902784 5736 996147200 134512640 135477443 4294956224 18446744073709551615 134583297 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5736 480 235 0 27730 0
Current children cumulated CPU time (s) 341.01
Current children cumulated vsize (KiB) 116116
[startup+402.302 s]
/proc/loadavg: 2.00 1.50 0.70 3/73 16103
/proc/meminfo: memFree=1623500/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=401
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23880 0 0 0 40088 12 0 0 25 0 1 0 1989544055 118902784 5736 996147200 134512640 135477443 4294956224 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5736 480 235 0 27730 0
Current children cumulated CPU time (s) 401
Current children cumulated vsize (KiB) 116116
[startup+462.304 s]
/proc/loadavg: 2.00 1.59 0.78 4/73 16130
/proc/meminfo: memFree=1623436/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=460.97
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23880 0 0 0 46085 12 0 0 25 0 1 0 1989544055 118902784 5736 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5736 480 235 0 27730 0
Current children cumulated CPU time (s) 460.97
Current children cumulated vsize (KiB) 116116
[startup+522.302 s]
/proc/loadavg: 2.00 1.66 0.86 4/73 16130
/proc/meminfo: memFree=1623372/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=520.94
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23921 0 0 0 52082 12 0 0 25 0 1 0 1989544055 118902784 5777 996147200 134512640 135477443 4294956224 18446744073709551615 134589904 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5777 480 235 0 27730 0
Current children cumulated CPU time (s) 520.94
Current children cumulated vsize (KiB) 116116
[startup+582.302 s]
/proc/loadavg: 2.00 1.72 0.93 4/73 16130
/proc/meminfo: memFree=1623308/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=580.92
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23921 0 0 0 58080 12 0 0 25 0 1 0 1989544055 118902784 5777 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5777 480 235 0 27730 0
Current children cumulated CPU time (s) 580.92
Current children cumulated vsize (KiB) 116116
[startup+642.302 s]
/proc/loadavg: 2.00 1.77 0.99 3/75 16180
/proc/meminfo: memFree=1607868/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=640.91
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23921 0 0 0 64077 14 0 0 25 0 1 0 1989544055 118902784 5777 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5777 480 235 0 27730 0
Current children cumulated CPU time (s) 640.91
Current children cumulated vsize (KiB) 116116
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 1.90 1.21 3/75 16180
/proc/meminfo: memFree=1602172/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=880.81
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23938 0 0 0 88067 14 0 0 25 0 1 0 1989544055 118902784 5794 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5794 480 235 0 27730 0
Current children cumulated CPU time (s) 880.81
Current children cumulated vsize (KiB) 116116
[startup+942.301 s]
/proc/loadavg: 2.00 1.91 1.26 3/75 16181
/proc/meminfo: memFree=1602108/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=940.78
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23938 0 0 0 94064 14 0 0 25 0 1 0 1989544055 118902784 5794 996147200 134512640 135477443 4294956224 18446744073709551615 134590277 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5794 480 235 0 27730 0
Current children cumulated CPU time (s) 940.78
Current children cumulated vsize (KiB) 116116
[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/75 16182
/proc/meminfo: memFree=1601724/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1000.76
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23938 0 0 0 100062 14 0 0 25 0 1 0 1989544055 118902784 5794 996147200 134512640 135477443 4294956224 18446744073709551615 134583302 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5794 480 235 0 27730 0
Current children cumulated CPU time (s) 1000.76
Current children cumulated vsize (KiB) 116116
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.34 3/75 16182
/proc/meminfo: memFree=1601404/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1060.73
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23938 0 0 0 106059 14 0 0 25 0 1 0 1989544055 118902784 5794 996147200 134512640 135477443 4294956224 18446744073709551615 134610069 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5794 480 235 0 27730 0
Current children cumulated CPU time (s) 1060.73
Current children cumulated vsize (KiB) 116116
[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/75 16182
/proc/meminfo: memFree=1601404/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1120.71
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23938 0 0 0 112057 14 0 0 25 0 1 0 1989544055 118902784 5794 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5794 480 235 0 27730 0
Current children cumulated CPU time (s) 1120.71
Current children cumulated vsize (KiB) 116116
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/75 16182
/proc/meminfo: memFree=1601020/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1180.69
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23964 0 0 0 118055 14 0 0 25 0 1 0 1989544055 118902784 5820 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5820 480 235 0 27730 0
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (KiB) 116116
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/75 16182
/proc/meminfo: memFree=1600956/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1240.67
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 23964 0 0 0 124053 14 0 0 25 0 1 0 1989544055 118902784 5820 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5820 480 235 0 27730 0
Current children cumulated CPU time (s) 1240.67
Current children cumulated vsize (KiB) 116116
[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/75 16182
/proc/meminfo: memFree=1600380/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1300.65
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24023 0 0 0 130051 14 0 0 25 0 1 0 1989544055 118902784 5879 996147200 134512640 135477443 4294956224 18446744073709551615 134600870 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5879 480 235 0 27730 0
Current children cumulated CPU time (s) 1300.65
Current children cumulated vsize (KiB) 116116
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/75 16182
/proc/meminfo: memFree=1599932/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1360.62
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24023 0 0 0 136048 14 0 0 25 0 1 0 1989544055 118902784 5879 996147200 134512640 135477443 4294956224 18446744073709551615 134600816 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5879 480 235 0 27730 0
Current children cumulated CPU time (s) 1360.62
Current children cumulated vsize (KiB) 116116
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/75 16182
/proc/meminfo: memFree=1599932/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1420.6
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24023 0 0 0 142046 14 0 0 25 0 1 0 1989544055 118902784 5879 996147200 134512640 135477443 4294956224 18446744073709551615 134600949 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 5879 480 235 0 27730 0
Current children cumulated CPU time (s) 1420.6
Current children cumulated vsize (KiB) 116116
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/75 16182
/proc/meminfo: memFree=1599420/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1480.59
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 148044 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134590165 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1480.59
Current children cumulated vsize (KiB) 116116
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/75 16182
/proc/meminfo: memFree=1599036/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1540.56
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 154041 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134590252 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1540.56
Current children cumulated vsize (KiB) 116116
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/75 16182
/proc/meminfo: memFree=1599036/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1600.54
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 160039 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134609907 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1600.54
Current children cumulated vsize (KiB) 116116
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/75 16182
/proc/meminfo: memFree=1598652/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1660.52
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 166037 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1660.52
Current children cumulated vsize (KiB) 116116
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/75 16182
/proc/meminfo: memFree=1598652/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1720.5
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 172035 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134590229 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1720.5
Current children cumulated vsize (KiB) 116116
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/75 16182
/proc/meminfo: memFree=1598268/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1780.47
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24156 0 0 0 178032 15 0 0 25 0 1 0 1989544055 118902784 6012 996147200 134512640 135477443 4294956224 18446744073709551615 134590274 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6012 480 235 0 27730 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (KiB) 116116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.9 s]
/proc/loadavg: 2.00 1.97 1.68 3/75 16182
/proc/meminfo: memFree=1597948/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1800.07
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24224 0 0 0 179992 15 0 0 25 0 1 0 1989544055 118902784 6080 996147200 134512640 135477443 4294956224 18446744073709551615 134590300 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6080 480 235 0 27730 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 116116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 2.00 1.97 1.68 3/75 16182
/proc/meminfo: memFree=1597948/2055920 swapFree=4179028/4192956
[pid=16075] ppid=16073 vsize=116116 CPUtime=1800.07
/proc/16075/stat : 16075 (casperzao) R 16073 16075 15999 0 -1 4194304 24224 0 0 0 179992 15 0 0 25 0 1 0 1989544055 118902784 6080 996147200 134512640 135477443 4294956224 18446744073709551615 134590300 0 0 4096 0 0 0 0 17 0 0 0
/proc/16075/statm: 29029 6080 480 235 0 27730 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 116116
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.91
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.159975
CPU usage (%): 99.8985
Max. virtual memory (cumulated for all children) (KiB): 202552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24224
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= 16
involuntary context switches= 9124
runsolver used 2.22666 second user time and 5.41518 second system time
The end
Begin job on node36 at 2008-07-03 19:21:52
IDJOB=1056739
IDBENCH=53964
IDSOLVER=361
FILE ID=node36/1056739-1215105711
PBS_JOBID= 7877131
Free space on /tmp= 66544 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-42_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056739-1215105711/watcher-1056739-1215105711 -o /tmp/evaluation-result-1056739-1215105711/solver-1056739-1215105711 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056739-1215105711.xml 1655016658
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ec99b0307da5f4fce88abe71f3566db7
RANDOM SEED=1655016658
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1650604 kB
Buffers: 38824 kB
Cached: 286104 kB
SwapCached: 7932 kB
Active: 162352 kB
Inactive: 177332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650604 kB
SwapTotal: 4192956 kB
SwapFree: 4179028 kB
Dirty: 9188 kB
Writeback: 0 kB
Mapped: 21996 kB
Slab: 51232 kB
Committed_AS: 3178816 kB
PageTables: 1668 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66532 MiB
End job on node36 at 2008-07-03 19:51:56