0.22 c
0.22 c Parsing xml file
0.22 c domains............... 0.17
0.22 c variables............. 0.17
0.35 c predicates............ 0
0.35 c constraints........... 1.74
2.11 c Allocating memory
2.11 c
2.11 c time limit = -1
2.11 c heuristic = dom/wdeg
2.11 c restart policy = Geometric increment
2.11 c restart base = 1866
2.11 c restart factor = 1.33
2.11 c
2.11 c Solving
2.11 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-209581-1168193243 -o ROOT/results/node22/solver-209581-1168193243 -C 1800 -M 900 /tmp/evaluation/209581-1168193243/tramontane/bin/solver /tmp/evaluation/209581-1168193243/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.60 2.26 2.05 5/86 11418
/proc/meminfo: memFree=1525472/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=18540 CPUtime=0
/proc/11417/stat : 11417 (runsolver) R 11415 11417 10976 0 -1 4194368 16 0 0 0 0 0 0 0 25 0 1 0 167718837 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11417/statm: 4635 279 244 17 0 2626 0
[startup+0.108304 s]
/proc/loadavg: 2.60 2.26 2.05 5/86 11418
/proc/meminfo: memFree=1525472/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=7048 CPUtime=0.09
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 820 0 0 0 9 0 0 0 18 0 1 0 167718837 7217152 788 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4159425112 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 1762 788 669 92 0 106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7048
[startup+0.516368 s]
/proc/loadavg: 2.60 2.26 2.05 5/86 11418
/proc/meminfo: memFree=1525472/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=144464 CPUtime=0.5
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 15425 0 0 0 43 7 0 0 21 0 1 0 167718837 147931136 15393 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134560660 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 36116 15393 709 92 0 34460 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 144464
[startup+1.3375 s]
/proc/loadavg: 2.60 2.26 2.05 3/86 11418
/proc/meminfo: memFree=1463264/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=148612 CPUtime=1.31
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 16458 0 0 0 123 8 0 0 25 0 1 0 167718837 152178688 16426 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158648021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 37153 16426 709 92 0 35497 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 148612
[startup+2.97474 s]
/proc/loadavg: 2.60 2.26 2.05 3/86 11418
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186224 CPUtime=2.93
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25846 0 0 0 281 12 0 0 25 0 1 0 167718837 190693376 25814 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712086 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46556 25814 719 92 0 44900 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 186224
[startup+6.25625 s]
/proc/loadavg: 2.56 2.26 2.05 3/86 11418
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186224 CPUtime=6.19
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25846 0 0 0 607 12 0 0 25 0 1 0 167718837 190693376 25814 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710319 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46556 25814 719 92 0 44900 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 186224
[startup+12.7162 s]
/proc/loadavg: 2.51 2.25 2.05 3/86 11418
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186224 CPUtime=12.6
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25846 0 0 0 1248 12 0 0 25 0 1 0 167718837 190693376 25814 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46556 25814 719 92 0 44900 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 186224
[startup+25.5352 s]
/proc/loadavg: 2.40 2.24 2.05 3/86 11418
/proc/meminfo: memFree=1424672/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186224 CPUtime=25.33
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25846 0 0 0 2520 13 0 0 25 0 1 0 167718837 190693376 25814 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711287 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46556 25814 719 92 0 44900 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 186224
[startup+51.1702 s]
/proc/loadavg: 2.26 2.22 2.05 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186232 CPUtime=50.76
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25848 0 0 0 5063 13 0 0 25 0 1 0 167718837 190701568 25816 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46558 25816 719 92 0 44902 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 186232
[startup+102.432 s]
/proc/loadavg: 2.11 2.18 2.04 3/86 11418
/proc/meminfo: memFree=1424800/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186236 CPUtime=101.64
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25849 0 0 0 10150 14 0 0 25 0 1 0 167718837 190705664 25817 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46559 25817 719 92 0 44903 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 186236
[startup+162.528 s]
/proc/loadavg: 2.04 2.15 2.04 3/86 11418
/proc/meminfo: memFree=1424800/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=161.27
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 16113 14 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 186248
[startup+222.619 s]
/proc/loadavg: 2.06 2.13 2.03 3/86 11418
/proc/meminfo: memFree=1424800/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=220.89
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 22074 15 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711105 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 220.89
Current children cumulated vsize (KiB) 186248
[startup+282.702 s]
/proc/loadavg: 2.02 2.11 2.03 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=280.5
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 28035 15 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 280.5
Current children cumulated vsize (KiB) 186248
[startup+342.789 s]
/proc/loadavg: 2.01 2.08 2.02 3/86 11418
/proc/meminfo: memFree=1424800/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=340.13
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 33997 16 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 340.13
Current children cumulated vsize (KiB) 186248
[startup+402.867 s]
/proc/loadavg: 2.00 2.07 2.02 3/86 11418
/proc/meminfo: memFree=1424800/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=399.74
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 39958 16 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134638385 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (KiB) 186248
[startup+462.946 s]
/proc/loadavg: 2.00 2.05 2.01 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=459.37
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 45920 17 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709344 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 459.37
Current children cumulated vsize (KiB) 186248
[startup+523.023 s]
/proc/loadavg: 2.00 2.04 2.01 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=518.99
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 51882 17 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (KiB) 186248
[startup+583.103 s]
/proc/loadavg: 2.00 2.03 2.00 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=578.59
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 57842 17 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709350 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 578.59
Current children cumulated vsize (KiB) 186248
[startup+643.105 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 11418
/proc/meminfo: memFree=1424736/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=638.1
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 63792 18 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711450 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 638.1
Current children cumulated vsize (KiB) 186248
[startup+703.195 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 11420
/proc/meminfo: memFree=1424480/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=697.72
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 69753 19 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 697.72
Current children cumulated vsize (KiB) 186248
[startup+763.285 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 11420
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=757.31
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 75712 19 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812994 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 757.31
Current children cumulated vsize (KiB) 186248
[startup+823.37 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 11420
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=816.93
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 81674 19 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708985 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 816.93
Current children cumulated vsize (KiB) 186248
[startup+883.372 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 11420
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=876.45
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 87625 20 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637305 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 876.45
Current children cumulated vsize (KiB) 186248
[startup+943.461 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 11420
/proc/meminfo: memFree=1424544/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=936.06
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 93586 20 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 936.06
Current children cumulated vsize (KiB) 186248
[startup+1003.55 s]
/proc/loadavg: 2.04 2.01 2.00 3/86 11420
/proc/meminfo: memFree=1424608/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186248 CPUtime=995.66
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25852 0 0 0 99546 20 0 0 25 0 1 0 167718837 190717952 25820 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 1 0 0
/proc/11417/statm: 46562 25820 719 92 0 44906 0
Current children cumulated CPU time (s) 995.66
Current children cumulated vsize (KiB) 186248
[startup+1063.64 s]
/proc/loadavg: 1.96 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479328/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186264 CPUtime=1055.45
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25856 0 0 0 105521 24 0 0 25 0 1 0 167718837 190734336 25824 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712143 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46566 25824 719 92 0 44910 0
Current children cumulated CPU time (s) 1055.45
Current children cumulated vsize (KiB) 186264
[startup+1123.65 s]
/proc/loadavg: 1.98 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479392/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1115.41
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 111516 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1115.41
Current children cumulated vsize (KiB) 186272
[startup+1183.75 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479392/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1175.45
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 117520 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709353 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1175.45
Current children cumulated vsize (KiB) 186272
[startup+1243.84 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479392/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1235.46
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 123521 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710324 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1235.46
Current children cumulated vsize (KiB) 186272
[startup+1303.94 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479328/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1295.51
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 129526 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134638413 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1295.51
Current children cumulated vsize (KiB) 186272
[startup+1363.94 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479392/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1355.44
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 135519 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134813004 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1355.44
Current children cumulated vsize (KiB) 186272
[startup+1423.95 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479328/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1415.37
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 141512 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1415.37
Current children cumulated vsize (KiB) 186272
[startup+1483.96 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479264/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1475.32
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 147507 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711786 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1475.32
Current children cumulated vsize (KiB) 186272
[startup+1543.99 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479264/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1535.29
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 153504 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710464 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1535.29
Current children cumulated vsize (KiB) 186272
[startup+1603.99 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479264/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1595.21
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 159496 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1595.21
Current children cumulated vsize (KiB) 186272
[startup+1664 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479264/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1655.17
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 165492 25 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1655.17
Current children cumulated vsize (KiB) 186272
[startup+1724.01 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479200/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1715.11
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 171485 26 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709356 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1715.11
Current children cumulated vsize (KiB) 186272
[startup+1784.03 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479200/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1775.06
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 177480 26 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711146 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1775.06
Current children cumulated vsize (KiB) 186272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.06 s]
/proc/loadavg: 1.99 1.99 1.99 3/86 11648
/proc/meminfo: memFree=1479200/2055920 swapFree=4157532/4192956
[pid=11417] ppid=11415 vsize=186272 CPUtime=1800.07
/proc/11417/stat : 11417 (solver) R 11415 11417 10976 0 -1 4194304 25858 0 0 0 179981 26 0 0 25 0 1 0 167718837 190742528 25826 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/11417/statm: 46568 25826 719 92 0 44912 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 186272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.09
CPU time (s): 1800.1
CPU user time (s): 1799.82
CPU system time (s): 0.278957
CPU usage (%): 99.5031
Max. virtual memory (cumulated for all children) (KiB): 186272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.278957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25858
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= 45215
runsolver used 1.85372 s user time and 5.03523 s system time
The end
Begin job on node22 on Sun Jan 7 18:07:24 UTC 2007
IDJOB= 209581
IDBENCH= 4547
FILE ID= node22/209581-1168193243
PBS_JOBID= 3479401
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp28/fapp28-2800-2.xml
COMMAND LINE= /tmp/evaluation/209581-1168193243/tramontane/bin/solver /tmp/evaluation/209581-1168193243/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-209581-1168193243 -o ROOT/results/node22/solver-209581-1168193243 -C 1800 -M 900 /tmp/evaluation/209581-1168193243/tramontane/bin/solver /tmp/evaluation/209581-1168193243/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= cbaaaaf19e8803e352eb0a59cf6f5e5f
RANDOM SEED= 279604384
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.279
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.279
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: 1525888 kB
Buffers: 37716 kB
Cached: 265264 kB
SwapCached: 11248 kB
Active: 238344 kB
Inactive: 219208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1525888 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 6168 kB
Writeback: 0 kB
Mapped: 175656 kB
Slab: 56944 kB
Committed_AS: 3251828 kB
PageTables: 2616 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= 66543 MiB
End job on node22 on Sun Jan 7 18:37:33 UTC 2007