0.18/0.23 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
0.58/0.60 c Building = 1
1.37/1.46 c [ NumberOfVariables = 2152 ]
1.37/1.46 c [ NumberOfConstraints = 17197 ]
1.37/1.46 c [ SizeOfSearchSpace(log2) = 2152 ]
1.37/1.46 c SymmetrySearch = 1
1.77/1.90 c [ Found 768 symmetries ]
1.86/1.99 c InitialPropagation = 1
1.97/2.00 c [ SizeOfSearchSpace(log2) = 2152 ]
1.97/2.00 c InitialSAC = 1
7.81/7.99 c [ SizeOfSearchSpace(log2) = 2148 ]
7.81/7.99 c Search(SampleFF) :
117.51/118.62 c [ Sampling domwdeg ]
117.51/118.62 c [ Sampling impacts ]
117.51/118.62 c [ Sampling la ]
117.51/118.62 c [ SamplingScores: ]
117.51/118.62 c [ domwdeg+min = 0.0568334 | domwdeg+rnd = 0.000301502 ]
117.51/118.62 c [ impacts+min = 0.00595061 | impacts+rnd = 0.022698 ]
117.51/118.62 c [ la+min = 0.00117277 | la+rnd = 0.000147005 ]
117.51/118.62 c [ domwdeg = 0.0285674 | impacts = 0.0143243 | la = 0.000659886 ]
117.51/118.62 c [ min = 0.0213189 | rand = 0.0143243 ]
117.51/118.62 c [ restarting at (0.1,3.05032e-08) ]
117.71/118.89 c [ restarting at (0.25,2.10313e-08) ]
118.40/119.57 c [ restarting at (0.625,3.58568e-08) ]
120.07/121.24 c [ restarting at (1.5625,2.22274e-06) ]
124.24/125.44 c [ restarting at (3.90625,0.000197843) ]
132.96/134.25 c [ restarting at (9.76562,0.00197051) ]
157.33/158.68 c [ restarting at (24.4141,0.00148876) ]
218.41/219.75 c [ restarting at (61.0352,0.000318252) ]
371.04/372.41 c [ restarting at (152.588,0.000185746) ]
752.49/754.06 c [ restarting at (381.47,0.0756068) ]
1706.17/1708.13 c [ restarting at (953.674,0.000718867) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061342-1215132287/watcher-1061342-1215132287 -o /tmp/evaluation-result-1061342-1215132287/solver-1061342-1215132287 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1061342-1215132287.xml 317943289
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.09 2.04 2.01 4/81 16757
/proc/meminfo: memFree=1477968/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=18572 CPUtime=0
/proc/16757/stat : 16757 (runsolver) R 16755 16757 15763 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 418846121 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 224627584295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16757/statm: 4643 292 257 25 0 2626 0
[startup+0.108121 s]
/proc/loadavg: 2.09 2.04 2.01 4/81 16757
/proc/meminfo: memFree=1477968/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=6540 CPUtime=0.09
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 756 0 0 0 9 0 0 0 18 0 1 0 418846121 6696960 716 996147200 134512640 135477443 4294956224 18446744073709551615 134753701 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 1635 716 370 235 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6540
[startup+0.202136 s]
/proc/loadavg: 2.09 2.04 2.01 4/81 16757
/proc/meminfo: memFree=1477968/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=7464 CPUtime=0.18
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 990 0 0 0 18 0 0 0 18 0 1 0 418846121 7643136 950 996147200 134512640 135477443 4294956224 18446744073709551615 134774117 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 1866 950 370 235 0 567 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7464
[startup+0.302148 s]
/proc/loadavg: 2.09 2.04 2.01 4/81 16757
/proc/meminfo: memFree=1477968/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=8520 CPUtime=0.28
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 1250 0 0 0 28 0 0 0 19 0 1 0 418846121 8724480 1210 996147200 134512640 135477443 4294956224 18446744073709551615 134774153 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 2130 1210 370 235 0 831 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8520
[startup+0.702207 s]
/proc/loadavg: 2.09 2.04 2.01 4/81 16757
/proc/meminfo: memFree=1477968/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=105316 CPUtime=0.68
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 4276 0 0 0 62 6 0 0 23 0 1 0 418846121 107843584 2321 996147200 134512640 135477443 4294956224 18446744073709551615 4132924 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 26329 2321 422 235 0 25030 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105316
[startup+1.50133 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 16758
/proc/meminfo: memFree=1467784/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=111328 CPUtime=1.47
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 22127 0 0 0 91 56 0 0 25 0 1 0 418846121 113999872 4890 996147200 134512640 135477443 4294956224 18446744073709551615 134636382 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 27832 4890 450 235 0 26533 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 111328
[startup+3.10155 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 16758
/proc/meminfo: memFree=1457416/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=3.06
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 25852 0 0 0 249 57 0 0 25 0 1 0 418846121 115847168 5479 996147200 134512640 135477443 4294956224 18446744073709551615 134586253 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5479 481 235 0 26984 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 113132
[startup+6.302 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 16758
/proc/meminfo: memFree=1457416/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=6.23
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 25872 0 0 0 566 57 0 0 25 0 1 0 418846121 115847168 5499 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5499 482 235 0 26984 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 113132
[startup+12.7019 s]
/proc/loadavg: 2.07 2.04 2.00 3/82 16758
/proc/meminfo: memFree=1457160/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=12.57
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 25960 0 0 0 1200 57 0 0 25 0 1 0 418846121 115847168 5587 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5587 501 235 0 26984 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 113132
[startup+25.5027 s]
/proc/loadavg: 2.06 2.04 2.00 3/82 16758
/proc/meminfo: memFree=1457288/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=25.25
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 25972 0 0 0 2468 57 0 0 25 0 1 0 418846121 115847168 5599 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5599 501 235 0 26984 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 113132
[startup+51.1024 s]
/proc/loadavg: 2.04 2.03 2.00 4/82 16758
/proc/meminfo: memFree=1457096/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=50.61
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26036 0 0 0 5004 57 0 0 25 0 1 0 418846121 115847168 5663 996147200 134512640 135477443 4294956224 18446744073709551615 135270297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5663 502 235 0 26984 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 113132
[startup+102.303 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 16758
/proc/meminfo: memFree=1456392/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=101.35
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26171 0 0 0 10077 58 0 0 25 0 1 0 418846121 115847168 5798 996147200 134512640 135477443 4294956224 18446744073709551615 134673690 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 28283 5798 502 235 0 26984 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 113132
[startup+162.302 s]
/proc/loadavg: 1.95 2.00 1.99 3/74 16849
/proc/meminfo: memFree=1509008/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=161.03
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26226 0 0 0 16044 59 0 0 25 0 1 0 418846121 115847168 5853 996147200 134512640 135477443 4294956224 18446744073709551615 135268929 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5853 503 235 0 26984 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 113132
[startup+222.307 s]
/proc/loadavg: 1.98 2.00 1.99 3/74 16849
/proc/meminfo: memFree=1509136/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=221.02
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26232 0 0 0 22042 60 0 0 25 0 1 0 418846121 115847168 5859 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5859 503 235 0 26984 0
Current children cumulated CPU time (s) 221.02
Current children cumulated vsize (KiB) 113132
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/74 16849
/proc/meminfo: memFree=1509008/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=280.98
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26233 0 0 0 28038 60 0 0 25 0 1 0 418846121 115847168 5860 996147200 134512640 135477443 4294956224 18446744073709551615 134880369 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5860 503 235 0 26984 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 113132
[startup+342.303 s]
/proc/loadavg: 1.99 2.00 1.99 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=340.96
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26233 0 0 0 34036 60 0 0 25 0 1 0 418846121 115847168 5860 996147200 134512640 135477443 4294956224 18446744073709551615 134583641 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5860 503 235 0 26984 0
Current children cumulated CPU time (s) 340.96
Current children cumulated vsize (KiB) 113132
[startup+402.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=400.93
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26247 0 0 0 40033 60 0 0 25 0 1 0 418846121 115847168 5874 996147200 134512640 135477443 4294956224 18446744073709551615 134942176 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5874 503 235 0 26984 0
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (KiB) 113132
[startup+462.303 s]
/proc/loadavg: 2.13 2.04 2.01 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=460.91
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26247 0 0 0 46031 60 0 0 25 0 1 0 418846121 115847168 5874 996147200 134512640 135477443 4294956224 18446744073709551615 135268286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5874 503 235 0 26984 0
Current children cumulated CPU time (s) 460.91
Current children cumulated vsize (KiB) 113132
[startup+522.302 s]
/proc/loadavg: 2.15 2.06 2.01 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=520.88
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26247 0 0 0 52028 60 0 0 25 0 1 0 418846121 115847168 5874 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5874 503 235 0 26984 0
Current children cumulated CPU time (s) 520.88
Current children cumulated vsize (KiB) 113132
[startup+582.303 s]
/proc/loadavg: 2.11 2.06 2.01 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=580.86
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26247 0 0 0 58026 60 0 0 25 0 1 0 418846121 115847168 5874 996147200 134512640 135477443 4294956224 18446744073709551615 134679645 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5874 503 235 0 26984 0
Current children cumulated CPU time (s) 580.86
Current children cumulated vsize (KiB) 113132
[startup+642.302 s]
/proc/loadavg: 2.04 2.05 2.00 3/74 16849
/proc/meminfo: memFree=1508944/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=640.83
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26247 0 0 0 64023 60 0 0 25 0 1 0 418846121 115847168 5874 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5874 503 235 0 26984 0
Current children cumulated CPU time (s) 640.83
Current children cumulated vsize (KiB) 113132
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/74 16849
/proc/meminfo: memFree=1508880/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=880.74
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 88013 61 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134673677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 880.74
Current children cumulated vsize (KiB) 113132
[startup+942.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 16849
/proc/meminfo: memFree=1508816/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=940.71
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 94010 61 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 940.71
Current children cumulated vsize (KiB) 113132
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 16855
/proc/meminfo: memFree=1508616/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1000.67
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 100006 61 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1000.67
Current children cumulated vsize (KiB) 113132
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16856
/proc/meminfo: memFree=1508608/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1060.65
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 106003 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1060.65
Current children cumulated vsize (KiB) 113132
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16856
/proc/meminfo: memFree=1508608/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1120.63
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 112001 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1120.63
Current children cumulated vsize (KiB) 113132
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508544/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1180.6
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 117998 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1180.6
Current children cumulated vsize (KiB) 113132
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508416/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1240.58
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 123996 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134942582 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1240.58
Current children cumulated vsize (KiB) 113132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508424/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1300.55
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 129993 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135207264 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1300.55
Current children cumulated vsize (KiB) 113132
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508424/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1360.52
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 135990 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134586323 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1360.52
Current children cumulated vsize (KiB) 113132
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508424/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1420.5
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 141988 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134583665 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1420.5
Current children cumulated vsize (KiB) 113132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16856
/proc/meminfo: memFree=1508424/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1480.47
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 147985 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134674258 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1480.47
Current children cumulated vsize (KiB) 113132
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16857
/proc/meminfo: memFree=1508416/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1540.45
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 153983 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1540.45
Current children cumulated vsize (KiB) 113132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16857
/proc/meminfo: memFree=1508480/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1600.42
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 159980 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1600.42
Current children cumulated vsize (KiB) 113132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16857
/proc/meminfo: memFree=1508480/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1660.39
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26263 0 0 0 165977 62 0 0 25 0 1 0 418846121 115847168 5890 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5890 503 235 0 26984 0
Current children cumulated CPU time (s) 1660.39
Current children cumulated vsize (KiB) 113132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16858
/proc/meminfo: memFree=1508472/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1720.37
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26276 0 0 0 171974 63 0 0 25 0 1 0 418846121 115847168 5903 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5903 503 235 0 26984 0
Current children cumulated CPU time (s) 1720.37
Current children cumulated vsize (KiB) 113132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16858
/proc/meminfo: memFree=1508280/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1780.35
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26276 0 0 0 177972 63 0 0 25 0 1 0 418846121 115847168 5903 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5903 503 235 0 26984 0
Current children cumulated CPU time (s) 1780.35
Current children cumulated vsize (KiB) 113132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16858
/proc/meminfo: memFree=1508280/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1800.05
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26276 0 0 0 179942 63 0 0 25 0 1 0 418846121 115847168 5903 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5903 503 235 0 26984 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 113132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16858
/proc/meminfo: memFree=1508280/2055920 swapFree=4180312/4192956
[pid=16757] ppid=16755 vsize=113132 CPUtime=1800.05
/proc/16757/stat : 16757 (casperzao) R 16755 16757 15763 0 -1 4194304 26276 0 0 0 179942 63 0 0 25 0 1 0 418846121 115847168 5903 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/16757/statm: 28283 5903 503 235 0 26984 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 113132
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.01
CPU time (s): 1800.06
CPU user time (s): 1799.42
CPU system time (s): 0.636903
CPU usage (%): 99.8916
Max. virtual memory (cumulated for all children) (KiB): 122828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26276
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= 10429
runsolver used 2.05769 second user time and 5.15721 second system time
The end
Begin job on node49 at 2008-07-04 02:44:48
IDJOB=1061342
IDBENCH=54542
IDSOLVER=361
FILE ID=node49/1061342-1215132287
PBS_JOBID= 7877213
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-16b2.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061342-1215132287/watcher-1061342-1215132287 -o /tmp/evaluation-result-1061342-1215132287/solver-1061342-1215132287 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1061342-1215132287.xml 317943289
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 84b954dbb94782d8931cb65a4e207c2f
RANDOM SEED=317943289
node49.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.249
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.249
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: 1478448 kB
Buffers: 69120 kB
Cached: 368076 kB
SwapCached: 6096 kB
Active: 236548 kB
Inactive: 275888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1478448 kB
SwapTotal: 4192956 kB
SwapFree: 4180312 kB
Dirty: 5152 kB
Writeback: 0 kB
Mapped: 90964 kB
Slab: 49852 kB
Committed_AS: 1463804 kB
PageTables: 1964 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= 66532 MiB
End job on node49 at 2008-07-04 03:14:52