0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0
0.01 c relations............. 1.64
1.65 c constraints........... 0.08
1.73 c Allocating memory
1.73 c
1.73 c time limit = -1
1.73 c heuristic = dom/wdeg
1.73 c restart policy = Geometric increment
1.73 c restart base = 18
1.73 c restart factor = 1.33
1.73 c
1.73 c Solving
1.73 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-206548-1168174527 -o ROOT/results/node51/solver-206548-1168174527 -C 1800 -M 900 /tmp/evaluation/206548-1168174527/tramontane/bin/solver /tmp/evaluation/206548-1168174527/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
[startup+0.103002 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=0/54 swapFree=-854558588/0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=1265832/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=8980 CPUtime=0.19
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 1305 0 0 0 19 0 0 0 19 0 1 0 165851296 9195520 1266 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 3107140 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 2245 1266 692 92 0 589 0
[startup+0.511073 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=1265832/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=11824 CPUtime=0.49
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 2015 0 0 0 49 0 0 0 21 0 1 0 165851296 12107776 1976 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 2956 1976 692 92 0 1300 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11824
[startup+1.33221 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=1255208/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=19084 CPUtime=1.31
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 3831 0 0 0 130 1 0 0 25 0 1 0 165851296 19542016 3792 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4157827076 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 4771 3792 692 92 0 3115 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 19084
[startup+2.96949 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=1250152/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=2.95
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 293 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637542 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 22320
[startup+6.25605 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29063
/proc/meminfo: memFree=1250088/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=6.24
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 622 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722176 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 22320
[startup+12.7221 s]
/proc/loadavg: 2.06 2.02 2.00 3/85 29063
/proc/meminfo: memFree=1221032/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=12.7
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 1268 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637242 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 22320
[startup+25.5623 s]
/proc/loadavg: 2.05 2.02 2.00 3/85 29063
/proc/meminfo: memFree=1221160/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=25.53
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 2551 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637188 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 22320
[startup+51.2057 s]
/proc/loadavg: 2.03 2.02 2.00 3/85 29063
/proc/meminfo: memFree=1221224/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=51.13
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 5111 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637551 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 22320
[startup+102.48 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 29063
/proc/meminfo: memFree=1221288/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=102.35
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 10233 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637348 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 22320
[startup+162.517 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 29063
/proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=162.34
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 16232 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790401 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 22320
[startup+222.565 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29063
/proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=222.31
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 22229 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639671 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 22320
[startup+282.653 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29063
/proc/meminfo: memFree=1162280/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=282.04
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 28202 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637649 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 22320
[startup+342.732 s]
/proc/loadavg: 2.14 2.03 2.01 3/91 29129
/proc/meminfo: memFree=1161064/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=341.54
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 34152 2 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790597 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 341.54
Current children cumulated vsize (KiB) 22320
[startup+402.753 s]
/proc/loadavg: 2.04 2.02 2.00 3/91 29221
/proc/meminfo: memFree=1132016/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=400.98
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 40095 3 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722180 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 400.98
Current children cumulated vsize (KiB) 22320
[startup+462.814 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 29261
/proc/meminfo: memFree=1132904/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=460.96
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 46091 5 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639584 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 460.96
Current children cumulated vsize (KiB) 22320
[startup+522.908 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 29261
/proc/meminfo: memFree=1104296/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=521
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 52095 5 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637597 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 521
Current children cumulated vsize (KiB) 22320
[startup+582.954 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 29261
/proc/meminfo: memFree=1104232/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=580.97
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 58092 5 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637551 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 580.97
Current children cumulated vsize (KiB) 22320
[startup+643.001 s]
/proc/loadavg: 2.07 2.02 2.00 3/85 29261
/proc/meminfo: memFree=1104296/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=640.97
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 64091 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790406 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 640.97
Current children cumulated vsize (KiB) 22320
[startup+703.02 s]
/proc/loadavg: 2.11 2.04 2.01 3/85 29261
/proc/meminfo: memFree=1075368/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=700.5
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 70044 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637771 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 700.5
Current children cumulated vsize (KiB) 22320
[startup+763.103 s]
/proc/loadavg: 2.04 2.03 2.00 3/85 29261
/proc/meminfo: memFree=1075368/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=760.08
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 76002 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637524 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 760.08
Current children cumulated vsize (KiB) 22320
[startup+823.177 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 29261
/proc/meminfo: memFree=1046248/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=819.65
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 81959 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637542 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 819.65
Current children cumulated vsize (KiB) 22320
[startup+883.255 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 29261
/proc/meminfo: memFree=1046248/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=879.23
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 87917 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637667 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 879.23
Current children cumulated vsize (KiB) 22320
[startup+943.325 s]
/proc/loadavg: 2.03 2.03 2.00 3/85 29261
/proc/meminfo: memFree=1046248/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=938.8
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 93874 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637459 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 938.8
Current children cumulated vsize (KiB) 22320
[startup+1003.41 s]
/proc/loadavg: 2.07 2.03 2.00 3/85 29261
/proc/meminfo: memFree=1017064/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=998.28
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 99822 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637632 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 998.28
Current children cumulated vsize (KiB) 22320
[startup+1063.49 s]
/proc/loadavg: 2.02 2.03 2.00 3/85 29261
/proc/meminfo: memFree=1017000/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1057.86
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 105780 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637322 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1057.86
Current children cumulated vsize (KiB) 22320
[startup+1123.57 s]
/proc/loadavg: 2.08 2.04 2.00 3/85 29261
/proc/meminfo: memFree=1017000/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1117.44
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 111738 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637542 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1117.44
Current children cumulated vsize (KiB) 22320
[startup+1183.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/85 29261
/proc/meminfo: memFree=987432/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1176.95
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 117689 6 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722211 0 0 4096 0 0 0 0 17 1 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1176.95
Current children cumulated vsize (KiB) 22320
[startup+1243.67 s]
/proc/loadavg: 1.72 1.96 1.98 2/65 29278
/proc/meminfo: memFree=1640024/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1236.64
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 123657 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134722331 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1236.64
Current children cumulated vsize (KiB) 22320
[startup+1303.7 s]
/proc/loadavg: 1.26 1.78 1.91 2/65 29278
/proc/meminfo: memFree=1640152/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1296.64
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 129657 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637327 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1296.64
Current children cumulated vsize (KiB) 22320
[startup+1363.73 s]
/proc/loadavg: 1.10 1.64 1.85 2/65 29280
/proc/meminfo: memFree=1640152/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1356.65
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 135658 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790380 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1356.65
Current children cumulated vsize (KiB) 22320
[startup+1423.76 s]
/proc/loadavg: 1.03 1.52 1.80 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1416.66
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 141659 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637710 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1416.66
Current children cumulated vsize (KiB) 22320
[startup+1483.79 s]
/proc/loadavg: 1.08 1.44 1.75 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1476.67
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 147660 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790607 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1476.67
Current children cumulated vsize (KiB) 22320
[startup+1543.82 s]
/proc/loadavg: 1.03 1.35 1.70 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1536.68
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 153661 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790431 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1536.68
Current children cumulated vsize (KiB) 22320
[startup+1603.85 s]
/proc/loadavg: 1.01 1.29 1.65 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1596.68
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 159661 7 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637773 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1596.68
Current children cumulated vsize (KiB) 22320
[startup+1663.88 s]
/proc/loadavg: 1.00 1.23 1.61 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1656.7
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 165662 8 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637728 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1656.7
Current children cumulated vsize (KiB) 22320
[startup+1723.91 s]
/proc/loadavg: 1.00 1.19 1.57 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1716.71
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 171663 8 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637325 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1716.71
Current children cumulated vsize (KiB) 22320
[startup+1783.94 s]
/proc/loadavg: 1.00 1.15 1.53 2/65 29280
/proc/meminfo: memFree=1640216/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1776.72
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 177664 8 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134790446 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1776.72
Current children cumulated vsize (KiB) 22320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/65 29280
/proc/meminfo: memFree=1640152/2055920 swapFree=4192812/4192956
[pid=29062] ppid=29060 vsize=22320 CPUtime=1800.08
/proc/29062/stat : 29062 (solver) R 29060 29062 27858 0 -1 4194304 4629 0 0 0 180000 8 0 0 25 0 1 0 165851296 22855680 4590 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134639623 0 0 4096 0 0 0 0 17 0 0 0
/proc/29062/statm: 5580 4590 710 92 0 3924 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 22320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.31
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.084987
CPU usage (%): 99.6001
Max. virtual memory (cumulated for all children) (KiB): 22320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4629
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= 31216
runsolver used 1.79273 s user time and 4.99624 s system time
The end
Begin job on node51 on Sun Jan 7 12:55:27 UTC 2007
IDJOB= 206548
IDBENCH= 4216
FILE ID= node51/206548-1168174527
PBS_JOBID= 3479052
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-24_ext.xml
COMMAND LINE= /tmp/evaluation/206548-1168174527/tramontane/bin/solver /tmp/evaluation/206548-1168174527/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-206548-1168174527 -o ROOT/results/node51/solver-206548-1168174527 -C 1800 -M 900 /tmp/evaluation/206548-1168174527/tramontane/bin/solver /tmp/evaluation/206548-1168174527/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 1a9e2f5dcb863b3e6755361b81695ce9
RANDOM SEED= 693756203
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.277
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.277
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: 1266312 kB
Buffers: 30976 kB
Cached: 302088 kB
SwapCached: 0 kB
Active: 518908 kB
Inactive: 210756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1266312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8788 kB
Writeback: 0 kB
Mapped: 416756 kB
Slab: 44576 kB
Committed_AS: 4208652 kB
PageTables: 2556 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= 66553 MiB
End job on node51 on Sun Jan 7 13:25:35 UTC 2007