0.19/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.19/0.21 c Parsing = 1
1.28/1.32 c Building = 1
1.48/1.52 c [ NumberOfVariables = 4608 ]
1.48/1.52 c [ NumberOfConstraints = 30522 ]
1.48/1.52 c [ SizeOfSearchSpace(log2) = 4608 ]
1.48/1.52 c SymmetrySearch = 1
11.83/11.96 c [ Found 4.91992e+23 symmetries ]
12.33/12.45 c InitialPropagation = 1
12.43/12.56 c [ SizeOfSearchSpace(log2) = 4608 ]
12.43/12.56 c InitialSAC = (Timeout)
15.72/15.90 c [ SizeOfSearchSpace(log2) = 4548 ]
15.82/15.90 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-1049443-1215045337/watcher-1049443-1215045337 -o /tmp/evaluation-result-1049443-1215045337/solver-1049443-1215045337 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1049443-1215045337.xml 1130370558
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.99 4/74 19386
/proc/meminfo: memFree=1828616/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=1052 CPUtime=0
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1983507805 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10027812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 263 26 20 234 0 3 0
[startup+0.0999901 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 19386
/proc/meminfo: memFree=1828616/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=6820 CPUtime=0.08
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 819 0 0 0 8 0 0 0 18 0 1 0 1983507805 6983680 779 996147200 134512640 135472138 4294956224 18446744073709551615 134806973 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1705 779 368 234 0 407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6820
[startup+0.101981 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 19386
/proc/meminfo: memFree=1828616/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=6820 CPUtime=0.08
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 825 0 0 0 8 0 0 0 18 0 1 0 1983507805 6983680 785 996147200 134512640 135472138 4294956224 18446744073709551615 134805835 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 1705 785 368 234 0 407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6820
[startup+0.302006 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 19386
/proc/meminfo: memFree=1828616/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=9064 CPUtime=0.29
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 1388 0 0 0 28 1 0 0 19 0 1 0 1983507805 9281536 1348 996147200 134512640 135472138 4294956224 18446744073709551615 10458421 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 2266 1348 368 234 0 968 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9064
[startup+0.701041 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 19386
/proc/meminfo: memFree=1828616/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=13552 CPUtime=0.68
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 2486 0 0 0 66 2 0 0 23 0 1 0 1983507805 13877248 2446 996147200 134512640 135472138 4294956224 18446744073709551615 134778856 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 3388 2446 368 234 0 2090 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13552
[startup+1.50112 s]
/proc/loadavg: 1.92 1.98 1.99 3/75 19387
/proc/meminfo: memFree=1816896/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=122108 CPUtime=1.48
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 9438 0 0 0 143 5 0 0 25 0 1 0 1983507805 125038592 9398 996147200 134512640 135472138 4294956224 18446744073709551615 135201428 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 30527 9398 413 234 0 29229 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 122108
[startup+3.10227 s]
/proc/loadavg: 1.92 1.98 1.99 3/75 19387
/proc/meminfo: memFree=1762944/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=168432 CPUtime=3.07
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 20122 0 0 0 297 10 0 0 25 0 1 0 1983507805 172474368 18996 996147200 134512640 135472138 4294956224 18446744073709551615 134532281 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 42108 18996 450 234 0 40810 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 168432
[startup+6.30155 s]
/proc/loadavg: 2.01 2.00 2.00 3/75 19387
/proc/meminfo: memFree=1740288/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=181440 CPUtime=6.26
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 25287 0 0 0 613 13 0 0 25 0 1 0 1983507805 185794560 22463 996147200 134512640 135472138 4294956224 18446744073709551615 134535830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 45360 22463 450 234 0 44062 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 181440
[startup+12.7011 s]
/proc/loadavg: 2.01 2.00 2.00 3/75 19387
/proc/meminfo: memFree=1699840/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=12.63
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39598 0 0 0 1244 19 0 0 25 0 1 0 1983507805 167919616 20790 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 20790 473 234 0 39698 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 163984
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19387
/proc/meminfo: memFree=1746048/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=25.38
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39812 0 0 0 2519 19 0 0 25 0 1 0 1983507805 167919616 21004 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21004 507 234 0 39698 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163984
[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19388
/proc/meminfo: memFree=1745528/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=50.87
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39956 0 0 0 5068 19 0 0 25 0 1 0 1983507805 167919616 21148 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21148 507 234 0 39698 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 163984
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19388
/proc/meminfo: memFree=1745208/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=101.88
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39979 0 0 0 10169 19 0 0 25 0 1 0 1983507805 167919616 21171 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21171 507 234 0 39698 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 163984
[startup+162.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/76 19388
/proc/meminfo: memFree=1745208/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=161.64
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39979 0 0 0 16145 19 0 0 25 0 1 0 1983507805 167919616 21171 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21171 507 234 0 39698 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 163984
[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/76 19388
/proc/meminfo: memFree=1745208/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=221.4
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39979 0 0 0 22121 19 0 0 25 0 1 0 1983507805 167919616 21171 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21171 507 234 0 39698 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 163984
[startup+282.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/76 19388
/proc/meminfo: memFree=1745208/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=281.17
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39979 0 0 0 28098 19 0 0 25 0 1 0 1983507805 167919616 21171 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21171 507 234 0 39698 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 163984
[startup+342.302 s]
/proc/loadavg: 2.10 2.06 2.01 3/76 19388
/proc/meminfo: memFree=1745144/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=340.94
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 34075 19 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 134580900 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 340.94
Current children cumulated vsize (KiB) 163984
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/76 19388
/proc/meminfo: memFree=1745144/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=400.71
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 40052 19 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 400.71
Current children cumulated vsize (KiB) 163984
[startup+462.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/76 19388
/proc/meminfo: memFree=1745080/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=460.47
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 46028 19 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 460.47
Current children cumulated vsize (KiB) 163984
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 19444
/proc/meminfo: memFree=1744016/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=520.36
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 52015 21 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 520.36
Current children cumulated vsize (KiB) 163984
[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19444
/proc/meminfo: memFree=1743888/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=580.34
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 58013 21 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 135202779 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 580.34
Current children cumulated vsize (KiB) 163984
[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19444
/proc/meminfo: memFree=1743824/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=640.32
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 39994 0 0 0 64011 21 0 0 25 0 1 0 1983507805 167919616 21186 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21186 507 234 0 39698 0
Current children cumulated CPU time (s) 640.32
Current children cumulated vsize (KiB) 163984
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743632/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=880.22
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40036 0 0 0 88001 21 0 0 25 0 1 0 1983507805 167919616 21228 996147200 134512640 135472138 4294956224 18446744073709551615 134874401 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21228 507 234 0 39698 0
Current children cumulated CPU time (s) 880.22
Current children cumulated vsize (KiB) 163984
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743568/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=940.2
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40036 0 0 0 93999 21 0 0 25 0 1 0 1983507805 167919616 21228 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21228 507 234 0 39698 0
Current children cumulated CPU time (s) 940.2
Current children cumulated vsize (KiB) 163984
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743568/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1000.17
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40036 0 0 0 99996 21 0 0 25 0 1 0 1983507805 167919616 21228 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21228 507 234 0 39698 0
Current children cumulated CPU time (s) 1000.17
Current children cumulated vsize (KiB) 163984
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743568/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1060.15
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40036 0 0 0 105994 21 0 0 25 0 1 0 1983507805 167919616 21228 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21228 507 234 0 39698 0
Current children cumulated CPU time (s) 1060.15
Current children cumulated vsize (KiB) 163984
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743568/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1120.12
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 111991 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1120.12
Current children cumulated vsize (KiB) 163984
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743504/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1180.1
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 117989 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134873555 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1180.1
Current children cumulated vsize (KiB) 163984
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743248/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1240.08
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 123987 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1240.08
Current children cumulated vsize (KiB) 163984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743312/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1300.06
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 129985 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 163984
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743312/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1360.03
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 135982 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1360.03
Current children cumulated vsize (KiB) 163984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743312/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1420.01
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 141980 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134936561 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1420.01
Current children cumulated vsize (KiB) 163984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19444
/proc/meminfo: memFree=1743312/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1479.98
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 147977 21 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1479.98
Current children cumulated vsize (KiB) 163984
[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 19450
/proc/meminfo: memFree=1743120/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1539.97
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 153975 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1539.97
Current children cumulated vsize (KiB) 163984
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/73 19450
/proc/meminfo: memFree=1743120/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1599.94
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 159972 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134580969 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1599.94
Current children cumulated vsize (KiB) 163984
[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/73 19450
/proc/meminfo: memFree=1743120/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1659.92
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 165970 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1659.92
Current children cumulated vsize (KiB) 163984
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 19450
/proc/meminfo: memFree=1743056/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1719.89
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 171967 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1719.89
Current children cumulated vsize (KiB) 163984
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 19450
/proc/meminfo: memFree=1742864/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1779.87
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 177965 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134581040 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1779.87
Current children cumulated vsize (KiB) 163984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 19450
/proc/meminfo: memFree=1742864/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1800.07
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 179985 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 163984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 19450
/proc/meminfo: memFree=1742864/2055920 swapFree=4180084/4192956
[pid=19386] ppid=19384 vsize=163984 CPUtime=1800.07
/proc/19386/stat : 19386 (casperzito) R 19384 19386 18287 0 -1 4194304 40037 0 0 0 179985 22 0 0 25 0 1 0 1983507805 167919616 21229 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 0 0 0
/proc/19386/statm: 40996 21229 507 234 0 39698 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 163984
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.52
CPU time (s): 1800.09
CPU user time (s): 1799.85
CPU system time (s): 0.238963
CPU usage (%): 99.8652
Max. virtual memory (cumulated for all children) (KiB): 221976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40037
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= 10528
runsolver used 1.79873 second user time and 4.77227 second system time
The end
Begin job on node25 at 2008-07-03 02:35:38
IDJOB=1049443
IDBENCH=54676
IDSOLVER=362
FILE ID=node25/1049443-1215045337
PBS_JOBID= 7875123
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/ppp/normalized-ppp-1-3-13-19.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049443-1215045337/watcher-1049443-1215045337 -o /tmp/evaluation-result-1049443-1215045337/solver-1049443-1215045337 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1049443-1215045337.xml 1130370558
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6cbcc6edcedb57b7f84e6e64526ef8de
RANDOM SEED=1130370558
node25.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.234
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.234
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: 1829096 kB
Buffers: 20764 kB
Cached: 118864 kB
SwapCached: 6504 kB
Active: 106724 kB
Inactive: 51256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829096 kB
SwapTotal: 4192956 kB
SwapFree: 4180084 kB
Dirty: 7484 kB
Writeback: 0 kB
Mapped: 24420 kB
Slab: 54092 kB
Committed_AS: 3464616 kB
PageTables: 1940 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= 66532 MiB
End job on node25 at 2008-07-03 03:05:42