0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0
0.01 c relations............. 0.82
0.87 c constraints........... 0.04
0.91 c Allocating memory
0.91 c
0.91 c time limit = -1
0.91 c heuristic = dom/wdeg
0.91 c restart policy = Geometric increment
0.91 c restart base = 15
0.91 c restart factor = 1.33
0.91 c
0.91 c Solving
0.91 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-200058-1168140224 -o ROOT/results/node52/solver-200058-1168140224 -C 1800 -M 900 /tmp/evaluation/200058-1168140224/tramontane/bin/solver /tmp/evaluation/200058-1168140224/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: 3.11 2.36 1.97 3/80 26299
/proc/meminfo: memFree=1660920/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=6792 CPUtime=0
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 162420971 6955008 404 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4279160 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 1698 405 366 92 0 30 0
[startup+0.102347 s]
/proc/loadavg: 3.11 2.36 1.97 3/80 26299
/proc/meminfo: memFree=1660920/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=7928 CPUtime=0.09
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 1051 0 0 0 9 0 0 0 18 0 1 0 162420971 8118272 1019 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4798474 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 1982 1019 692 92 0 326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7928
[startup+0.510372 s]
/proc/loadavg: 3.11 2.36 1.97 3/80 26299
/proc/meminfo: memFree=1660920/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=11248 CPUtime=0.47
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 1874 0 0 0 47 0 0 0 21 0 1 0 162420971 11517952 1842 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4158648201 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 2812 1842 692 92 0 1156 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11248
[startup+1.33143 s]
/proc/loadavg: 3.10 2.37 1.97 4/80 26342
/proc/meminfo: memFree=1652920/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1.2
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 119 1 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790431 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 14168
[startup+2.96854 s]
/proc/loadavg: 3.10 2.37 1.97 4/79 26411
/proc/meminfo: memFree=1653184/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=2.7
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 269 1 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790780 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 14168
[startup+6.25277 s]
/proc/loadavg: 3.09 2.38 1.98 5/88 27287
/proc/meminfo: memFree=1648568/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=5.84
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 582 2 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790733 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 14168
[startup+12.7182 s]
/proc/loadavg: 3.08 2.39 1.98 3/88 27902
/proc/meminfo: memFree=1565368/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=11.8
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 1177 3 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785683 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 14168
[startup+25.5441 s]
/proc/loadavg: 3.07 2.41 1.99 4/87 28699
/proc/meminfo: memFree=1374336/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=24.06
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 2402 4 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637147 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 14168
[startup+51.2078 s]
/proc/loadavg: 3.34 2.54 2.05 5/88 30537
/proc/meminfo: memFree=1056312/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=45.99
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 4595 4 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637603 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 45.99
Current children cumulated vsize (KiB) 14168
[startup+102.44 s]
/proc/loadavg: 3.79 2.80 2.16 6/88 1349
/proc/meminfo: memFree=1040576/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=90.41
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 9036 5 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790446 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 90.41
Current children cumulated vsize (KiB) 14168
[startup+162.531 s]
/proc/loadavg: 3.94 3.01 2.27 4/87 5123
/proc/meminfo: memFree=1036672/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=142.75
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 14269 6 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790659 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 142.75
Current children cumulated vsize (KiB) 14168
[startup+222.579 s]
/proc/loadavg: 4.10 3.23 2.39 5/88 8616
/proc/meminfo: memFree=1030400/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=195.28
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 19521 7 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639645 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 195.28
Current children cumulated vsize (KiB) 14168
[startup+282.59 s]
/proc/loadavg: 4.00 3.36 2.49 5/87 12216
/proc/meminfo: memFree=1024456/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=247.81
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 24773 8 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790642 0 0 4096 0 0 0 0 17 1 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 247.81
Current children cumulated vsize (KiB) 14168
[startup+342.648 s]
/proc/loadavg: 3.78 3.41 2.56 7/88 15631
/proc/meminfo: memFree=1021120/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=302
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 30191 9 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722089 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 302
Current children cumulated vsize (KiB) 14168
[startup+402.649 s]
/proc/loadavg: 3.00 3.28 2.56 3/81 17773
/proc/meminfo: memFree=1021032/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=360.96
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 36086 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637630 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 360.96
Current children cumulated vsize (KiB) 14168
[startup+462.734 s]
/proc/loadavg: 2.43 3.07 2.54 4/81 17773
/proc/meminfo: memFree=1021032/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=420.56
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 42046 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790406 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 420.56
Current children cumulated vsize (KiB) 14168
[startup+522.756 s]
/proc/loadavg: 2.59 3.00 2.54 3/81 17773
/proc/meminfo: memFree=1021096/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=480.1
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 48000 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637530 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 480.1
Current children cumulated vsize (KiB) 14168
[startup+582.811 s]
/proc/loadavg: 2.25 2.83 2.51 3/81 17773
/proc/meminfo: memFree=1020776/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=539.67
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 53957 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134795096 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 539.67
Current children cumulated vsize (KiB) 14168
[startup+642.86 s]
/proc/loadavg: 2.09 2.67 2.48 3/81 17773
/proc/meminfo: memFree=1020776/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=599.21
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 59911 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722201 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 599.21
Current children cumulated vsize (KiB) 14168
[startup+702.94 s]
/proc/loadavg: 2.11 2.56 2.45 4/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=658.83
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 65873 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637171 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 658.83
Current children cumulated vsize (KiB) 14168
[startup+763.017 s]
/proc/loadavg: 2.21 2.52 2.44 3/81 17773
/proc/meminfo: memFree=1020776/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=718.43
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 71833 10 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639618 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 718.43
Current children cumulated vsize (KiB) 14168
[startup+823.09 s]
/proc/loadavg: 2.08 2.42 2.41 3/81 17773
/proc/meminfo: memFree=1020776/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=778.01
################
# More data... #
################
Current children cumulated vsize (KiB) 14168
[startup+883.159 s]
/proc/loadavg: 2.15 2.37 2.39 3/81 17773
/proc/meminfo: memFree=1020776/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=837.6
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 83749 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790434 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 837.6
Current children cumulated vsize (KiB) 14168
[startup+943.227 s]
/proc/loadavg: 2.05 2.30 2.37 3/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=897.19
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 89708 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790393 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 897.19
Current children cumulated vsize (KiB) 14168
[startup+1003.28 s]
/proc/loadavg: 2.07 2.26 2.35 3/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=956.74
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 95663 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639609 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 956.74
Current children cumulated vsize (KiB) 14168
[startup+1063.37 s]
/proc/loadavg: 2.02 2.21 2.32 3/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1016.36
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 101625 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639645 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1016.36
Current children cumulated vsize (KiB) 14168
[startup+1123.46 s]
/proc/loadavg: 2.08 2.20 2.31 3/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1075.97
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 107586 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637542 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1075.97
Current children cumulated vsize (KiB) 14168
[startup+1183.47 s]
/proc/loadavg: 2.17 2.19 2.30 3/81 17773
/proc/meminfo: memFree=1020648/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1135.48
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 113537 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637551 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1135.48
Current children cumulated vsize (KiB) 14168
[startup+1243.54 s]
/proc/loadavg: 2.06 2.15 2.27 3/81 17773
/proc/meminfo: memFree=1020712/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1195.08
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 119497 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637536 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1195.08
Current children cumulated vsize (KiB) 14168
[startup+1303.62 s]
/proc/loadavg: 2.05 2.14 2.26 3/81 17773
/proc/meminfo: memFree=1020648/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1254.68
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 125457 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790655 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1254.68
Current children cumulated vsize (KiB) 14168
[startup+1363.69 s]
/proc/loadavg: 2.02 2.11 2.24 3/81 17773
/proc/meminfo: memFree=1020648/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1314.24
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 131413 11 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637721 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1314.24
Current children cumulated vsize (KiB) 14168
[startup+1423.76 s]
/proc/loadavg: 2.04 2.10 2.23 4/81 17773
/proc/meminfo: memFree=1020648/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1373.85
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 137373 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790427 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1373.85
Current children cumulated vsize (KiB) 14168
[startup+1483.81 s]
/proc/loadavg: 2.09 2.10 2.22 3/81 17773
/proc/meminfo: memFree=1020584/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1433.42
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 143330 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722080 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1433.42
Current children cumulated vsize (KiB) 14168
[startup+1543.81 s]
/proc/loadavg: 2.10 2.09 2.21 3/81 17773
/proc/meminfo: memFree=1020584/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1492.93
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 149281 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637200 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1492.93
Current children cumulated vsize (KiB) 14168
[startup+1603.88 s]
/proc/loadavg: 2.03 2.07 2.19 3/81 17773
/proc/meminfo: memFree=1020584/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1552.51
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 155239 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790368 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1552.51
Current children cumulated vsize (KiB) 14168
[startup+1663.97 s]
/proc/loadavg: 2.08 2.07 2.18 3/81 17773
/proc/meminfo: memFree=1020520/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1612.12
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 161200 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722305 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1612.12
Current children cumulated vsize (KiB) 14168
[startup+1724.03 s]
/proc/loadavg: 2.07 2.07 2.17 3/81 17773
/proc/meminfo: memFree=1020584/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1671.68
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 167156 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639671 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1671.68
Current children cumulated vsize (KiB) 14168
[startup+1784.1 s]
/proc/loadavg: 2.02 2.06 2.16 4/81 17773
/proc/meminfo: memFree=1020520/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1731.28
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 173116 12 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637663 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1731.28
Current children cumulated vsize (KiB) 14168
[startup+1844.16 s]
/proc/loadavg: 1.86 2.01 2.14 3/74 17892
/proc/meminfo: memFree=1637544/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1790.95
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 179082 13 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639671 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1790.95
Current children cumulated vsize (KiB) 14168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1853.38 s]
/proc/loadavg: 1.88 2.01 2.14 3/74 17892
/proc/meminfo: memFree=1637568/2055920 swapFree=4192812/4192956
[pid=26298] ppid=26296 vsize=14168 CPUtime=1800.08
/proc/26298/stat : 26298 (solver) R 26296 26298 14052 0 -1 4194304 2634 0 0 0 179995 13 0 0 25 0 1 0 162420971 14508032 2602 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637474 0 0 4096 0 0 0 0 17 0 0 0
/proc/26298/statm: 3542 2602 711 92 0 1886 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 14168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1853.39
CPU time (s): 1800.1
CPU user time (s): 1799.95
CPU system time (s): 0.140978
CPU usage (%): 97.1246
Max. virtual memory (cumulated for all children) (KiB): 14168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2634
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= 68731
runsolver used 1.82372 s user time and 5.08923 s system time
The end
Begin job on node52 on Sun Jan 7 03:23:45 UTC 2007
IDJOB= 200058
IDBENCH= 3685
FILE ID= node52/200058-1168140224
PBS_JOBID= 3478056
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
COMMAND LINE= /tmp/evaluation/200058-1168140224/tramontane/bin/solver /tmp/evaluation/200058-1168140224/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-200058-1168140224 -o ROOT/results/node52/solver-200058-1168140224 -C 1800 -M 900 /tmp/evaluation/200058-1168140224/tramontane/bin/solver /tmp/evaluation/200058-1168140224/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 7c0b05f7f42ae11b3693dc048764a611
RANDOM SEED= 360643972
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: 1660952 kB
Buffers: 48788 kB
Cached: 253540 kB
SwapCached: 0 kB
Active: 137716 kB
Inactive: 194960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1660952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6536 kB
Writeback: 0 kB
Mapped: 44312 kB
Slab: 47120 kB
Committed_AS: 3453000 kB
PageTables: 2148 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= 66547 MiB
End job on node52 on Sun Jan 7 03:54:38 UTC 2007