0.21 c
0.21 c Parsing xml file
0.21 c domains............... 0
0.21 c variables............. 0
0.21 c predicates............ 0
0.21 c constraints........... 1.29
1.34 c Allocating memory
1.34 c
1.34 c time limit = -1
1.34 c heuristic = dom/wdeg
1.34 c restart policy = Geometric increment
1.34 c restart base = 149
1.34 c restart factor = 1.33
1.34 c
1.34 c Solving
1.34 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-219016-1168253843 -o ROOT/results/node18/solver-219016-1168253843 -C 1800 -M 900 /tmp/evaluation/219016-1168253843/tramontane/bin/solver /tmp/evaluation/219016-1168253843/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.49 3.21 2.98 3/94 22414
/proc/meminfo: memFree=1054288/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=540 CPUtime=0
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 173779177 552960 26 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 7861028 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 135 26 21 92 0 18 0
[startup+0.108547 s]
/proc/loadavg: 2.49 3.21 2.98 3/94 22414
/proc/meminfo: memFree=1054288/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=9032 CPUtime=0.09
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 1337 0 0 0 8 1 0 0 18 0 1 0 173779177 9248768 1305 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134562585 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 2258 1305 707 92 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9032
[startup+0.516585 s]
/proc/loadavg: 2.49 3.21 2.98 3/94 22414
/proc/meminfo: memFree=1054288/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=18604 CPUtime=0.49
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 3685 0 0 0 47 2 0 0 22 0 1 0 173779177 19050496 3653 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4158716952 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 4651 3653 707 92 0 2995 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 18604
[startup+1.33768 s]
/proc/loadavg: 2.49 3.21 2.98 3/94 22414
/proc/meminfo: memFree=1028560/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=37100 CPUtime=1.3
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 8411 0 0 0 125 5 0 0 25 0 1 0 173779177 37990400 8255 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134544709 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 9275 8255 707 92 0 7619 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 37100
[startup+2.97483 s]
/proc/loadavg: 2.49 3.21 2.98 3/94 22414
/proc/meminfo: memFree=1018448/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=2.93
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 287 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 43176
[startup+6.26915 s]
/proc/loadavg: 2.45 3.19 2.98 3/94 22414
/proc/meminfo: memFree=1018320/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=6.2
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 614 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 43176
[startup+12.7328 s]
/proc/loadavg: 2.49 3.19 2.98 3/94 22414
/proc/meminfo: memFree=1018448/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=12.6
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 1254 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 43176
[startup+25.613 s]
/proc/loadavg: 2.53 3.16 2.97 5/94 22414
/proc/meminfo: memFree=1018576/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=25.35
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 2529 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 43176
[startup+51.2865 s]
/proc/loadavg: 2.47 3.10 2.96 3/94 22414
/proc/meminfo: memFree=1018704/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=50.78
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 5072 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 43176
[startup+102.522 s]
/proc/loadavg: 2.40 2.99 2.93 3/94 22414
/proc/meminfo: memFree=1005392/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=101.54
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 10148 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 43176
[startup+162.582 s]
/proc/loadavg: 2.48 2.91 2.90 4/94 22414
/proc/meminfo: memFree=1004112/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=161.39
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 16133 6 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 161.39
Current children cumulated vsize (KiB) 43176
[startup+222.619 s]
/proc/loadavg: 2.44 2.82 2.87 4/100 22478
/proc/meminfo: memFree=1002624/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=221.05
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 22096 9 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 221.05
Current children cumulated vsize (KiB) 43176
[startup+282.69 s]
/proc/loadavg: 2.16 2.67 2.81 3/100 22570
/proc/meminfo: memFree=1002648/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=280.76
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 28052 24 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 280.76
Current children cumulated vsize (KiB) 43176
[startup+342.737 s]
/proc/loadavg: 2.35 2.63 2.79 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=340.47
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 34018 29 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 340.47
Current children cumulated vsize (KiB) 43176
[startup+402.768 s]
/proc/loadavg: 2.44 2.59 2.76 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=400.18
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 39989 29 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 400.18
Current children cumulated vsize (KiB) 43176
[startup+462.792 s]
/proc/loadavg: 2.46 2.57 2.74 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=459.91
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 45962 29 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (KiB) 43176
[startup+522.826 s]
/proc/loadavg: 2.24 2.49 2.70 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=519.63
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 51934 29 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 519.63
Current children cumulated vsize (KiB) 43176
[startup+582.858 s]
/proc/loadavg: 2.24 2.45 2.67 4/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=579.34
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 57904 30 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (KiB) 43176
[startup+642.889 s]
/proc/loadavg: 2.28 2.42 2.64 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=639.07
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 63877 30 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 639.07
Current children cumulated vsize (KiB) 43176
[startup+702.929 s]
/proc/loadavg: 2.36 2.41 2.63 3/94 22612
/proc/meminfo: memFree=1003600/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=698.8
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 69850 30 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 698.8
Current children cumulated vsize (KiB) 43176
[startup+762.946 s]
/proc/loadavg: 1.99 2.32 2.58 3/88 22701
/proc/meminfo: memFree=1605320/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=758.55
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 75823 32 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134640866 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 758.55
Current children cumulated vsize (KiB) 43176
[startup+823.004 s]
/proc/loadavg: 2.13 2.29 2.55 3/88 22701
/proc/meminfo: memFree=1602632/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=818.59
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 81827 32 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 818.59
Current children cumulated vsize (KiB) 43176
[startup+883.043 s]
/proc/loadavg: 2.05 2.24 2.52 3/88 22701
/proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=878.61
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 87829 32 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 878.61
Current children cumulated vsize (KiB) 43176
[startup+943.085 s]
/proc/loadavg: 2.02 2.19 2.48 3/88 22701
/proc/meminfo: memFree=1602632/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=938.63
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 93831 32 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 938.63
Current children cumulated vsize (KiB) 43176
[startup+1003.12 s]
/proc/loadavg: 2.00 2.15 2.45 3/88 22701
/proc/meminfo: memFree=1602632/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=998.67
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 99834 33 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134813024 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 998.67
Current children cumulated vsize (KiB) 43176
[startup+1063.14 s]
/proc/loadavg: 2.00 2.12 2.42 3/88 22701
/proc/meminfo: memFree=1602824/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1058.66
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 105833 33 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1058.66
Current children cumulated vsize (KiB) 43176
[startup+1123.21 s]
/proc/loadavg: 2.03 2.11 2.39 3/88 22701
/proc/meminfo: memFree=1602632/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1118.71
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 111838 33 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1118.71
Current children cumulated vsize (KiB) 43176
[startup+1183.26 s]
/proc/loadavg: 2.06 2.10 2.37 3/88 22701
/proc/meminfo: memFree=1602568/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1178.75
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 117842 33 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1178.75
Current children cumulated vsize (KiB) 43176
[startup+1243.34 s]
/proc/loadavg: 1.65 1.97 2.31 3/97 22755
/proc/meminfo: memFree=1590464/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1238.78
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 123844 34 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1238.78
Current children cumulated vsize (KiB) 43176
[startup+1303.41 s]
/proc/loadavg: 1.26 1.81 2.23 2/81 23027
/proc/meminfo: memFree=1608640/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1298.78
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 129841 37 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1298.78
Current children cumulated vsize (KiB) 43176
[startup+1363.47 s]
/proc/loadavg: 1.14 1.66 2.15 2/81 23254
/proc/meminfo: memFree=1611520/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1358.77
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 135839 38 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1358.77
Current children cumulated vsize (KiB) 43176
[startup+1423.52 s]
/proc/loadavg: 1.05 1.54 2.07 2/81 23290
/proc/meminfo: memFree=1610872/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1418.76
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 141838 38 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1418.76
Current children cumulated vsize (KiB) 43176
[startup+1483.57 s]
/proc/loadavg: 1.02 1.44 2.00 2/81 23356
/proc/meminfo: memFree=1606976/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1478.77
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 147837 40 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1478.77
Current children cumulated vsize (KiB) 43176
[startup+1543.62 s]
/proc/loadavg: 1.00 1.36 1.94 2/81 23370
/proc/meminfo: memFree=1610944/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1538.77
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 153837 40 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1538.77
Current children cumulated vsize (KiB) 43176
[startup+1603.67 s]
/proc/loadavg: 1.06 1.31 1.88 2/81 23475
/proc/meminfo: memFree=1610496/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1598.76
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 159834 42 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134799153 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1598.76
Current children cumulated vsize (KiB) 43176
[startup+1663.71 s]
/proc/loadavg: 1.06 1.26 1.83 2/81 23540
/proc/meminfo: memFree=1608384/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1658.74
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 165831 43 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1658.74
Current children cumulated vsize (KiB) 43176
[startup+1723.76 s]
/proc/loadavg: 1.02 1.21 1.77 2/81 23568
/proc/meminfo: memFree=1606784/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1718.76
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 171832 44 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1718.76
Current children cumulated vsize (KiB) 43176
[startup+1783.82 s]
/proc/loadavg: 1.04 1.18 1.73 2/81 23600
/proc/meminfo: memFree=1609664/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1778.77
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 177833 44 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1778.77
Current children cumulated vsize (KiB) 43176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.14 s]
/proc/loadavg: 1.10 1.19 1.72 2/81 23657
/proc/meminfo: memFree=1608704/2055920 swapFree=4192812/4192956
[pid=22413] ppid=22411 vsize=43176 CPUtime=1800.08
/proc/22413/stat : 22413 (solver) R 22411 22413 22098 0 -1 4194304 9765 0 0 0 179963 45 0 0 25 0 1 0 173779177 44212224 9609 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/22413/statm: 10794 9609 718 92 0 9138 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 43176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.15
CPU time (s): 1800.1
CPU user time (s): 1799.63
CPU system time (s): 0.462929
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 43176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.462929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9765
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= 11
involuntary context switches= 44732
runsolver used 1.87071 s user time and 5.43817 s system time
The end
Begin job on node18 on Mon Jan 8 10:57:25 UTC 2007
IDJOB= 219016
IDBENCH= 5273
FILE ID= node18/219016-1168253843
PBS_JOBID= 3481722
Free space on /tmp= 66292 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-15-15-3.xml
COMMAND LINE= /tmp/evaluation/219016-1168253843/tramontane/bin/solver /tmp/evaluation/219016-1168253843/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-219016-1168253843 -o ROOT/results/node18/solver-219016-1168253843 -C 1800 -M 900 /tmp/evaluation/219016-1168253843/tramontane/bin/solver /tmp/evaluation/219016-1168253843/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= d6da2182f8f4dd934abd83c45d60985d
RANDOM SEED= 993913441
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.231
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.231
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: 1054704 kB
Buffers: 70936 kB
Cached: 226020 kB
SwapCached: 0 kB
Active: 789896 kB
Inactive: 153172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1054704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5160 kB
Writeback: 0 kB
Mapped: 671756 kB
Slab: 41784 kB
Committed_AS: 5629560 kB
PageTables: 3312 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= 66300 MiB
End job on node18 on Mon Jan 8 11:27:35 UTC 2007