0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.99/1.06 c Building = 1
1.18/1.22 c [ NumberOfVariables = 800 ]
1.18/1.22 c [ NumberOfConstraints = 27284 ]
1.18/1.22 c [ SizeOfSearchSpace(log2) = 2306.89 ]
1.18/1.22 c SymmetrySearch = 1
1.88/1.97 c InitialPropagation = 1
1.98/2.02 c [ SizeOfSearchSpace(log2) = 2306.89 ]
1.98/2.02 c InitialSAC = (Timeout)
5.07/5.12 c [ SizeOfSearchSpace(log2) = 2306.89 ]
5.07/5.13 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-1057983-1215112007/watcher-1057983-1215112007 -o /tmp/evaluation-result-1057983-1215112007/solver-1057983-1215112007 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057983-1215112007.xml 713199693
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.97 1.97 4/74 16780
/proc/meminfo: memFree=1867368/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=5348 CPUtime=0
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 216 0 0 0 0 0 0 0 18 0 1 0 244188686 5476352 191 996147200 134512640 135472138 4294956224 18446744073709551615 5536632 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 1337 191 157 234 0 27 0
[startup+0.0599999 s]
/proc/loadavg: 1.91 1.97 1.97 4/74 16780
/proc/meminfo: memFree=1867368/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=6192 CPUtime=0.05
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 674 0 0 0 5 0 0 0 18 0 1 0 244188686 6340608 634 996147200 134512640 135472138 4294956224 18446744073709551615 6002299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 1548 634 368 234 0 250 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6192
[startup+0.102004 s]
/proc/loadavg: 1.91 1.97 1.97 4/74 16780
/proc/meminfo: memFree=1867368/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=6720 CPUtime=0.09
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 244188686 6881280 750 996147200 134512640 135472138 4294956224 18446744073709551615 6002299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 1680 750 368 234 0 382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6720
[startup+0.301024 s]
/proc/loadavg: 1.91 1.97 1.97 4/74 16780
/proc/meminfo: memFree=1867368/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=8832 CPUtime=0.28
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 1325 0 0 0 28 0 0 0 19 0 1 0 244188686 9043968 1285 996147200 134512640 135472138 4294956224 18446744073709551615 6002299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 2208 1285 368 234 0 910 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8832
[startup+0.701067 s]
/proc/loadavg: 1.91 1.97 1.97 4/74 16780
/proc/meminfo: memFree=1867368/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=13056 CPUtime=0.69
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 2362 0 0 0 68 1 0 0 23 0 1 0 244188686 13369344 2322 996147200 134512640 135472138 4294956224 18446744073709551615 6002299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 3264 2322 368 234 0 1966 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13056
[startup+1.50115 s]
/proc/loadavg: 1.91 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1856416/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=131220 CPUtime=1.48
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 12765 0 0 0 143 5 0 0 25 0 1 0 244188686 134369280 12719 996147200 134512640 135472138 4294956224 18446744073709551615 134535920 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 32805 12719 464 234 0 31507 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131220
[startup+3.10245 s]
/proc/loadavg: 1.91 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1815968/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=178744 CPUtime=3.07
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 16035 0 0 0 301 6 0 0 25 0 1 0 244188686 183033856 13315 996147200 134512640 135472138 4294956224 18446744073709551615 134883475 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 44686 13315 494 234 0 43388 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 178744
[startup+6.30167 s]
/proc/loadavg: 1.92 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1815584/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=178744 CPUtime=6.27
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 16097 0 0 0 620 7 0 0 25 0 1 0 244188686 183033856 13377 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 44686 13377 521 234 0 43388 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 178744
[startup+12.7014 s]
/proc/loadavg: 1.93 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1776544/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=178752 CPUtime=12.64
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 25846 0 0 0 1254 10 0 0 25 0 1 0 244188686 183042048 23126 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 44688 23126 524 234 0 43390 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 178752
[startup+25.5017 s]
/proc/loadavg: 1.94 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1754720/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=25.38
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 31285 0 0 0 2526 12 0 0 25 0 1 0 244188686 311046144 28565 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 28565 524 234 0 74641 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 303756
[startup+51.1015 s]
/proc/loadavg: 1.96 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1743456/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=50.89
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 34100 0 0 0 5075 14 0 0 25 0 1 0 244188686 311046144 31380 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 31380 524 234 0 74641 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 303756
[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.97 3/75 16781
/proc/meminfo: memFree=1733280/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=101.89
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 36643 0 0 0 10175 14 0 0 25 0 1 0 244188686 311046144 33923 996147200 134512640 135472138 4294956224 18446744073709551615 135202739 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 33923 524 234 0 74641 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 303756
[startup+162.301 s]
/proc/loadavg: 2.06 1.99 1.97 3/75 16781
/proc/meminfo: memFree=1733280/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=161.65
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 36643 0 0 0 16151 14 0 0 25 0 1 0 244188686 311046144 33923 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 33923 524 234 0 74641 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 303756
[startup+222.302 s]
/proc/loadavg: 2.08 2.00 1.98 3/75 16781
/proc/meminfo: memFree=1733216/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=221.41
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 36643 0 0 0 22127 14 0 0 25 0 1 0 244188686 311046144 33923 996147200 134512640 135472138 4294956224 18446744073709551615 134581664 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 33923 524 234 0 74641 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 303756
[startup+282.301 s]
/proc/loadavg: 2.09 2.01 1.98 3/75 16781
/proc/meminfo: memFree=1733216/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=281.18
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 36643 0 0 0 28104 14 0 0 25 0 1 0 244188686 311046144 33923 996147200 134512640 135472138 4294956224 18446744073709551615 134922385 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 33923 524 234 0 74641 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 303756
[startup+342.302 s]
/proc/loadavg: 2.08 2.03 1.99 3/75 16781
/proc/meminfo: memFree=1733216/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=340.95
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 36643 0 0 0 34081 14 0 0 25 0 1 0 244188686 311046144 33923 996147200 134512640 135472138 4294956224 18446744073709551615 134917129 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 33923 524 234 0 74641 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 303756
[startup+402.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/75 16781
/proc/meminfo: memFree=1730272/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=400.72
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 37392 0 0 0 40057 15 0 0 25 0 1 0 244188686 311046144 34672 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 34672 524 234 0 74641 0
Current children cumulated CPU time (s) 400.72
Current children cumulated vsize (KiB) 303756
[startup+462.302 s]
/proc/loadavg: 2.07 2.04 2.00 3/75 16781
/proc/meminfo: memFree=1730080/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=460.49
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 37392 0 0 0 46034 15 0 0 25 0 1 0 244188686 311046144 34672 996147200 134512640 135472138 4294956224 18446744073709551615 134889680 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 34672 524 234 0 74641 0
Current children cumulated CPU time (s) 460.49
Current children cumulated vsize (KiB) 303756
[startup+522.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/75 16781
/proc/meminfo: memFree=1730080/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=520.25
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 37392 0 0 0 52010 15 0 0 25 0 1 0 244188686 311046144 34672 996147200 134512640 135472138 4294956224 18446744073709551615 135010423 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 34672 524 234 0 74641 0
Current children cumulated CPU time (s) 520.25
Current children cumulated vsize (KiB) 303756
[startup+582.302 s]
/proc/loadavg: 2.08 2.06 2.01 3/75 16781
/proc/meminfo: memFree=1713440/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=580.02
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 41544 0 0 0 57985 17 0 0 25 0 1 0 244188686 311046144 38824 996147200 134512640 135472138 4294956224 18446744073709551615 134672509 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 38824 524 234 0 74641 0
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (KiB) 303756
[startup+642.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/75 16781
/proc/meminfo: memFree=1713376/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=639.79
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 41571 0 0 0 63962 17 0 0 25 0 1 0 244188686 311046144 38851 996147200 134512640 135472138 4294956224 18446744073709551615 135202760 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 38851 524 234 0 74641 0
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (KiB) 303756
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/75 16781
/proc/meminfo: memFree=1710240/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=819.08
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 42335 0 0 0 81891 17 0 0 25 0 1 0 244188686 311046144 39615 996147200 134512640 135472138 4294956224 18446744073709551615 135030125 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 39615 524 234 0 74641 0
Current children cumulated CPU time (s) 819.08
Current children cumulated vsize (KiB) 303756
[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/75 16781
/proc/meminfo: memFree=1710176/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=878.85
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 42335 0 0 0 87868 17 0 0 25 0 1 0 244188686 311046144 39615 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 39615 524 234 0 74641 0
Current children cumulated CPU time (s) 878.85
Current children cumulated vsize (KiB) 303756
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 16781
/proc/meminfo: memFree=1705888/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=938.61
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 93844 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 938.61
Current children cumulated vsize (KiB) 303756
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16781
/proc/meminfo: memFree=1705696/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=998.38
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 99821 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 998.38
Current children cumulated vsize (KiB) 303756
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16781
/proc/meminfo: memFree=1705696/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1058.15
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 105798 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1058.15
Current children cumulated vsize (KiB) 303756
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1117.91
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 111774 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134964666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1117.91
Current children cumulated vsize (KiB) 303756
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1177.67
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 117750 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135265500 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1177.67
Current children cumulated vsize (KiB) 303756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1237.44
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 123727 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134940655 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1237.44
Current children cumulated vsize (KiB) 303756
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1297.21
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 129704 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134959938 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1297.21
Current children cumulated vsize (KiB) 303756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1356.98
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 135681 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1356.98
Current children cumulated vsize (KiB) 303756
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1416.75
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 141658 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1416.75
Current children cumulated vsize (KiB) 303756
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705632/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1476.51
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 147634 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1476.51
Current children cumulated vsize (KiB) 303756
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16781
/proc/meminfo: memFree=1705568/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1536.27
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 153610 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134960020 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1536.27
Current children cumulated vsize (KiB) 303756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/69 16800
/proc/meminfo: memFree=1711560/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1596.02
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 159585 17 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135265558 0 0 4096 0 0 0 0 17 1 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1596.02
Current children cumulated vsize (KiB) 303756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 16828
/proc/meminfo: memFree=1539264/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1655.5
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 165529 21 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 135202760 0 0 4096 0 0 0 0 17 0 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1655.5
Current children cumulated vsize (KiB) 303756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 16828
/proc/meminfo: memFree=1539328/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1714.93
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43402 0 0 0 171472 21 0 0 25 0 1 0 244188686 311046144 40682 996147200 134512640 135472138 4294956224 18446744073709551615 134917129 0 0 4096 0 0 0 0 17 0 0 0
/proc/16780/statm: 75939 40682 524 234 0 74641 0
Current children cumulated CPU time (s) 1714.93
Current children cumulated vsize (KiB) 303756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 16828
/proc/meminfo: memFree=1538944/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1774.36
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43434 0 0 0 177415 21 0 0 25 0 1 0 244188686 311046144 40714 996147200 134512640 135472138 4294956224 18446744073709551615 134917103 0 0 4096 0 0 0 0 17 0 0 0
/proc/16780/statm: 75939 40714 524 234 0 74641 0
Current children cumulated CPU time (s) 1774.36
Current children cumulated vsize (KiB) 303756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 16828
/proc/meminfo: memFree=1538880/2055920 swapFree=4179496/4192956
[pid=16780] ppid=16778 vsize=303756 CPUtime=1800.02
/proc/16780/stat : 16780 (casperzito) R 16778 16780 16326 0 -1 4194304 43434 0 0 0 179981 21 0 0 25 0 1 0 244188686 311046144 40714 996147200 134512640 135472138 4294956224 18446744073709551615 134964638 0 0 4096 0 0 0 0 17 0 0 0
/proc/16780/statm: 75939 40714 524 234 0 74641 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 303756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.23
CPU time (s): 1800.05
CPU user time (s): 1799.81
CPU system time (s): 0.239963
CPU usage (%): 99.5475
Max. virtual memory (cumulated for all children) (KiB): 303756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.239963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43434
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= 28040
runsolver used 1.54776 second user time and 5.08023 second system time
The end
Begin job on node81 at 2008-07-03 21:06:47
IDJOB=1057983
IDBENCH=54099
IDSOLVER=362
FILE ID=node81/1057983-1215112007
PBS_JOBID= 7877046
Free space on /tmp= 126848 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-2.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057983-1215112007/watcher-1057983-1215112007 -o /tmp/evaluation-result-1057983-1215112007/solver-1057983-1215112007 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057983-1215112007.xml 713199693
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 45198355f671cba1241311e09f8b8248
RANDOM SEED=713199693
node81.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1867848 kB
Buffers: 12548 kB
Cached: 127108 kB
SwapCached: 6544 kB
Active: 89668 kB
Inactive: 64876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1867848 kB
SwapTotal: 4192956 kB
SwapFree: 4179496 kB
Dirty: 6788 kB
Writeback: 0 kB
Mapped: 21636 kB
Slab: 19068 kB
Committed_AS: 545272 kB
PageTables: 1576 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126816 MiB
End job on node81 at 2008-07-03 21:36:58