0.19/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.19/0.20 c Parsing = 1
2.37/2.44 c Building = 1
2.96/3.07 c [ NumberOfVariables = 20 ]
2.96/3.07 c [ NumberOfConstraints = 18 ]
2.96/3.07 c [ SizeOfSearchSpace(log2) = 46.4386 ]
2.96/3.07 c SymmetrySearch = 1
12.18/12.32 c InitialPropagation = 1
12.18/12.36 c [ SizeOfSearchSpace(log2) = 46.4386 ]
12.18/12.36 c InitialSAC = 1
13.96/14.17 c [ SizeOfSearchSpace(log2) = 46.4386 ]
13.96/14.17 c Search(SampleFF) :
149.48/150.87 c [ Sampling domwdeg ]
149.48/150.87 c [ Sampling impacts ]
149.48/150.87 c [ Sampling la ]
149.48/150.87 c [ SamplingScores: ]
149.48/150.87 c [ domwdeg+min = 1.37679e-06 | domwdeg+rnd = 3.10824e-06 ]
149.48/150.87 c [ impacts+min = 5.75196e-07 | impacts+rnd = 9.0175e-08 ]
149.48/150.87 c [ la+min = 9.58054e-10 | la+rnd = 4.79027e-09 ]
149.48/150.87 c [ domwdeg = 2.24251e-06 | impacts = 3.32686e-07 | la = 2.87416e-09 ]
149.48/150.87 c [ min = 6.5098e-07 | rand = 3.32686e-07 ]
149.48/150.87 c [ restarting at (0.1,1.024e-07) ]
150.48/151.82 c [ restarting at (0.25,2.048e-08) ]
151.17/152.54 c [ restarting at (0.625,5.12e-07) ]
152.95/154.34 c [ restarting at (1.5625,2.6624e-06) ]
157.22/158.69 c [ restarting at (3.90625,6.656e-06) ]
167.72/169.23 c [ restarting at (9.76562,1.44384e-05) ]
193.71/195.44 c [ restarting at (24.4141,3.33824e-05) ]
258.64/260.91 c [ restarting at (61.0352,0.000141005) ]
420.74/424.44 c [ restarting at (152.588,0.000219136) ]
826.24/833.49 c [ restarting at (381.47,0.0007168) ]
1674.71/1689.28 c [ restarting at (953.674,0.00182426) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084819-1215232076/watcher-1084819-1215232076 -o /tmp/evaluation-result-1084819-1215232076/solver-1084819-1215232076 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084819-1215232076.xml 259574740
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.01 2.01 2.00 4/80 19637
/proc/meminfo: memFree=1159448/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=2624 CPUtime=0
/proc/19637/stat : 19637 (casperzao) D 19635 19637 15988 0 -1 4194304 62 0 0 0 0 0 0 0 18 0 1 0 644397056 2686976 45 996147200 134512640 135477443 4294956224 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19637/statm: 656 45 33 235 0 14 0
[startup+0.0667639 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 19637
/proc/meminfo: memFree=1159448/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=8784 CPUtime=0.05
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 1303 0 0 0 5 0 0 0 18 0 1 0 644397056 8994816 1263 996147200 134512640 135477443 4294956224 18446744073709551615 134780678 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 2196 1263 364 235 0 897 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8784
[startup+0.101765 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 19637
/proc/meminfo: memFree=1159448/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=8784 CPUtime=0.09
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 1303 0 0 0 9 0 0 0 18 0 1 0 644397056 8994816 1263 996147200 134512640 135477443 4294956224 18446744073709551615 134780692 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 2196 1263 364 235 0 897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8784
[startup+0.301792 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 19637
/proc/meminfo: memFree=1159448/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=15472 CPUtime=0.28
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 2981 0 0 0 27 1 0 0 19 0 1 0 644397056 15843328 2941 996147200 134512640 135477443 4294956224 18446744073709551615 134780698 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 3868 2941 365 235 0 2569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15472
[startup+0.701829 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 19637
/proc/meminfo: memFree=1159448/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=25496 CPUtime=0.69
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 5490 0 0 0 66 3 0 0 23 0 1 0 644397056 26107904 5450 996147200 134512640 135477443 4294956224 18446744073709551615 134783648 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 6374 5450 365 235 0 5075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25496
[startup+1.50192 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 19638
/proc/meminfo: memFree=1132240/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=44632 CPUtime=1.47
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 10230 0 0 0 142 5 0 0 25 0 1 0 644397056 45703168 10190 996147200 134512640 135477443 4294956224 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 11158 10190 365 235 0 9859 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44632
[startup+3.10208 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 19638
/proc/meminfo: memFree=1105168/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=236652 CPUtime=3.06
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 32672 0 0 0 289 17 0 0 25 0 1 0 644397056 242331648 32632 996147200 134512640 135477443 4294956224 18446744073709551615 134630502 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 59163 32632 431 235 0 57864 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 236652
[startup+6.3014 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 19638
/proc/meminfo: memFree=806032/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=546324 CPUtime=6.24
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 110062 0 0 0 567 57 0 0 25 0 1 0 644397056 559435776 110022 996147200 134512640 135477443 4294956224 18446744073709551615 3301106 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 136581 110022 432 235 0 135282 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 546324
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 19638
/proc/meminfo: memFree=636184/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=12.58
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173323 0 0 0 1168 90 0 0 25 0 1 0 644397056 234545152 30809 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30809 456 235 0 55963 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 229048
[startup+25.5014 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 19638
/proc/meminfo: memFree=1036952/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=25.26
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173367 0 0 0 2436 90 0 0 25 0 1 0 644397056 234545152 30853 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30853 477 235 0 55963 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 229048
[startup+51.102 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 19638
/proc/meminfo: memFree=1036440/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=50.63
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173464 0 0 0 4973 90 0 0 25 0 1 0 644397056 234545152 30950 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30950 479 235 0 55963 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 229048
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1036440/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=101.39
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173467 0 0 0 10049 90 0 0 25 0 1 0 644397056 234545152 30953 996147200 134512640 135477443 4294956224 18446744073709551615 134590274 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30953 479 235 0 55963 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 229048
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030616/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=160.89
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 15998 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 229048
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030616/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=220.37
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 21946 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134600971 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 229048
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030616/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=279.86
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 27895 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 229048
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030552/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=339.34
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 33843 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 229048
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030552/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=398.83
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 39792 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 229048
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030552/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=458.32
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 45741 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 458.32
Current children cumulated vsize (KiB) 229048
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030552/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=517.8
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 51689 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 517.8
Current children cumulated vsize (KiB) 229048
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030488/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=577.29
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 57638 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 577.29
Current children cumulated vsize (KiB) 229048
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030360/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=636.77
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 63586 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 636.77
Current children cumulated vsize (KiB) 229048
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030360/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=874.71
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 87380 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 874.71
Current children cumulated vsize (KiB) 229048
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19638
/proc/meminfo: memFree=1030360/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=934.2
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 93329 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 934.2
Current children cumulated vsize (KiB) 229048
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030360/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=993.68
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 99277 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134583297 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 993.68
Current children cumulated vsize (KiB) 229048
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030424/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1053.18
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 105227 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 1053.18
Current children cumulated vsize (KiB) 229048
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030296/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1112.66
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 111175 91 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 1112.66
Current children cumulated vsize (KiB) 229048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030296/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1172.15
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 117123 92 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134600908 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 1172.15
Current children cumulated vsize (KiB) 229048
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030232/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1231.64
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173468 0 0 0 123072 92 0 0 25 0 1 0 644397056 234545152 30954 996147200 134512640 135477443 4294956224 18446744073709551615 134600885 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30954 480 235 0 55963 0
Current children cumulated CPU time (s) 1231.64
Current children cumulated vsize (KiB) 229048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030168/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1291.12
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173477 0 0 0 129020 92 0 0 25 0 1 0 644397056 234545152 30963 996147200 134512640 135477443 4294956224 18446744073709551615 134600816 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30963 480 235 0 55963 0
Current children cumulated CPU time (s) 1291.12
Current children cumulated vsize (KiB) 229048
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030104/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1350.61
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173477 0 0 0 134969 92 0 0 25 0 1 0 644397056 234545152 30963 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30963 480 235 0 55963 0
Current children cumulated CPU time (s) 1350.61
Current children cumulated vsize (KiB) 229048
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030104/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1410.1
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173480 0 0 0 140918 92 0 0 25 0 1 0 644397056 234545152 30966 996147200 134512640 135477443 4294956224 18446744073709551615 134600834 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30966 480 235 0 55963 0
Current children cumulated CPU time (s) 1410.1
Current children cumulated vsize (KiB) 229048
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 19640
/proc/meminfo: memFree=1030040/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1469.59
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173490 0 0 0 146867 92 0 0 25 0 1 0 644397056 234545152 30976 996147200 134512640 135477443 4294956224 18446744073709551615 134600851 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30976 480 235 0 55963 0
Current children cumulated CPU time (s) 1469.59
Current children cumulated vsize (KiB) 229048
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 19640
/proc/meminfo: memFree=1030040/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1529.07
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173490 0 0 0 152815 92 0 0 25 0 1 0 644397056 234545152 30976 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30976 480 235 0 55963 0
Current children cumulated CPU time (s) 1529.07
Current children cumulated vsize (KiB) 229048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1030040/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1588.56
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 158764 92 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134600816 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1588.56
Current children cumulated vsize (KiB) 229048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1029976/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1648.05
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 164713 92 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1648.05
Current children cumulated vsize (KiB) 229048
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19715
/proc/meminfo: memFree=1299736/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1707.78
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 170685 93 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1707.78
Current children cumulated vsize (KiB) 229048
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/81 19715
/proc/meminfo: memFree=1299480/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1767.75
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 176682 93 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134600941 0 0 4096 0 0 0 0 17 0 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1767.75
Current children cumulated vsize (KiB) 229048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.7 s]
/proc/loadavg: 2.13 2.04 2.01 3/73 19796
/proc/meminfo: memFree=1368984/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1800.09
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 179914 95 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.7 s]
/proc/loadavg: 2.13 2.04 2.01 3/73 19796
/proc/meminfo: memFree=1368984/2055920 swapFree=4179840/4192956
[pid=19637] ppid=19635 vsize=229048 CPUtime=1800.09
/proc/19637/stat : 19637 (casperzao) R 19635 19637 15988 0 -1 4194304 173498 0 0 0 179914 95 0 0 25 0 1 0 644397056 234545152 30984 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/19637/statm: 57262 30984 480 235 0 55963 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229048
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.73
CPU time (s): 1800.12
CPU user time (s): 1799.14
CPU system time (s): 0.975851
CPU usage (%): 99.1952
Max. virtual memory (cumulated for all children) (KiB): 852480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.975851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173498
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= 69586
runsolver used 1.68974 second user time and 5.11522 second system time
The end
Begin job on node17 at 2008-07-05 06:27:58
IDJOB=1084819
IDBENCH=57584
IDSOLVER=361
FILE ID=node17/1084819-1215232076
PBS_JOBID= 7881723
Free space on /tmp= 66360 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-15_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084819-1215232076/watcher-1084819-1215232076 -o /tmp/evaluation-result-1084819-1215232076/solver-1084819-1215232076 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084819-1215232076.xml 259574740
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d79ec5163944086e4aebac72d51eb912
RANDOM SEED=259574740
node17.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.234
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.234
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: 1159928 kB
Buffers: 87984 kB
Cached: 419840 kB
SwapCached: 6936 kB
Active: 590080 kB
Inactive: 237436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1159928 kB
SwapTotal: 4192956 kB
SwapFree: 4179840 kB
Dirty: 24880 kB
Writeback: 0 kB
Mapped: 333116 kB
Slab: 52988 kB
Committed_AS: 1812580 kB
PageTables: 2472 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= 66384 MiB
End job on node17 at 2008-07-05 06:58:14