0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.29/0.32 c Building = 1
0.29/0.39 c [ NumberOfVariables = 24 ]
0.29/0.39 c [ NumberOfConstraints = 75 ]
0.29/0.39 c [ SizeOfSearchSpace(log2) = 110.039 ]
0.29/0.39 c SymmetrySearch = 1
1.59/1.61 c InitialPropagation = 1
1.59/1.63 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.59/1.63 c InitialSAC = 1
1.79/1.87 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.79/1.87 c Search(SampleFF) :
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056901-1215107502/watcher-1056901-1215107502 -o /tmp/evaluation-result-1056901-1215107502/solver-1056901-1215107502 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1056901-1215107502.xml 373589609
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.69 1.91 1.65 3/70 28451
/proc/meminfo: memFree=1559992/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=5348 CPUtime=0
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 1989722026 5476352 190 996147200 134512640 135472138 4294956224 18446744073709551615 8071047 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 1337 190 156 234 0 27 0
[startup+0.0965981 s]
/proc/loadavg: 1.69 1.91 1.65 3/70 28451
/proc/meminfo: memFree=1559992/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=7556 CPUtime=0.08
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 993 0 0 0 8 0 0 0 18 0 1 0 1989722026 7737344 953 996147200 134512640 135472138 4294956224 18446744073709551615 134794168 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 1889 953 365 234 0 591 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7556
[startup+0.101598 s]
/proc/loadavg: 1.69 1.91 1.65 3/70 28451
/proc/meminfo: memFree=1559992/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=7688 CPUtime=0.09
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 1017 0 0 0 9 0 0 0 18 0 1 0 1989722026 7872512 977 996147200 134512640 135472138 4294956224 18446744073709551615 134774682 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 1922 977 365 234 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7688
[startup+0.301636 s]
/proc/loadavg: 1.69 1.91 1.65 3/70 28451
/proc/meminfo: memFree=1559992/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=12328 CPUtime=0.29
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 2186 0 0 0 28 1 0 0 19 0 1 0 1989722026 12623872 2146 996147200 134512640 135472138 4294956224 18446744073709551615 134774679 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 3082 2146 365 234 0 1784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12328
[startup+0.701714 s]
/proc/loadavg: 1.69 1.91 1.65 3/70 28451
/proc/meminfo: memFree=1559992/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=152524 CPUtime=0.69
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 12773 0 0 0 65 4 0 0 23 0 1 0 1989722026 156184576 12733 996147200 134512640 135472138 4294956224 18446744073709551615 8541819 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 38131 12734 432 234 0 36833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 152524
[startup+1.50187 s]
/proc/loadavg: 1.69 1.91 1.65 2/68 28469
/proc/meminfo: memFree=1485128/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=214112 CPUtime=1.49
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 24457 0 0 0 140 9 0 0 25 0 1 0 1989722026 219250688 24253 996147200 134512640 135472138 4294956224 18446744073709551615 8539582 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 53528 24253 448 234 0 52230 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 214112
[startup+3.10218 s]
/proc/loadavg: 1.69 1.91 1.65 2/68 28469
/proc/meminfo: memFree=1544520/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=3.09
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25016 0 0 0 298 11 0 0 25 0 1 0 1989722026 124510208 5579 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5579 476 234 0 29100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121592
[startup+6.30181 s]
/proc/loadavg: 1.64 1.89 1.65 2/68 28469
/proc/meminfo: memFree=1543816/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=6.29
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25107 0 0 0 618 11 0 0 25 0 1 0 1989722026 124510208 5670 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28451/statm: 30398 5670 476 234 0 29100 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121592
[startup+12.702 s]
/proc/loadavg: 1.59 1.88 1.65 3/83 28490
/proc/meminfo: memFree=1531664/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=12.68
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25113 0 0 0 1256 12 0 0 25 0 1 0 1989722026 124510208 5676 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5676 476 234 0 29100 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 121592
[startup+25.5015 s]
/proc/loadavg: 1.75 1.90 1.66 3/75 28502
/proc/meminfo: memFree=1510352/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=25.47
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25181 0 0 0 2535 12 0 0 25 0 1 0 1989722026 124510208 5744 996147200 134512640 135472138 4294956224 18446744073709551615 134593304 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5744 476 234 0 29100 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 121592
[startup+51.1015 s]
/proc/loadavg: 1.83 1.90 1.66 3/75 28502
/proc/meminfo: memFree=1508368/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=51.05
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25181 0 0 0 5093 12 0 0 25 0 1 0 1989722026 124510208 5744 996147200 134512640 135472138 4294956224 18446744073709551615 134584991 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5744 476 234 0 29100 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 121592
[startup+102.306 s]
/proc/loadavg: 1.92 1.92 1.68 3/75 28502
/proc/meminfo: memFree=1504720/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=102.24
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25181 0 0 0 10211 13 0 0 25 0 1 0 1989722026 124510208 5744 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5744 476 234 0 29100 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 121592
[startup+162.301 s]
/proc/loadavg: 1.97 1.93 1.70 3/75 28502
/proc/meminfo: memFree=1501136/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=162.21
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25181 0 0 0 16208 13 0 0 25 0 1 0 1989722026 124510208 5744 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5744 476 234 0 29100 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 121592
[startup+222.302 s]
/proc/loadavg: 1.99 1.94 1.71 3/75 28502
/proc/meminfo: memFree=1497616/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=222.18
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25207 0 0 0 22205 13 0 0 25 0 1 0 1989722026 124510208 5770 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5770 476 234 0 29100 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 121592
[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.73 3/75 28502
/proc/meminfo: memFree=1493968/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=282.15
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 28202 13 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 121592
[startup+342.302 s]
/proc/loadavg: 1.99 1.95 1.74 3/75 28502
/proc/meminfo: memFree=1490640/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=342.12
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 34199 13 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 121592
[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.75 3/75 28502
/proc/meminfo: memFree=1487760/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=402.09
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 40196 13 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134616939 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 121592
[startup+462.301 s]
/proc/loadavg: 1.99 1.96 1.77 3/75 28502
/proc/meminfo: memFree=1485264/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=462.06
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 46193 13 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 121592
[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.78 3/75 28502
/proc/meminfo: memFree=1483024/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=522.04
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 52191 13 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134578848 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 121592
[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.79 3/75 28508
/proc/meminfo: memFree=1480656/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=582.02
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 58188 14 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 121592
[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.80 3/75 28508
/proc/meminfo: memFree=1478480/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=641.99
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 64185 14 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 121592
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.83 3/75 28508
/proc/meminfo: memFree=1470864/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=881.87
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 88173 14 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585302 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 121592
[startup+942.303 s]
/proc/loadavg: 1.99 1.97 1.84 3/75 28508
/proc/meminfo: memFree=1469328/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=941.84
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 94170 14 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 121592
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/75 28508
/proc/meminfo: memFree=1467024/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1001.81
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25251 0 0 0 100167 14 0 0 25 0 1 0 1989722026 124510208 5814 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5814 476 234 0 29100 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 121592
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.85 3/75 28508
/proc/meminfo: memFree=1465488/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1061.78
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 106164 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134616457 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 121592
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/75 28508
/proc/meminfo: memFree=1463888/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1121.76
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 112162 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 121592
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/75 28508
/proc/meminfo: memFree=1463504/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1181.72
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 118158 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 121592
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/75 28508
/proc/meminfo: memFree=1463312/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1241.7
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 124156 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 121592
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/75 28508
/proc/meminfo: memFree=1463248/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1301.67
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 130153 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585002 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 121592
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/75 28508
/proc/meminfo: memFree=1463120/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1361.64
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 136150 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 121592
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.89 3/75 28508
/proc/meminfo: memFree=1462928/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1421.62
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 142148 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134605045 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 121592
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/75 28508
/proc/meminfo: memFree=1462928/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1481.58
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 148144 14 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 121592
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/75 28508
/proc/meminfo: memFree=1462480/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1541.56
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 154141 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 121592
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/75 28508
/proc/meminfo: memFree=1462096/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1601.53
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 160138 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 121592
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/75 28508
/proc/meminfo: memFree=1461840/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1661.5
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 166135 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 121592
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/75 28508
/proc/meminfo: memFree=1461328/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1721.47
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 172132 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 121592
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/75 28508
/proc/meminfo: memFree=1461008/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1781.45
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 178130 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 121592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 1.99 1.97 1.91 3/75 28508
/proc/meminfo: memFree=1461008/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1800.04
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 179989 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 121592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 1.99 1.97 1.91 3/75 28508
/proc/meminfo: memFree=1461008/2055920 swapFree=4179412/4192956
[pid=28451] ppid=28449 vsize=121592 CPUtime=1800.04
/proc/28451/stat : 28451 (casperzito) R 28449 28451 28348 0 -1 4194304 25273 0 0 0 179989 15 0 0 25 0 1 0 1989722026 124510208 5836 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/28451/statm: 30398 5836 476 234 0 29100 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 121592
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.06
CPU user time (s): 1799.9
CPU system time (s): 0.161975
CPU usage (%): 99.9527
Max. virtual memory (cumulated for all children) (KiB): 214112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25273
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= 5460
runsolver used 2.18267 second user time and 6.00509 second system time
The end
Begin job on node62 at 2008-07-03 19:51:43
IDJOB=1056901
IDBENCH=53978
IDSOLVER=362
FILE ID=node62/1056901-1215107502
PBS_JOBID= 7877082
Free space on /tmp= 65284 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-38_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056901-1215107502/watcher-1056901-1215107502 -o /tmp/evaluation-result-1056901-1215107502/solver-1056901-1215107502 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1056901-1215107502.xml 373589609
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= bead74bba62db3b32faacb2a426920c9
RANDOM SEED=373589609
node62.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: 1560536 kB
Buffers: 43356 kB
Cached: 376200 kB
SwapCached: 6736 kB
Active: 139344 kB
Inactive: 290816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1560536 kB
SwapTotal: 4192956 kB
SwapFree: 4179412 kB
Dirty: 5888 kB
Writeback: 0 kB
Mapped: 16376 kB
Slab: 50564 kB
Committed_AS: 3942728 kB
PageTables: 1796 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= 65272 MiB
End job on node62 at 2008-07-03 20:21:46