0.10 c
0.10 c Parsing xml file
0.10 c domains............... 0.11
0.12 c variables............. 0.17
0.29 c predicates............ 0
0.29 c constraints........... 4.83
5.18 c Allocating memory
5.18 c
5.18 c time limit = -1
5.18 c heuristic = dom/wdeg
5.18 c restart policy = Geometric increment
5.18 c restart base = 1666
5.18 c restart factor = 1.33
5.18 c
5.18 c Solving
5.18 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-205985-1168168826 -o ROOT/results/node23/solver-205985-1168168826 -C 1800 -M 900 /tmp/evaluation/205985-1168168826/tramontane/bin/solver /tmp/evaluation/205985-1168168826/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.20 1.83 1.55 2/86 18845
/proc/meminfo: memFree=1643536/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=540 CPUtime=0
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 165277041 552960 26 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 2495268 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 135 26 21 92 0 18 0
[startup+0.102372 s]
/proc/loadavg: 2.20 1.83 1.55 2/86 18845
/proc/meminfo: memFree=1643536/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=7048 CPUtime=0.09
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 817 0 0 0 9 0 0 0 19 0 1 0 165277041 7217152 785 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4157841172 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 1762 785 669 92 0 106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7048
[startup+0.510452 s]
/proc/loadavg: 2.20 1.83 1.55 2/86 18845
/proc/meminfo: memFree=1643536/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=165620 CPUtime=0.49
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 18257 0 0 0 41 8 0 0 24 0 1 0 165277041 169594880 18225 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4159258021 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 41405 18225 709 92 0 39749 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 165620
[startup+1.33161 s]
/proc/loadavg: 2.20 1.83 1.55 3/86 18845
/proc/meminfo: memFree=1570000/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=169776 CPUtime=1.31
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 19294 0 0 0 122 9 0 0 25 0 1 0 165277041 173850624 19262 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134604301 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 42444 19262 709 92 0 40788 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 169776
[startup+2.96893 s]
/proc/loadavg: 2.20 1.83 1.55 3/86 18845
/proc/meminfo: memFree=1564304/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=178072 CPUtime=2.93
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 21380 0 0 0 282 11 0 0 25 0 1 0 165277041 182345728 21315 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158769861 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 44518 21315 709 92 0 42862 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 178072
[startup+6.25356 s]
/proc/loadavg: 2.18 1.83 1.55 3/86 18845
/proc/meminfo: memFree=1526672/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212260 CPUtime=6.18
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30048 0 0 0 603 15 0 0 25 0 1 0 165277041 217354240 29836 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 212260
[startup+12.7128 s]
/proc/loadavg: 2.16 1.83 1.55 3/86 18845
/proc/meminfo: memFree=1526736/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212260 CPUtime=12.59
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30048 0 0 0 1244 15 0 0 25 0 1 0 165277041 217354240 29836 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710470 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 212260
[startup+25.5253 s]
/proc/loadavg: 2.13 1.84 1.56 3/86 18845
/proc/meminfo: memFree=1526864/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212260 CPUtime=25.31
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30048 0 0 0 2516 15 0 0 25 0 1 0 165277041 217354240 29836 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 212260
[startup+51.1543 s]
/proc/loadavg: 2.08 1.85 1.57 3/86 18845
/proc/meminfo: memFree=1526800/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212260 CPUtime=50.72
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30048 0 0 0 5057 15 0 0 25 0 1 0 165277041 217354240 29836 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 212260
[startup+102.41 s]
/proc/loadavg: 2.11 1.89 1.59 3/86 18845
/proc/meminfo: memFree=1526864/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212260 CPUtime=101.57
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30048 0 0 0 10142 15 0 0 25 0 1 0 165277041 217354240 29836 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722074 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53065 29836 719 92 0 51409 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 212260
[startup+162.506 s]
/proc/loadavg: 2.04 1.91 1.62 4/86 18845
/proc/meminfo: memFree=1526864/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212264 CPUtime=161.17
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30049 0 0 0 16101 16 0 0 25 0 1 0 165277041 217358336 29837 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710511 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 212264
[startup+222.584 s]
/proc/loadavg: 2.01 1.92 1.64 3/86 18845
/proc/meminfo: memFree=1526800/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212264 CPUtime=220.78
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30049 0 0 0 22061 17 0 0 25 0 1 0 165277041 217358336 29837 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 220.78
Current children cumulated vsize (KiB) 212264
[startup+282.671 s]
/proc/loadavg: 2.00 1.93 1.66 3/86 18845
/proc/meminfo: memFree=1526736/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212264 CPUtime=280.37
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30049 0 0 0 28020 17 0 0 25 0 1 0 165277041 217358336 29837 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709365 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 280.37
Current children cumulated vsize (KiB) 212264
[startup+342.758 s]
/proc/loadavg: 2.00 1.94 1.67 3/86 18845
/proc/meminfo: memFree=1526672/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212264 CPUtime=339.95
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30049 0 0 0 33977 18 0 0 25 0 1 0 165277041 217358336 29837 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134638404 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53066 29837 719 92 0 51410 0
Current children cumulated CPU time (s) 339.95
Current children cumulated vsize (KiB) 212264
[startup+402.854 s]
/proc/loadavg: 2.00 1.95 1.69 3/86 18845
/proc/meminfo: memFree=1526608/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212268 CPUtime=399.54
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30050 0 0 0 39936 18 0 0 25 0 1 0 165277041 217362432 29838 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637152 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53067 29838 719 92 0 51411 0
Current children cumulated CPU time (s) 399.54
Current children cumulated vsize (KiB) 212268
[startup+462.935 s]
/proc/loadavg: 2.00 1.95 1.71 3/86 18845
/proc/meminfo: memFree=1526544/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212268 CPUtime=459.15
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30050 0 0 0 45896 19 0 0 25 0 1 0 165277041 217362432 29838 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710307 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53067 29838 719 92 0 51411 0
Current children cumulated CPU time (s) 459.15
Current children cumulated vsize (KiB) 212268
[startup+523.01 s]
/proc/loadavg: 2.00 1.96 1.73 3/86 18845
/proc/meminfo: memFree=1526544/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212268 CPUtime=518.74
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30050 0 0 0 51855 19 0 0 25 0 1 0 165277041 217362432 29838 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53067 29838 719 92 0 51411 0
Current children cumulated CPU time (s) 518.74
Current children cumulated vsize (KiB) 212268
[startup+583.092 s]
/proc/loadavg: 2.00 1.97 1.74 3/86 18845
/proc/meminfo: memFree=1526480/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212272 CPUtime=578.33
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30051 0 0 0 57813 20 0 0 25 0 1 0 165277041 217366528 29839 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727414 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53068 29839 719 92 0 51412 0
Current children cumulated CPU time (s) 578.33
Current children cumulated vsize (KiB) 212272
[startup+643.194 s]
/proc/loadavg: 2.00 1.97 1.75 3/86 18845
/proc/meminfo: memFree=1526352/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=637.91
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 63771 20 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710353 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 637.91
Current children cumulated vsize (KiB) 212276
[startup+703.28 s]
/proc/loadavg: 2.00 1.97 1.76 3/86 18845
/proc/meminfo: memFree=1526288/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=697.51
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 69730 21 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709364 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 697.51
Current children cumulated vsize (KiB) 212276
[startup+763.363 s]
/proc/loadavg: 2.00 1.97 1.77 4/86 18845
/proc/meminfo: memFree=1526160/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=757.1
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 75689 21 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 757.1
Current children cumulated vsize (KiB) 212276
[startup+823.368 s]
/proc/loadavg: 2.00 1.97 1.79 3/86 18845
/proc/meminfo: memFree=1526096/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=816.59
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 81637 22 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 816.59
Current children cumulated vsize (KiB) 212276
[startup+883.47 s]
/proc/loadavg: 2.00 1.97 1.80 3/86 18845
/proc/meminfo: memFree=1526032/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=876.16
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 87594 22 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 876.16
Current children cumulated vsize (KiB) 212276
[startup+943.552 s]
/proc/loadavg: 2.03 1.99 1.81 3/86 18845
/proc/meminfo: memFree=1525968/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=935.75
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 93552 23 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710464 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 935.75
Current children cumulated vsize (KiB) 212276
[startup+1003.64 s]
/proc/loadavg: 2.01 1.99 1.82 3/86 18845
/proc/meminfo: memFree=1525840/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=995.35
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 99511 24 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 995.35
Current children cumulated vsize (KiB) 212276
[startup+1063.73 s]
/proc/loadavg: 2.00 1.99 1.83 3/86 18845
/proc/meminfo: memFree=1525712/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1054.94
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 105470 24 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711264 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1054.94
Current children cumulated vsize (KiB) 212276
[startup+1123.82 s]
/proc/loadavg: 2.00 1.99 1.83 3/86 18845
/proc/meminfo: memFree=1525712/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1114.55
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 111430 25 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1114.55
Current children cumulated vsize (KiB) 212276
[startup+1183.91 s]
/proc/loadavg: 2.05 2.00 1.85 3/86 18845
/proc/meminfo: memFree=1525648/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1174.14
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 117389 25 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1174.14
Current children cumulated vsize (KiB) 212276
[startup+1243.99 s]
/proc/loadavg: 2.02 2.00 1.85 3/86 18845
/proc/meminfo: memFree=1525520/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1233.74
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 123348 26 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637728 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1233.74
Current children cumulated vsize (KiB) 212276
[startup+1304.08 s]
/proc/loadavg: 2.00 2.00 1.86 3/86 18845
/proc/meminfo: memFree=1525456/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1293.34
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 129307 27 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637325 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1293.34
Current children cumulated vsize (KiB) 212276
[startup+1364.16 s]
/proc/loadavg: 2.00 2.00 1.86 3/86 18845
/proc/meminfo: memFree=1525328/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1352.95
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 135267 28 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711158 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1352.95
Current children cumulated vsize (KiB) 212276
[startup+1424.26 s]
/proc/loadavg: 2.00 2.00 1.87 3/86 18845
/proc/meminfo: memFree=1525264/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1412.54
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 141226 28 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1412.54
Current children cumulated vsize (KiB) 212276
[startup+1484.34 s]
/proc/loadavg: 2.11 2.03 1.89 3/94 18918
/proc/meminfo: memFree=1506576/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1472.16
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 147184 32 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710322 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1472.16
Current children cumulated vsize (KiB) 212276
[startup+1544.43 s]
/proc/loadavg: 2.04 2.02 1.89 3/94 18918
/proc/meminfo: memFree=1270168/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1532.19
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 153187 32 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812976 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1532.19
Current children cumulated vsize (KiB) 212276
[startup+1604.51 s]
/proc/loadavg: 2.01 2.02 1.90 3/87 18919
/proc/meminfo: memFree=1489808/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1592.2
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 159187 33 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709356 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1592.2
Current children cumulated vsize (KiB) 212276
[startup+1664.54 s]
/proc/loadavg: 2.00 2.01 1.90 3/87 18919
/proc/meminfo: memFree=1485904/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1652.15
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 165182 33 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710945 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1652.15
Current children cumulated vsize (KiB) 212276
[startup+1724.57 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 18919
/proc/meminfo: memFree=1482768/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1712.12
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 171179 33 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710340 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1712.12
Current children cumulated vsize (KiB) 212276
[startup+1784.67 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 18919
/proc/meminfo: memFree=1479568/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1772.16
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 177183 33 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709350 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1772.16
Current children cumulated vsize (KiB) 212276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.61 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 18919
/proc/meminfo: memFree=1478416/2055920 swapFree=4191880/4192956
[pid=18844] ppid=18842 vsize=212276 CPUtime=1800.06
/proc/18844/stat : 18844 (solver) R 18842 18844 18134 0 -1 4194304 30052 0 0 0 179973 33 0 0 25 0 1 0 165277041 217370624 29840 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 0 0 0
/proc/18844/statm: 53069 29840 719 92 0 51413 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 212276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.63
CPU time (s): 1800.09
CPU user time (s): 1799.73
CPU system time (s): 0.354946
CPU usage (%): 99.3081
Max. virtual memory (cumulated for all children) (KiB): 212276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30052
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= 59518
runsolver used 1.92271 s user time and 5.2522 s system time
The end
Begin job on node23 on Sun Jan 7 11:20:27 UTC 2007
IDJOB= 205985
IDBENCH= 4179
FILE ID= node23/205985-1168168826
PBS_JOBID= 3479008
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-6.xml
COMMAND LINE= /tmp/evaluation/205985-1168168826/tramontane/bin/solver /tmp/evaluation/205985-1168168826/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-205985-1168168826 -o ROOT/results/node23/solver-205985-1168168826 -C 1800 -M 900 /tmp/evaluation/205985-1168168826/tramontane/bin/solver /tmp/evaluation/205985-1168168826/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 849897233ee935bf30fd8a8cea7c085c
RANDOM SEED= 392798889
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.265
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.265
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: 1644016 kB
Buffers: 9240 kB
Cached: 178992 kB
SwapCached: 264 kB
Active: 294052 kB
Inactive: 71176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1644016 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 11768 kB
Writeback: 0 kB
Mapped: 198132 kB
Slab: 31064 kB
Committed_AS: 3576024 kB
PageTables: 2644 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= 66503 MiB
End job on node23 on Sun Jan 7 11:50:39 UTC 2007