0.22 c
0.22 c Parsing xml file
0.22 c domains............... 0
0.22 c variables............. 0
0.22 c relations............. 0.05
0.22 c constraints........... 0.34
0.40 c Allocating memory
0.40 c
0.40 c time limit = -1
0.40 c heuristic = dom/wdeg
0.40 c restart policy = Geometric increment
0.40 c restart base = 50
0.40 c restart factor = 1.33
0.40 c
0.40 c Solving
0.40 c
66.14 s SATISFIABLE
66.15 v 4 4 24 0 17 1 11 4 1 15 16 2 2 14 23 0 20 4 21 26 15 7 9 7 5 10 6 4 8 1 13 10 10 11 12 3 25 0 19 22 18 9 3 6 22 12 7 12 14 1 4 5 9 24 26 40 40 44 70 77 84 94 98 99 109 120 123 123 145 154 160 172 184 185 185 0
66.15 d SAT 9703 BTS 65 s
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-207837-1168183500 -o ROOT/results/node16/solver-207837-1168183500 -C 1800 -M 900 /tmp/evaluation/207837-1168183500/tramontane/bin/solver /tmp/evaluation/207837-1168183500/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.05 2.02 2.00 5/94 23010
/proc/meminfo: memFree=1243168/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=18540 CPUtime=0
/proc/23009/stat : 23009 (runsolver) R 23007 23009 21738 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 166744961 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23009/statm: 4635 279 244 17 0 2626 0
[startup+0.109085 s]
/proc/loadavg: 2.05 2.02 2.00 5/94 23010
/proc/meminfo: memFree=1243168/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=30756 CPUtime=0.09
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 6794 0 0 0 6 3 0 0 18 0 1 0 166744961 31494144 6703 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793286 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 7689 6703 700 92 0 6033 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30756
[startup+0.521002 s]
/proc/loadavg: 2.05 2.02 2.00 5/94 23010
/proc/meminfo: memFree=1243168/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=0.5
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 34 16 0 0 21 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134639599 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 129476
[startup+1.34885 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 23010
/proc/meminfo: memFree=1118624/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=1.32
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 116 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637111 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 129476
[startup+2.98655 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 23010
/proc/meminfo: memFree=1118496/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=2.95
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 279 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134639589 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 129476
[startup+6.26495 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 23010
/proc/meminfo: memFree=1117984/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=6.2
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 604 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790789 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 129476
[startup+12.7248 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 23010
/proc/meminfo: memFree=1115808/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=12.6
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 1244 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790374 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 129476
[startup+25.5309 s]
/proc/loadavg: 2.03 2.01 2.00 3/94 23010
/proc/meminfo: memFree=1110496/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=25.3
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 2514 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134637152 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 129476
[startup+51.1798 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 23010
/proc/meminfo: memFree=1102944/2055920 swapFree=4191880/4192956
[pid=23009] ppid=23007 vsize=129476 CPUtime=50.72
/proc/23009/stat : 23009 (solver) R 23007 23009 21738 0 -1 4194304 31493 0 0 0 5056 16 0 0 25 0 1 0 166744961 132583424 31402 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134790368 0 0 4096 0 0 0 0 17 1 0 0
/proc/23009/statm: 32369 31402 713 92 0 30713 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 129476
Child status: 0
Real time (s): 66.1779
CPU time (s): 65.6
CPU user time (s): 65.4081
CPU system time (s): 0.19197
CPU usage (%): 99.1268
Max. virtual memory (cumulated for all children) (KiB): 129476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.4081
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31501
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= 13
involuntary context switches= 2602
runsolver used 0.085986 s user time and 0.205968 s system time
The end
Begin job on node16 on Sun Jan 7 15:25:01 UTC 2007
IDJOB= 207837
IDBENCH= 4337
FILE ID= node16/207837-1168183500
PBS_JOBID= 3478909
Free space on /tmp= 66510 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-48_ext.xml
COMMAND LINE= /tmp/evaluation/207837-1168183500/tramontane/bin/solver /tmp/evaluation/207837-1168183500/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-207837-1168183500 -o ROOT/results/node16/solver-207837-1168183500 -C 1800 -M 900 /tmp/evaluation/207837-1168183500/tramontane/bin/solver /tmp/evaluation/207837-1168183500/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 52e15dbdfc86e7400506f523ef70995d
RANDOM SEED= 332113817
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.220
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.220
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: 1243648 kB
Buffers: 25188 kB
Cached: 170928 kB
SwapCached: 268 kB
Active: 641324 kB
Inactive: 118380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1243648 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3296 kB
Writeback: 0 kB
Mapped: 590728 kB
Slab: 36188 kB
Committed_AS: 5098524 kB
PageTables: 3472 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= 66510 MiB
End job on node16 on Sun Jan 7 15:26:07 UTC 2007