0.09/0.11 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.09/0.11 c Parsing = 1
0.18/0.22 c Building = 1
0.28/0.40 c [ NumberOfVariables = 60 ]
0.28/0.40 c [ NumberOfConstraints = 16 ]
0.28/0.40 c [ SizeOfSearchSpace(log2) = 282.026 ]
0.28/0.40 c SymmetrySearch = 1
5.25/5.32 c InitialPropagation = 1
5.44/5.51 c [ SizeOfSearchSpace(log2) = 281.334 ]
5.44/5.51 c InitialSAC = 1
20.13/20.40 c [ SizeOfSearchSpace(log2) = 281.334 ]
20.13/20.40 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076451-1215186888/watcher-1076451-1215186888 -o /tmp/evaluation-result-1076451-1215186888/solver-1076451-1215186888 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076451-1215186888.xml 1186576623
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.99 1.91 1.91 4/73 18206
/proc/meminfo: memFree=1679448/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=5036 CPUtime=0
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 91 0 1 0 0 0 0 0 20 0 1 0 1997661184 5156864 72 996147200 134512640 135472138 4294956176 18446744073709551615 8745764 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 1259 72 50 234 0 25 0
[startup+0.04389 s]
/proc/loadavg: 1.99 1.91 1.91 4/73 18206
/proc/meminfo: memFree=1679448/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=8872 CPUtime=0.02
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 1327 0 1 0 2 0 0 0 20 0 1 0 1997661184 9084928 1288 996147200 134512640 135472138 4294956176 18446744073709551615 134794269 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 2218 1288 364 234 0 920 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8872
[startup+0.102896 s]
/proc/loadavg: 1.99 1.91 1.91 4/73 18206
/proc/meminfo: memFree=1679448/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=8872 CPUtime=0.09
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 1327 0 1 0 8 1 0 0 20 0 1 0 1997661184 9084928 1288 996147200 134512640 135472138 4294956176 18446744073709551615 134774656 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 2218 1288 364 234 0 920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8872
[startup+0.302927 s]
/proc/loadavg: 1.99 1.91 1.91 4/73 18206
/proc/meminfo: memFree=1679448/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109384 CPUtime=0.28
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 2650 0 1 0 27 1 0 0 22 0 1 0 1997661184 112009216 2611 996147200 134512640 135472138 4294956176 18446744073709551615 134606189 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27346 2611 403 234 0 26048 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 109384
[startup+0.702977 s]
/proc/loadavg: 1.99 1.91 1.91 4/73 18206
/proc/meminfo: memFree=1679448/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=134728 CPUtime=0.68
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 9044 0 1 0 63 5 0 0 25 0 1 0 1997661184 137961472 9005 996147200 134512640 135472138 4294956176 18446744073709551615 134629020 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 33682 9005 432 234 0 32384 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 134728
[startup+1.50107 s]
/proc/loadavg: 1.99 1.91 1.91 3/74 18207
/proc/meminfo: memFree=1623248/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=187924 CPUtime=1.47
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 22335 0 1 0 136 11 0 0 25 0 1 0 1997661184 192434176 22296 996147200 134512640 135472138 4294956176 18446744073709551615 9179625 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 46981 22296 432 234 0 45683 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 187924
[startup+3.10127 s]
/proc/loadavg: 1.99 1.91 1.91 3/74 18207
/proc/meminfo: memFree=1549264/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=288904 CPUtime=3.06
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 47579 0 1 0 281 25 0 0 25 0 1 0 1997661184 295837696 47540 996147200 134512640 135472138 4294956176 18446744073709551615 134643530 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 72226 47540 435 234 0 70928 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 288904
[startup+6.30163 s]
/proc/loadavg: 1.99 1.91 1.91 3/74 18207
/proc/meminfo: memFree=1668560/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=6.24
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66349 0 1 0 587 37 0 0 25 0 1 0 1997661184 111771648 2790 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 2790 457 234 0 25990 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 109152
[startup+12.7014 s]
/proc/loadavg: 1.99 1.91 1.91 3/74 18207
/proc/meminfo: memFree=1667792/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=12.59
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66411 0 1 0 1222 37 0 0 25 0 1 0 1997661184 111771648 2852 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 2852 457 234 0 25990 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 109152
[startup+25.5029 s]
/proc/loadavg: 1.99 1.91 1.91 3/74 18207
/proc/meminfo: memFree=1666320/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=25.28
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66592 0 1 0 2491 37 0 0 25 0 1 0 1997661184 111771648 3033 996147200 134512640 135472138 4294956176 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3033 473 234 0 25990 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 109152
[startup+51.1029 s]
/proc/loadavg: 1.99 1.92 1.91 3/74 18207
/proc/meminfo: memFree=1665168/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=50.68
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66645 0 1 0 5031 37 0 0 25 0 1 0 1997661184 111771648 3086 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3086 473 234 0 25990 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 109152
[startup+102.307 s]
/proc/loadavg: 1.99 1.93 1.91 3/74 18207
/proc/meminfo: memFree=1663824/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=101.49
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66652 0 1 0 10112 37 0 0 25 0 1 0 1997661184 111771648 3093 996147200 134512640 135472138 4294956176 18446744073709551615 134585068 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3093 473 234 0 25990 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 109152
[startup+162.302 s]
/proc/loadavg: 1.99 1.94 1.91 3/74 18207
/proc/meminfo: memFree=1662160/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=161.04
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66663 0 1 0 16066 38 0 0 25 0 1 0 1997661184 111771648 3104 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3104 473 234 0 25990 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 109152
[startup+222.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/74 18207
/proc/meminfo: memFree=1660752/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=220.57
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66663 0 1 0 22019 38 0 0 25 0 1 0 1997661184 111771648 3104 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3104 473 234 0 25990 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 109152
[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/74 18207
/proc/meminfo: memFree=1659280/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=280.12
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66678 0 1 0 27974 38 0 0 25 0 1 0 1997661184 111771648 3119 996147200 134512640 135472138 4294956176 18446744073709551615 134604973 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3119 473 234 0 25990 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 109152
[startup+342.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/74 18207
/proc/meminfo: memFree=1656984/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=339.66
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66680 0 1 0 33928 38 0 0 25 0 1 0 1997661184 111771648 3121 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3121 473 234 0 25990 0
Current children cumulated CPU time (s) 339.66
Current children cumulated vsize (KiB) 109152
[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/74 18213
/proc/meminfo: memFree=1654488/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=399.19
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66689 0 1 0 39881 38 0 0 25 0 1 0 1997661184 111771648 3130 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3130 473 234 0 25990 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 109152
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1652696/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=458.73
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66700 0 1 0 45835 38 0 0 25 0 1 0 1997661184 111771648 3141 996147200 134512640 135472138 4294956176 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3141 473 234 0 25990 0
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (KiB) 109152
[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1651224/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=518.27
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 51789 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585155 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 109152
[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1649624/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=577.81
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 57743 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 577.81
Current children cumulated vsize (KiB) 109152
[startup+642.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1648152/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=637.34
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 63696 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134604978 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 637.34
Current children cumulated vsize (KiB) 109152
################
# More data... #
################
[startup+882.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1642712/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=875.5
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 87512 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 875.5
Current children cumulated vsize (KiB) 109152
[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1641432/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=935.04
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 93466 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 935.04
Current children cumulated vsize (KiB) 109152
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1640216/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=994.58
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 99420 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 994.58
Current children cumulated vsize (KiB) 109152
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1638872/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1054.13
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 105375 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1054.13
Current children cumulated vsize (KiB) 109152
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 18213
/proc/meminfo: memFree=1637464/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1113.66
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 111328 38 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1113.66
Current children cumulated vsize (KiB) 109152
[startup+1182.3 s]
/proc/loadavg: 1.91 1.95 1.90 3/73 18241
/proc/meminfo: memFree=1777824/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1173.21
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 117282 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1173.21
Current children cumulated vsize (KiB) 109152
[startup+1242.3 s]
/proc/loadavg: 1.97 1.96 1.91 3/73 18241
/proc/meminfo: memFree=1777840/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1233.18
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 123279 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1233.18
Current children cumulated vsize (KiB) 109152
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777776/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1293.17
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 129278 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134605040 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1293.17
Current children cumulated vsize (KiB) 109152
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777648/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1353.15
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 135276 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1353.15
Current children cumulated vsize (KiB) 109152
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777712/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1413.14
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 141275 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1413.14
Current children cumulated vsize (KiB) 109152
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777712/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1473.11
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 147272 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1473.11
Current children cumulated vsize (KiB) 109152
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777648/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1533.1
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 153271 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 135262886 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1533.1
Current children cumulated vsize (KiB) 109152
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777648/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1593.08
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 159269 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1593.08
Current children cumulated vsize (KiB) 109152
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777584/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1653.06
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 165267 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1653.06
Current children cumulated vsize (KiB) 109152
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777520/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1713.04
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 171265 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1713.04
Current children cumulated vsize (KiB) 109152
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777520/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1773.02
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 177263 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1773.02
Current children cumulated vsize (KiB) 109152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777520/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1800.02
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 179963 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 109152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18241
/proc/meminfo: memFree=1777520/2055920 swapFree=4179912/4192956
[pid=18206] ppid=18204 vsize=109152 CPUtime=1800.02
/proc/18206/stat : 18206 (casperzito) R 18204 18206 13952 0 -1 4194304 66702 0 1 0 179963 39 0 0 25 0 1 0 1997661184 111771648 3143 996147200 134512640 135472138 4294956176 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18206/statm: 27288 3143 473 234 0 25990 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 109152
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.31
CPU time (s): 1800.04
CPU user time (s): 1799.64
CPU system time (s): 0.400939
CPU usage (%): 99.4876
Max. virtual memory (cumulated for all children) (KiB): 385772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66702
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 28908
runsolver used 1.69774 second user time and 4.89926 second system time
The end
Begin job on node53 at 2008-07-04 17:54:48
IDJOB=1076451
IDBENCH=56587
IDSOLVER=362
FILE ID=node53/1076451-1215186888
PBS_JOBID= 7881604
Free space on /tmp= 65092 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg6-10_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076451-1215186888/watcher-1076451-1215186888 -o /tmp/evaluation-result-1076451-1215186888/solver-1076451-1215186888 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076451-1215186888.xml 1186576623
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 736ff43c411590f40207d1ba3746f752
RANDOM SEED=1186576623
node53.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1679864 kB
Buffers: 15088 kB
Cached: 201092 kB
SwapCached: 7268 kB
Active: 213876 kB
Inactive: 106428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679864 kB
SwapTotal: 4192956 kB
SwapFree: 4179912 kB
Dirty: 4812 kB
Writeback: 0 kB
Mapped: 111004 kB
Slab: 40980 kB
Committed_AS: 3986508 kB
PageTables: 1928 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= 65116 MiB
End job on node53 at 2008-07-04 18:25:00