0.00/0.04 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.04 c Parsing = 1
0.78/0.87 c Building = 1
78.90/79.60 c [ NumberOfVariables = 2800 ]
78.90/79.60 c [ NumberOfConstraints = 22569 ]
78.90/79.66 c [ SizeOfSearchSpace(log2) = 25817.1 ]
78.90/79.66 c SymmetrySearch = 1
85.54/86.33 c InitialPropagation = 1
85.64/86.42 c [ SizeOfSearchSpace(log2) = 25816 ]
85.64/86.42 c InitialSAC = (Timeout)
117.56/118.67 c [ SizeOfSearchSpace(log2) = 25810.3 ]
117.66/118.79 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-1086746-1215241034/watcher-1086746-1215241034 -o /tmp/evaluation-result-1086746-1215241034/solver-1086746-1215241034 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086746-1215241034.xml 1453155811
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.11 2.06 2.01 4/80 28758
/proc/meminfo: memFree=1127080/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=18572 CPUtime=0
/proc/28758/stat : 28758 (runsolver) R 28756 28758 28378 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2003078689 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28758/statm: 4643 292 257 25 0 2626 0
[startup+0.155713 s]
/proc/loadavg: 2.11 2.06 2.01 4/80 28758
/proc/meminfo: memFree=1127080/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=7552 CPUtime=0.14
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 996 0 0 0 14 0 0 0 19 0 1 0 2003078689 7733248 956 996147200 134512640 135477443 4294956224 18446744073709551615 134774117 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 1888 956 370 235 0 589 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 7552
[startup+0.201723 s]
/proc/loadavg: 2.11 2.06 2.01 4/80 28758
/proc/meminfo: memFree=1127080/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=8080 CPUtime=0.18
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 1142 0 0 0 18 0 0 0 19 0 1 0 2003078689 8273920 1102 996147200 134512640 135477443 4294956224 18446744073709551615 4158884493 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 2020 1102 370 235 0 721 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8080
[startup+0.301745 s]
/proc/loadavg: 2.11 2.06 2.01 4/80 28758
/proc/meminfo: memFree=1127080/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=9400 CPUtime=0.29
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 1459 0 0 0 28 1 0 0 20 0 1 0 2003078689 9625600 1419 996147200 134512640 135477443 4294956224 18446744073709551615 4159697059 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 2350 1419 370 235 0 1051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9400
[startup+0.701821 s]
/proc/loadavg: 2.11 2.06 2.01 4/80 28758
/proc/meminfo: memFree=1127080/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=14284 CPUtime=0.69
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 2690 0 0 0 68 1 0 0 23 0 1 0 2003078689 14626816 2650 996147200 134512640 135477443 4294956224 18446744073709551615 4159743898 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 3571 2650 370 235 0 2272 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14284
[startup+1.50198 s]
/proc/loadavg: 2.11 2.06 2.01 4/81 28759
/proc/meminfo: memFree=1065504/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=297268 CPUtime=1.47
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 36624 0 0 0 129 18 0 0 25 0 1 0 2003078689 304402432 36584 996147200 134512640 135477443 4294956224 18446744073709551615 134594245 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 74317 36584 392 235 0 73018 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 297268
[startup+3.10129 s]
/proc/loadavg: 2.11 2.06 2.01 4/81 28759
/proc/meminfo: memFree=933152/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=486364 CPUtime=3.06
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 50599 0 0 0 279 27 0 0 25 0 1 0 2003078689 498036736 48824 996147200 134512640 135477443 4294956224 18446744073709551615 134694649 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 121591 48824 461 235 0 120292 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 486364
[startup+6.30192 s]
/proc/loadavg: 2.10 2.06 2.01 3/81 28759
/proc/meminfo: memFree=928224/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=491776 CPUtime=6.23
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 56634 0 0 0 594 29 0 0 25 0 1 0 2003078689 503578624 50186 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 122944 50186 461 235 0 121645 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 491776
[startup+12.7012 s]
/proc/loadavg: 2.10 2.06 2.01 3/81 28759
/proc/meminfo: memFree=921312/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=497848 CPUtime=12.58
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 63465 0 0 0 1226 32 0 0 25 0 1 0 2003078689 509796352 51720 996147200 134512640 135477443 4294956224 18446744073709551615 135268944 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 124462 51720 461 235 0 123163 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 497848
[startup+25.5017 s]
/proc/loadavg: 2.07 2.05 2.01 3/81 28759
/proc/meminfo: memFree=905120/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=514000 CPUtime=25.27
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 81524 0 0 0 2489 38 0 0 25 0 1 0 2003078689 526336000 55774 996147200 134512640 135477443 4294956224 18446744073709551615 134598086 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 128500 55774 461 235 0 127201 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 514000
[startup+51.1017 s]
/proc/loadavg: 2.05 2.05 2.01 3/81 28759
/proc/meminfo: memFree=871584/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=548036 CPUtime=50.64
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 128133 0 0 0 5011 53 0 0 25 0 1 0 2003078689 561188864 64258 996147200 134512640 135477443 4294956224 18446744073709551615 135272088 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 137009 64258 461 235 0 135710 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 548036
[startup+102.302 s]
/proc/loadavg: 2.02 2.04 2.00 3/81 28759
/proc/meminfo: memFree=817824/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=101.4
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199197 0 0 0 9999 141 0 0 25 0 1 0 2003078689 407703552 77539 996147200 134512640 135477443 4294956224 18446744073709551615 135004953 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 77539 503 235 0 98238 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 398148
[startup+162.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 28759
/proc/meminfo: memFree=815008/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=160.88
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199890 0 0 0 15947 141 0 0 25 0 1 0 2003078689 407703552 78232 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78232 524 235 0 98238 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 398148
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28759
/proc/meminfo: memFree=814880/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=220.38
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199943 0 0 0 21896 142 0 0 25 0 1 0 2003078689 407703552 78285 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78285 524 235 0 98238 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 398148
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 28765
/proc/meminfo: memFree=814112/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=279.86
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199963 0 0 0 27844 142 0 0 25 0 1 0 2003078689 407703552 78305 996147200 134512640 135477443 4294956224 18446744073709551615 135208558 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78305 524 235 0 98238 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 398148
[startup+342.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 28765
/proc/meminfo: memFree=814048/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=339.34
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199966 0 0 0 33792 142 0 0 25 0 1 0 2003078689 407703552 78308 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78308 524 235 0 98238 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 398148
[startup+402.302 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 28765
/proc/meminfo: memFree=813856/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=398.83
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199983 0 0 0 39741 142 0 0 25 0 1 0 2003078689 407703552 78325 996147200 134512640 135477443 4294956224 18446744073709551615 135208558 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78325 524 235 0 98238 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 398148
[startup+462.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 28765
/proc/meminfo: memFree=813856/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=458.31
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199985 0 0 0 45689 142 0 0 25 0 1 0 2003078689 407703552 78327 996147200 134512640 135477443 4294956224 18446744073709551615 135208563 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78327 524 235 0 98238 0
Current children cumulated CPU time (s) 458.31
Current children cumulated vsize (KiB) 398148
[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 28765
/proc/meminfo: memFree=813856/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=517.8
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199985 0 0 0 51638 142 0 0 25 0 1 0 2003078689 407703552 78327 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78327 524 235 0 98238 0
Current children cumulated CPU time (s) 517.8
Current children cumulated vsize (KiB) 398148
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 28765
/proc/meminfo: memFree=813856/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=577.28
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199985 0 0 0 57586 142 0 0 25 0 1 0 2003078689 407703552 78327 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78327 524 235 0 98238 0
Current children cumulated CPU time (s) 577.28
Current children cumulated vsize (KiB) 398148
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 28765
/proc/meminfo: memFree=813728/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=636.77
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199990 0 0 0 63535 142 0 0 25 0 1 0 2003078689 407703552 78332 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78332 524 235 0 98238 0
Current children cumulated CPU time (s) 636.77
Current children cumulated vsize (KiB) 398148
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28765
/proc/meminfo: memFree=813472/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=874.71
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199992 0 0 0 87329 142 0 0 25 0 1 0 2003078689 407703552 78334 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78334 524 235 0 98238 0
Current children cumulated CPU time (s) 874.71
Current children cumulated vsize (KiB) 398148
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28765
/proc/meminfo: memFree=813472/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=934.2
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199992 0 0 0 93278 142 0 0 25 0 1 0 2003078689 407703552 78334 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78334 524 235 0 98238 0
Current children cumulated CPU time (s) 934.2
Current children cumulated vsize (KiB) 398148
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 28765
/proc/meminfo: memFree=813408/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=993.68
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199992 0 0 0 99226 142 0 0 25 0 1 0 2003078689 407703552 78334 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78334 524 235 0 98238 0
Current children cumulated CPU time (s) 993.68
Current children cumulated vsize (KiB) 398148
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 28765
/proc/meminfo: memFree=813280/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1053.17
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199992 0 0 0 105175 142 0 0 25 0 1 0 2003078689 407703552 78334 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78334 524 235 0 98238 0
Current children cumulated CPU time (s) 1053.17
Current children cumulated vsize (KiB) 398148
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28765
/proc/meminfo: memFree=813280/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1112.66
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199993 0 0 0 111124 142 0 0 25 0 1 0 2003078689 407703552 78335 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78335 524 235 0 98238 0
Current children cumulated CPU time (s) 1112.66
Current children cumulated vsize (KiB) 398148
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/81 28765
/proc/meminfo: memFree=813216/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1172.14
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 199993 0 0 0 117072 142 0 0 25 0 1 0 2003078689 407703552 78335 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78335 524 235 0 98238 0
Current children cumulated CPU time (s) 1172.14
Current children cumulated vsize (KiB) 398148
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 28765
/proc/meminfo: memFree=812960/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1231.63
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200000 0 0 0 123021 142 0 0 25 0 1 0 2003078689 407703552 78342 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28758/statm: 99537 78342 524 235 0 98238 0
Current children cumulated CPU time (s) 1231.63
Current children cumulated vsize (KiB) 398148
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 28849
/proc/meminfo: memFree=1303000/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1291.57
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200001 0 0 0 129014 143 0 0 25 0 1 0 2003078689 407703552 78343 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78343 524 235 0 98238 0
Current children cumulated CPU time (s) 1291.57
Current children cumulated vsize (KiB) 398148
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/82 28849
/proc/meminfo: memFree=1195928/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1351.54
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200001 0 0 0 135011 143 0 0 25 0 1 0 2003078689 407703552 78343 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78343 524 235 0 98238 0
Current children cumulated CPU time (s) 1351.54
Current children cumulated vsize (KiB) 398148
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 28849
/proc/meminfo: memFree=1109144/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1411.53
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200003 0 0 0 141009 144 0 0 25 0 1 0 2003078689 407703552 78345 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78345 524 235 0 98238 0
Current children cumulated CPU time (s) 1411.53
Current children cumulated vsize (KiB) 398148
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/82 28849
/proc/meminfo: memFree=1041944/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1471.5
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200004 0 0 0 147006 144 0 0 25 0 1 0 2003078689 407703552 78346 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78346 524 235 0 98238 0
Current children cumulated CPU time (s) 1471.5
Current children cumulated vsize (KiB) 398148
[startup+1542.31 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 28849
/proc/meminfo: memFree=1014424/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1531.47
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200005 0 0 0 153003 144 0 0 25 0 1 0 2003078689 407703552 78347 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78347 524 235 0 98238 0
Current children cumulated CPU time (s) 1531.47
Current children cumulated vsize (KiB) 398148
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 28849
/proc/meminfo: memFree=978328/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1591.44
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200006 0 0 0 159000 144 0 0 25 0 1 0 2003078689 407703552 78348 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78348 524 235 0 98238 0
Current children cumulated CPU time (s) 1591.44
Current children cumulated vsize (KiB) 398148
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 28849
/proc/meminfo: memFree=941720/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1651.42
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200007 0 0 0 164998 144 0 0 25 0 1 0 2003078689 407703552 78349 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78349 524 235 0 98238 0
Current children cumulated CPU time (s) 1651.42
Current children cumulated vsize (KiB) 398148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 28849
/proc/meminfo: memFree=916184/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1711.38
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200008 0 0 0 170994 144 0 0 25 0 1 0 2003078689 407703552 78350 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78350 524 235 0 98238 0
Current children cumulated CPU time (s) 1711.38
Current children cumulated vsize (KiB) 398148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 28849
/proc/meminfo: memFree=901464/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1771.35
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200008 0 0 0 176991 144 0 0 25 0 1 0 2003078689 407703552 78350 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78350 524 235 0 98238 0
Current children cumulated CPU time (s) 1771.35
Current children cumulated vsize (KiB) 398148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811 s]
/proc/loadavg: 2.12 2.04 2.01 4/82 28849
/proc/meminfo: memFree=891288/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1800.05
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200009 0 0 0 179861 144 0 0 25 0 1 0 2003078689 407703552 78351 996147200 134512640 135477443 4294956224 18446744073709551615 135208595 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78351 524 235 0 98238 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 398148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811 s]
/proc/loadavg: 2.12 2.04 2.01 4/82 28849
/proc/meminfo: memFree=891288/2055924 swapFree=4180432/4192956
[pid=28758] ppid=28756 vsize=398148 CPUtime=1800.05
/proc/28758/stat : 28758 (casperzao) R 28756 28758 28378 0 -1 4194304 200009 0 0 0 179861 144 0 0 25 0 1 0 2003078689 407703552 78351 996147200 134512640 135477443 4294956224 18446744073709551615 135208595 0 0 4096 0 0 0 0 17 0 0 0
/proc/28758/statm: 99537 78351 524 235 0 98238 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 398148
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.06
CPU time (s): 1800.11
CPU user time (s): 1798.61
CPU system time (s): 1.49777
CPU usage (%): 99.3956
Max. virtual memory (cumulated for all children) (KiB): 578100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200009
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= 53633
runsolver used 1.9777 second user time and 5.14822 second system time
The end
Begin job on node6 at 2008-07-05 08:57:14
IDJOB=1086746
IDBENCH=57874
IDSOLVER=361
FILE ID=node6/1086746-1215241034
PBS_JOBID= 7881970
Free space on /tmp= 66476 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-5.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086746-1215241034/watcher-1086746-1215241034 -o /tmp/evaluation-result-1086746-1215241034/solver-1086746-1215241034 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086746-1215241034.xml 1453155811
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 712a20b0506303fd583b688f94b5a45f
RANDOM SEED=1453155811
node6.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: 2055924 kB
MemFree: 1127560 kB
Buffers: 4632 kB
Cached: 75192 kB
SwapCached: 6536 kB
Active: 858268 kB
Inactive: 19784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1127560 kB
SwapTotal: 4192956 kB
SwapFree: 4180432 kB
Dirty: 6100 kB
Writeback: 0 kB
Mapped: 814544 kB
Slab: 33868 kB
Committed_AS: 4156540 kB
PageTables: 3508 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= 66480 MiB
End job on node6 at 2008-07-05 09:27:27