0.00/0.10 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.10 c Parsing = 1
0.00/0.17 c Building = 1
13.73/13.90 c [ NumberOfVariables = 200 ]
13.73/13.90 c [ NumberOfConstraints = 2053 ]
13.73/13.90 c [ SizeOfSearchSpace(log2) = 1372.93 ]
13.73/13.90 c SymmetrySearch = 1
13.73/13.97 c InitialPropagation = 1
13.73/13.98 c [ SizeOfSearchSpace(log2) = 1365.85 ]
13.73/13.98 c InitialSAC = 1
34.82/35.16 c [ SizeOfSearchSpace(log2) = 1352.72 ]
34.82/35.16 c Search(SampleFF) :
161.90/162.84 c [ Sampling domwdeg ]
161.90/162.84 c [ Sampling impacts ]
161.90/162.84 c [ Sampling la ]
161.90/162.84 c [ SamplingScores: ]
161.90/162.84 c [ domwdeg+min = 2.25682e-06 | domwdeg+rnd = 0.000449275 ]
161.90/162.84 c [ impacts+min = 1.40029e-05 | impacts+rnd = 0.000927482 ]
161.90/162.84 c [ la+min = 0.000110365 | la+rnd = 9.82025e-05 ]
161.90/162.84 c [ domwdeg = 0.000225766 | impacts = 0.000470742 | la = 0.000104284 ]
161.90/162.84 c [ min = 4.22083e-05 | rand = 0.000470742 ]
161.90/162.84 c [ restarting at (3.20163,0.00861396) ]
170.45/171.43 c [ restarting at (8.00408,6.73116e-05) ]
191.84/192.91 c [ restarting at (20.0102,0.000439476) ]
245.18/246.59 c [ restarting at (50.0255,8.24277e-05) ]
378.71/380.79 c [ restarting at (125.064,5.55887e-13) ]
659.42/662.81 c [ restarting at (312.659,3.07253e-10) ]
1441.42/1445.69 c [ stopped restarting at (781.649,0.52796) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087166-1215242873/watcher-1087166-1215242873 -o /tmp/evaluation-result-1087166-1215242873/solver-1087166-1215242873 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1087166-1215242873.xml 352795051
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: 2.10 2.17 2.15 4/81 21153
/proc/meminfo: memFree=1240224/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=18572 CPUtime=0
/proc/21153/stat : 21153 (runsolver) D 21151 21153 20941 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003259967 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 234211568935 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/21153/statm: 4643 292 257 25 0 2626 0
[startup+0.0335419 s]
/proc/loadavg: 2.10 2.17 2.15 4/81 21153
/proc/meminfo: memFree=1240224/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=18572 CPUtime=0
/proc/21153/stat : 21153 (runsolver) D 21151 21153 20941 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 2003259967 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 234211568935 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/21153/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+0.10158 s]
/proc/loadavg: 2.10 2.17 2.15 4/81 21153
/proc/meminfo: memFree=1240224/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=5304 CPUtime=0
/proc/21153/stat : 21153 (casperzao) D 21151 21153 20941 0 -1 4194304 292 0 8 0 0 0 0 0 18 0 1 0 2003259967 5431296 262 996147200 134512640 135477443 4294956224 18446744073709551615 2682544 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/21153/statm: 1326 262 220 235 0 27 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5304
[startup+0.301598 s]
/proc/loadavg: 2.10 2.17 2.15 4/81 21153
/proc/meminfo: memFree=1240224/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=287636 CPUtime=0.19
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 2252 0 13 0 18 1 0 0 19 0 1 0 2003259967 294539264 1410 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 71909 1410 465 235 0 70610 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 287636
[startup+0.70168 s]
/proc/loadavg: 2.10 2.17 2.15 4/81 21153
/proc/meminfo: memFree=1240224/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=288296 CPUtime=0.59
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 4832 0 13 0 57 2 0 0 23 0 1 0 2003259967 295215104 1542 996147200 134512640 135477443 4294956224 18446744073709551615 4158416716 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 72074 1542 465 235 0 70775 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288296
[startup+1.50185 s]
/proc/loadavg: 2.10 2.17 2.15 3/82 21154
/proc/meminfo: memFree=1232024/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=289616 CPUtime=1.39
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 10187 0 13 0 135 4 0 0 25 0 1 0 2003259967 296566784 1920 996147200 134512640 135477443 4294956224 18446744073709551615 135272341 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 72404 1920 465 235 0 71105 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 289616
[startup+3.10118 s]
/proc/loadavg: 2.09 2.16 2.15 3/82 21154
/proc/meminfo: memFree=1229592/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=292124 CPUtime=2.98
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 20882 0 13 0 289 9 0 0 25 0 1 0 2003259967 299134976 2627 996147200 134512640 135477443 4294956224 18446744073709551615 134694714 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 73031 2627 465 235 0 71732 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 292124
[startup+6.30184 s]
/proc/loadavg: 2.09 2.16 2.15 3/82 21154
/proc/meminfo: memFree=1223448/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=297536 CPUtime=6.16
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 42334 0 13 0 596 20 0 0 25 0 1 0 2003259967 304676864 4107 996147200 134512640 135477443 4294956224 18446744073709551615 135268690 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 74384 4107 465 235 0 73085 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 297536
[startup+12.7012 s]
/proc/loadavg: 2.09 2.16 2.15 3/82 21154
/proc/meminfo: memFree=1212952/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=306908 CPUtime=12.53
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 81969 0 13 0 1216 37 0 0 25 0 1 0 2003259967 314273792 6651 996147200 134512640 135477443 4294956224 18446744073709551615 135270265 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 76727 6651 465 235 0 75428 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 306908
[startup+25.5018 s]
/proc/loadavg: 2.07 2.15 2.14 3/82 21154
/proc/meminfo: memFree=1207960/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=121400 CPUtime=25.27
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 91611 0 14 0 2486 41 0 0 25 0 1 0 2003259967 124313600 7741 996147200 134512640 135477443 4294956224 18446744073709551615 134584186 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 30350 7741 509 235 0 29051 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 121400
[startup+51.1011 s]
/proc/loadavg: 2.04 2.14 2.14 3/82 21154
/proc/meminfo: memFree=1200664/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=121400 CPUtime=50.74
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 91986 0 14 0 5033 41 0 0 25 0 1 0 2003259967 124313600 8116 996147200 134512640 135477443 4294956224 18446744073709551615 135268218 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 30350 8116 512 235 0 29051 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 121400
[startup+102.307 s]
/proc/loadavg: 2.02 2.11 2.13 3/82 21154
/proc/meminfo: memFree=1187416/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=133772 CPUtime=101.69
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 95252 0 14 0 10126 43 0 0 25 0 1 0 2003259967 136982528 11382 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 33443 11382 513 235 0 32144 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 133772
[startup+162.301 s]
/proc/loadavg: 2.00 2.09 2.12 3/82 21154
/proc/meminfo: memFree=1174360/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=161.4
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98492 0 14 0 16095 45 0 0 25 0 1 0 2003259967 149778432 14622 996147200 134512640 135477443 4294956224 18446744073709551615 135268982 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14622 514 235 0 35268 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 146268
[startup+222.302 s]
/proc/loadavg: 2.00 2.07 2.10 3/82 21154
/proc/meminfo: memFree=1173784/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=221.1
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 22065 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238549 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 221.1
Current children cumulated vsize (KiB) 146268
[startup+282.302 s]
/proc/loadavg: 2.00 2.06 2.09 3/82 21154
/proc/meminfo: memFree=1173784/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=280.8
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 28035 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238563 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 280.8
Current children cumulated vsize (KiB) 146268
[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.09 3/82 21154
/proc/meminfo: memFree=1173720/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=340.51
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 34006 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 340.51
Current children cumulated vsize (KiB) 146268
[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.08 3/82 21154
/proc/meminfo: memFree=1173720/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=400.21
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 39976 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 400.21
Current children cumulated vsize (KiB) 146268
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/82 21154
/proc/meminfo: memFree=1173592/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=459.91
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 45946 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (KiB) 146268
[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.07 3/82 21154
/proc/meminfo: memFree=1173592/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=519.62
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 51917 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 519.62
Current children cumulated vsize (KiB) 146268
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/82 21154
/proc/meminfo: memFree=1173592/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=579.32
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 57887 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238561 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 579.32
Current children cumulated vsize (KiB) 146268
[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.06 3/82 21154
/proc/meminfo: memFree=1173400/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=639.03
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 63858 45 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 639.03
Current children cumulated vsize (KiB) 146268
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.01 2.00 2.04 3/76 21321
/proc/meminfo: memFree=1272512/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=818.42
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 81778 64 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238549 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 818.42
Current children cumulated vsize (KiB) 146268
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 21321
/proc/meminfo: memFree=1060864/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=878.39
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 87775 64 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238531 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 878.39
Current children cumulated vsize (KiB) 146268
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 21321
/proc/meminfo: memFree=850304/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=938.37
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 93773 64 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 938.37
Current children cumulated vsize (KiB) 146268
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 21321
/proc/meminfo: memFree=653440/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=998.34
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 99770 64 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238509 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 998.34
Current children cumulated vsize (KiB) 146268
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 2.03 3/84 21408
/proc/meminfo: memFree=1785928/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1058.31
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 105763 68 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238561 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1058.31
Current children cumulated vsize (KiB) 146268
[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 2.03 4/84 21409
/proc/meminfo: memFree=1585984/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1118.28
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 111760 68 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1118.28
Current children cumulated vsize (KiB) 146268
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/83 21412
/proc/meminfo: memFree=1552256/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1178.24
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 117755 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1178.24
Current children cumulated vsize (KiB) 146268
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.02 4/83 21412
/proc/meminfo: memFree=1552000/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1238.22
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 123753 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 3120869 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1238.22
Current children cumulated vsize (KiB) 146268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 21412
/proc/meminfo: memFree=1551744/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1298.19
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 129750 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 134584649 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1298.19
Current children cumulated vsize (KiB) 146268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 21412
/proc/meminfo: memFree=1551744/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1358.16
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 135747 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1358.16
Current children cumulated vsize (KiB) 146268
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 21412
/proc/meminfo: memFree=1551744/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1418.13
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 141744 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1418.13
Current children cumulated vsize (KiB) 146268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1551616/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1478.1
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 147741 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 134584173 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1478.1
Current children cumulated vsize (KiB) 146268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1551552/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1538.07
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 153738 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 134607429 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1538.07
Current children cumulated vsize (KiB) 146268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1551488/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1598.04
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 159735 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135207285 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1598.04
Current children cumulated vsize (KiB) 146268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1551232/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1658.01
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 165732 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 134923145 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1658.01
Current children cumulated vsize (KiB) 146268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1551040/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1717.98
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 171729 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238549 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1717.98
Current children cumulated vsize (KiB) 146268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1550912/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1777.95
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 177726 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 135238887 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1777.95
Current children cumulated vsize (KiB) 146268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21412
/proc/meminfo: memFree=1550912/2055920 swapFree=4179680/4192956
[pid=21153] ppid=21151 vsize=146268 CPUtime=1800.05
/proc/21153/stat : 21153 (casperzao) R 21151 21153 20941 0 -1 4194304 98624 0 14 0 179936 69 0 0 25 0 1 0 2003259967 149778432 14754 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/21153/statm: 36567 14754 514 235 0 35268 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 146268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.42
CPU time (s): 1800.07
CPU user time (s): 1799.36
CPU system time (s): 0.709892
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 308888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.709892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98624
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 26232
runsolver used 2.19766 second user time and 6.02308 second system time
The end
Begin job on node54 at 2008-07-05 09:27:53
IDJOB=1087166
IDBENCH=57944
IDSOLVER=361
FILE ID=node54/1087166-1215242873
PBS_JOBID= 7882005
Free space on /tmp= 66520 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp01/normalized-fapp01-0200-2.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087166-1215242873/watcher-1087166-1215242873 -o /tmp/evaluation-result-1087166-1215242873/solver-1087166-1215242873 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1087166-1215242873.xml 352795051
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8958f22ef51eff112eba2674fcf8e386
RANDOM SEED=352795051
node54.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.279
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.279
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: 1240960 kB
Buffers: 2796 kB
Cached: 32904 kB
SwapCached: 5440 kB
Active: 750392 kB
Inactive: 11244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240960 kB
SwapTotal: 4192956 kB
SwapFree: 4179680 kB
Dirty: 3160 kB
Writeback: 0 kB
Mapped: 740708 kB
Slab: 37272 kB
Committed_AS: 4733904 kB
PageTables: 3148 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node54 at 2008-07-05 09:58:00