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.29/0.34 c [ NumberOfVariables = 80 ]
0.29/0.34 c [ NumberOfConstraints = 18 ]
0.29/0.34 c [ SizeOfSearchSpace(log2) = 376.035 ]
0.29/0.34 c SymmetrySearch = 1
5.53/5.66 c InitialPropagation = 1
5.63/5.75 c [ SizeOfSearchSpace(log2) = 373.282 ]
5.63/5.75 c InitialSAC = 1
14.84/15.08 c [ SizeOfSearchSpace(log2) = 373.282 ]
14.84/15.08 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-1068442-1215154279/watcher-1068442-1215154279 -o /tmp/evaluation-result-1068442-1215154279/solver-1068442-1215154279 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068442-1215154279.xml 1484371723
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.00 2.00 2.00 4/81 6321
/proc/meminfo: memFree=1850016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=18572 CPUtime=0
/proc/6321/stat : 6321 (runsolver) R 6319 6321 4879 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1994397460 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 213112122663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6321/statm: 4643 292 257 25 0 2626 0
[startup+0.0785399 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 6321
/proc/meminfo: memFree=1850016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=6908 CPUtime=0.06
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 841 0 0 0 6 0 0 0 18 0 1 0 1994397460 7073792 801 996147200 134512640 135472138 4294956224 18446744073709551615 134774671 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 1727 801 364 234 0 429 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6908
[startup+0.101544 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 6321
/proc/meminfo: memFree=1850016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=8316 CPUtime=0.08
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 1188 0 0 0 8 0 0 0 18 0 1 0 1994397460 8515584 1148 996147200 134512640 135472138 4294956224 18446744073709551615 134774676 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 2079 1148 365 234 0 781 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8316
[startup+0.301583 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 6321
/proc/meminfo: memFree=1850016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106264 CPUtime=0.29
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 2046 0 0 0 28 1 0 0 19 0 1 0 1994397460 108814336 2006 996147200 134512640 135472138 4294956224 18446744073709551615 134606250 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26566 2006 403 234 0 25268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 106264
[startup+0.701657 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 6321
/proc/meminfo: memFree=1850016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=132400 CPUtime=0.68
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 8607 0 0 0 64 4 0 0 23 0 1 0 1994397460 135577600 8567 996147200 134512640 135472138 4294956224 18446744073709551615 7287315 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 33100 8567 432 234 0 31802 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 132400
[startup+1.50178 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 6322
/proc/meminfo: memFree=1797208/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=183088 CPUtime=1.46
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 21279 0 0 0 136 10 0 0 25 0 1 0 1994397460 187482112 21239 996147200 134512640 135472138 4294956224 18446744073709551615 134629042 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 45772 21239 432 234 0 44474 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 183088
[startup+3.10106 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 6322
/proc/meminfo: memFree=1731928/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=278260 CPUtime=3.06
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 45078 0 0 0 282 24 0 0 25 0 1 0 1994397460 284938240 45038 996147200 134512640 135472138 4294956224 18446744073709551615 7294748 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 69565 45038 432 234 0 68267 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 278260
[startup+6.3016 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 6322
/proc/meminfo: memFree=1599448/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=6.22
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63403 0 0 0 586 36 0 0 25 0 1 0 1994397460 108900352 2304 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2304 457 234 0 25289 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 106348
[startup+12.7017 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 6322
/proc/meminfo: memFree=1841496/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=12.56
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63450 0 0 0 1220 36 0 0 25 0 1 0 1994397460 108900352 2351 996147200 134512640 135472138 4294956224 18446744073709551615 134605036 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2351 457 234 0 25289 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 106348
[startup+25.5019 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 6322
/proc/meminfo: memFree=1840408/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=25.25
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63750 0 0 0 2488 37 0 0 25 0 1 0 1994397460 108900352 2651 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2651 473 234 0 25289 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 106348
[startup+51.1012 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 6322
/proc/meminfo: memFree=1840344/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=50.6
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63769 0 0 0 5023 37 0 0 25 0 1 0 1994397460 108900352 2670 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2670 473 234 0 25289 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 106348
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 6322
/proc/meminfo: memFree=1840088/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=101.32
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63804 0 0 0 10095 37 0 0 25 0 1 0 1994397460 108900352 2705 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2705 473 234 0 25289 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 106348
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1840024/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=160.75
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63804 0 0 0 16038 37 0 0 25 0 1 0 1994397460 108900352 2705 996147200 134512640 135472138 4294956224 18446744073709551615 134605036 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2705 473 234 0 25289 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 106348
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1840024/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=220.19
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63812 0 0 0 21982 37 0 0 25 0 1 0 1994397460 108900352 2713 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2713 473 234 0 25289 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 106348
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839960/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=279.63
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63812 0 0 0 27926 37 0 0 25 0 1 0 1994397460 108900352 2713 996147200 134512640 135472138 4294956224 18446744073709551615 134604953 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2713 473 234 0 25289 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 106348
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839904/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=339.07
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 33870 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 106348
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839840/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=398.5
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 39813 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134605019 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 106348
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839840/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=457.94
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 45757 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134605049 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 106348
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839840/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=517.38
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 51701 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134604864 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 106348
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6322
/proc/meminfo: memFree=1839840/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=576.8
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 57643 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134585066 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 576.8
Current children cumulated vsize (KiB) 106348
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 6328
/proc/meminfo: memFree=1839648/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=636.24
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63835 0 0 0 63587 37 0 0 25 0 1 0 1994397460 108900352 2736 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/6321/statm: 26587 2736 473 234 0 25289 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 106348
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 6379
/proc/meminfo: memFree=1776536/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=874.05
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63851 0 0 0 87367 38 0 0 25 0 1 0 1994397460 108900352 2752 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2752 473 234 0 25289 0
Current children cumulated CPU time (s) 874.05
Current children cumulated vsize (KiB) 106348
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 6379
/proc/meminfo: memFree=1517464/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=934.03
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63855 0 0 0 93364 39 0 0 25 0 1 0 1994397460 108900352 2756 996147200 134512640 135472138 4294956224 18446744073709551615 134585302 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2756 473 234 0 25289 0
Current children cumulated CPU time (s) 934.03
Current children cumulated vsize (KiB) 106348
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6379
/proc/meminfo: memFree=1510872/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=994
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 99361 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134605049 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 994
Current children cumulated vsize (KiB) 106348
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6379
/proc/meminfo: memFree=1505560/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1053.97
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 105358 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1053.97
Current children cumulated vsize (KiB) 106348
[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 6379
/proc/meminfo: memFree=1501016/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1113.94
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 111355 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585305 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1113.94
Current children cumulated vsize (KiB) 106348
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/83 6379
/proc/meminfo: memFree=1494168/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1173.91
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 117352 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1173.91
Current children cumulated vsize (KiB) 106348
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/83 6379
/proc/meminfo: memFree=1485848/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1233.88
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 123349 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1233.88
Current children cumulated vsize (KiB) 106348
[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 4/83 6379
/proc/meminfo: memFree=1479768/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1293.86
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 129347 39 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585008 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1293.86
Current children cumulated vsize (KiB) 106348
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 6379
/proc/meminfo: memFree=1446936/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1353.83
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 135343 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1353.83
Current children cumulated vsize (KiB) 106348
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/83 6379
/proc/meminfo: memFree=1446872/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1413.8
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 141340 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1413.8
Current children cumulated vsize (KiB) 106348
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 6379
/proc/meminfo: memFree=1440664/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1473.77
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 147337 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134605045 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1473.77
Current children cumulated vsize (KiB) 106348
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 6379
/proc/meminfo: memFree=1435608/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1533.74
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 153334 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1533.74
Current children cumulated vsize (KiB) 106348
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 6379
/proc/meminfo: memFree=1424792/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1593.71
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 159331 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1593.71
Current children cumulated vsize (KiB) 106348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 6379
/proc/meminfo: memFree=1417752/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1653.69
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 165329 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134577878 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1653.69
Current children cumulated vsize (KiB) 106348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6379
/proc/meminfo: memFree=1417752/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1713.66
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 171326 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134605040 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1713.66
Current children cumulated vsize (KiB) 106348
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 6379
/proc/meminfo: memFree=1410520/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1773.63
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 177323 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134585164 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1773.63
Current children cumulated vsize (KiB) 106348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.11 2.03 2.01 3/83 6379
/proc/meminfo: memFree=1410520/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1800.02
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 179962 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134604949 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 106348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.7 s]
/proc/loadavg: 2.11 2.03 2.01 3/83 6379
/proc/meminfo: memFree=1410520/2055920 swapFree=4180444/4192956
[pid=6321] ppid=6319 vsize=106348 CPUtime=1800.02
/proc/6321/stat : 6321 (casperzito) R 6319 6321 4879 0 -1 4194304 63870 0 0 0 179962 40 0 0 25 0 1 0 1994397460 108900352 2771 996147200 134512640 135472138 4294956224 18446744073709551615 134604949 0 0 4096 0 0 0 0 17 0 0 0
/proc/6321/statm: 26587 2771 473 234 0 25289 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 106348
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.71
CPU time (s): 1800.04
CPU user time (s): 1799.63
CPU system time (s): 0.411937
CPU usage (%): 99.5207
Max. virtual memory (cumulated for all children) (KiB): 372528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.411937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63870
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= 38645
runsolver used 2.6236 second user time and 5.46617 second system time
The end
Begin job on node68 at 2008-07-04 08:51:19
IDJOB=1068442
IDBENCH=55517
IDSOLVER=362
FILE ID=node68/1068442-1215154279
PBS_JOBID= 7877398
Free space on /tmp= 66556 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg8-10_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068442-1215154279/watcher-1068442-1215154279 -o /tmp/evaluation-result-1068442-1215154279/solver-1068442-1215154279 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1068442-1215154279.xml 1484371723
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d5e3ad114b4d246be8bc58743510a299
RANDOM SEED=1484371723
node68.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.261
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.261
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: 1850496 kB
Buffers: 15976 kB
Cached: 106768 kB
SwapCached: 6728 kB
Active: 114312 kB
Inactive: 39496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850496 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 4248 kB
Writeback: 0 kB
Mapped: 47108 kB
Slab: 36876 kB
Committed_AS: 4231936 kB
PageTables: 1824 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= 66528 MiB
End job on node68 at 2008-07-04 09:21:30