0.09/0.13 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.09/0.13 c Parsing = 1
0.29/0.32 c Building = 1
0.57/0.67 c [ NumberOfVariables = 80 ]
0.57/0.67 c [ NumberOfConstraints = 18 ]
0.57/0.67 c [ SizeOfSearchSpace(log2) = 376.035 ]
0.57/0.67 c SymmetrySearch = 1
10.68/10.83 c InitialPropagation = 1
11.08/11.23 c [ SizeOfSearchSpace(log2) = 374.031 ]
11.08/11.23 c InitialSAC = 1
40.99/41.48 c [ SizeOfSearchSpace(log2) = 374.031 ]
40.99/41.48 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-1076566-1215188361/watcher-1076566-1215188361 -o /tmp/evaluation-result-1076566-1215188361/solver-1076566-1215188361 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076566-1215188361.xml 1283682959
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.97 1.91 4/81 4469
/proc/meminfo: memFree=1551400/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=18572 CPUtime=0
/proc/4469/stat : 4469 (runsolver) R 4467 4469 1429 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1997805784 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4469/statm: 4643 292 257 25 0 2626 0
[startup+0.0707079 s]
/proc/loadavg: 1.99 1.97 1.91 4/81 4469
/proc/meminfo: memFree=1551400/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=8872 CPUtime=0.05
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 1328 0 0 0 5 0 0 0 18 0 1 0 1997805784 9084928 1288 996147200 134512640 135472138 4294956224 18446744073709551615 134793779 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 2218 1288 364 234 0 920 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8872
[startup+0.102709 s]
/proc/loadavg: 1.99 1.97 1.91 4/81 4469
/proc/meminfo: memFree=1551400/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=8872 CPUtime=0.09
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 1328 0 0 0 8 1 0 0 18 0 1 0 1997805784 9084928 1288 996147200 134512640 135472138 4294956224 18446744073709551615 134774679 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 2218 1288 364 234 0 920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8872
[startup+0.302739 s]
/proc/loadavg: 1.99 1.97 1.91 4/81 4469
/proc/meminfo: memFree=1551400/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=11048 CPUtime=0.29
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 1858 0 0 0 28 1 0 0 19 0 1 0 1997805784 11313152 1818 996147200 134512640 135472138 4294956224 18446744073709551615 134774676 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 2762 1818 365 234 0 1464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11048
[startup+0.701791 s]
/proc/loadavg: 1.99 1.97 1.91 4/81 4469
/proc/meminfo: memFree=1551400/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=116196 CPUtime=0.67
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 3973 0 0 0 66 1 0 0 23 0 1 0 1997805784 118984704 3933 996147200 134512640 135472138 4294956224 18446744073709551615 10273196 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 29049 3933 431 234 0 27751 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 116196
[startup+1.50189 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1513632/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=173880 CPUtime=1.47
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 18399 0 0 0 135 12 0 0 25 0 1 0 1997805784 178053120 18359 996147200 134512640 135472138 4294956224 18446744073709551615 134629318 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 43470 18359 432 234 0 42172 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 173880
[startup+3.10107 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1441376/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=269580 CPUtime=3.05
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 42328 0 0 0 281 24 0 0 25 0 1 0 1997805784 276049920 42288 996147200 134512640 135472138 4294956224 18446744073709551615 134629045 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 67395 42288 432 234 0 66097 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 269580
[startup+6.30147 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1245024/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=440388 CPUtime=6.22
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 85036 0 0 0 572 50 0 0 25 0 1 0 1997805784 450957312 84996 996147200 134512640 135472138 4294956224 18446744073709551615 134643495 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 110097 84996 435 234 0 108799 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 440388
[startup+12.7012 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1537888/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=12.56
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 118596 0 0 0 1182 74 0 0 25 0 1 0 1997805784 116514816 3569 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 3569 457 234 0 27148 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 113784
[startup+25.5027 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1537632/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=25.25
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 118694 0 0 0 2450 75 0 0 25 0 1 0 1997805784 116514816 3667 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 3667 457 234 0 27148 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 113784
[startup+51.1028 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536416/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=50.6
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119004 0 0 0 4985 75 0 0 25 0 1 0 1997805784 116514816 3977 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 3977 473 234 0 27148 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 113784
[startup+102.308 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536160/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=101.32
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119032 0 0 0 10057 75 0 0 25 0 1 0 1997805784 116514816 4005 996147200 134512640 135472138 4294956224 18446744073709551615 134604981 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4005 473 234 0 27148 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 113784
[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536096/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=160.75
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119039 0 0 0 16000 75 0 0 25 0 1 0 1997805784 116514816 4012 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4012 473 234 0 27148 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 113784
[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536096/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=220.19
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119046 0 0 0 21944 75 0 0 25 0 1 0 1997805784 116514816 4019 996147200 134512640 135472138 4294956224 18446744073709551615 134585175 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4019 473 234 0 27148 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 113784
[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536096/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=279.62
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119046 0 0 0 27887 75 0 0 25 0 1 0 1997805784 116514816 4019 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4019 473 234 0 27148 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 113784
[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536096/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=339.06
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119046 0 0 0 33831 75 0 0 25 0 1 0 1997805784 116514816 4019 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4019 473 234 0 27148 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 113784
[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1536096/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=398.5
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119054 0 0 0 39775 75 0 0 25 0 1 0 1997805784 116514816 4027 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4027 473 234 0 27148 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 113784
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535968/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=457.93
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 45718 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 113784
[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535840/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=517.37
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 51662 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134605036 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 113784
[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535840/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=576.8
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 57605 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 576.8
Current children cumulated vsize (KiB) 113784
[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535840/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=636.25
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 63550 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (KiB) 113784
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535776/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=814.55
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 81380 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134605040 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 814.55
Current children cumulated vsize (KiB) 113784
[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535776/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=873.99
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 87324 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 113784
[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535776/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=933.42
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 93267 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 113784
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535776/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=992.86
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 99211 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 992.86
Current children cumulated vsize (KiB) 113784
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 4470
/proc/meminfo: memFree=1535712/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1052.29
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 105154 75 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (KiB) 113784
[startup+1122.3 s]
/proc/loadavg: 2.25 2.04 1.93 3/84 4511
/proc/meminfo: memFree=936224/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1109.04
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 110828 76 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1109.04
Current children cumulated vsize (KiB) 113784
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/84 4511
/proc/meminfo: memFree=896160/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1169.03
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 116826 77 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1169.03
Current children cumulated vsize (KiB) 113784
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4588
/proc/meminfo: memFree=1535144/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1228.83
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 122804 79 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1228.83
Current children cumulated vsize (KiB) 113784
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4588
/proc/meminfo: memFree=1534952/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1288.59
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 128780 79 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1288.59
Current children cumulated vsize (KiB) 113784
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4588
/proc/meminfo: memFree=1534952/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1348.36
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 134756 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1348.36
Current children cumulated vsize (KiB) 113784
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4588
/proc/meminfo: memFree=1534888/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1408.12
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 140732 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1408.12
Current children cumulated vsize (KiB) 113784
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4589
/proc/meminfo: memFree=1534888/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1467.87
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 146707 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1467.87
Current children cumulated vsize (KiB) 113784
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1527.62
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 152682 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1527.62
Current children cumulated vsize (KiB) 113784
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1587.39
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 158659 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1587.39
Current children cumulated vsize (KiB) 113784
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1647.14
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 164634 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1647.14
Current children cumulated vsize (KiB) 113784
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1706.9
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 170610 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585089 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1706.9
Current children cumulated vsize (KiB) 113784
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1766.66
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 176586 80 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1766.66
Current children cumulated vsize (KiB) 113784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.8 s]
/proc/loadavg: 1.99 2.00 1.93 3/82 4590
/proc/meminfo: memFree=1534760/2055920 swapFree=4179828/4192956
[pid=4469] ppid=4467 vsize=113784 CPUtime=1800.03
/proc/4469/stat : 4469 (casperzito) R 4467 4469 1429 0 -1 4194304 119057 0 0 0 179922 81 0 0 25 0 1 0 1997805784 116514816 4030 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4469/statm: 28446 4030 473 234 0 27148 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 113784
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): 1815.81
CPU time (s): 1800.04
CPU user time (s): 1799.23
CPU system time (s): 0.812876
CPU usage (%): 99.1315
Max. virtual memory (cumulated for all children) (KiB): 613696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119057
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= 53331
runsolver used 1.9967 second user time and 5.68614 second system time
The end
Begin job on node66 at 2008-07-04 18:19:21
IDJOB=1076566
IDBENCH=56592
IDSOLVER=362
FILE ID=node66/1076566-1215188361
PBS_JOBID= 7881545
Free space on /tmp= 66432 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg8-10_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076566-1215188361/watcher-1076566-1215188361 -o /tmp/evaluation-result-1076566-1215188361/solver-1076566-1215188361 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076566-1215188361.xml 1283682959
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8f90e38a72d4e13177d59b77be18a7c8
RANDOM SEED=1283682959
node66.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.213
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.213
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: 1551880 kB
Buffers: 55288 kB
Cached: 291292 kB
SwapCached: 6748 kB
Active: 290488 kB
Inactive: 155992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1551880 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 5640 kB
Writeback: 0 kB
Mapped: 116184 kB
Slab: 42436 kB
Committed_AS: 4215616 kB
PageTables: 2080 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= 66408 MiB
End job on node66 at 2008-07-04 18:49:39