0.19/0.20 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.19/0.20 c Parsing = 1
0.19/0.20 c Building = 1
0.19/0.21 c [ NumberOfVariables = 48 ]
0.19/0.21 c [ NumberOfConstraints = 14 ]
0.19/0.21 c [ SizeOfSearchSpace(log2) = 225.621 ]
0.19/0.21 c SymmetrySearch = 1
2.47/2.56 c InitialPropagation = 1
2.47/2.59 c [ SizeOfSearchSpace(log2) = 224.145 ]
2.47/2.59 c InitialSAC = 1
5.07/5.14 c [ SizeOfSearchSpace(log2) = 224.145 ]
5.07/5.14 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-1068879-1215157514/watcher-1068879-1215157514 -o /tmp/evaluation-result-1068879-1215157514/solver-1068879-1215157514 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068879-1215157514.xml 1822760014
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.97 2.01 2.00 4/72 28014
/proc/meminfo: memFree=1741720/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=18572 CPUtime=0
/proc/28014/stat : 28014 (runsolver) R 28012 28014 27977 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1994721258 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 257203694887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28014/statm: 4643 292 257 25 0 2626 0
[startup+0.054991 s]
/proc/loadavg: 1.97 2.01 2.00 4/72 28014
/proc/meminfo: memFree=1741720/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=6784 CPUtime=0.03
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 811 0 0 0 3 0 0 0 18 0 1 0 1994721258 6946816 771 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 1696 771 364 234 0 398 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6784
[startup+0.101993 s]
/proc/loadavg: 1.97 2.01 2.00 4/72 28014
/proc/meminfo: memFree=1741720/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=7480 CPUtime=0.08
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 975 0 0 0 8 0 0 0 18 0 1 0 1994721258 7659520 935 996147200 134512640 135472138 4294956224 18446744073709551615 134794165 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 1870 935 365 234 0 572 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7480
[startup+0.302011 s]
/proc/loadavg: 1.97 2.01 2.00 4/72 28014
/proc/meminfo: memFree=1741720/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=112000 CPUtime=0.29
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 3655 0 0 0 27 2 0 0 19 0 1 0 1994721258 114688000 3615 996147200 134512640 135472138 4294956224 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 28000 3616 432 234 0 26702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112000
[startup+0.701043 s]
/proc/loadavg: 1.97 2.01 2.00 4/72 28014
/proc/meminfo: memFree=1741720/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=142228 CPUtime=0.68
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 11201 0 0 0 64 4 0 0 22 0 1 0 1994721258 145641472 11161 996147200 134512640 135472138 4294956224 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 35557 11162 432 234 0 34259 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 142228
[startup+1.50111 s]
/proc/loadavg: 1.97 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1678288/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=191596 CPUtime=1.48
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 23538 0 0 0 138 10 0 0 25 0 1 0 1994721258 196194304 23498 996147200 134512640 135472138 4294956224 18446744073709551615 134643537 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 47899 23498 435 234 0 46601 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 191596
[startup+3.10124 s]
/proc/loadavg: 1.97 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1611984/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=3.07
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33468 0 0 0 292 15 0 0 25 0 1 0 1994721258 106504192 1779 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 1779 457 234 0 24704 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 104008
[startup+6.30151 s]
/proc/loadavg: 1.97 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1735504/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=6.26
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33660 0 0 0 610 16 0 0 25 0 1 0 1994721258 106504192 1971 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 1971 473 234 0 24704 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 104008
[startup+12.701 s]
/proc/loadavg: 1.97 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1734864/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=12.64
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33704 0 0 0 1248 16 0 0 25 0 1 0 1994721258 106504192 2015 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2015 473 234 0 24704 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 104008
[startup+25.5011 s]
/proc/loadavg: 1.98 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1734864/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=25.39
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33704 0 0 0 2523 16 0 0 25 0 1 0 1994721258 106504192 2015 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2015 473 234 0 24704 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 104008
[startup+51.1012 s]
/proc/loadavg: 1.98 2.01 2.00 3/73 28015
/proc/meminfo: memFree=1734864/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=50.88
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33704 0 0 0 5072 16 0 0 25 0 1 0 1994721258 106504192 2015 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2015 473 234 0 24704 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 104008
[startup+102.305 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734928/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=101.89
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33722 0 0 0 10173 16 0 0 25 0 1 0 1994721258 106504192 2033 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2033 473 234 0 24704 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 104008
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734864/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=161.65
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33723 0 0 0 16149 16 0 0 25 0 1 0 1994721258 106504192 2034 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2034 473 234 0 24704 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 104008
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734800/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=221.42
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 22126 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 135202540 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 104008
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734800/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=281.19
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 28103 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 281.19
Current children cumulated vsize (KiB) 104008
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=340.95
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 34079 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 104008
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=400.72
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 40056 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 400.72
Current children cumulated vsize (KiB) 104008
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=460.49
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 46033 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 460.49
Current children cumulated vsize (KiB) 104008
[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=520.25
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 52009 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 520.25
Current children cumulated vsize (KiB) 104008
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=580.02
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 57986 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134604888 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (KiB) 104008
[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=639.79
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 63963 16 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134604893 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (KiB) 104008
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734672/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=819.1
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 81893 17 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 819.1
Current children cumulated vsize (KiB) 104008
[startup+882.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 28015
/proc/meminfo: memFree=1734608/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=878.86
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 87869 17 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 1 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 878.86
Current children cumulated vsize (KiB) 104008
[startup+942.302 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 28043
/proc/meminfo: memFree=1733896/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=938.62
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 93845 17 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 938.62
Current children cumulated vsize (KiB) 104008
[startup+1002.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 28049
/proc/meminfo: memFree=1733824/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=998.37
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 99820 17 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 998.37
Current children cumulated vsize (KiB) 104008
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28049
/proc/meminfo: memFree=1733824/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1058.13
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 105796 17 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (KiB) 104008
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28049
/proc/meminfo: memFree=1733760/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1117.9
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 111772 18 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1117.9
Current children cumulated vsize (KiB) 104008
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 28088
/proc/meminfo: memFree=1688120/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1177.65
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 117747 18 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1177.65
Current children cumulated vsize (KiB) 104008
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 28088
/proc/meminfo: memFree=1687800/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1237.4
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 123722 18 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1237.4
Current children cumulated vsize (KiB) 104008
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 28088
/proc/meminfo: memFree=1687744/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1297.16
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 129698 18 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585172 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1297.16
Current children cumulated vsize (KiB) 104008
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 28136
/proc/meminfo: memFree=1647168/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1356.92
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 135673 19 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1356.92
Current children cumulated vsize (KiB) 104008
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 28136
/proc/meminfo: memFree=1609984/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1416.68
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 141648 20 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134577873 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1416.68
Current children cumulated vsize (KiB) 104008
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1286080/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1476.44
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 147623 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1476.44
Current children cumulated vsize (KiB) 104008
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1285632/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1536.2
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 153599 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585083 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1536.2
Current children cumulated vsize (KiB) 104008
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1285632/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1595.96
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 159575 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1595.96
Current children cumulated vsize (KiB) 104008
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1285632/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1655.72
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 165551 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134605033 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1655.72
Current children cumulated vsize (KiB) 104008
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1285696/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1715.48
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 171527 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1715.48
Current children cumulated vsize (KiB) 104008
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 28137
/proc/meminfo: memFree=1285696/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1775.23
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 177502 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134604913 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1775.23
Current children cumulated vsize (KiB) 104008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.07 2.00 2.00 3/74 28137
/proc/meminfo: memFree=1285696/2055920 swapFree=4180796/4192956
[pid=28014] ppid=28012 vsize=104008 CPUtime=1800.03
/proc/28014/stat : 28014 (casperzito) R 28012 28014 27977 0 -1 4194304 33733 0 0 0 179982 21 0 0 25 0 1 0 1994721258 106504192 2044 996147200 134512640 135472138 4294956224 18446744073709551615 134585175 0 0 4096 0 0 0 0 17 0 0 0
/proc/28014/statm: 26002 2044 473 234 0 24704 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 104008
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.21
CPU time (s): 1800.05
CPU user time (s): 1799.83
CPU system time (s): 0.219966
CPU usage (%): 99.6036
Max. virtual memory (cumulated for all children) (KiB): 243928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33733
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= 17
involuntary context switches= 22677
runsolver used 1.81872 second user time and 4.76727 second system time
The end
Begin job on node65 at 2008-07-04 09:45:15
IDJOB=1068879
IDBENCH=55549
IDSOLVER=362
FILE ID=node65/1068879-1215157514
PBS_JOBID= 7881440
Free space on /tmp= 66496 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg6-8_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068879-1215157514/watcher-1068879-1215157514 -o /tmp/evaluation-result-1068879-1215157514/solver-1068879-1215157514 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068879-1215157514.xml 1822760014
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f09c9c69a0c23ac505219acc227a0e89
RANDOM SEED=1822760014
node65.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.231
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.231
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: 1742264 kB
Buffers: 39672 kB
Cached: 202916 kB
SwapCached: 5952 kB
Active: 186724 kB
Inactive: 69508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742264 kB
SwapTotal: 4192956 kB
SwapFree: 4180796 kB
Dirty: 3848 kB
Writeback: 0 kB
Mapped: 20892 kB
Slab: 42900 kB
Committed_AS: 3885416 kB
PageTables: 1796 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= 66444 MiB
End job on node65 at 2008-07-04 10:15:24