0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0.05
0.20 c variables............. 0.04
0.20 c predicates............ 0
0.20 c constraints........... 0.68
0.78 c Allocating memory
0.78 c
0.78 c time limit = -1
0.78 c heuristic = dom/wdeg
0.78 c restart policy = Geometric increment
0.78 c restart base = 533
0.78 c restart factor = 1.33
0.78 c
0.78 c Solving
0.78 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-196401-1168123012 -o ROOT/results/node22/solver-196401-1168123012 -C 1800 -M 900 /tmp/evaluation/196401-1168123012/tramontane/bin/solver /tmp/evaluation/196401-1168123012/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.94 2.00 1.99 5/94 19410
/proc/meminfo: memFree=1320904/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=18540 CPUtime=0
/proc/19409/stat : 19409 (runsolver) R 19407 19409 18131 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 160695719 18984960 279 18446744073709551615 4194304 4267372 548682069008 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19409/statm: 4635 279 244 17 0 2626 0
[startup+0.108418 s]
/proc/loadavg: 1.94 2.00 1.99 5/94 19410
/proc/meminfo: memFree=1320904/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=40240 CPUtime=0.09
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 3593 0 0 0 7 2 0 0 18 0 1 0 160695719 41205760 3561 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158602569 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 10060 3561 703 92 0 8404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40240
[startup+0.518465 s]
/proc/loadavg: 1.94 2.00 1.99 5/94 19410
/proc/meminfo: memFree=1320904/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=42352 CPUtime=0.5
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4140 0 0 0 47 3 0 0 22 0 1 0 160695719 43368448 4108 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134543920 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 10588 4108 708 92 0 8932 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 42352
[startup+1.3446 s]
/proc/loadavg: 1.94 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1302664/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45684 CPUtime=1.32
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4977 0 0 0 129 3 0 0 25 0 1 0 160695719 46780416 4945 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711146 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11421 4945 719 92 0 9765 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 45684
[startup+2.98185 s]
/proc/loadavg: 1.94 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1302664/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45684 CPUtime=2.94
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4977 0 0 0 291 3 0 0 25 0 1 0 160695719 46780416 4945 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11421 4945 719 92 0 9765 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 45684
[startup+6.26736 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1294088/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45688 CPUtime=6.2
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4978 0 0 0 617 3 0 0 25 0 1 0 160695719 46784512 4946 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708986 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11422 4946 719 92 0 9766 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 45688
[startup+12.7283 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1287368/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45688 CPUtime=12.59
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4978 0 0 0 1256 3 0 0 25 0 1 0 160695719 46784512 4946 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11422 4946 719 92 0 9766 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 45688
[startup+25.5823 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1282184/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45696 CPUtime=25.33
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4980 0 0 0 2530 3 0 0 25 0 1 0 160695719 46792704 4948 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11424 4948 719 92 0 9768 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 45696
[startup+51.2523 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1277128/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45696 CPUtime=50.76
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4980 0 0 0 5073 3 0 0 25 0 1 0 160695719 46792704 4948 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709364 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11424 4948 719 92 0 9768 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 45696
[startup+102.505 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1254472/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45696 CPUtime=101.55
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4980 0 0 0 10151 4 0 0 25 0 1 0 160695719 46792704 4948 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711130 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11424 4948 719 92 0 9768 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 45696
[startup+162.541 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 19410
/proc/meminfo: memFree=1220808/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45696 CPUtime=161.03
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4980 0 0 0 16099 4 0 0 25 0 1 0 160695719 46792704 4948 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637259 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11424 4948 719 92 0 9768 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 45696
[startup+222.616 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 19410
/proc/meminfo: memFree=1196680/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=220.55
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 22051 4 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812994 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 45700
[startup+282.691 s]
/proc/loadavg: 2.08 2.03 2.01 3/94 19410
/proc/meminfo: memFree=1165832/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=280.07
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 28002 5 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709356 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (KiB) 45700
[startup+342.777 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 19410
/proc/meminfo: memFree=1153416/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=339.59
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 33954 5 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708976 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 339.59
Current children cumulated vsize (KiB) 45700
[startup+402.859 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 19410
/proc/meminfo: memFree=1136776/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=399.12
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 39906 6 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711466 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 399.12
Current children cumulated vsize (KiB) 45700
[startup+462.932 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 19410
/proc/meminfo: memFree=1117256/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=458.63
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 45857 6 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637840 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 458.63
Current children cumulated vsize (KiB) 45700
[startup+522.979 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 19410
/proc/meminfo: memFree=1091400/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=518.13
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 51806 7 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134813004 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 518.13
Current children cumulated vsize (KiB) 45700
[startup+583.023 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=1066888/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=577.62
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 57755 7 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134638385 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 577.62
Current children cumulated vsize (KiB) 45700
[startup+643.098 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=1056264/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45700 CPUtime=637.13
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4981 0 0 0 63706 7 0 0 25 0 1 0 160695719 46796800 4949 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134708977 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11425 4949 719 92 0 9769 0
Current children cumulated CPU time (s) 637.13
Current children cumulated vsize (KiB) 45700
[startup+703.104 s]
/proc/loadavg: 2.04 2.01 2.00 3/94 19410
/proc/meminfo: memFree=1038344/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=696.59
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 69651 8 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722064 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 696.59
Current children cumulated vsize (KiB) 45704
[startup+763.18 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 19410
/proc/meminfo: memFree=1026440/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=756.11
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 75603 8 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637842 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 756.11
Current children cumulated vsize (KiB) 45704
[startup+823.224 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=1019400/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=815.6
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 81552 8 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637834 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 815.6
Current children cumulated vsize (KiB) 45704
[startup+883.304 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=1004744/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=875.13
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 87505 8 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 875.13
Current children cumulated vsize (KiB) 45704
[startup+943.385 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=994824/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=934.66
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 93457 9 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711745 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 934.66
Current children cumulated vsize (KiB) 45704
[startup+1003.46 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 19410
/proc/meminfo: memFree=977544/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=994.18
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 99409 9 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712081 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 994.18
Current children cumulated vsize (KiB) 45704
[startup+1063.54 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 19410
/proc/meminfo: memFree=960072/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=1053.7
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 105361 9 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134711146 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 1053.7
Current children cumulated vsize (KiB) 45704
[startup+1123.63 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 19410
/proc/meminfo: memFree=952584/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=1113.24
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 111314 10 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 1113.24
Current children cumulated vsize (KiB) 45704
[startup+1183.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=940552/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=1172.76
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 117266 10 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 1172.76
Current children cumulated vsize (KiB) 45704
[startup+1243.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19410
/proc/meminfo: memFree=936008/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45704 CPUtime=1232.28
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4982 0 0 0 123218 10 0 0 25 0 1 0 160695719 46800896 4950 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11426 4950 719 92 0 9770 0
Current children cumulated CPU time (s) 1232.28
Current children cumulated vsize (KiB) 45704
[startup+1303.87 s]
/proc/loadavg: 2.03 2.01 2.00 4/94 19410
/proc/meminfo: memFree=922952/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45708 CPUtime=1291.8
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4983 0 0 0 129169 11 0 0 25 0 1 0 160695719 46804992 4951 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11427 4951 719 92 0 9771 0
Current children cumulated CPU time (s) 1291.8
Current children cumulated vsize (KiB) 45708
[startup+1363.95 s]
/proc/loadavg: 2.14 2.05 2.01 3/94 19410
/proc/meminfo: memFree=908424/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1351.33
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 135122 11 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1351.33
Current children cumulated vsize (KiB) 45712
[startup+1424.04 s]
/proc/loadavg: 2.05 2.04 2.01 3/94 19410
/proc/meminfo: memFree=899656/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1410.86
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 141074 12 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812927 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1410.86
Current children cumulated vsize (KiB) 45712
[startup+1484.12 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 19534
/proc/meminfo: memFree=886344/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1470.21
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 147009 12 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1470.21
Current children cumulated vsize (KiB) 45712
[startup+1544.16 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 19608
/proc/meminfo: memFree=879168/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1529.56
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 152944 12 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134712080 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1529.56
Current children cumulated vsize (KiB) 45712
[startup+1604.16 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 19608
/proc/meminfo: memFree=866824/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1589.01
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 158888 13 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1589.01
Current children cumulated vsize (KiB) 45712
[startup+1664.21 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 19608
/proc/meminfo: memFree=859720/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1648.51
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 164838 13 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710305 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1648.51
Current children cumulated vsize (KiB) 45712
[startup+1724.24 s]
/proc/loadavg: 2.00 2.00 2.00 4/97 19661
/proc/meminfo: memFree=1263344/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1707.94
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 170780 14 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1707.94
Current children cumulated vsize (KiB) 45712
[startup+1784.32 s]
/proc/loadavg: 2.18 2.05 2.01 4/97 19661
/proc/meminfo: memFree=757232/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1767.33
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 176719 14 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710324 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1767.33
Current children cumulated vsize (KiB) 45712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.37 s]
/proc/loadavg: 2.45 2.12 2.04 4/97 19661
/proc/meminfo: memFree=756848/2055920 swapFree=4157532/4192956
[pid=19409] ppid=19407 vsize=45712 CPUtime=1800.08
/proc/19409/stat : 19409 (solver) R 19407 19409 18131 0 -1 4194304 4984 0 0 0 179994 14 0 0 25 0 1 0 160695719 46809088 4952 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134709345 0 0 4096 0 0 0 0 17 1 0 0
/proc/19409/statm: 11428 4952 719 92 0 9772 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.38
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.151976
CPU usage (%): 99.0488
Max. virtual memory (cumulated for all children) (KiB): 45712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4984
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= 88013
runsolver used 2.14167 s user time and 6.04108 s system time
The end
Begin job on node22 on Sat Jan 6 22:36:53 UTC 2007
IDJOB= 196401
IDBENCH= 3348
FILE ID= node22/196401-1168123012
PBS_JOBID= 3477449
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
COMMAND LINE= /tmp/evaluation/196401-1168123012/tramontane/bin/solver /tmp/evaluation/196401-1168123012/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-196401-1168123012 -o ROOT/results/node22/solver-196401-1168123012 -C 1800 -M 900 /tmp/evaluation/196401-1168123012/tramontane/bin/solver /tmp/evaluation/196401-1168123012/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 3a39af590e754420eaf79b6f135d4551
RANDOM SEED= 247013767
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1322856 kB
Buffers: 50064 kB
Cached: 379784 kB
SwapCached: 13648 kB
Active: 347648 kB
Inactive: 315504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1322856 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 4268 kB
Writeback: 0 kB
Mapped: 257324 kB
Slab: 54184 kB
Committed_AS: 3512912 kB
PageTables: 2740 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66543 MiB
End job on node22 on Sat Jan 6 23:07:14 UTC 2007