c
c
c
c solution file
c
c
SAT
941 993 68 676 1063 289 1131 142 639 878 1067 0 824 464 918 739 787 552 304 384 986 528 269 693 1082 762 648 639 614 173 870 1186 1108 150 460 958 0 373 98 809 68 352 830 257 554 476 711 762 162 976 1078 626 910 380 1132 0 1035 60 74 269 1069 989 477 883 296 569 580 94 678 199 320 460 448 1239 108 1110 0 847 787 744 957 377 333 756 603 889 359 722 384 550 257 627 650 150 591 1110 1032 1193 0 460 957 0 283 875 678 536 425 982 1108 741 170 815 1197 264 93 379 1138 495 613 976 757 530 352 103 836 626 820 805 546 875 690 460 0 1139 341 569 1071 300 208 580 330 210 1069 146 714 364 304 0 533 341 664 1138 782 796 464 1221 98 1004 921 1176 1240 483 1206 580 1152 618 702 316 143 1011 71 976 1066 398 40 913 38 300 200 819 403 467 533 173 38 648 0 264 875 1094 735 308 560 1233 1004 1152 791 896 80 967 281 859 1185 785 1260 580 1121 168 543 664 744 1094 93 139 1066 230 199 959 408 0 472 62 735 436 794 0 564 159 384 230 970 311 653 1184 1103 1127 456 801 913 1001 1128 235 744 1045 80 278 452 384 940 560 830 568 1082 98 1247 159 0 484 171 614 946 210 93 0 192 593 1192 162 308 530 821 896 611 158 1032 1101 470 374 1143 723 198 384 103 62 759 821 618 690 845 283 0 959 458 366 936 948 908 536 40 795 1071 989 198 495 1014 1109 1186 532 673 342 836 759 613 472 941 258 14 392 885 108 249 723 1239 627 1011 483 74 824 333 398 59 1163 161 796 859 0 1134 67 326 550 554 230 320 1027 769 451 403 976 815 908 0 628 681 67 146 475 1097 1197 1142 744 653 1127 1009 795 870 475 74 564 918 698 932 1063 281 194 1215 0 379 714 1138 593 342 46 559 0 757 921 950 1011 476 1050 255 845 791 627 722 96 194 410 264 1176
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-232992-1168324336 -o ROOT/results/node15/solver-232992-1168324336 -C 1800 -M 900 /tmp/evaluation/232992-1168324336/solver /tmp/evaluation/232992-1168324336/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: 2.05 1.85 1.88 3/93 31260
/proc/meminfo: memFree=1408272/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0
/proc/31259/stat : 31259 (solver) R 31257 31259 30559 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 180828624 5480448 173 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472488973 0 0 4100 0 0 0 0 17 1 0 0
/proc/31259/statm: 1338 173 142 169 0 49 0
[startup+0.103921 s]
/proc/loadavg: 2.05 1.85 1.88 3/93 31260
/proc/meminfo: memFree=1408272/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514992 s]
/proc/loadavg: 2.05 1.85 1.88 3/93 31260
/proc/meminfo: memFree=1408272/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0.12
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5352
[startup+1.34213 s]
/proc/loadavg: 2.05 1.85 1.88 3/94 31272
/proc/meminfo: memFree=1379776/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0.12
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
[pid=31272] ppid=31259 vsize=24236 CPUtime=1.13
/proc/31272/stat : 31272 (bordewijk) R 31259 31259 30559 0 -1 4194304 6336 0 0 0 108 5 0 0 25 0 1 0 180828644 24817664 5796 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7945685 0 0 4096 0 0 0 0 17 1 0 0
/proc/31272/statm: 6059 5796 169 97 0 5637 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 29588
[startup+2.97942 s]
/proc/loadavg: 2.05 1.86 1.88 3/94 31272
/proc/meminfo: memFree=1341504/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0.12
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
[pid=31272] ppid=31259 vsize=150364 CPUtime=2.76
/proc/31272/stat : 31272 (bordewijk) R 31259 31259 30559 0 -1 4194304 39440 0 0 0 207 69 0 0 25 0 1 0 180828644 153972736 36535 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31272/statm: 37591 36535 217 97 0 36872 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 155716
[startup+6.26598 s]
/proc/loadavg: 2.05 1.86 1.88 3/94 31272
/proc/meminfo: memFree=1241600/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=0.12
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 376 2352 0 0 0 0 10 2 15 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
[pid=31272] ppid=31259 vsize=150364 CPUtime=6.02
/proc/31272/stat : 31272 (bordewijk) R 31259 31259 30559 0 -1 4194304 39440 0 0 0 227 375 0 0 25 0 1 0 180828644 153972736 36535 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31272/statm: 37591 36535 217 97 0 36872 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 155716
[startup+12.7331 s]
/proc/loadavg: 2.04 1.86 1.88 3/94 31273
/proc/meminfo: memFree=1288848/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=6.62
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 396 41793 0 0 0 0 241 421 16 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
[pid=31273] ppid=31259 vsize=108396 CPUtime=5.97
/proc/31273/stat : 31273 (standalone) R 31259 31259 30559 0 -1 4194304 26217 0 0 0 492 105 0 0 25 0 1 0 180829297 110997504 26013 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4055382968 0 0 4096 0 0 0 0 17 1 0 0
/proc/31273/statm: 27099 26013 137 64 0 26414 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 113748
[startup+25.5643 s]
/proc/loadavg: 2.03 1.86 1.89 4/94 31273
/proc/meminfo: memFree=1287440/2055920 swapFree=4174172/4192956
[pid=31259] ppid=31257 vsize=5352 CPUtime=6.62
/proc/31259/stat : 31259 (solver) S 31257 31259 30559 0 -1 4194304 396 41793 0 0 0 0 241 421 16 0 1 0 180828624 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31259/statm: 1338 242 203 169 0 49 0
[pid=31273] ppid=31259 vsize=108412 CPUtime=18.73
/proc/31273/stat : 31273 (standalone) R 31259 31259 30559 0 -1 4194304 26611 0 0 0 1768 105 0 0 25 0 1 0 180829297 111013888 26407 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554206 0 0 4096 0 0 0 0 17 1 0 0
/proc/31273/statm: 27103 26407 138 64 0 26418 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 113764
Child status: 0
Real time (s): 37.9481
CPU time (s): 37.6753
CPU user time (s): 32.3801
CPU system time (s): 5.29519
CPU usage (%): 99.2811
Max. virtual memory (cumulated for all children) (KiB): 155716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.3801
system time used= 5.29519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68861
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= 211
involuntary context switches= 1302
runsolver used 0.052991 s user time and 0.119981 s system time
The end
Begin job on node15 on Tue Jan 9 06:32:18 UTC 2007
IDJOB= 232992
IDBENCH= 6573
FILE ID= node15/232992-1168324336
PBS_JOBID= 3502744
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-3.xml
COMMAND LINE= /tmp/evaluation/232992-1168324336/solver /tmp/evaluation/232992-1168324336/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-232992-1168324336 -o ROOT/results/node15/solver-232992-1168324336 -C 1800 -M 900 /tmp/evaluation/232992-1168324336/solver /tmp/evaluation/232992-1168324336/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= a952f77e6486671336c6f7fb8be515ed
RANDOM SEED= 971445565
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.276
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.276
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: 1408752 kB
Buffers: 45196 kB
Cached: 188568 kB
SwapCached: 6072 kB
Active: 457788 kB
Inactive: 133796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1408752 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 11880 kB
Writeback: 0 kB
Mapped: 377528 kB
Slab: 39360 kB
Committed_AS: 6409088 kB
PageTables: 3064 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= 66535 MiB
End job on node15 on Tue Jan 9 06:32:56 UTC 2007