0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.18/0.21 c Building = 1
0.28/0.32 c [ NumberOfVariables = 130 ]
0.28/0.32 c [ NumberOfConstraints = 23 ]
0.28/0.32 c [ SizeOfSearchSpace(log2) = 611.057 ]
0.28/0.32 c SymmetrySearch = 1
5.83/5.98 c InitialPropagation = 1
5.93/6.06 c [ SizeOfSearchSpace(log2) = 605.593 ]
5.93/6.06 c InitialSAC = (Timeout)
14.24/14.49 c [ SizeOfSearchSpace(log2) = 605.593 ]
14.24/14.49 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-1068373-1215153751/watcher-1068373-1215153751 -o /tmp/evaluation-result-1068373-1215153751/solver-1068373-1215153751 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068373-1215153751.xml 1624874397
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.01 2.00 2.00 4/81 12360
/proc/meminfo: memFree=1511032/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=1052 CPUtime=0
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1994346984 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 2618148 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 263 26 20 234 0 3 0
[startup+0.0747159 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 12360
/proc/meminfo: memFree=1511032/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=7588 CPUtime=0.06
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 1006 0 0 0 6 0 0 0 18 0 1 0 1994346984 7770112 966 996147200 134512640 135472138 4294956224 18446744073709551615 134707660 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 1897 966 365 234 0 599 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7588
[startup+0.102712 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 12360
/proc/meminfo: memFree=1511032/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=7588 CPUtime=0.08
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 1006 0 0 0 8 0 0 0 18 0 1 0 1994346984 7770112 966 996147200 134512640 135472138 4294956224 18446744073709551615 134774682 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 1897 966 365 234 0 599 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7588
[startup+0.302748 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 12360
/proc/meminfo: memFree=1511032/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104204 CPUtime=0.28
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 1690 0 0 0 28 0 0 0 19 0 1 0 1994346984 106704896 1650 996147200 134512640 135472138 4294956224 18446744073709551615 134606245 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26051 1650 404 234 0 24753 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 104204
[startup+0.701821 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 12360
/proc/meminfo: memFree=1511032/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=130472 CPUtime=0.69
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 8277 0 0 0 65 4 0 0 23 0 1 0 1994346984 133603328 8237 996147200 134512640 135472138 4294956224 18446744073709551615 134629050 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 32618 8237 433 234 0 31320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130472
[startup+1.50195 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12361
/proc/meminfo: memFree=1461360/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=176672 CPUtime=1.48
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 19824 0 0 0 139 9 0 0 25 0 1 0 1994346984 180912128 19784 996147200 134512640 135472138 4294956224 18446744073709551615 3051212 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 44168 19784 433 234 0 42870 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 176672
[startup+3.10123 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12361
/proc/meminfo: memFree=1401264/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=259040 CPUtime=3.06
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 40428 0 0 0 288 18 0 0 25 0 1 0 1994346984 265256960 40388 996147200 134512640 135472138 4294956224 18446744073709551615 3059434 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 64760 40388 433 234 0 63462 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 259040
[startup+6.30178 s]
/proc/loadavg: 2.01 2.00 2.00 4/82 12361
/proc/meminfo: memFree=1255088/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=6.23
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 65378 0 0 0 590 33 0 0 25 0 1 0 1994346984 106795008 2094 996147200 134512640 135472138 4294956224 18446744073709551615 134585028 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2094 458 234 0 24775 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 104292
[startup+12.7019 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12361
/proc/meminfo: memFree=1503344/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=12.57
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 65452 0 0 0 1224 33 0 0 25 0 1 0 1994346984 106795008 2168 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2168 458 234 0 24775 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 104292
[startup+25.502 s]
/proc/loadavg: 2.08 2.01 2.00 3/82 12361
/proc/meminfo: memFree=1501296/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=25.25
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66061 0 0 0 2491 34 0 0 25 0 1 0 1994346984 106795008 2777 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2777 494 234 0 24775 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 104292
[startup+51.1024 s]
/proc/loadavg: 2.05 2.01 2.00 4/82 12361
/proc/meminfo: memFree=1501232/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=50.62
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66061 0 0 0 5028 34 0 0 25 0 1 0 1994346984 106795008 2777 996147200 134512640 135472138 4294956224 18446744073709551615 134585017 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2777 494 234 0 24775 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 104292
[startup+102.306 s]
/proc/loadavg: 2.13 2.04 2.01 3/82 12361
/proc/meminfo: memFree=1501232/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=101.35
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66061 0 0 0 10101 34 0 0 25 0 1 0 1994346984 106795008 2777 996147200 134512640 135472138 4294956224 18446744073709551615 135263654 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2777 494 234 0 24775 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 104292
[startup+162.302 s]
/proc/loadavg: 2.09 2.04 2.01 4/82 12361
/proc/meminfo: memFree=1501168/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=160.81
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66061 0 0 0 16047 34 0 0 25 0 1 0 1994346984 106795008 2777 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2777 494 234 0 24775 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 104292
[startup+222.302 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 12361
/proc/meminfo: memFree=1501040/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=220.29
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 21994 35 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 104292
[startup+282.302 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 12361
/proc/meminfo: memFree=1501040/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=279.76
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 27941 35 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (KiB) 104292
[startup+342.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 12361
/proc/meminfo: memFree=1501040/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=339.21
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 33886 35 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 339.21
Current children cumulated vsize (KiB) 104292
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12361
/proc/meminfo: memFree=1501040/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=398.67
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 39832 35 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (KiB) 104292
[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12361
/proc/meminfo: memFree=1501104/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=458.14
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 45779 35 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 458.14
Current children cumulated vsize (KiB) 104292
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12361
/proc/meminfo: memFree=1500976/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=517.62
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 51726 36 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 517.62
Current children cumulated vsize (KiB) 104292
[startup+582.302 s]
/proc/loadavg: 2.15 2.05 2.01 3/82 12361
/proc/meminfo: memFree=1500976/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=577.07
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 57671 36 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585177 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 577.07
Current children cumulated vsize (KiB) 104292
[startup+642.301 s]
/proc/loadavg: 2.20 2.07 2.02 4/82 12361
/proc/meminfo: memFree=1500912/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=636.55
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 63619 36 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134604956 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 636.55
Current children cumulated vsize (KiB) 104292
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 12361
/proc/meminfo: memFree=1500848/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=874.44
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 87407 37 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 874.44
Current children cumulated vsize (KiB) 104292
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12361
/proc/meminfo: memFree=1500848/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=933.91
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 93354 37 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134604997 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 933.91
Current children cumulated vsize (KiB) 104292
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12361
/proc/meminfo: memFree=1500912/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=993.37
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 99300 37 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 993.37
Current children cumulated vsize (KiB) 104292
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12361
/proc/meminfo: memFree=1500912/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1052.84
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66085 0 0 0 105247 37 0 0 25 0 1 0 1994346984 106795008 2801 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2801 494 234 0 24775 0
Current children cumulated CPU time (s) 1052.84
Current children cumulated vsize (KiB) 104292
[startup+1122.3 s]
/proc/loadavg: 2.30 2.07 2.02 4/84 12408
/proc/meminfo: memFree=936176/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1110.05
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66088 0 0 0 110966 39 0 0 25 0 1 0 1994346984 106795008 2804 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/12360/statm: 26073 2804 494 234 0 24775 0
Current children cumulated CPU time (s) 1110.05
Current children cumulated vsize (KiB) 104292
[startup+1182.3 s]
/proc/loadavg: 2.18 2.08 2.03 3/81 12444
/proc/meminfo: memFree=1457224/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1169.88
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66096 0 0 0 116948 40 0 0 25 0 1 0 1994346984 106795008 2812 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2812 494 234 0 24775 0
Current children cumulated CPU time (s) 1169.88
Current children cumulated vsize (KiB) 104292
[startup+1242.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/81 12444
/proc/meminfo: memFree=1450952/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1229.85
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 122945 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134604852 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1229.85
Current children cumulated vsize (KiB) 104292
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/81 12444
/proc/meminfo: memFree=1450888/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1289.83
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 128943 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1289.83
Current children cumulated vsize (KiB) 104292
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/81 12444
/proc/meminfo: memFree=1450824/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1349.8
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 134940 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134605062 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1349.8
Current children cumulated vsize (KiB) 104292
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 12444
/proc/meminfo: memFree=1450824/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1409.77
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 140937 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134604941 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1409.77
Current children cumulated vsize (KiB) 104292
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 12444
/proc/meminfo: memFree=1450824/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1469.74
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 146934 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1469.74
Current children cumulated vsize (KiB) 104292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 12444
/proc/meminfo: memFree=1450888/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1529.71
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 152931 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1529.71
Current children cumulated vsize (KiB) 104292
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 12444
/proc/meminfo: memFree=1450888/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1589.68
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 158928 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1589.68
Current children cumulated vsize (KiB) 104292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 12444
/proc/meminfo: memFree=1450888/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1649.66
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 164926 40 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134604888 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1649.66
Current children cumulated vsize (KiB) 104292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 12444
/proc/meminfo: memFree=1450888/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1709.64
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 170923 41 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1709.64
Current children cumulated vsize (KiB) 104292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 12444
/proc/meminfo: memFree=1450824/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1769.61
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 176920 41 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1769.61
Current children cumulated vsize (KiB) 104292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 12444
/proc/meminfo: memFree=1450760/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1800
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 179959 41 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 12444
/proc/meminfo: memFree=1450760/2055920 swapFree=4180420/4192956
[pid=12360] ppid=12358 vsize=104292 CPUtime=1800
/proc/12360/stat : 12360 (casperzito) R 12358 12360 9174 0 -1 4194304 66099 0 0 0 179959 41 0 0 25 0 1 0 1994346984 106795008 2815 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/12360/statm: 26073 2815 494 234 0 24775 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104292
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.71
CPU time (s): 1800.01
CPU user time (s): 1799.6
CPU system time (s): 0.413937
CPU usage (%): 99.2992
Max. virtual memory (cumulated for all children) (KiB): 376792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66099
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= 47755
runsolver used 1.92671 second user time and 5.19521 second system time
The end
Begin job on node51 at 2008-07-04 08:42:31
IDJOB=1068373
IDBENCH=55513
IDSOLVER=362
FILE ID=node51/1068373-1215153751
PBS_JOBID= 7877295
Free space on /tmp= 66560 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg10-13_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068373-1215153751/watcher-1068373-1215153751 -o /tmp/evaluation-result-1068373-1215153751/solver-1068373-1215153751 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068373-1215153751.xml 1624874397
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8c9efcf49315046185696eb2eddb35dd
RANDOM SEED=1624874397
node51.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.263
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.263
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: 1511512 kB
Buffers: 82908 kB
Cached: 355548 kB
SwapCached: 7012 kB
Active: 298572 kB
Inactive: 181576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1511512 kB
SwapTotal: 4192956 kB
SwapFree: 4180420 kB
Dirty: 3988 kB
Writeback: 0 kB
Mapped: 57356 kB
Slab: 49272 kB
Committed_AS: 3866592 kB
PageTables: 1936 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= 66552 MiB
End job on node51 at 2008-07-04 09:12:46