0.18/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.20 c Parsing = 1
2.35/2.47 c Building = 1
3.04/3.11 c [ NumberOfVariables = 20 ]
3.04/3.11 c [ NumberOfConstraints = 18 ]
3.04/3.11 c [ SizeOfSearchSpace(log2) = 46.4386 ]
3.04/3.11 c SymmetrySearch = 1
12.26/12.45 c InitialPropagation = 1
12.26/12.49 c [ SizeOfSearchSpace(log2) = 46.4386 ]
12.26/12.49 c InitialSAC = 1
14.64/14.82 c [ SizeOfSearchSpace(log2) = 46.4386 ]
14.64/14.82 c Search(SampleFF) :
138.11/138.98 c [ Sampling domwdeg ]
138.11/138.98 c [ Sampling impacts ]
138.11/138.98 c [ Sampling la ]
138.11/138.98 c [ SamplingScores: ]
138.11/138.98 c [ domwdeg+min = 2.70277e-06 | domwdeg+rnd = 1.11362e-05 ]
138.11/138.98 c [ impacts+min = 2.73702e-07 | impacts+rnd = 1.91611e-10 ]
138.11/138.98 c [ la+min = 9.58054e-10 | la+rnd = 4.79027e-09 ]
138.11/138.98 c [ domwdeg = 6.91947e-06 | impacts = 1.36947e-07 | la = 2.87416e-09 ]
138.11/138.98 c [ min = 9.92476e-07 | rand = 1.36947e-07 ]
138.11/138.98 c [ restarting at (0.1,5.12e-07) ]
139.20/140.04 c [ restarting at (0.25,5.12e-07) ]
140.30/141.12 c [ restarting at (0.625,1.024e-07) ]
141.90/142.72 c [ restarting at (1.5625,5.12e-06) ]
146.00/146.81 c [ restarting at (3.90625,1.8432e-05) ]
155.89/156.74 c [ restarting at (9.76562,7.9872e-05) ]
180.28/181.19 c [ restarting at (24.4141,0.00022784) ]
241.54/242.41 c [ restarting at (61.0352,0.000349184) ]
394.17/395.12 c [ restarting at (152.588,0.00100096) ]
775.81/776.97 c [ restarting at (381.47,0.0024192) ]
1729.28/1730.86 c [ restarting at (953.674,0.00569754) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084865-1215232223/watcher-1084865-1215232223 -o /tmp/evaluation-result-1084865-1215232223/solver-1084865-1215232223 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084865-1215232223.xml 1842289173
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: 1.92 1.98 1.99 4/73 16238
/proc/meminfo: memFree=1222544/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=1056 CPUtime=0
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2002195942 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 7721764 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 264 26 20 235 0 3 0
[startup+0.074893 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 16238
/proc/meminfo: memFree=1222544/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=8784 CPUtime=0.05
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 1303 0 0 0 5 0 0 0 18 0 1 0 2002195942 8994816 1263 996147200 134512640 135477443 4294956224 18446744073709551615 134785437 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 2196 1263 364 235 0 897 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8784
[startup+0.102887 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 16238
/proc/meminfo: memFree=1222544/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=8784 CPUtime=0.08
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 1303 0 0 0 8 0 0 0 18 0 1 0 2002195942 8994816 1263 996147200 134512640 135477443 4294956224 18446744073709551615 134780673 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 2196 1263 364 235 0 897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8784
[startup+0.301929 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 16238
/proc/meminfo: memFree=1222544/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=15472 CPUtime=0.28
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 2984 0 0 0 27 1 0 0 19 0 1 0 2002195942 15843328 2944 996147200 134512640 135477443 4294956224 18446744073709551615 134800092 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 3868 2944 365 235 0 2569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15472
[startup+0.702991 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 16238
/proc/meminfo: memFree=1222544/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=22292 CPUtime=0.67
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 4664 0 0 0 65 2 0 0 23 0 1 0 2002195942 22827008 4624 996147200 134512640 135477443 4294956224 18446744073709551615 134799614 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 5573 4624 365 235 0 4274 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22292
[startup+1.50112 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 16239
/proc/meminfo: memFree=1194696/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=42356 CPUtime=1.46
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 9706 0 0 0 141 5 0 0 25 0 1 0 2002195942 43372544 9666 996147200 134512640 135477443 4294956224 18446744073709551615 134784343 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 10589 9666 365 235 0 9290 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42356
[startup+3.10136 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 16239
/proc/meminfo: memFree=1168648/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=234556 CPUtime=3.04
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 32143 0 0 0 288 16 0 0 25 0 1 0 2002195942 240185344 32103 996147200 134512640 135477443 4294956224 18446744073709551615 134616589 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 58639 32103 400 235 0 57340 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 234556
[startup+6.30286 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 16239
/proc/meminfo: memFree=883528/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=529180 CPUtime=6.22
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 105809 0 0 0 566 56 0 0 25 0 1 0 2002195942 541880320 105769 996147200 134512640 135477443 4294956224 18446744073709551615 134630231 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 132295 105769 432 235 0 130996 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 529180
[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/74 16239
/proc/meminfo: memFree=531720/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=12.56
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173455 0 0 0 1165 91 0 0 25 0 1 0 2002195942 639877120 129783 996147200 134512640 135477443 4294956224 18446744073709551615 134590274 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 156220 129783 456 235 0 154921 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 624880
[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 16240
/proc/meminfo: memFree=703560/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=25.24
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173504 0 0 0 2433 91 0 0 25 0 1 0 2002195942 639877120 129832 996147200 134512640 135477443 4294956224 18446744073709551615 134600941 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 156220 129832 477 235 0 154921 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 624880
[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/74 16240
/proc/meminfo: memFree=690632/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=50.57
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173604 0 0 0 4966 91 0 0 25 0 1 0 2002195942 639877120 129932 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/16238/statm: 156220 129932 479 235 0 154921 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 624880
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 16289
/proc/meminfo: memFree=693704/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=101.53
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173604 0 0 0 10058 95 0 0 25 0 1 0 2002195942 639877120 129932 996147200 134512640 135477443 4294956224 18446744073709551615 134600793 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129932 479 235 0 154921 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 624880
[startup+162.301 s]
/proc/loadavg: 2.18 2.06 2.02 3/82 16289
/proc/meminfo: memFree=398856/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=161.49
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 16054 95 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134600981 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 624880
[startup+222.301 s]
/proc/loadavg: 2.39 2.14 2.04 3/74 16290
/proc/meminfo: memFree=1040264/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=221.46
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 22050 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134583306 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 624880
[startup+282.302 s]
/proc/loadavg: 2.18 2.12 2.04 3/74 16290
/proc/meminfo: memFree=917704/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=281.43
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 28047 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 281.43
Current children cumulated vsize (KiB) 624880
[startup+342.302 s]
/proc/loadavg: 2.06 2.10 2.04 3/74 16290
/proc/meminfo: memFree=917384/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=341.4
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 34044 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (KiB) 624880
[startup+402.302 s]
/proc/loadavg: 2.02 2.08 2.03 3/74 16290
/proc/meminfo: memFree=917256/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=401.37
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 40041 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 401.37
Current children cumulated vsize (KiB) 624880
[startup+462.302 s]
/proc/loadavg: 2.01 2.06 2.03 3/74 16290
/proc/meminfo: memFree=917256/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=461.35
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 46039 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 461.35
Current children cumulated vsize (KiB) 624880
[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/74 16290
/proc/meminfo: memFree=917064/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=521.32
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 52036 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590446 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 521.32
Current children cumulated vsize (KiB) 624880
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/74 16290
/proc/meminfo: memFree=916936/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=581.29
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 58033 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 581.29
Current children cumulated vsize (KiB) 624880
[startup+642.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/74 16290
/proc/meminfo: memFree=916616/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=641.27
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 64031 96 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134600930 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 624880
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 16290
/proc/meminfo: memFree=916104/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=821.19
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 82022 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590165 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 821.19
Current children cumulated vsize (KiB) 624880
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915976/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=881.16
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 88019 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 881.16
Current children cumulated vsize (KiB) 624880
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915784/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=941.13
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 94016 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 941.13
Current children cumulated vsize (KiB) 624880
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915656/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1001.1
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 100013 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 1001.1
Current children cumulated vsize (KiB) 624880
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915464/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1061.08
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 106011 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 1061.08
Current children cumulated vsize (KiB) 624880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915336/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1121.05
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 112008 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 1121.05
Current children cumulated vsize (KiB) 624880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915272/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1181.02
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173605 0 0 0 118005 97 0 0 25 0 1 0 2002195942 639877120 129933 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129933 480 235 0 154921 0
Current children cumulated CPU time (s) 1181.02
Current children cumulated vsize (KiB) 624880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=915016/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1240.99
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173616 0 0 0 124002 97 0 0 25 0 1 0 2002195942 639877120 129944 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129944 480 235 0 154921 0
Current children cumulated CPU time (s) 1240.99
Current children cumulated vsize (KiB) 624880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914824/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1300.97
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173616 0 0 0 130000 97 0 0 25 0 1 0 2002195942 639877120 129944 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129944 480 235 0 154921 0
Current children cumulated CPU time (s) 1300.97
Current children cumulated vsize (KiB) 624880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914696/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1360.94
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173620 0 0 0 135997 97 0 0 25 0 1 0 2002195942 639877120 129948 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129948 480 235 0 154921 0
Current children cumulated CPU time (s) 1360.94
Current children cumulated vsize (KiB) 624880
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914632/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1420.92
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173620 0 0 0 141995 97 0 0 25 0 1 0 2002195942 639877120 129948 996147200 134512640 135477443 4294956224 18446744073709551615 134600867 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129948 480 235 0 154921 0
Current children cumulated CPU time (s) 1420.92
Current children cumulated vsize (KiB) 624880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914504/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1480.89
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173620 0 0 0 147992 97 0 0 25 0 1 0 2002195942 639877120 129948 996147200 134512640 135477443 4294956224 18446744073709551615 134600823 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129948 480 235 0 154921 0
Current children cumulated CPU time (s) 1480.89
Current children cumulated vsize (KiB) 624880
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914376/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1540.87
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173620 0 0 0 153989 98 0 0 25 0 1 0 2002195942 639877120 129948 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129948 480 235 0 154921 0
Current children cumulated CPU time (s) 1540.87
Current children cumulated vsize (KiB) 624880
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914184/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1600.84
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173631 0 0 0 159986 98 0 0 25 0 1 0 2002195942 639877120 129959 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129959 480 235 0 154921 0
Current children cumulated CPU time (s) 1600.84
Current children cumulated vsize (KiB) 624880
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=914056/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1660.81
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173631 0 0 0 165983 98 0 0 25 0 1 0 2002195942 639877120 129959 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129959 480 235 0 154921 0
Current children cumulated CPU time (s) 1660.81
Current children cumulated vsize (KiB) 624880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=913864/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1720.79
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173631 0 0 0 171981 98 0 0 25 0 1 0 2002195942 639877120 129959 996147200 134512640 135477443 4294956224 18446744073709551615 134600967 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129959 480 235 0 154921 0
Current children cumulated CPU time (s) 1720.79
Current children cumulated vsize (KiB) 624880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=913608/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1780.75
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173631 0 0 0 177977 98 0 0 25 0 1 0 2002195942 639877120 129959 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129959 480 235 0 154921 0
Current children cumulated CPU time (s) 1780.75
Current children cumulated vsize (KiB) 624880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16290
/proc/meminfo: memFree=913608/2055920 swapFree=4179828/4192956
[pid=16238] ppid=16236 vsize=624880 CPUtime=1800.05
/proc/16238/stat : 16238 (casperzao) R 16236 16238 14626 0 -1 4194304 173631 0 0 0 179907 98 0 0 25 0 1 0 2002195942 639877120 129959 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 0 0 0
/proc/16238/statm: 156220 129959 480 235 0 154921 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 624880
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): 1801.68
CPU time (s): 1800.14
CPU user time (s): 1799.08
CPU system time (s): 1.05884
CPU usage (%): 99.9143
Max. virtual memory (cumulated for all children) (KiB): 853492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.05884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173631
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= 8244
runsolver used 2.30865 second user time and 5.8911 second system time
The end
Begin job on node34 at 2008-07-05 06:30:25
IDJOB=1084865
IDBENCH=57586
IDSOLVER=361
FILE ID=node34/1084865-1215232223
PBS_JOBID= 7881890
Free space on /tmp= 66480 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-3_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084865-1215232223/watcher-1084865-1215232223 -o /tmp/evaluation-result-1084865-1215232223/solver-1084865-1215232223 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084865-1215232223.xml 1842289173
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8f0b2a49e1135ea84dc0e5c626ff8a69
RANDOM SEED=1842289173
node34.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.259
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.259
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: 1223024 kB
Buffers: 49132 kB
Cached: 258392 kB
SwapCached: 6976 kB
Active: 642460 kB
Inactive: 132808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1223024 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 24880 kB
Writeback: 0 kB
Mapped: 474216 kB
Slab: 41924 kB
Committed_AS: 3979904 kB
PageTables: 2720 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= 66400 MiB
End job on node34 at 2008-07-05 07:00:28