0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
1.19/1.21 c Building = 1
3.98/4.06 c [ NumberOfVariables = 29004 ]
3.98/4.06 c [ NumberOfConstraints = 27477 ]
3.98/4.07 c [ SizeOfSearchSpace(log2) = 362316 ]
3.98/4.07 c SymmetrySearch = 1
5.29/5.37 c InitialPropagation = 1
5.39/5.46 c [ SizeOfSearchSpace(log2) = 16936.5 ]
5.39/5.46 c InitialSAC = (Timeout)
35.46/35.51 c [ SizeOfSearchSpace(log2) = 15788.9 ]
35.46/35.53 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-1059326-1215122624/watcher-1059326-1215122624 -o /tmp/evaluation-result-1059326-1215122624/solver-1059326-1215122624 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1059326-1215122624.xml 1313924179
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.91 1.98 1.99 4/72 31722
/proc/meminfo: memFree=1199624/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=5352 CPUtime=0
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 1991236174 5480448 189 996147200 134512640 135477443 4294956224 18446744073709551615 6986616 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 1338 190 156 235 0 27 0
[startup+0.098952 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 31722
/proc/meminfo: memFree=1199624/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=6904 CPUtime=0.08
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 825 0 0 0 8 0 0 0 18 0 1 0 1991236174 7069696 785 996147200 134512640 135477443 4294956224 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 1726 785 362 235 0 427 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6904
[startup+0.101981 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 31722
/proc/meminfo: memFree=1199624/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=6904 CPUtime=0.08
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 835 0 0 0 8 0 0 0 18 0 1 0 1991236174 7069696 795 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 1726 795 362 235 0 427 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6904
[startup+0.302005 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 31722
/proc/meminfo: memFree=1199624/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=9644 CPUtime=0.28
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 1527 0 0 0 28 0 0 0 19 0 1 0 1991236174 9875456 1487 996147200 134512640 135477443 4294956224 18446744073709551615 7458579 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 2411 1488 375 235 0 1112 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9644
[startup+0.70203 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 31722
/proc/meminfo: memFree=1199624/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=14000 CPUtime=0.68
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 2625 0 0 0 67 1 0 0 23 0 1 0 1991236174 14336000 2585 996147200 134512640 135477443 4294956224 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 3500 2585 375 235 0 2201 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14000
[startup+1.50104 s]
/proc/loadavg: 1.91 1.98 1.99 3/73 31723
/proc/meminfo: memFree=1187584/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=341340 CPUtime=1.49
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 17919 0 0 0 139 10 0 0 25 0 1 0 1991236174 349532160 17129 996147200 134512640 135477443 4294956224 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 85368 17132 461 235 0 84069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 341340
[startup+3.10219 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 31723
/proc/meminfo: memFree=1024896/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=392124 CPUtime=3.08
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 87678 0 0 0 249 59 0 0 25 0 1 0 1991236174 401534976 77325 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 98030 77325 465 235 0 96731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 392124
[startup+6.30135 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 31723
/proc/meminfo: memFree=880000/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=396032 CPUtime=6.28
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 115457 0 0 0 503 125 0 0 25 0 1 0 1991236174 405536768 80730 996147200 134512640 135477443 4294956224 18446744073709551615 134694399 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 99008 80731 509 235 0 97709 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 396032
[startup+12.7028 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 31723
/proc/meminfo: memFree=877440/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=396032 CPUtime=12.68
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 115594 0 0 0 1143 125 0 0 25 0 1 0 1991236174 405536768 80867 996147200 134512640 135477443 4294956224 18446744073709551615 134927409 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 99008 80867 509 235 0 97709 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 396032
[startup+25.5016 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 31723
/proc/meminfo: memFree=876288/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=396032 CPUtime=25.48
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 115915 0 0 0 2422 126 0 0 25 0 1 0 1991236174 405536768 81188 996147200 134512640 135477443 4294956224 18446744073709551615 134990329 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 99008 81188 509 235 0 97709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 396032
[startup+51.1013 s]
/proc/loadavg: 2.03 1.99 1.99 3/73 31723
/proc/meminfo: memFree=869248/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=51.05
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 117662 0 0 0 4978 127 0 0 25 0 1 0 1991236174 469540864 82935 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 82935 530 235 0 113335 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 458536
[startup+102.307 s]
/proc/loadavg: 2.07 2.01 2.00 3/73 31723
/proc/meminfo: memFree=867264/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=102.21
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 118148 0 0 0 10094 127 0 0 25 0 1 0 1991236174 469540864 83421 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 83421 530 235 0 113335 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 458536
[startup+162.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/81 31758
/proc/meminfo: memFree=1091840/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=162.15
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 118902 0 0 0 16086 129 0 0 25 0 1 0 1991236174 469540864 84175 996147200 134512640 135477443 4294956224 18446744073709551615 135270176 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 84175 530 235 0 113335 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 458536
[startup+222.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/81 31758
/proc/meminfo: memFree=1091776/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=222.1
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 118902 0 0 0 22081 129 0 0 25 0 1 0 1991236174 469540864 84175 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 84175 530 235 0 113335 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 458536
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/81 31758
/proc/meminfo: memFree=1091776/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=282.05
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 118902 0 0 0 28076 129 0 0 25 0 1 0 1991236174 469540864 84175 996147200 134512640 135477443 4294956224 18446744073709551615 135208512 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 84175 530 235 0 113335 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 458536
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 31758
/proc/meminfo: memFree=1081664/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=342
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 120783 0 0 0 34070 130 0 0 25 0 1 0 1991236174 469540864 86056 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86056 530 235 0 113335 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 458536
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 31758
/proc/meminfo: memFree=1081344/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=401.96
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 120867 0 0 0 40065 131 0 0 25 0 1 0 1991236174 469540864 86140 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86140 530 235 0 113335 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 458536
[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 31758
/proc/meminfo: memFree=1081152/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=461.91
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 120912 0 0 0 46060 131 0 0 25 0 1 0 1991236174 469540864 86185 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86185 530 235 0 113335 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 458536
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31758
/proc/meminfo: memFree=1081088/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=521.85
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 120912 0 0 0 52054 131 0 0 25 0 1 0 1991236174 469540864 86185 996147200 134512640 135477443 4294956224 18446744073709551615 134922362 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86185 530 235 0 113335 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 458536
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31758
/proc/meminfo: memFree=1080960/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=581.8
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 120912 0 0 0 58049 131 0 0 25 0 1 0 1991236174 469540864 86185 996147200 134512640 135477443 4294956224 18446744073709551615 134673693 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86185 530 235 0 113335 0
Current children cumulated CPU time (s) 581.8
Current children cumulated vsize (KiB) 458536
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31758
/proc/meminfo: memFree=1080576/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=641.76
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121005 0 0 0 64045 131 0 0 25 0 1 0 1991236174 469540864 86278 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86278 530 235 0 113335 0
Current children cumulated CPU time (s) 641.76
Current children cumulated vsize (KiB) 458536
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31758
/proc/meminfo: memFree=1080192/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=881.57
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121006 0 0 0 88025 132 0 0 25 0 1 0 1991236174 469540864 86279 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86279 530 235 0 113335 0
Current children cumulated CPU time (s) 881.57
Current children cumulated vsize (KiB) 458536
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31758
/proc/meminfo: memFree=1080192/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=941.52
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121023 0 0 0 94020 132 0 0 25 0 1 0 1991236174 469540864 86296 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86296 530 235 0 113335 0
Current children cumulated CPU time (s) 941.52
Current children cumulated vsize (KiB) 458536
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 31758
/proc/meminfo: memFree=1079616/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1001.46
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 100014 132 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1001.46
Current children cumulated vsize (KiB) 458536
[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/81 31758
/proc/meminfo: memFree=1079680/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1061.42
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 106009 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1061.42
Current children cumulated vsize (KiB) 458536
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/81 31758
/proc/meminfo: memFree=1079680/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1121.37
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 112004 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1121.37
Current children cumulated vsize (KiB) 458536
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/81 31758
/proc/meminfo: memFree=1079616/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1181.32
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 117999 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1181.32
Current children cumulated vsize (KiB) 458536
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 31758
/proc/meminfo: memFree=1079424/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1241.27
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 123994 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134911518 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1241.27
Current children cumulated vsize (KiB) 458536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 31758
/proc/meminfo: memFree=1079424/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1301.22
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 129989 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1301.22
Current children cumulated vsize (KiB) 458536
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 31760
/proc/meminfo: memFree=1079040/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1361.17
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 135984 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1361.17
Current children cumulated vsize (KiB) 458536
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 31760
/proc/meminfo: memFree=1079040/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1421.12
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 141979 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134583088 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1421.12
Current children cumulated vsize (KiB) 458536
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1079232/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1481.07
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 147974 133 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135208512 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1481.07
Current children cumulated vsize (KiB) 458536
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1079232/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1541.03
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 153969 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1541.03
Current children cumulated vsize (KiB) 458536
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1079232/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1600.98
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 159964 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135268944 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1600.98
Current children cumulated vsize (KiB) 458536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1079232/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1660.93
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 165959 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135268496 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1660.93
Current children cumulated vsize (KiB) 458536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1079168/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1720.88
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 171954 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 134673670 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1720.88
Current children cumulated vsize (KiB) 458536
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1078976/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1780.83
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 177949 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135208512 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1780.83
Current children cumulated vsize (KiB) 458536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1078976/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1800.02
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 179868 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 458536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31760
/proc/meminfo: memFree=1078976/2055920 swapFree=4117436/4192956
[pid=31722] ppid=31720 vsize=458536 CPUtime=1800.02
/proc/31722/stat : 31722 (casperzao) R 31720 31722 30642 0 -1 4194304 121168 0 0 0 179868 134 0 0 25 0 1 0 1991236174 469540864 86441 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/31722/statm: 114634 86441 530 235 0 113335 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 458536
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.56
CPU time (s): 1800.08
CPU user time (s): 1798.68
CPU system time (s): 1.39979
CPU usage (%): 99.9178
Max. virtual memory (cumulated for all children) (KiB): 576264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.39979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121168
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= 6937
runsolver used 1.86072 second user time and 5.2882 second system time
The end
Begin job on node30 at 2008-07-04 00:03:45
IDJOB=1059326
IDBENCH=54236
IDSOLVER=361
FILE ID=node30/1059326-1215122624
PBS_JOBID= 7877143
Free space on /tmp= 66544 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-11-10-fair.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059326-1215122624/watcher-1059326-1215122624 -o /tmp/evaluation-result-1059326-1215122624/solver-1059326-1215122624 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1059326-1215122624.xml 1313924179
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0279a7fde5121ec712efd314d7d88e3f
RANDOM SEED=1313924179
node30.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.218
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.218
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: 1200104 kB
Buffers: 73852 kB
Cached: 287504 kB
SwapCached: 69492 kB
Active: 597788 kB
Inactive: 179168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1200104 kB
SwapTotal: 4192956 kB
SwapFree: 4117436 kB
Dirty: 7772 kB
Writeback: 0 kB
Mapped: 423548 kB
Slab: 63496 kB
Committed_AS: 3920560 kB
PageTables: 2480 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= 66540 MiB
End job on node30 at 2008-07-04 00:33:48