c
c
c
c solution file
c
c
SAT
13 99 172 182 349 430 524 610 635 764 813 947 972 1176 1253 134 202 235 273 337 641 676 735 775 861 947 1012 1023 1062 1303 0 121 188 284 375 458 539 599 687 707 769 803 882 1048 1199 0 35 194 290 397 450 466 544 635 707 794 988 1197 1315 1322 49 209 261 324 337 356 428 576 635 654 807 906 1013 1086 1307 0 62 122 215 280 290 362 458 527 585 626 672 735 811 894 226 281 349 442 561 605 613 687 714 784 894 972 1064 1126 1256 23 378 442 534 578 652 743 764 765 861 880 939 951 992 1003 142 235 375 539 621 713 803 866 920 1012 1086 1145 1228 1279 1303 0 159 268 414 428 548 551 696 811 874 938 1066 1160 1216 1289 0 35 77 158 422 534 561 613 769 810 955 964 998 1078 1177 0 23 499 534 544 595 676 712 784 856 1064 1103 1135 1143 1181 0 28 62 65 273 339 398 422 467 614 892 1103 1145 1147 1170 5 65 182 209 268 330 353 439 446 743 807 880 977 1013 1144 0 36 134 172 196 280 327 399 400 491 576 977 1119 1139 1169
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-234269-1168331492 -o ROOT/results/node16/solver-234269-1168331492 -C 1800 -M 900 /tmp/evaluation/234269-1168331492/solver /tmp/evaluation/234269-1168331492/unknown 1800
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.95 2.01 1.99 5/86 10061
/proc/meminfo: memFree=1456392/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=18540 CPUtime=0
/proc/10060/stat : 10060 (runsolver) R 10058 10060 7939 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 181544228 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10060/statm: 4635 279 244 17 0 2626 0
[startup+0.11136 s]
/proc/loadavg: 1.95 2.01 1.99 5/86 10061
/proc/meminfo: memFree=1456392/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=0.05
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 376 2263 0 0 0 0 4 1 18 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5352
[startup+0.519286 s]
/proc/loadavg: 1.95 2.01 1.99 5/86 10061
/proc/meminfo: memFree=1456392/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=0.05
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 376 2263 0 0 0 0 4 1 18 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5352
[startup+1.34013 s]
/proc/loadavg: 1.95 2.01 1.99 3/87 10073
/proc/meminfo: memFree=1399480/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=0.05
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 376 2263 0 0 0 0 4 1 18 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
[pid=10073] ppid=10060 vsize=53884 CPUtime=1.25
/proc/10073/stat : 10073 (bordewijk) R 10060 10060 7939 0 -1 4194304 14315 0 0 0 89 36 0 0 24 0 1 0 181544235 55177216 12645 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10073/statm: 13471 12645 217 97 0 12752 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 59236
[startup+2.99083 s]
/proc/loadavg: 1.95 2.01 1.99 3/87 10073
/proc/meminfo: memFree=1397560/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=0.05
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 376 2263 0 0 0 0 4 1 18 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
[pid=10073] ppid=10060 vsize=53884 CPUtime=2.88
/proc/10073/stat : 10073 (bordewijk) R 10060 10060 7939 0 -1 4194304 14315 0 0 0 97 191 0 0 25 0 1 0 181544235 55177216 12645 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10073/statm: 13471 12645 217 97 0 12752 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 59236
[startup+6.26923 s]
/proc/loadavg: 2.03 2.03 2.00 3/87 10074
/proc/meminfo: memFree=1415608/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=3.26
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 396 16579 0 0 0 0 103 223 16 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
[pid=10074] ppid=10060 vsize=37448 CPUtime=2.88
/proc/10074/stat : 10074 (standalone) R 10060 10060 7939 0 -1 4194304 8553 0 0 0 234 54 0 0 25 0 1 0 181544563 38346752 8525 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4128335467 0 0 4096 0 0 0 0 17 1 0 0
/proc/10074/statm: 9362 8525 135 64 0 8677 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 42800
[startup+12.739 s]
/proc/loadavg: 2.03 2.02 2.00 3/87 10074
/proc/meminfo: memFree=1415448/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=3.26
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 396 16579 0 0 0 0 103 223 16 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
[pid=10074] ppid=10060 vsize=37448 CPUtime=9.29
/proc/10074/stat : 10074 (standalone) R 10060 10060 7939 0 -1 4194304 8649 0 0 0 875 54 0 0 25 0 1 0 181544563 38346752 8621 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4128162894 0 0 4096 0 0 0 0 17 1 0 0
/proc/10074/statm: 9362 8621 136 64 0 8677 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 42800
[startup+25.5587 s]
/proc/loadavg: 2.02 2.02 2.00 3/87 10074
/proc/meminfo: memFree=1414936/2055920 swapFree=4191880/4192956
[pid=10060] ppid=10058 vsize=5352 CPUtime=3.26
/proc/10060/stat : 10060 (solver) S 10058 10060 7939 0 -1 4194304 396 16579 0 0 0 0 103 223 16 0 1 0 181544228 5480448 242 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10060/statm: 1338 242 203 169 0 49 0
[pid=10074] ppid=10060 vsize=37452 CPUtime=22
/proc/10074/stat : 10074 (standalone) R 10060 10060 7939 0 -1 4194304 8818 0 0 0 2145 55 0 0 25 0 1 0 181544563 38350848 8790 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4128189848 0 0 4096 0 0 0 0 17 1 0 0
/proc/10074/statm: 9363 8790 137 64 0 8678 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 42804
Child status: 0
Real time (s): 50.8161
CPU time (s): 50.2964
CPU user time (s): 47.5008
CPU system time (s): 2.79557
CPU usage (%): 98.9772
Max. virtual memory (cumulated for all children) (KiB): 59236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.5008
system time used= 2.79557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25831
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= 119
involuntary context switches= 1104
runsolver used 0.067989 s user time and 0.165974 s system time
The end
Begin job on node16 on Tue Jan 9 08:31:34 UTC 2007
IDJOB= 234269
IDBENCH= 6674
FILE ID= node16/234269-1168331492
PBS_JOBID= 3503027
Free space on /tmp= 66509 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-105-1.xml
COMMAND LINE= /tmp/evaluation/234269-1168331492/solver /tmp/evaluation/234269-1168331492/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-234269-1168331492 -o ROOT/results/node16/solver-234269-1168331492 -C 1800 -M 900 /tmp/evaluation/234269-1168331492/solver /tmp/evaluation/234269-1168331492/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 1d91210cda262774f76bb7879343f3ce
RANDOM SEED= 283641618
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: 1456872 kB
Buffers: 74676 kB
Cached: 369120 kB
SwapCached: 448 kB
Active: 214072 kB
Inactive: 325444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1456872 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 11032 kB
Writeback: 0 kB
Mapped: 117400 kB
Slab: 44232 kB
Committed_AS: 5243888 kB
PageTables: 2408 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= 66503 MiB
End job on node16 on Tue Jan 9 08:32:25 UTC 2007