0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0
0.20 c variables............. 0.13
0.20 c predicates............ 0
0.20 c constraints........... 2.52
2.69 c Allocating memory
2.69 c
2.69 c time limit = -1
2.69 c heuristic = dom/wdeg
2.69 c restart policy = Geometric increment
2.69 c restart base = 1999
2.69 c restart factor = 1.33
2.69 c
2.69 c Solving
2.69 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-201154-1168145735 -o ROOT/results/node4/solver-201154-1168145735 -C 1800 -M 900 /tmp/evaluation/201154-1168145735/tramontane/bin/solver /tmp/evaluation/201154-1168145735/unknown.xml -res geom -f 3 -v 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.24 2.13 2.04 2/86 6781
/proc/meminfo: memFree=1662568/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=540 CPUtime=0
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 162969125 552960 26 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 10588964 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 135 26 21 92 0 18 0
[startup+0.103072 s]
/proc/loadavg: 2.24 2.13 2.04 2/86 6781
/proc/meminfo: memFree=1662568/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=74684 CPUtime=0.09
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 6617 0 0 0 7 2 0 0 18 0 1 0 162969125 76476416 6585 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 18671 6585 692 92 0 17015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74684
[startup+0.514103 s]
/proc/loadavg: 2.24 2.13 2.04 2/86 6781
/proc/meminfo: memFree=1662568/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=131000 CPUtime=0.49
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 11759 0 0 0 45 4 0 0 22 0 1 0 162969125 134144000 11727 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 11022061 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 32750 11727 709 92 0 31094 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 131000
[startup+1.33518 s]
/proc/loadavg: 2.24 2.13 2.04 3/86 6781
/proc/meminfo: memFree=1609000/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=135152 CPUtime=1.31
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 12798 0 0 0 126 5 0 0 25 0 1 0 162969125 138395648 12766 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 11022116 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 33788 12766 709 92 0 32132 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 135152
[startup+2.97234 s]
/proc/loadavg: 2.24 2.13 2.04 3/86 6781
/proc/meminfo: memFree=1590184/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151068 CPUtime=2.95
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16736 0 0 0 288 7 0 0 25 0 1 0 162969125 154693632 16671 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637252 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37767 16671 719 92 0 36111 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 151068
[startup+6.25165 s]
/proc/loadavg: 2.30 2.14 2.04 3/86 6781
/proc/meminfo: memFree=1579120/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151068 CPUtime=6.2
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16736 0 0 0 612 8 0 0 25 0 1 0 162969125 154693632 16671 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710506 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37767 16671 719 92 0 36111 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 151068
[startup+12.7193 s]
/proc/loadavg: 2.28 2.14 2.04 3/86 6781
/proc/meminfo: memFree=1579120/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151076 CPUtime=12.64
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16738 0 0 0 1256 8 0 0 25 0 1 0 162969125 154701824 16673 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37769 16673 719 92 0 36113 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 151076
[startup+25.5445 s]
/proc/loadavg: 2.22 2.13 2.04 3/86 6781
/proc/meminfo: memFree=1579184/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151088 CPUtime=25.4
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16741 0 0 0 2532 8 0 0 25 0 1 0 162969125 154714112 16676 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37772 16676 719 92 0 36116 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 151088
[startup+51.197 s]
/proc/loadavg: 2.14 2.12 2.04 3/86 6781
/proc/meminfo: memFree=1579248/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151088 CPUtime=50.92
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16741 0 0 0 5084 8 0 0 25 0 1 0 162969125 154714112 16676 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37772 16676 719 92 0 36116 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 151088
[startup+102.495 s]
/proc/loadavg: 2.06 2.10 2.03 3/86 6781
/proc/meminfo: memFree=1579312/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151088 CPUtime=101.99
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16741 0 0 0 10190 9 0 0 25 0 1 0 162969125 154714112 16676 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37772 16676 719 92 0 36116 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 151088
[startup+162.517 s]
/proc/loadavg: 2.02 2.08 2.03 3/86 6781
/proc/meminfo: memFree=1579312/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151092 CPUtime=161.72
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16742 0 0 0 16163 9 0 0 25 0 1 0 162969125 154718208 16677 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709364 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37773 16677 719 92 0 36117 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 151092
[startup+222.545 s]
/proc/loadavg: 2.01 2.06 2.02 3/86 6781
/proc/meminfo: memFree=1579312/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151092 CPUtime=221.46
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16742 0 0 0 22137 9 0 0 25 0 1 0 162969125 154718208 16677 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37773 16677 719 92 0 36117 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 151092
[startup+282.569 s]
/proc/loadavg: 2.00 2.05 2.01 3/86 6781
/proc/meminfo: memFree=1579312/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151092 CPUtime=281.21
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16742 0 0 0 28111 10 0 0 25 0 1 0 162969125 154718208 16677 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711146 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37773 16677 719 92 0 36117 0
Current children cumulated CPU time (s) 281.21
Current children cumulated vsize (KiB) 151092
[startup+342.6 s]
/proc/loadavg: 2.00 2.04 2.01 3/92 6863
/proc/meminfo: memFree=1578048/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151092 CPUtime=340.88
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16742 0 0 0 34078 10 0 0 25 0 1 0 162969125 154718208 16677 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37773 16677 719 92 0 36117 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 151092
[startup+402.642 s]
/proc/loadavg: 2.07 2.04 2.01 3/92 6949
/proc/meminfo: memFree=1577984/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151096 CPUtime=400.56
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16743 0 0 0 40046 10 0 0 25 0 1 0 162969125 154722304 16678 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37774 16678 719 92 0 36118 0
Current children cumulated CPU time (s) 400.56
Current children cumulated vsize (KiB) 151096
[startup+462.664 s]
/proc/loadavg: 2.12 2.06 2.01 3/86 6979
/proc/meminfo: memFree=1578928/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151096 CPUtime=460.27
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16743 0 0 0 46016 11 0 0 25 0 1 0 162969125 154722304 16678 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37774 16678 719 92 0 36118 0
Current children cumulated CPU time (s) 460.27
Current children cumulated vsize (KiB) 151096
[startup+522.687 s]
/proc/loadavg: 2.12 2.06 2.01 3/86 6979
/proc/meminfo: memFree=1578928/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151116 CPUtime=520
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16748 0 0 0 51989 11 0 0 25 0 1 0 162969125 154742784 16683 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37779 16683 719 92 0 36123 0
Current children cumulated CPU time (s) 520
Current children cumulated vsize (KiB) 151116
[startup+582.707 s]
/proc/loadavg: 2.04 2.05 2.01 3/86 6979
/proc/meminfo: memFree=1578864/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151116 CPUtime=579.75
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16748 0 0 0 57963 12 0 0 25 0 1 0 162969125 154742784 16683 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37779 16683 719 92 0 36123 0
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (KiB) 151116
[startup+642.727 s]
/proc/loadavg: 2.01 2.04 2.00 3/86 6979
/proc/meminfo: memFree=1578864/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151116 CPUtime=639.48
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16748 0 0 0 63936 12 0 0 25 0 1 0 162969125 154742784 16683 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37779 16683 719 92 0 36123 0
Current children cumulated CPU time (s) 639.48
Current children cumulated vsize (KiB) 151116
[startup+702.748 s]
/proc/loadavg: 2.05 2.04 2.00 3/86 6979
/proc/meminfo: memFree=1578864/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151116 CPUtime=699.22
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16748 0 0 0 69910 12 0 0 25 0 1 0 162969125 154742784 16683 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37779 16683 719 92 0 36123 0
Current children cumulated CPU time (s) 699.22
Current children cumulated vsize (KiB) 151116
[startup+762.767 s]
/proc/loadavg: 2.02 2.03 2.00 3/86 6979
/proc/meminfo: memFree=1578800/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151120 CPUtime=758.96
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16749 0 0 0 75883 13 0 0 25 0 1 0 162969125 154746880 16684 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37780 16684 719 92 0 36124 0
Current children cumulated CPU time (s) 758.96
Current children cumulated vsize (KiB) 151120
[startup+822.786 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 6979
/proc/meminfo: memFree=1578736/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151120 CPUtime=818.7
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16749 0 0 0 81857 13 0 0 25 0 1 0 162969125 154746880 16684 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711450 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37780 16684 719 92 0 36124 0
Current children cumulated CPU time (s) 818.7
Current children cumulated vsize (KiB) 151120
[startup+882.816 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 6979
/proc/meminfo: memFree=1578736/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151120 CPUtime=878.45
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16749 0 0 0 87831 14 0 0 25 0 1 0 162969125 154746880 16684 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711745 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37780 16684 719 92 0 36124 0
Current children cumulated CPU time (s) 878.45
Current children cumulated vsize (KiB) 151120
[startup+942.835 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 6979
/proc/meminfo: memFree=1578672/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151120 CPUtime=938.18
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16749 0 0 0 93804 14 0 0 25 0 1 0 162969125 154746880 16684 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637826 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37780 16684 719 92 0 36124 0
Current children cumulated CPU time (s) 938.18
Current children cumulated vsize (KiB) 151120
[startup+1002.86 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 6979
/proc/meminfo: memFree=1578672/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151120 CPUtime=997.92
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16749 0 0 0 99778 14 0 0 25 0 1 0 162969125 154746880 16684 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37780 16684 719 92 0 36124 0
Current children cumulated CPU time (s) 997.92
Current children cumulated vsize (KiB) 151120
[startup+1062.88 s]
/proc/loadavg: 2.08 2.03 2.01 3/86 6979
/proc/meminfo: memFree=1578608/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1057.67
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 105752 15 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1057.67
Current children cumulated vsize (KiB) 151124
[startup+1122.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/86 6979
/proc/meminfo: memFree=1578544/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1117.4
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 111725 15 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1117.4
Current children cumulated vsize (KiB) 151124
[startup+1182.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 6979
/proc/meminfo: memFree=1578544/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1177.13
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 117698 15 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1177.13
Current children cumulated vsize (KiB) 151124
[startup+1242.94 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 6979
/proc/meminfo: memFree=1578480/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1236.88
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 123672 16 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1236.88
Current children cumulated vsize (KiB) 151124
[startup+1302.96 s]
/proc/loadavg: 2.06 2.02 2.00 3/86 6979
/proc/meminfo: memFree=1578416/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1296.62
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 129646 16 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709358 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1296.62
Current children cumulated vsize (KiB) 151124
[startup+1362.98 s]
/proc/loadavg: 2.02 2.02 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1356.35
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 135619 16 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1356.35
Current children cumulated vsize (KiB) 151124
[startup+1423 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1416.09
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 141592 17 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1416.09
Current children cumulated vsize (KiB) 151124
[startup+1483.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1475.83
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 147566 17 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710327 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1475.83
Current children cumulated vsize (KiB) 151124
[startup+1543.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1535.56
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 153539 17 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711745 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1535.56
Current children cumulated vsize (KiB) 151124
[startup+1603.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578032/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1595.31
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 159513 18 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1595.31
Current children cumulated vsize (KiB) 151124
[startup+1663.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578160/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1655.33
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 165515 18 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134638413 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1655.33
Current children cumulated vsize (KiB) 151124
[startup+1723.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1715.32
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 171514 18 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134812994 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1715.32
Current children cumulated vsize (KiB) 151124
[startup+1783.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578096/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1775.31
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 177513 18 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712080 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1775.31
Current children cumulated vsize (KiB) 151124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 6981
/proc/meminfo: memFree=1578032/2055920 swapFree=4182144/4192956
[pid=6780] ppid=6778 vsize=151124 CPUtime=1800.03
/proc/6780/stat : 6780 (solver) R 6778 6780 6020 0 -1 4194304 16750 0 0 0 179985 18 0 0 25 0 1 0 162969125 154750976 16685 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/6780/statm: 37781 16685 719 92 0 36125 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 151124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.86
CPU time (s): 1800.05
CPU user time (s): 1799.85
CPU system time (s): 0.201969
CPU usage (%): 99.5682
Max. virtual memory (cumulated for all children) (KiB): 151124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16750
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= 10
involuntary context switches= 54304
runsolver used 2.13567 s user time and 5.75212 s system time
The end
Begin job on node4 on Sun Jan 7 04:55:36 UTC 2007
IDJOB= 201154
IDBENCH= 3746
FILE ID= node4/201154-1168145735
PBS_JOBID= 3477877
Free space on /tmp= 66295 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
COMMAND LINE= /tmp/evaluation/201154-1168145735/tramontane/bin/solver /tmp/evaluation/201154-1168145735/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-201154-1168145735 -o ROOT/results/node4/solver-201154-1168145735 -C 1800 -M 900 /tmp/evaluation/201154-1168145735/tramontane/bin/solver /tmp/evaluation/201154-1168145735/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 9430cfe064b05903764bbb9dbe5b06c6
RANDOM SEED= 551304624
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.223
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.223
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: 1663432 kB
Buffers: 41244 kB
Cached: 203724 kB
SwapCached: 2552 kB
Active: 213396 kB
Inactive: 118836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1663432 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 15188 kB
Writeback: 0 kB
Mapped: 100136 kB
Slab: 44820 kB
Committed_AS: 4270912 kB
PageTables: 2604 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= 66295 MiB
End job on node4 on Sun Jan 7 05:25:44 UTC 2007