0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.18/0.22 c Building = 1
0.58/0.61 c [ NumberOfVariables = 182 ]
0.58/0.61 c [ NumberOfConstraints = 27 ]
0.58/0.61 c [ SizeOfSearchSpace(log2) = 855.48 ]
0.58/0.61 c SymmetrySearch = 1
11.73/11.89 c InitialPropagation = 1
12.23/12.36 c [ SizeOfSearchSpace(log2) = 828.709 ]
12.23/12.36 c InitialSAC = (Timeout)
81.06/81.47 c [ SizeOfSearchSpace(log2) = 828.259 ]
81.06/81.47 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-1076772-1215190160/watcher-1076772-1215190160 -o /tmp/evaluation-result-1076772-1215190160/solver-1076772-1215190160 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1076772-1215190160.xml 1202622497
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/72 28128
/proc/meminfo: memFree=1706424/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=1056 CPUtime=0
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1997988482 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 1979172 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 264 26 20 235 0 3 0
[startup+0.193507 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28128
/proc/meminfo: memFree=1706424/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=9152 CPUtime=0.17
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 1392 0 0 0 17 0 0 0 18 0 1 0 1997988482 9371648 1352 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 2288 1352 365 235 0 989 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9152
[startup+0.201503 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28128
/proc/meminfo: memFree=1706424/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=9152 CPUtime=0.18
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 1392 0 0 0 18 0 0 0 18 0 1 0 1997988482 9371648 1352 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 2288 1352 365 235 0 989 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9152
[startup+0.301512 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28128
/proc/meminfo: memFree=1706424/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107100 CPUtime=0.29
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 2486 0 0 0 28 1 0 0 19 0 1 0 1997988482 109670400 2446 996147200 134512640 135477443 4294956224 18446744073709551615 134616650 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26775 2446 400 235 0 25476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 107100
[startup+0.701548 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28128
/proc/meminfo: memFree=1706424/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=113700 CPUtime=0.68
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 4208 0 0 0 67 1 0 0 23 0 1 0 1997988482 116428800 4169 996147200 134512640 135477443 4294956224 18446744073709551615 2414203 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 28425 4169 431 235 0 27126 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 113700
[startup+1.50162 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1664240/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=165312 CPUtime=1.48
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 17099 0 0 0 141 7 0 0 25 0 1 0 1997988482 169279488 17059 996147200 134512640 135477443 4294956224 18446744073709551615 2414203 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 41328 17059 432 235 0 40029 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 165312
[startup+3.10176 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1600432/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=250452 CPUtime=3.07
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 38400 0 0 0 289 18 0 0 25 0 1 0 1997988482 256462848 38360 996147200 134512640 135477443 4294956224 18446744073709551615 2414203 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 62613 38361 432 235 0 61314 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 250452
[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1434672/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=414396 CPUtime=6.25
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 79373 0 0 0 589 36 0 0 25 0 1 0 1997988482 424341504 79333 996147200 134512640 135477443 4294956224 18446744073709551615 2414203 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 103599 79333 432 235 0 102300 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 414396
[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1696368/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=12.62
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 128276 0 0 0 1199 63 0 0 25 0 1 0 1997988482 109608960 3013 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3013 456 235 0 25461 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 107040
[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1693936/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=25.38
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 128550 0 0 0 2474 64 0 0 25 0 1 0 1997988482 109608960 3287 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3287 456 235 0 25461 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 107040
[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1693744/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=50.87
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 128596 0 0 0 5023 64 0 0 25 0 1 0 1997988482 109608960 3333 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3333 456 235 0 25461 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 107040
[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1693168/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=101.88
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 128792 0 0 0 10124 64 0 0 25 0 1 0 1997988482 109608960 3529 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3529 495 235 0 25461 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 107040
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1692208/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=161.64
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129024 0 0 0 16099 65 0 0 25 0 1 0 1997988482 109608960 3761 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3761 495 235 0 25461 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 107040
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1692144/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=221.41
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129024 0 0 0 22076 65 0 0 25 0 1 0 1997988482 109608960 3761 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3761 495 235 0 25461 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 107040
[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1692208/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=281.17
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129024 0 0 0 28052 65 0 0 25 0 1 0 1997988482 109608960 3761 996147200 134512640 135477443 4294956224 18446744073709551615 134590229 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3761 495 235 0 25461 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 107040
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1692144/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=340.93
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129024 0 0 0 34028 65 0 0 25 0 1 0 1997988482 109608960 3761 996147200 134512640 135477443 4294956224 18446744073709551615 134600981 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3761 495 235 0 25461 0
Current children cumulated CPU time (s) 340.93
Current children cumulated vsize (KiB) 107040
[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1692080/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=400.7
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129041 0 0 0 40004 66 0 0 25 0 1 0 1997988482 109608960 3778 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3778 495 235 0 25461 0
Current children cumulated CPU time (s) 400.7
Current children cumulated vsize (KiB) 107040
[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1691760/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=460.47
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 45981 66 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600960 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 460.47
Current children cumulated vsize (KiB) 107040
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1691696/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=520.23
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 51957 66 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 520.23
Current children cumulated vsize (KiB) 107040
[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1691696/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=579.99
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 57933 66 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (KiB) 107040
[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28129
/proc/meminfo: memFree=1691696/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=639.75
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 63909 66 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (KiB) 107040
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28135
/proc/meminfo: memFree=1691696/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=878.81
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 87813 68 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 878.81
Current children cumulated vsize (KiB) 107040
[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28135
/proc/meminfo: memFree=1691632/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=938.57
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 93789 68 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600988 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 938.57
Current children cumulated vsize (KiB) 107040
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28135
/proc/meminfo: memFree=1691632/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=998.34
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 99766 68 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600873 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 998.34
Current children cumulated vsize (KiB) 107040
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 28135
/proc/meminfo: memFree=1691440/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1058.1
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 105742 68 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1058.1
Current children cumulated vsize (KiB) 107040
[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1623392/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1117.85
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 111716 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1117.85
Current children cumulated vsize (KiB) 107040
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1623136/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1177.62
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 117693 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1177.62
Current children cumulated vsize (KiB) 107040
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1237.37
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 123668 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600974 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1237.37
Current children cumulated vsize (KiB) 107040
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 28184
/proc/meminfo: memFree=1623008/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1297.13
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 129644 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134583306 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1297.13
Current children cumulated vsize (KiB) 107040
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1356.89
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 135620 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590180 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1356.89
Current children cumulated vsize (KiB) 107040
[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1416.65
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 141596 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1416.65
Current children cumulated vsize (KiB) 107040
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1476.41
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 147572 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600974 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1476.41
Current children cumulated vsize (KiB) 107040
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1536.17
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 153548 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134610263 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1536.17
Current children cumulated vsize (KiB) 107040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1595.93
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 159524 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1595.93
Current children cumulated vsize (KiB) 107040
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 28184
/proc/meminfo: memFree=1623072/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1655.69
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129082 0 0 0 165500 69 0 0 25 0 1 0 1997988482 109608960 3819 996147200 134512640 135477443 4294956224 18446744073709551615 134600981 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3819 495 235 0 25461 0
Current children cumulated CPU time (s) 1655.69
Current children cumulated vsize (KiB) 107040
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 28184
/proc/meminfo: memFree=1622944/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1715.45
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129084 0 0 0 171476 69 0 0 25 0 1 0 1997988482 109608960 3821 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3821 495 235 0 25461 0
Current children cumulated CPU time (s) 1715.45
Current children cumulated vsize (KiB) 107040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1622880/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1775.22
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129084 0 0 0 177452 70 0 0 25 0 1 0 1997988482 109608960 3821 996147200 134512640 135477443 4294956224 18446744073709551615 134600823 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3821 495 235 0 25461 0
Current children cumulated CPU time (s) 1775.22
Current children cumulated vsize (KiB) 107040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1622880/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1800.02
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129084 0 0 0 179932 70 0 0 25 0 1 0 1997988482 109608960 3821 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3821 495 235 0 25461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 107040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 28184
/proc/meminfo: memFree=1622880/2055920 swapFree=4179776/4192956
[pid=28128] ppid=28126 vsize=107040 CPUtime=1800.02
/proc/28128/stat : 28128 (casperzao) R 28126 28128 25770 0 -1 4194304 129084 0 0 0 179932 70 0 0 25 0 1 0 1997988482 109608960 3821 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/28128/statm: 26760 3821 495 235 0 25461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 107040
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.21
CPU time (s): 1800.02
CPU user time (s): 1799.32
CPU system time (s): 0.702893
CPU usage (%): 99.6024
Max. virtual memory (cumulated for all children) (KiB): 639748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129084
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= 22444
runsolver used 1.86772 second user time and 4.71828 second system time
The end
Begin job on node43 at 2008-07-04 18:49:20
IDJOB=1076772
IDBENCH=56604
IDSOLVER=361
FILE ID=node43/1076772-1215190160
PBS_JOBID= 7881524
Free space on /tmp= 66508 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg13-14_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076772-1215190160/watcher-1076772-1215190160 -o /tmp/evaluation-result-1076772-1215190160/solver-1076772-1215190160 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1076772-1215190160.xml 1202622497
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d30d429cf00b20dd1d01dc037907e480
RANDOM SEED=1202622497
node43.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.230
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.230
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: 1706904 kB
Buffers: 61008 kB
Cached: 212036 kB
SwapCached: 7048 kB
Active: 204748 kB
Inactive: 84268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706904 kB
SwapTotal: 4192956 kB
SwapFree: 4179776 kB
Dirty: 4884 kB
Writeback: 0 kB
Mapped: 23096 kB
Slab: 45184 kB
Committed_AS: 3715960 kB
PageTables: 1832 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= 66504 MiB
End job on node43 at 2008-07-04 19:19:29