0.18/0.22 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.22 c Parsing = 1
2.66/2.74 c Building = 1
2.95/3.09 c [ NumberOfVariables = 800 ]
2.95/3.09 c [ NumberOfConstraints = 65246 ]
2.95/3.09 c [ SizeOfSearchSpace(log2) = 2964.44 ]
2.95/3.09 c SymmetrySearch = 1
7.11/7.21 c InitialPropagation = 1
7.11/7.26 c [ SizeOfSearchSpace(log2) = 2964.44 ]
7.11/7.26 c InitialSAC = 1
9.60/9.75 c [ SizeOfSearchSpace(log2) = 2964.44 ]
9.60/9.75 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077584-1215193512/watcher-1077584-1215193512 -o /tmp/evaluation-result-1077584-1215193512/solver-1077584-1215193512 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1077584-1215193512.xml 1787367151
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.99 2.00 1.93 4/83 21944
/proc/meminfo: memFree=1704512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=18572 CPUtime=0
/proc/21944/stat : 21944 (runsolver) R 21942 21944 21677 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1998326862 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21944/statm: 4643 292 257 25 0 2626 0
[startup+0.0819791 s]
/proc/loadavg: 1.99 2.00 1.93 4/83 21944
/proc/meminfo: memFree=1704512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=6484 CPUtime=0.07
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 722 0 0 0 7 0 0 0 18 0 1 0 1998326862 6639616 682 996147200 134512640 135472138 4294956224 18446744073709551615 4159732839 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 1621 682 368 234 0 323 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6484
[startup+0.102978 s]
/proc/loadavg: 1.99 2.00 1.93 4/83 21944
/proc/meminfo: memFree=1704512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=6616 CPUtime=0.09
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 776 0 0 0 9 0 0 0 18 0 1 0 1998326862 6774784 736 996147200 134512640 135472138 4294956224 18446744073709551615 4158762468 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 1654 736 368 234 0 356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6616
[startup+0.302021 s]
/proc/loadavg: 1.99 2.00 1.93 4/83 21944
/proc/meminfo: memFree=1704512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=8596 CPUtime=0.28
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 1264 0 0 0 28 0 0 0 19 0 1 0 1998326862 8802304 1224 996147200 134512640 135472138 4294956224 18446744073709551615 4159712425 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 2149 1224 368 234 0 851 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8596
[startup+0.702097 s]
/proc/loadavg: 1.99 2.00 1.93 4/83 21944
/proc/meminfo: memFree=1704512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=12424 CPUtime=0.68
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 2228 0 0 0 68 0 0 0 23 0 1 0 1998326862 12722176 2188 996147200 134512640 135472138 4294956224 18446744073709551615 134749049 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 3106 2188 368 234 0 1808 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12424
[startup+1.50126 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1694136/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=19816 CPUtime=1.47
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 4063 0 0 0 146 1 0 0 25 0 1 0 1998326862 20291584 4023 996147200 134512640 135472138 4294956224 18446744073709551615 134797113 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 4954 4023 368 234 0 3656 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19816
[startup+3.10157 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1683512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=199180 CPUtime=3.06
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 21707 0 0 0 297 9 0 0 25 0 1 0 1998326862 203960320 21667 996147200 134512640 135472138 4294956224 18446744073709551615 134635171 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 49795 21667 457 234 0 48497 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 199180
[startup+6.3012 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1593784/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=233908 CPUtime=6.23
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 28216 0 0 0 611 12 0 0 25 0 1 0 1998326862 239521792 28085 996147200 134512640 135472138 4294956224 18446744073709551615 134534273 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 58477 28085 464 234 0 57179 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 233908
[startup+12.7015 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1611640/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=198388 CPUtime=12.57
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 30105 0 0 0 1244 13 0 0 25 0 1 0 1998326862 203149312 23064 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 49597 23064 501 234 0 48299 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 198388
[startup+25.503 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1608888/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=198388 CPUtime=25.25
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 30105 0 0 0 2512 13 0 0 25 0 1 0 1998326862 203149312 23064 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 49597 23064 501 234 0 48299 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 198388
[startup+51.103 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1567032/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=198404 CPUtime=50.64
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 38634 0 0 0 5047 17 0 0 25 0 1 0 1998326862 203165696 31593 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 49601 31593 504 234 0 48303 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 198404
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1532664/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323408 CPUtime=101.39
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 45239 0 0 0 10120 19 0 0 25 0 1 0 1998326862 331169792 38198 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80852 38198 504 234 0 79554 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 323408
[startup+162.302 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1515192/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=160.88
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 47276 0 0 0 16068 20 0 0 25 0 1 0 1998326862 331173888 40235 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 40235 504 234 0 79555 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 323412
[startup+222.302 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1505208/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=220.36
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 47484 0 0 0 22016 20 0 0 25 0 1 0 1998326862 331173888 40443 996147200 134512640 135472138 4294956224 18446744073709551615 135202751 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 40443 504 234 0 79555 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 323412
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1491576/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=279.84
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 47484 0 0 0 27964 20 0 0 25 0 1 0 1998326862 331173888 40443 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 40443 504 234 0 79555 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 323412
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1482680/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=339.32
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 47484 0 0 0 33912 20 0 0 25 0 1 0 1998326862 331173888 40443 996147200 134512640 135472138 4294956224 18446744073709551615 135264879 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 40443 504 234 0 79555 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 323412
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1470264/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=398.82
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48129 0 0 0 39861 21 0 0 25 0 1 0 1998326862 331173888 41088 996147200 134512640 135472138 4294956224 18446744073709551615 134905668 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41088 504 234 0 79555 0
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (KiB) 323412
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1458936/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=458.4
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48135 0 0 0 45819 21 0 0 25 0 1 0 1998326862 331173888 41094 996147200 134512640 135472138 4294956224 18446744073709551615 135264879 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41094 504 234 0 79555 0
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (KiB) 323412
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1447032/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=517.95
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48143 0 0 0 51774 21 0 0 25 0 1 0 1998326862 331173888 41102 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41102 504 234 0 79555 0
Current children cumulated CPU time (s) 517.95
Current children cumulated vsize (KiB) 323412
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1436472/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=577.43
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48199 0 0 0 57722 21 0 0 25 0 1 0 1998326862 331173888 41158 996147200 134512640 135472138 4294956224 18446744073709551615 135263204 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41158 504 234 0 79555 0
Current children cumulated CPU time (s) 577.43
Current children cumulated vsize (KiB) 323412
[startup+642.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/84 21945
/proc/meminfo: memFree=1413880/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=636.95
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48401 0 0 0 63674 21 0 0 25 0 1 0 1998326862 331173888 41360 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41360 504 234 0 79555 0
Current children cumulated CPU time (s) 636.95
Current children cumulated vsize (KiB) 323412
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.02 2.02 1.94 3/84 21945
/proc/meminfo: memFree=1389624/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=815.89
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48401 0 0 0 81568 21 0 0 25 0 1 0 1998326862 331173888 41360 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41360 504 234 0 79555 0
Current children cumulated CPU time (s) 815.89
Current children cumulated vsize (KiB) 323412
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/84 21945
/proc/meminfo: memFree=1379192/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=875.82
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48401 0 0 0 87561 21 0 0 25 0 1 0 1998326862 331173888 41360 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41360 504 234 0 79555 0
Current children cumulated CPU time (s) 875.82
Current children cumulated vsize (KiB) 323412
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/84 21945
/proc/meminfo: memFree=1369336/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=935.73
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48401 0 0 0 93551 22 0 0 25 0 1 0 1998326862 331173888 41360 996147200 134512640 135472138 4294956224 18446744073709551615 134928576 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41360 504 234 0 79555 0
Current children cumulated CPU time (s) 935.73
Current children cumulated vsize (KiB) 323412
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/84 21951
/proc/meminfo: memFree=1359024/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=995.52
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48403 0 0 0 99530 22 0 0 25 0 1 0 1998326862 331173888 41362 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41362 504 234 0 79555 0
Current children cumulated CPU time (s) 995.52
Current children cumulated vsize (KiB) 323412
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/84 21951
/proc/meminfo: memFree=1347568/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1055.31
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 105509 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135263186 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1055.31
Current children cumulated vsize (KiB) 323412
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/84 21951
/proc/meminfo: memFree=1338416/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1115.28
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 111506 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1115.28
Current children cumulated vsize (KiB) 323412
[startup+1182.3 s]
/proc/loadavg: 2.16 2.03 1.95 3/84 21951
/proc/meminfo: memFree=1328880/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1175.12
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 117490 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 134965311 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1175.12
Current children cumulated vsize (KiB) 323412
[startup+1242.3 s]
/proc/loadavg: 2.14 2.05 1.96 3/84 21951
/proc/meminfo: memFree=1319216/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1234.82
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 123460 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135265500 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1234.82
Current children cumulated vsize (KiB) 323412
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/84 21951
/proc/meminfo: memFree=1309496/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1294.44
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 129422 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1294.44
Current children cumulated vsize (KiB) 323412
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/84 21951
/proc/meminfo: memFree=1303544/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1354.23
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 135401 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135264879 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1354.23
Current children cumulated vsize (KiB) 323412
[startup+1422.31 s]
/proc/loadavg: 2.10 2.05 1.97 3/84 21951
/proc/meminfo: memFree=1296824/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1414.2
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 141398 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1414.2
Current children cumulated vsize (KiB) 323412
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 1.97 3/84 21951
/proc/meminfo: memFree=1264376/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1474.12
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 147390 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135263204 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1474.12
Current children cumulated vsize (KiB) 323412
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 1.98 3/84 21951
/proc/meminfo: memFree=1257400/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1533.92
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 153370 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1533.92
Current children cumulated vsize (KiB) 323412
[startup+1602.3 s]
/proc/loadavg: 2.14 2.08 2.00 3/84 21951
/proc/meminfo: memFree=1249272/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1593.67
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48526 0 0 0 159345 22 0 0 25 0 1 0 1998326862 331173888 41485 996147200 134512640 135472138 4294956224 18446744073709551615 134889694 0 0 4096 0 0 0 0 17 1 0 0
/proc/21944/statm: 80853 41485 504 234 0 79555 0
Current children cumulated CPU time (s) 1593.67
Current children cumulated vsize (KiB) 323412
[startup+1662.3 s]
/proc/loadavg: 2.21 2.09 2.01 2/71 21954
/proc/meminfo: memFree=1663512/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1653.2
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 48538 0 0 0 165297 23 0 0 25 0 1 0 1998326862 331173888 41497 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 41497 504 234 0 79555 0
Current children cumulated CPU time (s) 1653.2
Current children cumulated vsize (KiB) 323412
[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.00 3/75 22004
/proc/meminfo: memFree=1495864/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1713.17
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 49464 0 0 0 171292 25 0 0 25 0 1 0 1998326862 331173888 42423 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 42423 504 234 0 79555 0
Current children cumulated CPU time (s) 1713.17
Current children cumulated vsize (KiB) 323412
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/75 22016
/proc/meminfo: memFree=1493368/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1773.13
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 49464 0 0 0 177288 25 0 0 25 0 1 0 1998326862 331173888 42423 996147200 134512640 135472138 4294956224 18446744073709551615 135262958 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 42423 504 234 0 79555 0
Current children cumulated CPU time (s) 1773.13
Current children cumulated vsize (KiB) 323412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.2 s]
/proc/loadavg: 2.02 2.05 2.00 3/75 22016
/proc/meminfo: memFree=1493304/2055920 swapFree=4179472/4192956
[pid=21944] ppid=21942 vsize=323412 CPUtime=1800.03
/proc/21944/stat : 21944 (casperzito) R 21942 21944 21677 0 -1 4194304 49464 0 0 0 179978 25 0 0 25 0 1 0 1998326862 331173888 42423 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 0 0 0
/proc/21944/statm: 80853 42423 504 234 0 79555 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 323412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.24
CPU time (s): 1800.07
CPU user time (s): 1799.78
CPU system time (s): 0.284956
CPU usage (%): 99.4934
Max. virtual memory (cumulated for all children) (KiB): 323412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49464
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= 37530
runsolver used 1.81672 second user time and 4.98324 second system time
The end
Begin job on node1 at 2008-07-04 19:45:12
IDJOB=1077584
IDBENCH=56690
IDSOLVER=362
FILE ID=node1/1077584-1215193512
PBS_JOBID= 7881642
Free space on /tmp= 66500 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/medium/normalized-patat-02-medium-1.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077584-1215193512/watcher-1077584-1215193512 -o /tmp/evaluation-result-1077584-1215193512/solver-1077584-1215193512 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1077584-1215193512.xml 1787367151
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b83110eaa48c7b1a0d0e9384b24bced8
RANDOM SEED=1787367151
node1.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.265
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.265
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: 1704992 kB
Buffers: 12688 kB
Cached: 149748 kB
SwapCached: 7496 kB
Active: 234524 kB
Inactive: 65204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1704992 kB
SwapTotal: 4192956 kB
SwapFree: 4179472 kB
Dirty: 12128 kB
Writeback: 0 kB
Mapped: 148752 kB
Slab: 36276 kB
Committed_AS: 3853240 kB
PageTables: 2072 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= 66448 MiB
End job on node1 at 2008-07-04 20:15:24