0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
3.97/4.01 c Building = 1
4.07/4.16 c [ NumberOfVariables = 4890 ]
4.07/4.16 c [ NumberOfConstraints = 419 ]
4.07/4.16 c [ SizeOfSearchSpace(log2) = 4890 ]
4.07/4.16 c SymmetrySearch = (Timeout)
14.42/14.50 c [ Proceeding without symmetry breaking ]
14.42/14.55 c InitialPropagation = 1
15.42/15.53 c [ SizeOfSearchSpace(log2) = 4162 ]
15.42/15.53 c InitialSAC = (Timeout)
48.19/48.46 c [ SizeOfSearchSpace(log2) = 4162 ]
48.19/48.46 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-1063547-1215137818/watcher-1063547-1215137818 -o /tmp/evaluation-result-1063547-1215137818/solver-1063547-1215137818 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1063547-1215137818.xml 1163687794
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.93 2.31 2.34 4/83 19736
/proc/meminfo: memFree=941992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=1056 CPUtime=0
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1992756428 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 2605860 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 264 26 20 235 0 3 0
[startup+0.106559 s]
/proc/loadavg: 1.93 2.31 2.34 4/83 19736
/proc/meminfo: memFree=941992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=11052 CPUtime=0.08
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 1868 0 0 0 8 0 0 0 18 0 1 0 1992756428 11317248 1828 996147200 134512640 135477443 4294956224 18446744073709551615 4158759678 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 2763 1828 369 235 0 1464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11052
[startup+0.202569 s]
/proc/loadavg: 1.93 2.31 2.34 4/83 19736
/proc/meminfo: memFree=941992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=18712 CPUtime=0.18
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 3775 0 0 0 17 1 0 0 18 0 1 0 1992756428 19161088 3735 996147200 134512640 135477443 4294956224 18446744073709551615 134736656 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 4678 3735 369 235 0 3379 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18712
[startup+0.302579 s]
/proc/loadavg: 1.93 2.31 2.34 4/83 19736
/proc/meminfo: memFree=941992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=27076 CPUtime=0.28
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 5874 0 0 0 26 2 0 0 19 0 1 0 1992756428 27725824 5834 996147200 134512640 135477443 4294956224 18446744073709551615 2773540 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 6769 5834 369 235 0 5470 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27076
[startup+0.702617 s]
/proc/loadavg: 1.93 2.31 2.34 4/83 19736
/proc/meminfo: memFree=941992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=61492 CPUtime=0.68
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 14485 0 0 0 62 6 0 0 23 0 1 0 1992756428 62967808 14445 996147200 134512640 135477443 4294956224 18446744073709551615 4158772385 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 15373 14445 369 235 0 14074 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 61492
[startup+1.50171 s]
/proc/loadavg: 1.93 2.31 2.34 3/84 19737
/proc/meminfo: memFree=851360/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=130788 CPUtime=1.48
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 31814 0 0 0 133 15 0 0 25 0 1 0 1992756428 133926912 31774 996147200 134512640 135477443 4294956224 18446744073709551615 134736577 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 32697 31774 369 235 0 31398 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 130788
[startup+3.10187 s]
/proc/loadavg: 1.93 2.31 2.34 3/84 19737
/proc/meminfo: memFree=753184/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=271292 CPUtime=3.07
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 66941 0 0 0 278 29 0 0 25 0 1 0 1992756428 277803008 66901 996147200 134512640 135477443 4294956224 18446744073709551615 134736600 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 67823 66901 369 235 0 66524 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 271292
[startup+6.30119 s]
/proc/loadavg: 1.94 2.31 2.34 3/84 19737
/proc/meminfo: memFree=609952/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=423828 CPUtime=6.26
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 83696 0 0 0 589 37 0 0 25 0 1 0 1992756428 433999872 83218 996147200 134512640 135477443 4294956224 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 105957 83218 456 235 0 104658 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 423828
[startup+12.7019 s]
/proc/loadavg: 1.94 2.30 2.33 3/84 19737
/proc/meminfo: memFree=609440/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=424092 CPUtime=12.63
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 83781 0 0 0 1226 37 0 0 25 0 1 0 1992756428 434270208 83303 996147200 134512640 135477443 4294956224 18446744073709551615 134538238 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 106023 83303 456 235 0 104724 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 424092
[startup+25.5012 s]
/proc/loadavg: 1.95 2.29 2.33 3/84 19737
/proc/meminfo: memFree=614816/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=25.38
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 83847 0 0 0 2501 37 0 0 25 0 1 0 1992756428 426852352 81976 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 81976 486 235 0 102913 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 416848
[startup+51.1029 s]
/proc/loadavg: 1.97 2.26 2.32 3/84 19737
/proc/meminfo: memFree=614624/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=50.88
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 83939 0 0 0 5051 37 0 0 25 0 1 0 1992756428 426852352 82068 996147200 134512640 135477443 4294956224 18446744073709551615 134942199 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82068 497 235 0 102913 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 416848
[startup+102.302 s]
/proc/loadavg: 1.98 2.22 2.30 3/84 19737
/proc/meminfo: memFree=613920/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=101.89
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84022 0 0 0 10151 38 0 0 25 0 1 0 1992756428 426852352 82151 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82151 507 235 0 102913 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 416848
[startup+162.301 s]
/proc/loadavg: 2.03 2.19 2.28 3/84 19737
/proc/meminfo: memFree=613280/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=161.64
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84087 0 0 0 16126 38 0 0 25 0 1 0 1992756428 426852352 82216 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82216 507 235 0 102913 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 416848
[startup+222.307 s]
/proc/loadavg: 2.16 2.20 2.27 3/84 19737
/proc/meminfo: memFree=612896/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=221.4
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84155 0 0 0 22102 38 0 0 25 0 1 0 1992756428 426852352 82284 996147200 134512640 135477443 4294956224 18446744073709551615 135268944 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82284 507 235 0 102913 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 416848
[startup+282.303 s]
/proc/loadavg: 2.36 2.24 2.28 3/84 19737
/proc/meminfo: memFree=612640/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=281.09
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84165 0 0 0 28071 38 0 0 25 0 1 0 1992756428 426852352 82294 996147200 134512640 135477443 4294956224 18446744073709551615 134585984 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82294 507 235 0 102913 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 416848
[startup+342.302 s]
/proc/loadavg: 2.35 2.25 2.28 3/84 19737
/proc/meminfo: memFree=612448/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=340.79
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84175 0 0 0 34041 38 0 0 25 0 1 0 1992756428 426852352 82304 996147200 134512640 135477443 4294956224 18446744073709551615 134942129 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82304 507 235 0 102913 0
Current children cumulated CPU time (s) 340.79
Current children cumulated vsize (KiB) 416848
[startup+402.302 s]
/proc/loadavg: 2.36 2.27 2.28 3/84 19737
/proc/meminfo: memFree=611296/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=400.5
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84175 0 0 0 40012 38 0 0 25 0 1 0 1992756428 426852352 82304 996147200 134512640 135477443 4294956224 18446744073709551615 134586012 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82304 507 235 0 102913 0
Current children cumulated CPU time (s) 400.5
Current children cumulated vsize (KiB) 416848
[startup+462.303 s]
/proc/loadavg: 2.20 2.23 2.26 3/84 19737
/proc/meminfo: memFree=610336/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=460.21
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84175 0 0 0 45982 39 0 0 25 0 1 0 1992756428 426852352 82304 996147200 134512640 135477443 4294956224 18446744073709551615 134586004 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82304 507 235 0 102913 0
Current children cumulated CPU time (s) 460.21
Current children cumulated vsize (KiB) 416848
[startup+522.303 s]
/proc/loadavg: 2.19 2.22 2.26 3/84 19737
/proc/meminfo: memFree=609824/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=519.93
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84250 0 0 0 51954 39 0 0 25 0 1 0 1992756428 426852352 82379 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82379 507 235 0 102913 0
Current children cumulated CPU time (s) 519.93
Current children cumulated vsize (KiB) 416848
[startup+582.302 s]
/proc/loadavg: 2.39 2.27 2.27 3/84 19737
/proc/meminfo: memFree=609312/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=579.63
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 57924 39 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 579.63
Current children cumulated vsize (KiB) 416848
[startup+642.302 s]
/proc/loadavg: 2.26 2.26 2.27 3/84 19737
/proc/meminfo: memFree=609056/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=639.34
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 63895 39 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942161 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 639.34
Current children cumulated vsize (KiB) 416848
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.06 2.17 2.23 3/84 19737
/proc/meminfo: memFree=607776/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=878.27
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 87788 39 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942327 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 878.27
Current children cumulated vsize (KiB) 416848
[startup+942.303 s]
/proc/loadavg: 2.02 2.14 2.21 3/84 19737
/proc/meminfo: memFree=607328/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=938.01
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 93762 39 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 938.01
Current children cumulated vsize (KiB) 416848
[startup+1002.3 s]
/proc/loadavg: 2.01 2.11 2.19 3/94 19794
/proc/meminfo: memFree=958864/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=997.43
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 99699 44 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942201 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 997.43
Current children cumulated vsize (KiB) 416848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.09 2.18 3/94 19794
/proc/meminfo: memFree=959056/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1056.28
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 105584 44 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1056.28
Current children cumulated vsize (KiB) 416848
[startup+1122.3 s]
/proc/loadavg: 2.00 2.07 2.17 3/94 19794
/proc/meminfo: memFree=958992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1115.14
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 111469 45 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1115.14
Current children cumulated vsize (KiB) 416848
[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.16 3/94 19794
/proc/meminfo: memFree=959056/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1173.99
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 117354 45 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1173.99
Current children cumulated vsize (KiB) 416848
[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.15 4/94 19794
/proc/meminfo: memFree=958992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1232.83
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 123238 45 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1232.83
Current children cumulated vsize (KiB) 416848
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.14 3/94 19795
/proc/meminfo: memFree=958800/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1291.68
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 129123 45 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134585552 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1291.68
Current children cumulated vsize (KiB) 416848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/94 19796
/proc/meminfo: memFree=958928/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1350.54
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 135008 46 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134586020 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1350.54
Current children cumulated vsize (KiB) 416848
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/94 19796
/proc/meminfo: memFree=958928/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1409.39
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 140893 46 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942199 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1409.39
Current children cumulated vsize (KiB) 416848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/94 19796
/proc/meminfo: memFree=958992/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1468.23
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 146777 46 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942199 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1468.23
Current children cumulated vsize (KiB) 416848
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.09 3/94 19796
/proc/meminfo: memFree=958928/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1527.08
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 152662 46 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1527.08
Current children cumulated vsize (KiB) 416848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/94 19796
/proc/meminfo: memFree=958864/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1585.93
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 158547 46 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134586012 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1585.93
Current children cumulated vsize (KiB) 416848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/94 19796
/proc/meminfo: memFree=958800/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1644.79
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 164432 47 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1644.79
Current children cumulated vsize (KiB) 416848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/94 19796
/proc/meminfo: memFree=958736/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1703.63
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 170316 47 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134942129 0 0 4096 0 0 0 0 17 1 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1703.63
Current children cumulated vsize (KiB) 416848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/85 19799
/proc/meminfo: memFree=995344/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1763.35
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 176288 47 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134585521 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1763.35
Current children cumulated vsize (KiB) 416848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819 s]
/proc/loadavg: 2.00 2.00 2.06 3/85 19799
/proc/meminfo: memFree=995344/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1800.04
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 179957 47 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 416848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1819 s]
/proc/loadavg: 2.00 2.00 2.06 3/85 19799
/proc/meminfo: memFree=995344/2055920 swapFree=4180448/4192956
[pid=19736] ppid=19734 vsize=416848 CPUtime=1800.04
/proc/19736/stat : 19736 (casperzao) R 19734 19736 14377 0 -1 4194304 84264 0 0 0 179957 47 0 0 25 0 1 0 1992756428 426852352 82393 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 0 0 0
/proc/19736/statm: 104212 82393 507 235 0 102913 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 416848
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1819.06
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.52492
CPU usage (%): 98.9576
Max. virtual memory (cumulated for all children) (KiB): 424092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.52492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84264
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= 52218
runsolver used 1.93871 second user time and 5.36518 second system time
The end
Begin job on node24 at 2008-07-04 04:16:59
IDJOB=1063547
IDBENCH=54767
IDSOLVER=361
FILE ID=node24/1063547-1215137818
PBS_JOBID= 7877216
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-agg.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063547-1215137818/watcher-1063547-1215137818 -o /tmp/evaluation-result-1063547-1215137818/solver-1063547-1215137818 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1063547-1215137818.xml 1163687794
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6e0d40fc33e849e9f83ca805655c3554
RANDOM SEED=1163687794
node24.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.232
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.232
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: 942472 kB
Buffers: 75168 kB
Cached: 479616 kB
SwapCached: 6556 kB
Active: 701812 kB
Inactive: 337052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 942472 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 4620 kB
Writeback: 0 kB
Mapped: 495516 kB
Slab: 58908 kB
Committed_AS: 4183572 kB
PageTables: 2768 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= 66524 MiB
End job on node24 at 2008-07-04 04:47:20