0.00/0.06 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.06 c Parsing = 1
0.88/0.96 c Building = 1
1.28/1.35 c [ NumberOfVariables = 1500 ]
1.28/1.35 c [ NumberOfConstraints = 25409 ]
1.28/1.37 c [ SizeOfSearchSpace(log2) = 12178.9 ]
1.28/1.37 c SymmetrySearch = 1
7.72/7.88 c InitialPropagation = 1
7.81/7.93 c [ SizeOfSearchSpace(log2) = 12177.9 ]
7.81/7.93 c InitialSAC = (Timeout)
11.08/11.25 c [ SizeOfSearchSpace(log2) = 12177.3 ]
11.08/11.28 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-1086033-1215237047/watcher-1086033-1215237047 -o /tmp/evaluation-result-1086033-1215237047/solver-1086033-1215237047 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086033-1215237047.xml 2096869545
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.08 2.03 4/81 1922
/proc/meminfo: memFree=1292672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=1052 CPUtime=0
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 2002676211 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 7394084 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 263 26 20 234 0 3 0
[startup+0.210195 s]
/proc/loadavg: 2.03 2.08 2.03 4/81 1922
/proc/meminfo: memFree=1292672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=8124 CPUtime=0.19
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 1138 0 0 0 19 0 0 0 19 0 1 0 2002676211 8318976 1098 996147200 134512640 135472138 4294956224 18446744073709551615 4159752679 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 2031 1098 368 234 0 733 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8124
[startup+0.301211 s]
/proc/loadavg: 2.03 2.08 2.03 4/81 1922
/proc/meminfo: memFree=1292672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=9180 CPUtime=0.28
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 1402 0 0 0 27 1 0 0 19 0 1 0 2002676211 9400320 1362 996147200 134512640 135472138 4294956224 18446744073709551615 134806994 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 2295 1362 368 234 0 997 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9180
[startup+0.401227 s]
/proc/loadavg: 2.03 2.08 2.03 4/81 1922
/proc/meminfo: memFree=1292672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=10368 CPUtime=0.38
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 1701 0 0 0 37 1 0 0 20 0 1 0 2002676211 10616832 1661 996147200 134512640 135472138 4294956224 18446744073709551615 134778554 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 2592 1661 368 234 0 1294 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10368
[startup+0.701278 s]
/proc/loadavg: 2.03 2.08 2.03 4/81 1922
/proc/meminfo: memFree=1292672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=13932 CPUtime=0.68
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 2599 0 0 0 67 1 0 0 23 0 1 0 2002676211 14266368 2559 996147200 134512640 135472138 4294956224 18446744073709551615 134781761 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 3483 2559 368 234 0 2185 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13932
[startup+1.50142 s]
/proc/loadavg: 2.03 2.08 2.03 3/82 1923
/proc/meminfo: memFree=1238776/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=191712 CPUtime=1.47
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 21546 0 0 0 137 10 0 0 25 0 1 0 2002676211 196313088 21506 996147200 134512640 135472138 4294956224 18446744073709551615 134643688 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 47928 21506 451 234 0 46630 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 191712
[startup+3.10169 s]
/proc/loadavg: 2.10 2.10 2.03 3/82 1923
/proc/meminfo: memFree=1195448/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=218792 CPUtime=3.06
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 24901 0 0 0 294 12 0 0 25 0 1 0 2002676211 224043008 24714 996147200 134512640 135472138 4294956224 18446744073709551615 134535933 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 54698 24714 456 234 0 53400 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 218792
[startup+6.30122 s]
/proc/loadavg: 2.10 2.10 2.03 3/82 1923
/proc/meminfo: memFree=1193592/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=218792 CPUtime=6.22
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 25426 0 0 0 610 12 0 0 25 0 1 0 2002676211 224043008 25191 996147200 134512640 135472138 4294956224 18446744073709551615 134534944 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 54698 25191 456 234 0 53400 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 218792
[startup+12.7023 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 1923
/proc/meminfo: memFree=1219000/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=12.56
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26079 0 0 0 1243 13 0 0 25 0 1 0 2002676211 184385536 18808 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18808 510 234 0 43718 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 180064
[startup+25.5064 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 1923
/proc/meminfo: memFree=1218936/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=25.25
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26115 0 0 0 2512 13 0 0 25 0 1 0 2002676211 184385536 18844 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18844 510 234 0 43718 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 180064
[startup+51.1017 s]
/proc/loadavg: 2.05 2.08 2.03 3/82 1923
/proc/meminfo: memFree=1218744/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=50.61
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26173 0 0 0 5048 13 0 0 25 0 1 0 2002676211 184385536 18902 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18902 510 234 0 43718 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 180064
[startup+102.301 s]
/proc/loadavg: 2.02 2.07 2.02 3/82 1923
/proc/meminfo: memFree=1218616/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=101.35
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 10122 13 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202661 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 180064
[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 1923
/proc/meminfo: memFree=1218424/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=160.82
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 16068 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 180064
[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.02 3/82 1923
/proc/meminfo: memFree=1218424/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=220.29
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 22015 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 180064
[startup+282.302 s]
/proc/loadavg: 2.06 2.06 2.02 3/82 1923
/proc/meminfo: memFree=1218488/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=279.74
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 27960 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 180064
[startup+342.307 s]
/proc/loadavg: 2.34 2.13 2.04 3/82 1923
/proc/meminfo: memFree=1218552/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=339.21
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 33907 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 339.21
Current children cumulated vsize (KiB) 180064
[startup+402.302 s]
/proc/loadavg: 2.20 2.14 2.05 3/82 1923
/proc/meminfo: memFree=1218552/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=398.67
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 39853 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (KiB) 180064
[startup+462.302 s]
/proc/loadavg: 2.07 2.11 2.04 3/82 1923
/proc/meminfo: memFree=1218488/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=458.13
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 45799 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 458.13
Current children cumulated vsize (KiB) 180064
[startup+522.302 s]
/proc/loadavg: 2.02 2.09 2.03 3/82 1923
/proc/meminfo: memFree=1218488/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=517.6
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 51746 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 517.6
Current children cumulated vsize (KiB) 180064
[startup+582.302 s]
/proc/loadavg: 2.01 2.07 2.03 3/82 1923
/proc/meminfo: memFree=1218488/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=577.06
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 57692 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 577.06
Current children cumulated vsize (KiB) 180064
[startup+642.303 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 1930
/proc/meminfo: memFree=1218224/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=636.5
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26191 0 0 0 63636 14 0 0 25 0 1 0 2002676211 184385536 18920 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/1922/statm: 45016 18920 510 234 0 43718 0
Current children cumulated CPU time (s) 636.5
Current children cumulated vsize (KiB) 180064
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 1961
/proc/meminfo: memFree=1618048/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=876.3
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26195 0 0 0 87614 16 0 0 25 0 1 0 2002676211 184385536 18924 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18924 510 234 0 43718 0
Current children cumulated CPU time (s) 876.3
Current children cumulated vsize (KiB) 180064
[startup+942.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617984/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=936.27
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26195 0 0 0 93611 16 0 0 25 0 1 0 2002676211 184385536 18924 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18924 510 234 0 43718 0
Current children cumulated CPU time (s) 936.27
Current children cumulated vsize (KiB) 180064
[startup+1002.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617992/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=996.25
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26195 0 0 0 99609 16 0 0 25 0 1 0 2002676211 184385536 18924 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18924 510 234 0 43718 0
Current children cumulated CPU time (s) 996.25
Current children cumulated vsize (KiB) 180064
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617992/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1056.21
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26202 0 0 0 105605 16 0 0 25 0 1 0 2002676211 184385536 18931 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18931 510 234 0 43718 0
Current children cumulated CPU time (s) 1056.21
Current children cumulated vsize (KiB) 180064
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617992/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1116.18
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26209 0 0 0 111602 16 0 0 25 0 1 0 2002676211 184385536 18938 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18938 510 234 0 43718 0
Current children cumulated CPU time (s) 1116.18
Current children cumulated vsize (KiB) 180064
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617928/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1176.15
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26209 0 0 0 117599 16 0 0 25 0 1 0 2002676211 184385536 18938 996147200 134512640 135472138 4294956224 18446744073709551615 135202643 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18938 510 234 0 43718 0
Current children cumulated CPU time (s) 1176.15
Current children cumulated vsize (KiB) 180064
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617736/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1236.12
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26209 0 0 0 123596 16 0 0 25 0 1 0 2002676211 184385536 18938 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18938 510 234 0 43718 0
Current children cumulated CPU time (s) 1236.12
Current children cumulated vsize (KiB) 180064
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1296.09
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26211 0 0 0 129593 16 0 0 25 0 1 0 2002676211 184385536 18940 996147200 134512640 135472138 4294956224 18446744073709551615 135202754 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18940 510 234 0 43718 0
Current children cumulated CPU time (s) 1296.09
Current children cumulated vsize (KiB) 180064
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1356.07
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 135591 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202661 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1356.07
Current children cumulated vsize (KiB) 180064
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617608/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1416.04
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 141588 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1416.04
Current children cumulated vsize (KiB) 180064
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617608/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1476.01
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 147585 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1476.01
Current children cumulated vsize (KiB) 180064
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617608/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1535.99
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 153583 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1535.99
Current children cumulated vsize (KiB) 180064
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1595.96
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 159580 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1595.96
Current children cumulated vsize (KiB) 180064
[startup+1662.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617672/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1655.93
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 165577 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1655.93
Current children cumulated vsize (KiB) 180064
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617736/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1715.9
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 171574 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202632 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1715.9
Current children cumulated vsize (KiB) 180064
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617544/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1775.87
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 177571 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1775.87
Current children cumulated vsize (KiB) 180064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.5 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617608/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1800.06
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 179990 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 180064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.5 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 1961
/proc/meminfo: memFree=1617608/2055920 swapFree=4180732/4192956
[pid=1922] ppid=1920 vsize=180064 CPUtime=1800.06
/proc/1922/stat : 1922 (casperzito) R 1920 1922 1798 0 -1 4194304 26212 0 0 0 179990 16 0 0 25 0 1 0 2002676211 184385536 18941 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/1922/statm: 45016 18941 510 234 0 43718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 180064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.52
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.180972
CPU usage (%): 99.6442
Max. virtual memory (cumulated for all children) (KiB): 218792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26212
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= 18479
runsolver used 1.9407 second user time and 4.94125 second system time
The end
Begin job on node57 at 2008-07-05 07:50:48
IDJOB=1086033
IDBENCH=57745
IDSOLVER=362
FILE ID=node57/1086033-1215237047
PBS_JOBID= 7881965
Free space on /tmp= 66544 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-0.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086033-1215237047/watcher-1086033-1215237047 -o /tmp/evaluation-result-1086033-1215237047/solver-1086033-1215237047 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086033-1215237047.xml 2096869545
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 34c3ac733a64f710448acdb70b41fbc9
RANDOM SEED=2096869545
node57.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.258
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.258
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: 1293152 kB
Buffers: 46888 kB
Cached: 185168 kB
SwapCached: 6148 kB
Active: 625500 kB
Inactive: 83540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1293152 kB
SwapTotal: 4192956 kB
SwapFree: 4180732 kB
Dirty: 6412 kB
Writeback: 0 kB
Mapped: 493016 kB
Slab: 37964 kB
Committed_AS: 4791964 kB
PageTables: 2800 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= 66540 MiB
End job on node57 at 2008-07-05 08:20:56