0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0.02
0.03 c variables............. 0
0.03 c predicates............ 0
0.04 c constraints........... 0.55
0.59 c Allocating memory
0.59 c
0.59 c time limit = -1
0.59 c heuristic = dom/wdeg
0.59 c restart policy = Geometric increment
0.59 c restart base = 266
0.59 c restart factor = 1.33
0.59 c
0.59 c Solving
0.59 c
1.58 s SATISFIABLE
1.58 v 1041 361 1193 826 0 944 59 607 196 691 890 803 1141 504 553 481 977 143 407 295 426 582 522 0 676 250 295 73 1235 651 329 178 1123 917 142 776 1050 803 715 272 20 661 883 363 0 162 599 14 407 270 483 188 1059 68 1235 1138 637 976 444 201 0 363 1236 210 664 468 795 1135 1242 968 213 880 558 230 185 76 755 294 340 1050 0 1037 307 634 495 1068 539 1204 1118 223 96 1119 465 125 803 154 715 84 162 395 786 976 162 890 603 1241 1193 71 1139 270 291 691 542 417 76 844 183 0 1060 83 786 452 217 223 842 97 287 588 927 803 651 1032 1109 377 991 0 715 1175 966 516 85 97 955 417 616 363 1195 860 908 428 755 982 0 196 289 285 842 679 294 523 138 52 803 765 901 223 712 356 1115 1224 516 14 1017 975 616 572 317 428 142 945 285 862 367 683 1209 0 955 401 155 426 513 756 230 386 908 1104 1045 604 97 1125 591 155 1098 874 1177 825 1224 690 486 516 0 358 1037 509 968 233 73 377 750 1239 523 1228 1047 67 690 935 848 186 329 1138 762 604 1173 428 116 994 1095 0 233 491 516 603 803 91 849 548 818 774 684 386 738 916 1059 363 285 444 186 0 834 724 0 759 818 1125 1032 555 1212 194 183 1141 649 917 899 85 542 380 285 985 683 472 0 1201 390 616 811 1073 940 661 83 566 285 510 774 262 113 1104 178 287 362 684 834 250 483 1095 1118 367 74 213 747 305 61 964 398 1062 0 192 452 567 675 84 862 250 194 1023 243 742 901 964 1209 0 399 491 1140 567 1177 97 1069 803 664 305 307 803 113 442 891 290 964 1262 220 192 1201 548 1140 715 54 0 285 1073 1004 639 899 0 1157 82 956 661 513 261 400 1047 340 187 715 1004 826 607 96 465 874 759 0 994 927 1105 272 435 54 162 756 591 553 201 138 78 1062 380 1241 786 124 649
1.58 d SAT 1905 BTS 0.88 s
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-233079-1168324706 -o ROOT/results/node24/solver-233079-1168324706 -C 1800 -M 900 /tmp/evaluation/233079-1168324706/tramontane/bin/solver /tmp/evaluation/233079-1168324706/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.12 2.04 1.94 5/97 21646
/proc/meminfo: memFree=462616/2055920 swapFree=4192812/4192956
[pid=21645] ppid=21643 vsize=6792 CPUtime=0
/proc/21645/stat : 21645 (solver) R 21643 21645 20417 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 180865900 6955008 403 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 2575224 0 0 4096 0 0 0 0 17 1 0 0
/proc/21645/statm: 1698 403 364 92 0 30 0
[startup+0.103135 s]
/proc/loadavg: 2.12 2.04 1.94 5/97 21646
/proc/meminfo: memFree=462616/2055920 swapFree=4192812/4192956
[pid=21645] ppid=21643 vsize=9568 CPUtime=0.09
/proc/21645/stat : 21645 (solver) R 21643 21645 20417 0 -1 4194304 1465 0 0 0 9 0 0 0 18 0 1 0 180865900 9797632 1433 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/21645/statm: 2392 1433 707 92 0 736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9568
[startup+0.511173 s]
/proc/loadavg: 2.12 2.04 1.94 5/97 21646
/proc/meminfo: memFree=462616/2055920 swapFree=4192812/4192956
[pid=21645] ppid=21643 vsize=11292 CPUtime=0.49
/proc/21645/stat : 21645 (solver) R 21643 21645 20417 0 -1 4194304 1913 0 0 0 49 0 0 0 22 0 1 0 180865900 11563008 1881 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0
/proc/21645/statm: 2823 1881 707 92 0 1167 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11292
[startup+1.33226 s]
/proc/loadavg: 2.12 2.04 1.94 3/97 21646
/proc/meminfo: memFree=421144/2055920 swapFree=4192812/4192956
[pid=21645] ppid=21643 vsize=39720 CPUtime=1.32
/proc/21645/stat : 21645 (solver) R 21643 21645 20417 0 -1 4194304 9013 0 0 0 129 3 0 0 25 0 1 0 180865900 40673280 8981 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/21645/statm: 9930 8981 719 92 0 8274 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 39720
Child status: 0
Real time (s): 1.63255
CPU time (s): 1.61975
CPU user time (s): 1.58076
CPU system time (s): 0.038994
CPU usage (%): 99.216
Max. virtual memory (cumulated for all children) (KiB): 39720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.58076
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9021
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= 12
involuntary context switches= 140
runsolver used 0.001999 s user time and 0.011998 s system time
The end
Begin job on node24 on Tue Jan 9 06:38:26 UTC 2007
IDJOB= 233079
IDBENCH= 6580
FILE ID= node24/233079-1168324706
PBS_JOBID= 3502878
Free space on /tmp= 66471 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-1.xml
COMMAND LINE= /tmp/evaluation/233079-1168324706/tramontane/bin/solver /tmp/evaluation/233079-1168324706/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-233079-1168324706 -o ROOT/results/node24/solver-233079-1168324706 -C 1800 -M 900 /tmp/evaluation/233079-1168324706/tramontane/bin/solver /tmp/evaluation/233079-1168324706/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 5a4c32da7b2151a1595ab2d1cc4dfcd9
RANDOM SEED= 922938012
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.234
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.234
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: 466552 kB
Buffers: 16456 kB
Cached: 1223320 kB
SwapCached: 0 kB
Active: 901452 kB
Inactive: 634664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 466552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7632 kB
Writeback: 0 kB
Mapped: 325780 kB
Slab: 37168 kB
Committed_AS: 4596844 kB
PageTables: 2892 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= 66471 MiB
End job on node24 on Tue Jan 9 06:38:28 UTC 2007