0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.38/0.44 c Building = 1
2.35/2.41 c [ NumberOfVariables = 8400 ]
2.35/2.41 c [ NumberOfConstraints = 7540 ]
2.35/2.41 c [ SizeOfSearchSpace(log2) = 8400 ]
2.35/2.41 c SymmetrySearch = 1
3.84/3.92 c [ Found 1.56641e+112 symmetries ]
4.45/4.53 c InitialPropagation = 1
4.45/4.55 c [ SizeOfSearchSpace(log2) = 8400 ]
4.45/4.55 c InitialSAC = (Timeout)
36.44/36.88 c [ SizeOfSearchSpace(log2) = 4602 ]
36.44/36.89 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-1092092-1215264078/watcher-1092092-1215264078 -o /tmp/evaluation-result-1092092-1215264078/solver-1092092-1215264078 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092092-1215264078.xml 1562603309
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/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=1056 CPUtime=0
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2005377408 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 6853412 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 264 26 20 235 0 3 0
[startup+0.115562 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=6784 CPUtime=0.09
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 801 0 0 0 9 0 0 0 18 0 1 0 2005377408 6946816 761 996147200 134512640 135477443 4294956224 18446744073709551615 4158915865 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 1696 761 370 235 0 397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6784
[startup+0.201577 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=7708 CPUtime=0.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 1030 0 0 0 18 0 0 0 18 0 1 0 2005377408 7892992 990 996147200 134512640 135477443 4294956224 18446744073709551615 134813044 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 1927 990 370 235 0 628 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7708
[startup+0.301596 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=8764 CPUtime=0.27
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 1292 0 0 0 27 0 0 0 19 0 1 0 2005377408 8974336 1252 996147200 134512640 135477443 4294956224 18446744073709551615 134814374 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 2191 1252 370 235 0 892 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8764
[startup+0.701669 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=336088 CPUtime=0.68
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 14621 0 0 0 61 7 0 0 23 0 1 0 2005377408 344154112 13794 996147200 134512640 135477443 4294956224 18446744073709551615 7286500 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 84022 13794 461 235 0 82723 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 336088
[startup+1.50282 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1502808/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=480944 CPUtime=1.47
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 53571 0 0 0 118 29 0 0 25 0 1 0 2005377408 492486656 50175 996147200 134512640 135477443 4294956224 18446744073709551615 7294693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 120236 50175 461 235 0 118937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 480944
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1331288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=401976 CPUtime=3.06
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 89978 0 0 0 243 63 0 0 25 0 1 0 2005377408 411623424 78217 996147200 134512640 135477443 4294956224 18446744073709551615 134535892 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 100494 78217 506 235 0 99195 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 401976
[startup+6.30262 s]
/proc/loadavg: 2.08 2.02 2.01 3/75 19909
/proc/meminfo: memFree=1315288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=6.23
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109597 0 0 0 550 73 0 0 25 0 1 0 2005377408 407633920 78851 996147200 134512640 135477443 4294956224 18446744073709551615 134887830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78851 522 235 0 98221 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 398080
[startup+12.7017 s]
/proc/loadavg: 2.07 2.02 2.00 3/75 19909
/proc/meminfo: memFree=1314072/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=12.56
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109672 0 0 0 1183 73 0 0 25 0 1 0 2005377408 407633920 78926 996147200 134512640 135477443 4294956224 18446744073709551615 134887830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78926 522 235 0 98221 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 398080
[startup+25.5019 s]
/proc/loadavg: 2.06 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1311192/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=25.24
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109741 0 0 0 2451 73 0 0 25 0 1 0 2005377408 407633920 78995 996147200 134512640 135477443 4294956224 18446744073709551615 134951617 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78995 522 235 0 98221 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 398080
[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1308824/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=50.6
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110336 0 0 0 4986 74 0 0 25 0 1 0 2005377408 407638016 79590 996147200 134512640 135477443 4294956224 18446744073709551615 134693950 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79590 543 235 0 98222 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 398084
[startup+102.303 s]
/proc/loadavg: 2.01 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1308312/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=101.32
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110438 0 0 0 10058 74 0 0 25 0 1 0 2005377408 407638016 79692 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79692 543 235 0 98222 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 398084
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1301592/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=160.75
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110503 0 0 0 16001 74 0 0 25 0 1 0 2005377408 407638016 79757 996147200 134512640 135477443 4294956224 18446744073709551615 134888572 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79757 543 235 0 98222 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 398084
[startup+222.309 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1301400/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=220.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110545 0 0 0 21944 74 0 0 25 0 1 0 2005377408 407638016 79799 996147200 134512640 135477443 4294956224 18446744073709551615 134887904 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79799 543 235 0 98222 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 398084
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1299928/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=279.62
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110545 0 0 0 27887 75 0 0 25 0 1 0 2005377408 407638016 79799 996147200 134512640 135477443 4294956224 18446744073709551615 134951751 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79799 543 235 0 98222 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 398084
[startup+342.302 s]
/proc/loadavg: 2.09 2.03 2.01 3/75 19909
/proc/meminfo: memFree=1299864/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=339.05
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110546 0 0 0 33830 75 0 0 25 0 1 0 2005377408 407638016 79800 996147200 134512640 135477443 4294956224 18446744073709551615 134673670 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79800 543 235 0 98222 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 398084
[startup+402.303 s]
/proc/loadavg: 2.11 2.05 2.01 3/75 19909
/proc/meminfo: memFree=1287192/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=398.49
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110546 0 0 0 39774 75 0 0 25 0 1 0 2005377408 407638016 79800 996147200 134512640 135477443 4294956224 18446744073709551615 135208609 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79800 543 235 0 98222 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 398084
[startup+462.301 s]
/proc/loadavg: 2.48 2.17 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=457.92
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 45717 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 398084
[startup+522.301 s]
/proc/loadavg: 2.25 2.16 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=517.36
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 51661 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 134942740 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 398084
[startup+582.302 s]
/proc/loadavg: 2.09 2.12 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=576.78
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 57603 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 134693727 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 398084
[startup+642.302 s]
/proc/loadavg: 2.03 2.10 2.04 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=636.22
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 63547 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 135208524 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 636.22
Current children cumulated vsize (KiB) 398084
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/75 19909
/proc/meminfo: memFree=1283672/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=814.52
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 81377 75 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 814.52
Current children cumulated vsize (KiB) 398084
[startup+882.31 s]
/proc/loadavg: 2.00 2.04 2.02 3/75 19911
/proc/meminfo: memFree=1271704/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=873.96
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 87321 75 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 134887902 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 873.96
Current children cumulated vsize (KiB) 398084
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.02 3/82 19954
/proc/meminfo: memFree=1371624/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=933.45
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 93266 79 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (KiB) 398084
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/75 20007
/proc/meminfo: memFree=1341408/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=993.42
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 99261 81 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 134693943 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 993.42
Current children cumulated vsize (KiB) 398084
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/75 20007
/proc/meminfo: memFree=1330464/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1053.38
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110679 0 0 0 105257 81 0 0 25 0 1 0 2005377408 407638016 79933 996147200 134512640 135477443 4294956224 18446744073709551615 134693943 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79933 543 235 0 98222 0
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (KiB) 398084
[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/73 20044
/proc/meminfo: memFree=1402416/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1113.36
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110680 0 0 0 111254 82 0 0 25 0 1 0 2005377408 407638016 79934 996147200 134512640 135477443 4294956224 18446744073709551615 134585566 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79934 543 235 0 98222 0
Current children cumulated CPU time (s) 1113.36
Current children cumulated vsize (KiB) 398084
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 20044
/proc/meminfo: memFree=1402480/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1173.33
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 117251 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134585526 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1173.33
Current children cumulated vsize (KiB) 398084
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1233.3
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 123248 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135270910 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1233.3
Current children cumulated vsize (KiB) 398084
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20044
/proc/meminfo: memFree=1402288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1293.27
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 129245 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134887835 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1293.27
Current children cumulated vsize (KiB) 398084
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20044
/proc/meminfo: memFree=1402288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1353.26
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 135243 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1353.26
Current children cumulated vsize (KiB) 398084
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1413.23
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 141240 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135272086 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1413.23
Current children cumulated vsize (KiB) 398084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1473.2
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 147237 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208699 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1473.2
Current children cumulated vsize (KiB) 398084
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1533.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 153235 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134693727 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1533.18
Current children cumulated vsize (KiB) 398084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1593.15
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 159232 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1593.15
Current children cumulated vsize (KiB) 398084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1653.12
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 165229 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134674258 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1653.12
Current children cumulated vsize (KiB) 398084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1713.1
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 171227 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1713.1
Current children cumulated vsize (KiB) 398084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402224/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1773.07
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 177224 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134942756 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1773.07
Current children cumulated vsize (KiB) 398084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402224/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1800.06
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 179923 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208515 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 398084
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.36
CPU time (s): 1800.12
CPU user time (s): 1799.24
CPU system time (s): 0.884865
CPU usage (%): 99.4898
Max. virtual memory (cumulated for all children) (KiB): 572016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.884865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110681
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= 21646
runsolver used 2.14567 second user time and 5.45717 second system time
The end
Begin job on node68 at 2008-07-05 15:21:18
IDJOB=1092092
IDBENCH=58595
IDSOLVER=361
FILE ID=node68/1092092-1215264078
PBS_JOBID= 7882094
Free space on /tmp= 66504 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-15-70-14-3-2_glb.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092092-1215264078/watcher-1092092-1215264078 -o /tmp/evaluation-result-1092092-1215264078/solver-1092092-1215264078 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092092-1215264078.xml 1562603309
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 81667b41c334c0c7b4a522df36bf82a5
RANDOM SEED=1562603309
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: 1630656 kB
Buffers: 36460 kB
Cached: 240940 kB
SwapCached: 6772 kB
Active: 250100 kB
Inactive: 122916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1630656 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 4328 kB
Writeback: 0 kB
Mapped: 101428 kB
Slab: 37392 kB
Committed_AS: 4403504 kB
PageTables: 1948 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= 66520 MiB
End job on node68 at 2008-07-05 15:51:30