0.00/0.06 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.06 c Parsing = 1
0.00/0.15 c Building = 1
0.28/0.32 c [ NumberOfVariables = 88 ]
0.28/0.32 c [ NumberOfConstraints = 19 ]
0.28/0.33 c [ SizeOfSearchSpace(log2) = 413.639 ]
0.28/0.33 c SymmetrySearch = 1
5.24/5.32 c InitialPropagation = 1
5.24/5.39 c [ SizeOfSearchSpace(log2) = 411.185 ]
5.24/5.39 c InitialSAC = 1
12.57/12.75 c [ SizeOfSearchSpace(log2) = 411.185 ]
12.57/12.75 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-1068672-1215156074/watcher-1068672-1215156074 -o /tmp/evaluation-result-1068672-1215156074/solver-1068672-1215156074 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068672-1215156074.xml 1890275909
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.92 1.98 1.97 4/80 18160
/proc/meminfo: memFree=1502192/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=1052 CPUtime=0
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 153418764 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 5104420 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 263 26 20 234 0 3 0
[startup+0.211854 s]
/proc/loadavg: 1.92 1.98 1.97 4/80 18160
/proc/meminfo: memFree=1502192/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=105936 CPUtime=0.19
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 1892 0 0 0 19 0 0 0 19 0 1 0 153418764 108478464 1852 996147200 134512640 135472138 4294956224 18446744073709551615 134606201 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26484 1852 404 234 0 25186 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 105936
[startup+0.301865 s]
/proc/loadavg: 1.92 1.98 1.97 4/80 18160
/proc/meminfo: memFree=1502192/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=105936 CPUtime=0.28
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 1904 0 0 0 28 0 0 0 19 0 1 0 153418764 108478464 1864 996147200 134512640 135472138 4294956224 18446744073709551615 134606250 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26484 1864 404 234 0 25186 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 105936
[startup+0.401879 s]
/proc/loadavg: 1.92 1.98 1.97 4/80 18160
/proc/meminfo: memFree=1502192/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=111612 CPUtime=0.38
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 3366 0 0 0 37 1 0 0 20 0 1 0 153418764 114290688 3326 996147200 134512640 135472138 4294956224 18446744073709551615 134629241 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 27903 3326 432 234 0 26605 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 111612
[startup+0.701911 s]
/proc/loadavg: 1.92 1.98 1.97 4/80 18160
/proc/meminfo: memFree=1502192/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=132864 CPUtime=0.68
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 8661 0 0 0 65 3 0 0 23 0 1 0 153418764 136052736 8621 996147200 134512640 135472138 4294956224 18446744073709551615 134629045 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 33216 8621 433 234 0 31918 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 132864
[startup+1.503 s]
/proc/loadavg: 1.92 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1436328/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=183420 CPUtime=1.48
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 21313 0 0 0 138 10 0 0 25 0 1 0 153418764 187822080 21273 996147200 134512640 135472138 4294956224 18446744073709551615 4158915881 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 45855 21273 433 234 0 44557 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 183420
[startup+3.10117 s]
/proc/loadavg: 1.92 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1373544/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=275688 CPUtime=3.06
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 44363 0 0 0 285 21 0 0 25 0 1 0 153418764 282304512 44323 996147200 134512640 135472138 4294956224 18446744073709551615 134633864 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 68922 44323 433 234 0 67624 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 275688
[startup+6.30151 s]
/proc/loadavg: 1.93 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1494632/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=6.23
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62197 0 0 0 591 32 0 0 25 0 1 0 153418764 108568576 2211 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2211 458 234 0 25208 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 106024
[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1494056/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=12.57
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62258 0 0 0 1225 32 0 0 25 0 1 0 153418764 108568576 2272 996147200 134512640 135472138 4294956224 18446744073709551615 134604927 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2272 458 234 0 25208 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 106024
[startup+25.5066 s]
/proc/loadavg: 1.95 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492840/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=25.26
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62605 0 0 0 2493 33 0 0 25 0 1 0 153418764 108568576 2619 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2619 474 234 0 25208 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 106024
[startup+51.1013 s]
/proc/loadavg: 1.96 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492776/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=50.63
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62623 0 0 0 5030 33 0 0 25 0 1 0 153418764 108568576 2637 996147200 134512640 135472138 4294956224 18446744073709551615 134605049 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2637 474 234 0 25208 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 106024
[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492648/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=101.37
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62650 0 0 0 10104 33 0 0 25 0 1 0 153418764 108568576 2664 996147200 134512640 135472138 4294956224 18446744073709551615 134616942 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2664 474 234 0 25208 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 106024
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492520/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=160.83
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62650 0 0 0 16050 33 0 0 25 0 1 0 153418764 108568576 2664 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2664 474 234 0 25208 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 106024
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492584/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=220.3
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62650 0 0 0 21997 33 0 0 25 0 1 0 153418764 108568576 2664 996147200 134512640 135472138 4294956224 18446744073709551615 134605036 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2664 474 234 0 25208 0
Current children cumulated CPU time (s) 220.3
Current children cumulated vsize (KiB) 106024
[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492584/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=279.76
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62664 0 0 0 27943 33 0 0 25 0 1 0 153418764 108568576 2678 996147200 134512640 135472138 4294956224 18446744073709551615 134605036 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2678 474 234 0 25208 0
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (KiB) 106024
[startup+342.306 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492584/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=339.22
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 33889 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134604927 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 339.22
Current children cumulated vsize (KiB) 106024
[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492648/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=398.68
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 39835 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 398.68
Current children cumulated vsize (KiB) 106024
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492584/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=458.14
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 45781 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 458.14
Current children cumulated vsize (KiB) 106024
[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492520/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=517.6
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 51727 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134605071 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 517.6
Current children cumulated vsize (KiB) 106024
[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492520/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=577.06
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 57673 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 577.06
Current children cumulated vsize (KiB) 106024
[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492520/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=636.52
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 63619 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134604964 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 636.52
Current children cumulated vsize (KiB) 106024
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492328/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=814.91
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 81458 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134604854 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 814.91
Current children cumulated vsize (KiB) 106024
[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492328/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=874.37
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 87404 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 874.37
Current children cumulated vsize (KiB) 106024
[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492328/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=933.83
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 93350 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 933.83
Current children cumulated vsize (KiB) 106024
[startup+1002.31 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492392/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=993.3
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 99297 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 993.3
Current children cumulated vsize (KiB) 106024
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492392/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1052.76
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62666 0 0 0 105243 33 0 0 25 0 1 0 153418764 108568576 2680 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2680 474 234 0 25208 0
Current children cumulated CPU time (s) 1052.76
Current children cumulated vsize (KiB) 106024
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492392/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1112.22
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62670 0 0 0 111189 33 0 0 25 0 1 0 153418764 108568576 2684 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2684 474 234 0 25208 0
Current children cumulated CPU time (s) 1112.22
Current children cumulated vsize (KiB) 106024
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492392/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1171.68
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62670 0 0 0 117135 33 0 0 25 0 1 0 153418764 108568576 2684 996147200 134512640 135472138 4294956224 18446744073709551615 134584999 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2684 474 234 0 25208 0
Current children cumulated CPU time (s) 1171.68
Current children cumulated vsize (KiB) 106024
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492200/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1231.14
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 123081 33 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585068 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1231.14
Current children cumulated vsize (KiB) 106024
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/81 18161
/proc/meminfo: memFree=1492200/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1290.61
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 129028 33 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1290.61
Current children cumulated vsize (KiB) 106024
[startup+1362.3 s]
/proc/loadavg: 1.96 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552184/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1350.53
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 135019 34 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1350.53
Current children cumulated vsize (KiB) 106024
[startup+1422.3 s]
/proc/loadavg: 1.98 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1410.52
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 141017 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1410.52
Current children cumulated vsize (KiB) 106024
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1470.49
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 147014 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1470.49
Current children cumulated vsize (KiB) 106024
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1530.47
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 153012 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (KiB) 106024
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1590.44
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 159009 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1590.44
Current children cumulated vsize (KiB) 106024
[startup+1662.31 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1650.42
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 165007 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1650.42
Current children cumulated vsize (KiB) 106024
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552248/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1710.39
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 171004 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (KiB) 106024
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552184/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1770.37
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 177002 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (KiB) 106024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812 s]
/proc/loadavg: 1.99 1.97 1.96 3/73 18190
/proc/meminfo: memFree=1552184/2055920 swapFree=4181068/4192956
[pid=18160] ppid=18158 vsize=106024 CPUtime=1800.06
/proc/18160/stat : 18160 (casperzito) R 18158 18160 17927 0 -1 4194304 62680 0 0 0 179971 35 0 0 25 0 1 0 153418764 108568576 2694 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/18160/statm: 26506 2694 474 234 0 25208 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 106024
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): 1812.01
CPU time (s): 1800.07
CPU user time (s): 1799.72
CPU system time (s): 0.355945
CPU usage (%): 99.3413
Max. virtual memory (cumulated for all children) (KiB): 366952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.355945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62680
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= 54335
runsolver used 1.71874 second user time and 4.89525 second system time
The end
Begin job on node46 at 2008-07-04 09:21:14
IDJOB=1068672
IDBENCH=55537
IDSOLVER=362
FILE ID=node46/1068672-1215156074
PBS_JOBID= 7877456
Free space on /tmp= 66212 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg8-11_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068672-1215156074/watcher-1068672-1215156074 -o /tmp/evaluation-result-1068672-1215156074/solver-1068672-1215156074 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068672-1215156074.xml 1890275909
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2c3f4decc5e1db501f4c155332cf1913
RANDOM SEED=1890275909
node46.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.238
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.238
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: 1502672 kB
Buffers: 89452 kB
Cached: 327180 kB
SwapCached: 5852 kB
Active: 303228 kB
Inactive: 186596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1502672 kB
SwapTotal: 4192956 kB
SwapFree: 4181068 kB
Dirty: 4172 kB
Writeback: 0 kB
Mapped: 90012 kB
Slab: 48780 kB
Committed_AS: 1142352 kB
PageTables: 1688 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66208 MiB
End job on node46 at 2008-07-04 09:51:28