0.21 c
0.21 c Parsing xml file
0.21 c domains............... 0.11
0.21 c variables............. 0.16
0.29 c predicates............ 0
0.29 c constraints........... 4.86
5.19 c Allocating memory
5.19 c
5.19 c time limit = -1
5.19 c heuristic = dom/wdeg
5.19 c restart policy = Geometric increment
5.19 c restart base = 1666
5.19 c restart factor = 1.33
5.19 c
5.19 c Solving
5.19 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-205882-1168168323 -o ROOT/results/node1/solver-205882-1168168323 -C 1800 -M 900 /tmp/evaluation/205882-1168168323/tramontane/bin/solver /tmp/evaluation/205882-1168168323/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.09 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1645568/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=540 CPUtime=0
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 165228177 552960 26 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 5829412 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 135 26 21 92 0 18 0
[startup+0.102947 s]
/proc/loadavg: 2.09 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1645568/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=7048 CPUtime=0.09
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 817 0 0 0 9 0 0 0 18 0 1 0 165228177 7217152 785 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4157841172 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 1762 785 669 92 0 106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7048
[startup+0.510997 s]
/proc/loadavg: 2.09 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1645568/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=165488 CPUtime=0.49
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 18254 0 0 0 42 7 0 0 22 0 1 0 165228177 169459712 18222 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 6318496 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 41372 18222 709 92 0 39716 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 165488
[startup+1.33209 s]
/proc/loadavg: 2.09 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1572032/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=169644 CPUtime=1.31
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 19288 0 0 0 123 8 0 0 25 0 1 0 165228177 173715456 19256 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4156436709 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 42411 19256 709 92 0 40755 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 169644
[startup+2.96928 s]
/proc/loadavg: 2.09 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1566528/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=177940 CPUtime=2.92
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 21366 0 0 0 283 9 0 0 25 0 1 0 165228177 182210560 21301 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4159257952 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 44485 21301 709 92 0 42829 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 177940
[startup+6.24866 s]
/proc/loadavg: 2.08 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=6.18
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 605 13 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 212260
[startup+12.7094 s]
/proc/loadavg: 2.08 1.83 1.57 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=12.59
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 1246 13 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134638384 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 212260
[startup+25.5279 s]
/proc/loadavg: 2.06 1.84 1.58 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=25.31
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 2517 14 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709365 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 212260
[startup+51.1589 s]
/proc/loadavg: 2.04 1.85 1.59 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=50.74
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 5060 14 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 212260
[startup+102.412 s]
/proc/loadavg: 2.01 1.87 1.60 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=101.59
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 10145 14 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 212260
[startup+162.507 s]
/proc/loadavg: 2.00 1.89 1.63 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=161.19
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 16104 15 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 212260
[startup+222.582 s]
/proc/loadavg: 2.00 1.91 1.65 3/87 21141
/proc/meminfo: memFree=1528768/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=220.81
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 22066 15 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709356 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 220.81
Current children cumulated vsize (KiB) 212260
[startup+282.658 s]
/proc/loadavg: 2.06 1.94 1.67 3/87 21141
/proc/meminfo: memFree=1528704/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=280.42
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 28026 16 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 280.42
Current children cumulated vsize (KiB) 212260
[startup+342.738 s]
/proc/loadavg: 2.02 1.95 1.69 3/87 21141
/proc/meminfo: memFree=1528640/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=340.02
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 33986 16 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (KiB) 212260
[startup+402.82 s]
/proc/loadavg: 2.00 1.95 1.71 3/87 21141
/proc/meminfo: memFree=1528640/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=399.63
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 39946 17 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722074 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (KiB) 212260
[startup+462.896 s]
/proc/loadavg: 2.00 1.96 1.72 3/87 21143
/proc/meminfo: memFree=1528384/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212260 CPUtime=459.23
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30048 0 0 0 45906 17 0 0 25 0 1 0 165228177 217354240 29836 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637250 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 459.23
Current children cumulated vsize (KiB) 212260
[startup+522.984 s]
/proc/loadavg: 2.00 1.96 1.74 3/88 21144
/proc/meminfo: memFree=1528248/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=518.82
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 51865 17 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710340 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 518.82
Current children cumulated vsize (KiB) 212264
[startup+583.078 s]
/proc/loadavg: 2.00 1.97 1.75 3/88 21144
/proc/meminfo: memFree=1528184/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=578.41
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 57823 18 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712110 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 578.41
Current children cumulated vsize (KiB) 212264
[startup+643.154 s]
/proc/loadavg: 2.11 2.00 1.77 3/88 21144
/proc/meminfo: memFree=1528120/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=637.98
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 63780 18 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709344 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 637.98
Current children cumulated vsize (KiB) 212264
[startup+703.236 s]
/proc/loadavg: 2.04 2.00 1.78 3/88 21144
/proc/meminfo: memFree=1528120/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=697.57
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 69738 19 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709364 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 697.57
Current children cumulated vsize (KiB) 212264
[startup+763.319 s]
/proc/loadavg: 2.01 2.00 1.79 4/88 21144
/proc/meminfo: memFree=1528056/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=757.16
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 75697 19 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 757.16
Current children cumulated vsize (KiB) 212264
[startup+823.415 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 21144
/proc/meminfo: memFree=1527928/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=816.8
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 81660 20 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 816.8
Current children cumulated vsize (KiB) 212264
[startup+883.488 s]
/proc/loadavg: 2.05 2.01 1.82 3/88 21144
/proc/meminfo: memFree=1527864/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=876.42
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 87622 20 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 876.42
Current children cumulated vsize (KiB) 212264
[startup+943.522 s]
/proc/loadavg: 2.02 2.01 1.83 3/89 21145
/proc/meminfo: memFree=1526320/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=935.98
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 93578 20 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709353 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 935.98
Current children cumulated vsize (KiB) 212264
[startup+1003.57 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 21145
/proc/meminfo: memFree=1526192/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=995.55
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 99534 21 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710492 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 995.55
Current children cumulated vsize (KiB) 212264
[startup+1063.62 s]
/proc/loadavg: 2.00 2.00 1.84 3/89 21145
/proc/meminfo: memFree=1526128/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1055.13
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 105492 21 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1055.13
Current children cumulated vsize (KiB) 212264
[startup+1123.67 s]
/proc/loadavg: 2.00 2.00 1.85 3/89 21145
/proc/meminfo: memFree=1526000/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1114.7
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 111448 22 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (KiB) 212264
[startup+1183.73 s]
/proc/loadavg: 2.00 2.00 1.85 3/89 21145
/proc/meminfo: memFree=1507440/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1174.27
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 117404 23 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1174.27
Current children cumulated vsize (KiB) 212264
[startup+1243.76 s]
/proc/loadavg: 2.00 2.00 1.86 3/89 21145
/proc/meminfo: memFree=1507312/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1233.81
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 123358 23 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1233.81
Current children cumulated vsize (KiB) 212264
[startup+1303.84 s]
/proc/loadavg: 2.00 2.00 1.86 3/89 21145
/proc/meminfo: memFree=1507248/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1293.4
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 129317 23 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711155 0 0 4096 0 0 0 0 17 1 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1293.4
Current children cumulated vsize (KiB) 212264
[startup+1363.93 s]
/proc/loadavg: 2.08 2.02 1.87 3/94 21219
/proc/meminfo: memFree=1441416/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1353.08
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 135282 26 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1353.08
Current children cumulated vsize (KiB) 212264
[startup+1424.02 s]
/proc/loadavg: 2.02 2.01 1.88 3/94 21219
/proc/meminfo: memFree=1047496/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1413.12
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 141286 26 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709344 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1413.12
Current children cumulated vsize (KiB) 212264
[startup+1484.03 s]
/proc/loadavg: 2.09 2.03 1.90 3/94 21219
/proc/meminfo: memFree=1041096/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212264 CPUtime=1473.04
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30049 0 0 0 147278 26 0 0 25 0 1 0 165228177 217358336 29837 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711466 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 1473.04
Current children cumulated vsize (KiB) 212264
[startup+1544.1 s]
/proc/loadavg: 2.03 2.03 1.90 3/94 21219
/proc/meminfo: memFree=1011976/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212276 CPUtime=1533.05
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30052 0 0 0 153279 26 0 0 25 0 1 0 165228177 217370624 29840 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134812996 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1533.05
Current children cumulated vsize (KiB) 212276
[startup+1604.15 s]
/proc/loadavg: 2.01 2.02 1.91 3/94 21219
/proc/meminfo: memFree=1003976/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212280 CPUtime=1593.04
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30053 0 0 0 159278 26 0 0 25 0 1 0 165228177 217374720 29841 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53070 29841 719 92 0 51414 0
Current children cumulated CPU time (s) 1593.04
Current children cumulated vsize (KiB) 212280
[startup+1664.17 s]
/proc/loadavg: 2.09 2.04 1.92 3/94 21219
/proc/meminfo: memFree=996104/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212280 CPUtime=1652.97
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30053 0 0 0 165271 26 0 0 25 0 1 0 165228177 217374720 29841 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711745 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53070 29841 719 92 0 51414 0
Current children cumulated CPU time (s) 1652.97
Current children cumulated vsize (KiB) 212280
[startup+1724.24 s]
/proc/loadavg: 2.03 2.03 1.92 3/94 21219
/proc/meminfo: memFree=988296/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212280 CPUtime=1713
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30053 0 0 0 171273 27 0 0 25 0 1 0 165228177 217374720 29841 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711786 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53070 29841 719 92 0 51414 0
Current children cumulated CPU time (s) 1713
Current children cumulated vsize (KiB) 212280
[startup+1784.26 s]
/proc/loadavg: 2.07 2.04 1.92 3/94 21219
/proc/meminfo: memFree=981256/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212280 CPUtime=1772.98
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30053 0 0 0 177271 27 0 0 25 0 1 0 165228177 217374720 29841 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53070 29841 719 92 0 51414 0
Current children cumulated CPU time (s) 1772.98
Current children cumulated vsize (KiB) 212280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.33 s]
/proc/loadavg: 2.05 2.03 1.92 3/94 21219
/proc/meminfo: memFree=981192/2055920 swapFree=4165612/4192956
[pid=21140] ppid=21138 vsize=212280 CPUtime=1800
/proc/21140/stat : 21140 (solver) R 21138 21140 20842 0 -1 4194304 30053 0 0 0 179973 27 0 0 25 0 1 0 165228177 217374720 29841 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709365 0 0 4096 0 0 0 0 17 0 0 0
/proc/21140/statm: 53070 29841 719 92 0 51414 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 212280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.36
CPU time (s): 1800.03
CPU user time (s): 1799.74
CPU system time (s): 0.294955
CPU usage (%): 99.3748
Max. virtual memory (cumulated for all children) (KiB): 212280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30053
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= 55631
runsolver used 1.93271 s user time and 5.10222 s system time
The end
Begin job on node1 on Sun Jan 7 11:12:04 UTC 2007
IDJOB= 205882
IDBENCH= 4173
FILE ID= node1/205882-1168168323
PBS_JOBID= 3478819
Free space on /tmp= 66287 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
COMMAND LINE= /tmp/evaluation/205882-1168168323/tramontane/bin/solver /tmp/evaluation/205882-1168168323/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-205882-1168168323 -o ROOT/results/node1/solver-205882-1168168323 -C 1800 -M 900 /tmp/evaluation/205882-1168168323/tramontane/bin/solver /tmp/evaluation/205882-1168168323/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 3bc2d960eac798f81e5078a4a31804e9
RANDOM SEED= 555565257
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.234
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.234
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: 1645984 kB
Buffers: 9096 kB
Cached: 130832 kB
SwapCached: 3620 kB
Active: 303872 kB
Inactive: 49996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1645984 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 11712 kB
Writeback: 0 kB
Mapped: 225248 kB
Slab: 40312 kB
Committed_AS: 4934328 kB
PageTables: 2916 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= 66297 MiB
End job on node1 on Sun Jan 7 11:42:16 UTC 2007