0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0.02
0.20 c variables............. 0.07
0.20 c predicates............ 0.01
0.20 c constraints........... 1.92
2.05 c Allocating memory
2.05 c
2.05 c time limit = -1
2.05 c heuristic = dom/wdeg
2.05 c restart policy = Geometric increment
2.05 c restart base = 999
2.05 c restart factor = 1.33
2.05 c
2.05 c Solving
2.05 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-201344-1168147108 -o ROOT/results/node10/solver-201344-1168147108 -C 1800 -M 900 /tmp/evaluation/201344-1168147108/tramontane/bin/solver /tmp/evaluation/201344-1168147108/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.07 2.02 2.00 2/89 23183
/proc/meminfo: memFree=1099144/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=540 CPUtime=0
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 163106003 552960 26 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 8905508 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 135 26 21 92 0 18 0
[startup+0.102524 s]
/proc/loadavg: 2.07 2.02 2.00 2/89 23183
/proc/meminfo: memFree=1099144/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=65532 CPUtime=0.09
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 6867 0 0 0 6 3 0 0 18 0 1 0 163106003 67104768 6835 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134805416 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 16383 6835 694 92 0 14727 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65532
[startup+0.510571 s]
/proc/loadavg: 2.07 2.02 2.00 2/89 23183
/proc/meminfo: memFree=1099144/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=74440 CPUtime=0.49
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 8112 0 0 0 45 4 0 0 21 0 1 0 163106003 76226560 8080 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4159433734 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 18610 8080 708 92 0 16954 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 74440
[startup+1.33168 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 23183
/proc/meminfo: memFree=1066384/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=78764 CPUtime=1.3
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 9171 0 0 0 126 4 0 0 25 0 1 0 163106003 80654336 9139 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 4158469460 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 19691 9139 708 92 0 18035 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 78764
[startup+2.9689 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 23183
/proc/meminfo: memFree=1054672/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=2.92
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 287 5 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710322 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 89460
[startup+6.25557 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 23183
/proc/meminfo: memFree=1054672/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=6.18
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 613 5 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 89460
[startup+12.7213 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 23183
/proc/meminfo: memFree=1054736/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=12.59
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 1254 5 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 89460
[startup+25.5572 s]
/proc/loadavg: 2.05 2.01 2.00 3/89 23183
/proc/meminfo: memFree=1054864/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=25.31
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 2526 5 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 89460
[startup+51.2365 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 23183
/proc/meminfo: memFree=1054928/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=50.76
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 5070 6 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722073 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 89460
[startup+102.492 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 23185
/proc/meminfo: memFree=1054864/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=101.53
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 10147 6 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712095 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 89460
[startup+162.576 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23185
/proc/meminfo: memFree=1054864/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=161.08
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 16101 7 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710304 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 89460
[startup+222.591 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 23185
/proc/meminfo: memFree=1054928/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89460 CPUtime=220.56
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11838 0 0 0 22048 8 0 0 25 0 1 0 163106003 91607040 11806 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710503 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22365 11806 718 92 0 20709 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 89460
[startup+282.639 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 23185
/proc/meminfo: memFree=1054928/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89464 CPUtime=280.07
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11839 0 0 0 27999 8 0 0 25 0 1 0 163106003 91611136 11807 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710464 0 0 4096 0 0 0 0 17 1 0 0
/proc/23182/statm: 22366 11807 718 92 0 20710 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 89464
[startup+342.702 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 23285
/proc/meminfo: memFree=870952/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=339.77
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 33966 11 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134812944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 89468
[startup+402.781 s]
/proc/loadavg: 2.07 2.03 2.01 3/94 23355
/proc/meminfo: memFree=796136/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=399.58
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 39944 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 399.58
Current children cumulated vsize (KiB) 89468
[startup+462.802 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 23355
/proc/meminfo: memFree=786152/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=459.27
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 45913 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 459.27
Current children cumulated vsize (KiB) 89468
[startup+522.817 s]
/proc/loadavg: 2.09 2.03 2.01 3/94 23355
/proc/meminfo: memFree=775336/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=518.97
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 51883 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712081 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 518.97
Current children cumulated vsize (KiB) 89468
[startup+582.841 s]
/proc/loadavg: 2.06 2.04 2.00 3/94 23355
/proc/meminfo: memFree=745000/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=578.65
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 57851 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 578.65
Current children cumulated vsize (KiB) 89468
[startup+642.864 s]
/proc/loadavg: 2.06 2.04 2.00 3/94 23355
/proc/meminfo: memFree=734640/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=638.35
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 63821 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710511 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 638.35
Current children cumulated vsize (KiB) 89468
[startup+702.874 s]
/proc/loadavg: 2.06 2.05 2.00 3/94 23355
/proc/meminfo: memFree=611312/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89468 CPUtime=698.04
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11840 0 0 0 69790 14 0 0 25 0 1 0 163106003 91615232 11808 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22367 11808 718 92 0 20711 0
Current children cumulated CPU time (s) 698.04
Current children cumulated vsize (KiB) 89468
[startup+762.96 s]
/proc/loadavg: 2.02 2.04 2.00 3/94 23355
/proc/meminfo: memFree=611312/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=757.79
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 75764 15 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637248 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 757.79
Current children cumulated vsize (KiB) 89472
[startup+822.978 s]
/proc/loadavg: 2.00 2.03 2.00 3/94 23355
/proc/meminfo: memFree=606128/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=817.48
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 81733 15 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 817.48
Current children cumulated vsize (KiB) 89472
[startup+883.015 s]
/proc/loadavg: 2.01 2.02 2.00 6/97 23407
/proc/meminfo: memFree=1055064/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=877.01
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 87684 17 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 877.01
Current children cumulated vsize (KiB) 89472
[startup+943.056 s]
/proc/loadavg: 2.00 2.01 2.00 5/97 23407
/proc/meminfo: memFree=476952/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=936.55
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 93638 17 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 936.55
Current children cumulated vsize (KiB) 89472
[startup+1003.15 s]
/proc/loadavg: 2.38 2.12 2.03 3/97 23407
/proc/meminfo: memFree=471256/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=996.57
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 99640 17 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709358 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 996.57
Current children cumulated vsize (KiB) 89472
[startup+1063.19 s]
/proc/loadavg: 2.14 2.09 2.03 3/97 23407
/proc/meminfo: memFree=471192/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=1056.55
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 105638 17 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134812960 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 1056.55
Current children cumulated vsize (KiB) 89472
[startup+1123.23 s]
/proc/loadavg: 2.05 2.07 2.02 3/97 23407
/proc/meminfo: memFree=471192/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89472 CPUtime=1116.52
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11841 0 0 0 111634 18 0 0 25 0 1 0 163106003 91619328 11809 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134812999 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22368 11809 718 92 0 20712 0
Current children cumulated CPU time (s) 1116.52
Current children cumulated vsize (KiB) 89472
[startup+1183.26 s]
/proc/loadavg: 2.02 2.06 2.02 3/97 23407
/proc/meminfo: memFree=473240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1176.49
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 117631 18 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134712080 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1176.49
Current children cumulated vsize (KiB) 89488
[startup+1243.31 s]
/proc/loadavg: 2.00 2.04 2.01 3/97 23407
/proc/meminfo: memFree=473240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1236.47
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 123629 18 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709344 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1236.47
Current children cumulated vsize (KiB) 89488
[startup+1303.32 s]
/proc/loadavg: 1.94 2.02 2.00 3/86 23445
/proc/meminfo: memFree=1045680/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1296.4
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 129620 20 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709353 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1296.4
Current children cumulated vsize (KiB) 89488
[startup+1363.42 s]
/proc/loadavg: 1.97 2.01 2.00 3/86 23445
/proc/meminfo: memFree=520688/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1356.45
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 135625 20 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1356.45
Current children cumulated vsize (KiB) 89488
[startup+1423.43 s]
/proc/loadavg: 1.97 2.01 2.00 3/86 23672
/proc/meminfo: memFree=1160048/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1416.39
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 141615 24 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134711306 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1416.39
Current children cumulated vsize (KiB) 89488
[startup+1483.45 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160176/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1476.33
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 147609 24 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134722065 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1476.33
Current children cumulated vsize (KiB) 89488
[startup+1543.47 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1536.3
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 153606 24 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1536.3
Current children cumulated vsize (KiB) 89488
[startup+1603.49 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1596.25
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 159601 24 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637752 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1596.25
Current children cumulated vsize (KiB) 89488
[startup+1663.5 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1656.19
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 165595 24 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637248 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1656.19
Current children cumulated vsize (KiB) 89488
[startup+1723.51 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1716.16
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 171591 25 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637128 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1716.16
Current children cumulated vsize (KiB) 89488
[startup+1783.54 s]
/proc/loadavg: 1.99 2.00 2.00 3/86 23672
/proc/meminfo: memFree=1160240/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1776.12
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 177587 25 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134813000 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1776.12
Current children cumulated vsize (KiB) 89488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.55 s]
/proc/loadavg: 1.99 2.00 2.00 4/86 23672
/proc/meminfo: memFree=1160176/2055920 swapFree=4178332/4192956
[pid=23182] ppid=23180 vsize=89488 CPUtime=1800.1
/proc/23182/stat : 23182 (solver) R 23180 23182 22884 0 -1 4194304 11845 0 0 0 179985 25 0 0 25 0 1 0 163106003 91635712 11813 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134709353 0 0 4096 0 0 0 0 17 0 0 0
/proc/23182/statm: 22372 11813 718 92 0 20716 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 89488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.56
CPU time (s): 1800.12
CPU user time (s): 1799.86
CPU system time (s): 0.25996
CPU usage (%): 99.5882
Max. virtual memory (cumulated for all children) (KiB): 89488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11845
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= 61543
runsolver used 2.10368 s user time and 5.82311 s system time
The end
Begin job on node10 on Sun Jan 7 05:18:29 UTC 2007
IDJOB= 201344
IDBENCH= 3757
FILE ID= node10/201344-1168147108
PBS_JOBID= 3478164
Free space on /tmp= 66362 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-4.xml
COMMAND LINE= /tmp/evaluation/201344-1168147108/tramontane/bin/solver /tmp/evaluation/201344-1168147108/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-201344-1168147108 -o ROOT/results/node10/solver-201344-1168147108 -C 1800 -M 900 /tmp/evaluation/201344-1168147108/tramontane/bin/solver /tmp/evaluation/201344-1168147108/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= b32f7f4672e7944a90a054382f67ae51
RANDOM SEED= 40160228
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.232
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.232
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: 1099560 kB
Buffers: 61652 kB
Cached: 606028 kB
SwapCached: 2120 kB
Active: 489388 kB
Inactive: 371828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1099560 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 6748 kB
Writeback: 0 kB
Mapped: 204608 kB
Slab: 79524 kB
Committed_AS: 4168268 kB
PageTables: 2696 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= 66364 MiB
End job on node10 on Sun Jan 7 05:48:36 UTC 2007