0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0.04
0.20 c variables............. 0.13
0.20 c predicates............ 0
0.20 c constraints........... 3.16
3.36 c Allocating memory
3.36 c
3.36 c time limit = -1
3.36 c heuristic = dom/wdeg
3.36 c restart policy = Geometric increment
3.36 c restart base = 1666
3.36 c restart factor = 1.33
3.36 c
3.36 c Solving
3.36 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-200943-1168144422 -o ROOT/results/node21/solver-200943-1168144422 -C 1800 -M 900 /tmp/evaluation/200943-1168144422/tramontane/bin/solver /tmp/evaluation/200943-1168144422/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: 1.92 1.98 1.99 2/86 7009
/proc/meminfo: memFree=1671696/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=540 CPUtime=0
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 162836907 552960 26 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 8438564 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 135 26 21 92 0 18 0
[startup+0.103508 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 7009
/proc/meminfo: memFree=1671696/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=44700 CPUtime=0.09
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 4857 0 0 0 7 2 0 0 18 0 1 0 162836907 45772800 4825 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134805416 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 11175 4825 694 92 0 9519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44700
[startup+0.515571 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 7009
/proc/meminfo: memFree=1671696/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=117032 CPUtime=0.5
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 12864 0 0 0 45 5 0 0 22 0 1 0 162836907 119840768 12832 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158501395 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 29258 12832 709 92 0 27602 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 117032
[startup+1.33873 s]
/proc/loadavg: 1.92 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1619792/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=121076 CPUtime=1.32
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 13903 0 0 0 126 6 0 0 25 0 1 0 162836907 123981824 13871 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158769346 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 30269 13871 709 92 0 28613 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 121076
[startup+2.97704 s]
/proc/loadavg: 1.92 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1614096/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=129544 CPUtime=2.94
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 16004 0 0 0 287 7 0 0 25 0 1 0 162836907 132653056 15939 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134575795 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 32386 15939 709 92 0 30730 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 129544
[startup+6.25966 s]
/proc/loadavg: 1.93 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1596176/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=6.21
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 613 8 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 143876
[startup+12.7219 s]
/proc/loadavg: 1.93 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1596248/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=12.64
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 1256 8 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 143876
[startup+25.5373 s]
/proc/loadavg: 1.95 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1596312/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=25.4
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 2532 8 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711750 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 143876
[startup+51.1851 s]
/proc/loadavg: 1.96 1.98 1.99 3/86 7009
/proc/meminfo: memFree=1596376/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=50.94
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 5085 9 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812977 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 143876
[startup+102.471 s]
/proc/loadavg: 2.02 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596440/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=102.01
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 10192 9 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 143876
[startup+162.475 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596376/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=161.77
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 16167 10 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 143876
[startup+222.488 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596376/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=221.51
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 22141 10 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 221.51
Current children cumulated vsize (KiB) 143876
[startup+282.493 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596376/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143876 CPUtime=281.27
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19612 0 0 0 28116 11 0 0 25 0 1 0 162836907 147329024 19508 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712081 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35969 19508 719 92 0 34313 0
Current children cumulated CPU time (s) 281.27
Current children cumulated vsize (KiB) 143876
[startup+342.495 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596312/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=341.03
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 34092 11 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709353 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 341.03
Current children cumulated vsize (KiB) 143880
[startup+402.497 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596312/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=400.79
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 40067 12 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712110 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 400.79
Current children cumulated vsize (KiB) 143880
[startup+462.597 s]
/proc/loadavg: 2.03 2.01 2.00 3/86 7009
/proc/meminfo: memFree=1596248/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=460.64
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 46051 13 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711425 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 460.64
Current children cumulated vsize (KiB) 143880
[startup+522.599 s]
/proc/loadavg: 2.01 2.01 2.00 3/86 7009
/proc/meminfo: memFree=1596184/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=520.38
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 52025 13 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709358 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 520.38
Current children cumulated vsize (KiB) 143880
[startup+582.695 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596120/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=580.22
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 58008 14 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 580.22
Current children cumulated vsize (KiB) 143880
[startup+642.797 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596120/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=640.07
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 63992 15 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 640.07
Current children cumulated vsize (KiB) 143880
[startup+702.891 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1596056/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=699.91
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 69976 15 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (KiB) 143880
[startup+762.895 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1595992/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=759.66
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 75950 16 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (KiB) 143880
[startup+822.994 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1595992/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=819.51
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 81934 17 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637139 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 819.51
Current children cumulated vsize (KiB) 143880
[startup+883.094 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1595992/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=879.37
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 87920 17 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 879.37
Current children cumulated vsize (KiB) 143880
[startup+943.188 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 7009
/proc/meminfo: memFree=1595864/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=939.22
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 93904 18 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 939.22
Current children cumulated vsize (KiB) 143880
[startup+1003.29 s]
/proc/loadavg: 2.05 2.01 2.00 3/86 7009
/proc/meminfo: memFree=1595800/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=999.06
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 99888 18 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711105 0 0 4096 0 0 0 0 17 1 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 999.06
Current children cumulated vsize (KiB) 143880
[startup+1063.38 s]
/proc/loadavg: 2.02 2.01 2.00 3/86 7047
/proc/meminfo: memFree=1013656/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1059.03
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 105882 21 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1059.03
Current children cumulated vsize (KiB) 143880
[startup+1123.43 s]
/proc/loadavg: 1.56 1.89 1.96 2/78 7062
/proc/meminfo: memFree=1681256/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1119.05
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 111883 22 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1119.05
Current children cumulated vsize (KiB) 143880
[startup+1183.47 s]
/proc/loadavg: 1.19 1.72 1.89 2/78 7062
/proc/meminfo: memFree=1681320/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1179.06
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 117884 22 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1179.06
Current children cumulated vsize (KiB) 143880
[startup+1243.51 s]
/proc/loadavg: 1.07 1.58 1.84 2/78 7062
/proc/meminfo: memFree=1681256/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1239.08
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 123886 22 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722070 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1239.08
Current children cumulated vsize (KiB) 143880
[startup+1303.55 s]
/proc/loadavg: 1.02 1.47 1.78 2/78 7062
/proc/meminfo: memFree=1681192/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1299.1
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 129888 22 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1299.1
Current children cumulated vsize (KiB) 143880
[startup+1363.59 s]
/proc/loadavg: 1.01 1.39 1.73 2/78 7062
/proc/meminfo: memFree=1681128/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143880 CPUtime=1359.11
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19613 0 0 0 135889 22 0 0 25 0 1 0 162836907 147333120 19509 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711744 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35970 19509 719 92 0 34314 0
Current children cumulated CPU time (s) 1359.11
Current children cumulated vsize (KiB) 143880
[startup+1423.63 s]
/proc/loadavg: 1.00 1.31 1.68 2/78 7062
/proc/meminfo: memFree=1681064/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1419.13
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 141890 23 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1419.13
Current children cumulated vsize (KiB) 143884
[startup+1483.67 s]
/proc/loadavg: 1.07 1.27 1.64 2/81 7093
/proc/meminfo: memFree=1675592/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1479.13
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 147890 23 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708986 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1479.13
Current children cumulated vsize (KiB) 143884
[startup+1543.77 s]
/proc/loadavg: 1.66 1.40 1.66 3/94 7152
/proc/meminfo: memFree=1233376/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1539.18
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 153891 27 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711463 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1539.18
Current children cumulated vsize (KiB) 143884
[startup+1603.85 s]
/proc/loadavg: 1.98 1.54 1.69 3/94 7152
/proc/meminfo: memFree=1028320/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1599.18
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 159891 27 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812977 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1599.18
Current children cumulated vsize (KiB) 143884
[startup+1663.93 s]
/proc/loadavg: 1.99 1.62 1.70 3/100 7260
/proc/meminfo: memFree=1001360/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1659.14
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 165884 30 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1659.14
Current children cumulated vsize (KiB) 143884
[startup+1724.03 s]
/proc/loadavg: 1.99 1.68 1.72 3/100 7326
/proc/meminfo: memFree=989808/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1719.16
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 171880 36 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1719.16
Current children cumulated vsize (KiB) 143884
[startup+1784.12 s]
/proc/loadavg: 2.08 1.77 1.74 3/94 7350
/proc/meminfo: memFree=979744/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1779.16
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 177880 36 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1779.16
Current children cumulated vsize (KiB) 143884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.07 s]
/proc/loadavg: 2.12 1.80 1.75 3/94 7350
/proc/meminfo: memFree=975584/2055920 swapFree=4156304/4192956
[pid=7008] ppid=7006 vsize=143884 CPUtime=1800.09
/proc/7008/stat : 7008 (solver) R 7006 7008 3293 0 -1 4194304 19614 0 0 0 179973 36 0 0 25 0 1 0 162836907 147337216 19510 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637246 0 0 4096 0 0 0 0 17 0 0 0
/proc/7008/statm: 35971 19510 719 92 0 34315 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 143884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.09
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.379942
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 143884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19614
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= 31884
runsolver used 1.89771 s user time and 5.11922 s system time
The end
Begin job on node21 on Sun Jan 7 04:33:44 UTC 2007
IDJOB= 200943
IDBENCH= 3735
FILE ID= node21/200943-1168144422
PBS_JOBID= 3478070
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
COMMAND LINE= /tmp/evaluation/200943-1168144422/tramontane/bin/solver /tmp/evaluation/200943-1168144422/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-200943-1168144422 -o ROOT/results/node21/solver-200943-1168144422 -C 1800 -M 900 /tmp/evaluation/200943-1168144422/tramontane/bin/solver /tmp/evaluation/200943-1168144422/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 4617dd65e04376af0f17b07f3d79e34a
RANDOM SEED= 954153209
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.261
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.261
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: 1672112 kB
Buffers: 50200 kB
Cached: 163492 kB
SwapCached: 2956 kB
Active: 213484 kB
Inactive: 106196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1672112 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 8588 kB
Writeback: 0 kB
Mapped: 117608 kB
Slab: 48864 kB
Committed_AS: 3288192 kB
PageTables: 2372 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= 66550 MiB
End job on node21 on Sun Jan 7 05:03:49 UTC 2007