0.19/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.19/0.21 c Parsing = 1
0.19/0.21 c Building = 1
3.33/3.47 c [ NumberOfVariables = 225 ]
3.33/3.47 c [ NumberOfConstraints = 1785 ]
3.33/3.47 c [ SizeOfSearchSpace(log2) = 2299.32 ]
3.33/3.47 c SymmetrySearch = 1
3.42/3.50 c InitialPropagation = 1
3.42/3.51 c [ SizeOfSearchSpace(log2) = 2019.51 ]
3.42/3.51 c InitialSAC = 1
3.52/3.63 c [ SizeOfSearchSpace(log2) = 2019.51 ]
3.52/3.63 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-1081154-1215215603/watcher-1081154-1215215603 -o /tmp/evaluation-result-1081154-1215215603/solver-1081154-1215215603 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1081154-1215215603.xml 732720965
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.19 2.06 2.01 4/72 12683
/proc/meminfo: memFree=1818536/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=18572 CPUtime=0
/proc/12683/stat : 12683 (runsolver) R 12681 12683 10038 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 148945658 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12683/statm: 4643 292 257 25 0 2626 0
[startup+0.103356 s]
/proc/loadavg: 2.19 2.06 2.01 4/72 12683
/proc/meminfo: memFree=1818536/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=287504 CPUtime=0.08
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 1167 0 0 0 8 0 0 0 18 0 1 0 148945658 294404096 748 996147200 134512640 135477443 4294956224 18446744073709551615 135268532 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 71876 748 453 235 0 70577 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 287504
[startup+0.201364 s]
/proc/loadavg: 2.19 2.06 2.01 4/72 12683
/proc/meminfo: memFree=1818536/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=288032 CPUtime=0.19
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 2685 0 0 0 17 2 0 0 18 0 1 0 148945658 294944768 897 996147200 134512640 135477443 4294956224 18446744073709551615 134899376 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 72008 897 453 235 0 70709 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 288032
[startup+0.301376 s]
/proc/loadavg: 2.19 2.06 2.01 4/72 12683
/proc/meminfo: memFree=1818536/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=288560 CPUtime=0.28
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 4262 0 0 0 26 2 0 0 19 0 1 0 148945658 295485440 1039 996147200 134512640 135477443 4294956224 18446744073709551615 135268496 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 72140 1039 453 235 0 70841 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 288560
[startup+0.701423 s]
/proc/loadavg: 2.19 2.06 2.01 4/72 12683
/proc/meminfo: memFree=1818536/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=290804 CPUtime=0.69
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 10601 0 0 0 63 6 0 0 23 0 1 0 148945658 297783296 1638 996147200 134512640 135477443 4294956224 18446744073709551615 134899384 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 72701 1638 453 235 0 71402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 290804
[startup+1.50152 s]
/proc/loadavg: 2.17 2.05 2.01 3/73 12684
/proc/meminfo: memFree=1811296/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=295160 CPUtime=1.48
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 23154 0 0 0 135 13 0 0 25 0 1 0 148945658 302243840 2779 996147200 134512640 135477443 4294956224 18446744073709551615 135258474 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 73790 2779 453 235 0 72491 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 295160
[startup+3.1017 s]
/proc/loadavg: 2.17 2.05 2.01 3/73 12684
/proc/meminfo: memFree=1804768/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=304136 CPUtime=3.07
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 48247 0 0 0 281 26 0 0 25 0 1 0 148945658 311435264 5152 996147200 134512640 135477443 4294956224 18446744073709551615 135269898 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 76034 5152 453 235 0 74735 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 304136
[startup+6.3019 s]
/proc/loadavg: 2.17 2.05 2.01 3/73 12684
/proc/meminfo: memFree=1797024/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=5.26
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53833 0 0 0 497 29 0 0 25 0 1 0 148945658 121290752 5799 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 29612 5799 496 235 0 28313 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 118448
[startup+12.7015 s]
/proc/loadavg: 2.15 2.05 2.01 3/73 12684
/proc/meminfo: memFree=1796896/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=11.66
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53862 0 0 0 1137 29 0 0 25 0 1 0 148945658 121290752 5828 996147200 134512640 135477443 4294956224 18446744073709551615 135207277 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 29612 5828 496 235 0 28313 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 118448
[startup+25.5018 s]
/proc/loadavg: 2.12 2.05 2.01 3/73 12684
/proc/meminfo: memFree=1796832/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=24.46
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53871 0 0 0 2416 30 0 0 25 0 1 0 148945658 121290752 5837 996147200 134512640 135477443 4294956224 18446744073709551615 134695388 0 0 4096 0 0 0 0 17 1 0 0
/proc/12683/statm: 29612 5837 496 235 0 28313 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 118448
[startup+51.1012 s]
/proc/loadavg: 2.07 2.04 2.01 3/82 12723
/proc/meminfo: memFree=1695120/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=49.9
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53871 0 0 0 4960 30 0 0 25 0 1 0 148945658 121290752 5837 996147200 134512640 135477443 4294956224 18446744073709551615 134586761 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5837 496 235 0 28313 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 118448
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 12723
/proc/meminfo: memFree=1694928/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=100.57
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53888 0 0 0 10026 31 0 0 25 0 1 0 148945658 121290752 5854 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5854 496 235 0 28313 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 118448
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 12723
/proc/meminfo: memFree=1694672/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=160.05
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 15974 31 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135270212 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (KiB) 118448
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12723
/proc/meminfo: memFree=1694480/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=219.54
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 21923 31 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134586133 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 219.54
Current children cumulated vsize (KiB) 118448
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12723
/proc/meminfo: memFree=1694480/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=278.99
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 27868 31 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134673690 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 278.99
Current children cumulated vsize (KiB) 118448
[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12723
/proc/meminfo: memFree=1694416/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=338.46
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 33815 31 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135268532 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 338.46
Current children cumulated vsize (KiB) 118448
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12723
/proc/meminfo: memFree=1694352/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=397.92
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 39761 31 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134673664 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 397.92
Current children cumulated vsize (KiB) 118448
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12729
/proc/meminfo: memFree=1694280/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=457.38
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 45706 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 457.38
Current children cumulated vsize (KiB) 118448
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12729
/proc/meminfo: memFree=1694288/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=516.83
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 51651 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134673677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 516.83
Current children cumulated vsize (KiB) 118448
[startup+582.302 s]
/proc/loadavg: 2.15 2.03 2.01 3/82 12729
/proc/meminfo: memFree=1694288/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=576.29
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 57597 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 576.29
Current children cumulated vsize (KiB) 118448
[startup+642.303 s]
/proc/loadavg: 2.11 2.04 2.01 3/82 12729
/proc/meminfo: memFree=1694224/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=635.76
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 63544 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 635.76
Current children cumulated vsize (KiB) 118448
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.32 2.16 2.05 3/82 12729
/proc/meminfo: memFree=1693968/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=873.62
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 87330 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 873.62
Current children cumulated vsize (KiB) 118448
[startup+942.303 s]
/proc/loadavg: 2.12 2.13 2.04 3/82 12729
/proc/meminfo: memFree=1693904/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=933.08
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 93276 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134695360 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 933.08
Current children cumulated vsize (KiB) 118448
[startup+1002.3 s]
/proc/loadavg: 2.04 2.11 2.04 3/82 12729
/proc/meminfo: memFree=1693904/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=992.54
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 99222 32 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 992.54
Current children cumulated vsize (KiB) 118448
[startup+1062.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/82 12729
/proc/meminfo: memFree=1693904/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1052.01
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 105168 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134695377 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1052.01
Current children cumulated vsize (KiB) 118448
[startup+1122.3 s]
/proc/loadavg: 2.00 2.07 2.03 3/82 12729
/proc/meminfo: memFree=1693840/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1111.47
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 111114 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134586033 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1111.47
Current children cumulated vsize (KiB) 118448
[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 12729
/proc/meminfo: memFree=1693776/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1170.93
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 117060 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (KiB) 118448
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 12729
/proc/meminfo: memFree=1693712/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1230.4
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 123007 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134679674 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1230.4
Current children cumulated vsize (KiB) 118448
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1289.85
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 128952 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134583600 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1289.85
Current children cumulated vsize (KiB) 118448
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1349.32
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 134899 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1349.32
Current children cumulated vsize (KiB) 118448
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1408.79
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 140846 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134586160 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1408.79
Current children cumulated vsize (KiB) 118448
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1468.26
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 146793 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135270836 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1468.26
Current children cumulated vsize (KiB) 118448
[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1527.73
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 152740 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134586747 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1527.73
Current children cumulated vsize (KiB) 118448
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 12731
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1587.2
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 158687 33 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1587.2
Current children cumulated vsize (KiB) 118448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 12731
/proc/meminfo: memFree=1693328/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1646.67
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 164633 34 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134583088 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1646.67
Current children cumulated vsize (KiB) 118448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12731
/proc/meminfo: memFree=1693264/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1706.14
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 170580 34 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1706.14
Current children cumulated vsize (KiB) 118448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12731
/proc/meminfo: memFree=1693200/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1765.61
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 176527 34 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1765.61
Current children cumulated vsize (KiB) 118448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12731
/proc/meminfo: memFree=1693072/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1800
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 179966 34 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134583584 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 118448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1817 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12731
/proc/meminfo: memFree=1693072/2055920 swapFree=4192812/4192956
[pid=12683] ppid=12681 vsize=118448 CPUtime=1800
/proc/12683/stat : 12683 (casperzao) R 12681 12683 10038 0 -1 4194304 53928 0 0 0 179966 34 0 0 25 0 1 0 148945658 121290752 5894 996147200 134512640 135477443 4294956224 18446744073709551615 134583584 0 0 4096 0 0 0 0 17 0 0 0
/proc/12683/statm: 29612 5894 496 235 0 28313 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 118448
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.01
CPU time (s): 1800.02
CPU user time (s): 1799.67
CPU system time (s): 0.348946
CPU usage (%): 99.0648
Max. virtual memory (cumulated for all children) (KiB): 305588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.348946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53928
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= 42862
runsolver used 1.74873 second user time and 4.89426 second system time
The end
Begin job on node28 at 2008-07-05 01:53:23
IDJOB=1081154
IDBENCH=57080
IDSOLVER=361
FILE ID=node28/1081154-1215215603
PBS_JOBID= 7881692
Free space on /tmp= 66504 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-105-3.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081154-1215215603/watcher-1081154-1215215603 -o /tmp/evaluation-result-1081154-1215215603/solver-1081154-1215215603 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1081154-1215215603.xml 732720965
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f1f972a717a5676ec1be016e9f24b7e2
RANDOM SEED=732720965
node28.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.231
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.231
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: 1819016 kB
Buffers: 30076 kB
Cached: 132036 kB
SwapCached: 0 kB
Active: 150076 kB
Inactive: 35924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4516 kB
Writeback: 0 kB
Mapped: 35456 kB
Slab: 36124 kB
Committed_AS: 343968 kB
PageTables: 1768 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66504 MiB
End job on node28 at 2008-07-05 02:23:43