0.18/0.23 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
0.69/0.71 c Building = 1
0.78/0.88 c [ NumberOfVariables = 28 ]
0.78/0.88 c [ NumberOfConstraints = 93 ]
0.78/0.88 c [ SizeOfSearchSpace(log2) = 134.606 ]
0.78/0.88 c SymmetrySearch = 1
3.66/3.72 c InitialPropagation = 1
3.66/3.77 c [ SizeOfSearchSpace(log2) = 134.606 ]
3.66/3.77 c InitialSAC = 1
4.16/4.24 c [ SizeOfSearchSpace(log2) = 134.606 ]
4.16/4.24 c Search(SampleFF) :
95.99/96.44 c [ Sampling domwdeg ]
95.99/96.44 c [ Sampling impacts ]
95.99/96.44 c [ SamplingScores: ]
95.99/96.44 c [ domwdeg+min = 5.27238e-11 | domwdeg+rnd = 5.44816e-11 ]
95.99/96.44 c [ impacts+min = 2.13153e-08 | impacts+rnd = 8.45626e-09 ]
95.99/96.44 c [ la+min = 0 | la+rnd = 0 ]
95.99/96.44 c [ domwdeg = 5.36027e-11 | impacts = 1.48858e-08 | la = 0 ]
95.99/96.44 c [ min = 7.12266e-09 | rand = 1.48858e-08 ]
95.99/96.44 c [ restarting at (3.96356,1.06484e-08) ]
106.64/107.14 c [ restarting at (9.9089,1.28983e-08) ]
133.14/133.73 c [ restarting at (24.7722,1.20817e-07) ]
199.27/200.18 c [ restarting at (61.9306,1.01686e-07) ]
364.71/366.24 c [ restarting at (154.827,3.50702e-07) ]
777.86/781.08 c [ restarting at (387.066,2.34086e-06) ]
1031.24/1035.41 c [ restarting at (967.666,7.09853e-07) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058534-1215115866/watcher-1058534-1215115866 -o /tmp/evaluation-result-1058534-1215115866/solver-1058534-1215115866 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1058534-1215115866.xml 1261921866
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/72 5568
/proc/meminfo: memFree=1741120/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=18572 CPUtime=0
/proc/5568/stat : 5568 (runsolver) R 5566 5568 4278 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 632775924 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5568/statm: 4643 292 257 25 0 2626 0
[startup+0.146818 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 5568
/proc/meminfo: memFree=1741120/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=8192 CPUtime=0.13
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 1172 0 0 0 13 0 0 0 18 0 1 0 632775924 8388608 1132 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 2048 1132 365 234 0 750 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8192
[startup+0.202822 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 5568
/proc/meminfo: memFree=1741120/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=9456 CPUtime=0.18
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 1488 0 0 0 18 0 0 0 18 0 1 0 632775924 9682944 1448 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 2364 1448 365 234 0 1066 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9456
[startup+0.301829 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 5568
/proc/meminfo: memFree=1741120/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=11508 CPUtime=0.29
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 2001 0 0 0 28 1 0 0 19 0 1 0 632775924 11784192 1961 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 2877 1961 365 234 0 1579 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11508
[startup+0.701859 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 5568
/proc/meminfo: memFree=1741120/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=19876 CPUtime=0.69
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 4093 0 0 0 66 3 0 0 23 0 1 0 632775924 20353024 4053 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 4969 4053 365 234 0 3671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19876
[startup+1.50194 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1684600/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=192572 CPUtime=1.48
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 23466 0 0 0 136 12 0 0 25 0 1 0 632775924 197193728 23426 996147200 134512640 135472138 4294956224 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 48143 23427 432 234 0 46845 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 192572
[startup+3.10112 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1590904/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=320016 CPUtime=3.06
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 47162 0 0 0 283 23 0 0 25 0 1 0 632775924 327696384 46802 996147200 134512640 135472138 4294956224 18446744073709551615 134536227 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 80004 46802 439 234 0 78706 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 320016
[startup+6.30143 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1701752/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=6.25
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48713 0 0 0 598 27 0 0 25 0 1 0 632775924 139612160 10185 996147200 134512640 135472138 4294956224 18446744073709551615 134585008 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10185 468 234 0 32787 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 136340
[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1701176/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=12.63
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48849 0 0 0 1236 27 0 0 25 0 1 0 632775924 139612160 10321 996147200 134512640 135472138 4294956224 18446744073709551615 134604891 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10321 476 234 0 32787 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 136340
[startup+25.5024 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1701048/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=25.38
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48882 0 0 0 2511 27 0 0 25 0 1 0 632775924 139612160 10354 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10354 476 234 0 32787 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 136340
[startup+51.103 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1700984/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=50.87
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48913 0 0 0 5060 27 0 0 25 0 1 0 632775924 139612160 10385 996147200 134512640 135472138 4294956224 18446744073709551615 134585305 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10385 478 234 0 32787 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 136340
[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1700920/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=101.87
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48914 0 0 0 10160 27 0 0 25 0 1 0 632775924 139612160 10386 996147200 134512640 135472138 4294956224 18446744073709551615 134585161 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10386 479 234 0 32787 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 136340
[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1700856/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=161.62
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48914 0 0 0 16135 27 0 0 25 0 1 0 632775924 139612160 10386 996147200 134512640 135472138 4294956224 18446744073709551615 134585008 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10386 479 234 0 32787 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 136340
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 5569
/proc/meminfo: memFree=1700856/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=221.39
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48914 0 0 0 22111 28 0 0 25 0 1 0 632775924 139612160 10386 996147200 134512640 135472138 4294956224 18446744073709551615 134616376 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10386 479 234 0 32787 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 136340
[startup+282.303 s]
/proc/loadavg: 2.05 2.00 2.00 3/73 5569
/proc/meminfo: memFree=1700728/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=281.15
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48949 0 0 0 28087 28 0 0 25 0 1 0 632775924 139612160 10421 996147200 134512640 135472138 4294956224 18446744073709551615 134585010 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10421 479 234 0 32787 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 136340
[startup+342.303 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 5569
/proc/meminfo: memFree=1700664/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=340.91
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48949 0 0 0 34063 28 0 0 25 0 1 0 632775924 139612160 10421 996147200 134512640 135472138 4294956224 18446744073709551615 134577882 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10421 479 234 0 32787 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 136340
[startup+402.303 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 5569
/proc/meminfo: memFree=1700600/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=400.67
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48949 0 0 0 40039 28 0 0 25 0 1 0 632775924 139612160 10421 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10421 479 234 0 32787 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 136340
[startup+462.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 5569
/proc/meminfo: memFree=1700472/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=460.42
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48949 0 0 0 46014 28 0 0 25 0 1 0 632775924 139612160 10421 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10421 479 234 0 32787 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 136340
[startup+522.301 s]
/proc/loadavg: 2.16 2.07 2.01 3/73 5569
/proc/meminfo: memFree=1700408/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=520.18
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48950 0 0 0 51990 28 0 0 25 0 1 0 632775924 139612160 10422 996147200 134512640 135472138 4294956224 18446744073709551615 134616460 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10422 479 234 0 32787 0
Current children cumulated CPU time (s) 520.18
Current children cumulated vsize (KiB) 136340
[startup+582.301 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 5569
/proc/meminfo: memFree=1700408/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=579.94
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48950 0 0 0 57966 28 0 0 25 0 1 0 632775924 139612160 10422 996147200 134512640 135472138 4294956224 18446744073709551615 134605005 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10422 479 234 0 32787 0
Current children cumulated CPU time (s) 579.94
Current children cumulated vsize (KiB) 136340
[startup+642.302 s]
/proc/loadavg: 2.03 2.05 2.01 3/73 5569
/proc/meminfo: memFree=1700408/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=639.7
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48953 0 0 0 63941 29 0 0 25 0 1 0 632775924 139612160 10425 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10425 479 234 0 32787 0
Current children cumulated CPU time (s) 639.7
Current children cumulated vsize (KiB) 136340
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 5569
/proc/meminfo: memFree=1700152/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=818.99
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 81870 29 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 818.99
Current children cumulated vsize (KiB) 136340
[startup+882.305 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 5569
/proc/meminfo: memFree=1700152/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=878.75
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 87846 29 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585026 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (KiB) 136340
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 5569
/proc/meminfo: memFree=1700152/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=938.51
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 93822 29 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 938.51
Current children cumulated vsize (KiB) 136340
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 5569
/proc/meminfo: memFree=1699960/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=998.27
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 99798 29 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 998.27
Current children cumulated vsize (KiB) 136340
[startup+1062.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 5597
/proc/meminfo: memFree=1846200/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1058.02
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 105772 30 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1058.02
Current children cumulated vsize (KiB) 136340
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 5597
/proc/meminfo: memFree=1846008/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1117.79
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 111748 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1117.79
Current children cumulated vsize (KiB) 136340
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 5597
/proc/meminfo: memFree=1845944/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1177.55
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 117724 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1177.55
Current children cumulated vsize (KiB) 136340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 5597
/proc/meminfo: memFree=1845944/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1237.3
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 123699 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 136340
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 5597
/proc/meminfo: memFree=1845944/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1297.06
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 129675 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1297.06
Current children cumulated vsize (KiB) 136340
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845880/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1356.82
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 135651 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1356.82
Current children cumulated vsize (KiB) 136340
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845880/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1416.58
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 141627 31 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 136340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845816/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1476.34
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 147602 32 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1476.34
Current children cumulated vsize (KiB) 136340
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845816/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1536.1
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 153578 32 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134605049 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1536.1
Current children cumulated vsize (KiB) 136340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845816/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1595.86
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 159554 32 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585282 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1595.86
Current children cumulated vsize (KiB) 136340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845816/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1655.61
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48987 0 0 0 165529 32 0 0 25 0 1 0 632775924 139612160 10459 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10459 479 234 0 32787 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 136340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845688/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1715.38
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 48995 0 0 0 171506 32 0 0 25 0 1 0 632775924 139612160 10467 996147200 134512640 135472138 4294956224 18446744073709551615 134585077 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10467 479 234 0 32787 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 136340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845432/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1775.13
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 49018 0 0 0 177481 32 0 0 25 0 1 0 632775924 139612160 10490 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10490 479 234 0 32787 0
Current children cumulated CPU time (s) 1775.13
Current children cumulated vsize (KiB) 136340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 5597
/proc/meminfo: memFree=1845432/2055920 swapFree=4179840/4192956
[pid=5568] ppid=5566 vsize=136340 CPUtime=1800.03
/proc/5568/stat : 5568 (casperzito) R 5566 5568 4278 0 -1 4194304 49018 0 0 0 179971 32 0 0 25 0 1 0 632775924 139612160 10490 996147200 134512640 135472138 4294956224 18446744073709551615 134605062 0 0 4096 0 0 0 0 17 0 0 0
/proc/5568/statm: 34085 10490 479 234 0 32787 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 136340
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): 1807.32
CPU time (s): 1800.05
CPU user time (s): 1799.72
CPU system time (s): 0.332949
CPU usage (%): 99.598
Max. virtual memory (cumulated for all children) (KiB): 320016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.332949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49018
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= 22510
runsolver used 1.71874 second user time and 4.86926 second system time
The end
Begin job on node17 at 2008-07-03 22:11:06
IDJOB=1058534
IDBENCH=54168
IDSOLVER=362
FILE ID=node17/1058534-1215115866
PBS_JOBID= 7877169
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-9_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058534-1215115866/watcher-1058534-1215115866 -o /tmp/evaluation-result-1058534-1215115866/solver-1058534-1215115866 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1058534-1215115866.xml 1261921866
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e051c173ddf0f3971a9c89b57445255a
RANDOM SEED=1261921866
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: 1741600 kB
Buffers: 7652 kB
Cached: 83332 kB
SwapCached: 6936 kB
Active: 231564 kB
Inactive: 29304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741600 kB
SwapTotal: 4192956 kB
SwapFree: 4179840 kB
Dirty: 8700 kB
Writeback: 0 kB
Mapped: 177816 kB
Slab: 38360 kB
Committed_AS: 1198544 kB
PageTables: 2156 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= 66536 MiB
End job on node17 at 2008-07-03 22:41:16