c
c
c
c solution file
c
c
SAT
119 210 238 358 408 50 228 545 0 468 427 568 0 542 84 352 461 292 194 387 417 0 84 515 70 467 390 265 167 358 487 502 349 431 174 77 59 0 393 258 469 428 312 0 571 231 198 261 97 329 119 63 40 348 310 70 564 390 167 0 104 0 59 417 519 212 469 231 384 473 167 560 446 398 72 486 44 408 299 212 236 104 329 198 481 262 444 0 166 572 348 167 0 398 431 446 481 292 238 86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-235449-1168337845 -o ROOT/results/node11/solver-235449-1168337845 -C 1800 -M 900 /tmp/evaluation/235449-1168337845/solver2 /tmp/evaluation/235449-1168337845/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.00 2.00 2.00 5/94 3279
/proc/meminfo: memFree=1485568/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0
/proc/3278/stat : 3278 (solver2) R 3276 3278 2266 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 182179741 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910044831 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/3278/statm: 1338 231 193 169 0 49 0
[pid=3280] ppid=3278 vsize=5352 CPUtime=0
/proc/3280/stat : 3280 (solver2) R 3278 3278 2266 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 182179741 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4356759 0 0 4100 65536 0 0 0 17 1 0 0
/proc/3280/statm: 1338 232 194 169 0 49 0
[pid=3281] ppid=3278 vsize=5352 CPUtime=0
/proc/3281/stat : 3281 (solver2) R 3278 3278 2266 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 182179741 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910044831 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/3281/statm: 1338 231 193 169 0 49 0
[startup+0.104848 s]
/proc/loadavg: 2.00 2.00 2.00 5/94 3279
/proc/meminfo: memFree=1485568/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.03
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 376 2246 0 0 0 0 2 1 20 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5352
[startup+0.512927 s]
/proc/loadavg: 2.00 2.00 2.00 5/94 3279
/proc/meminfo: memFree=1485568/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.03
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 376 2246 0 0 0 0 2 1 20 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5352
[startup+1.33409 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475960/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=0.54
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2004 0 0 0 44 10 0 0 22 0 1 0 182179819 10698752 1978 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153711418 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1978 135 64 0 1927 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 15800
[startup+2.97141 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475704/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=2.15
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2005 0 0 0 205 10 0 0 25 0 1 0 182179819 10698752 1979 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153706411 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1979 136 64 0 1927 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 15800
[startup+6.25707 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475704/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=5.41
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2005 0 0 0 531 10 0 0 25 0 1 0 182179819 10698752 1979 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153708588 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1979 136 64 0 1927 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 15800
[startup+12.7284 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475704/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=11.82
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2005 0 0 0 1172 10 0 0 25 0 1 0 182179819 10698752 1979 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555360 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1979 136 64 0 1927 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 15800
[startup+25.5549 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475768/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=24.54
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2006 0 0 0 2443 11 0 0 25 0 1 0 182179819 10698752 1980 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153701204 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1980 136 64 0 1927 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 15800
[startup+51.212 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475832/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=49.96
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2006 0 0 0 4985 11 0 0 25 0 1 0 182179819 10698752 1980 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555360 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1980 136 64 0 1927 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 15800
[startup+102.422 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3292
/proc/meminfo: memFree=1475896/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=100.72
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2006 0 0 0 10060 12 0 0 25 0 1 0 182179819 10698752 1980 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153706888 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1980 136 64 0 1927 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 15800
[startup+162.472 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3294
/proc/meminfo: memFree=1475896/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=160.24
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2006 0 0 0 16012 12 0 0 25 0 1 0 182179819 10698752 1980 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153708138 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1980 136 64 0 1927 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 15800
[startup+222.538 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3294
/proc/meminfo: memFree=1475896/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=219.78
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2007 0 0 0 21965 13 0 0 25 0 1 0 182179819 10698752 1981 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153762206 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1981 136 64 0 1927 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 15800
[startup+282.573 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 3294
/proc/meminfo: memFree=1475960/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=279.28
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2007 0 0 0 27915 13 0 0 25 0 1 0 182179819 10698752 1981 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153781870 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1981 136 64 0 1927 0
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (KiB) 15800
[startup+342.654 s]
/proc/loadavg: 2.06 2.01 2.00 3/95 3294
/proc/meminfo: memFree=1475960/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=338.84
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2007 0 0 0 33870 14 0 0 25 0 1 0 182179819 10698752 1981 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153771820 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1981 136 64 0 1927 0
Current children cumulated CPU time (s) 339.59
Current children cumulated vsize (KiB) 15800
[startup+402.675 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 3294
/proc/meminfo: memFree=1475960/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=398.31
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2007 0 0 0 39816 15 0 0 25 0 1 0 182179819 10698752 1981 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153768383 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1981 136 64 0 1927 0
Current children cumulated CPU time (s) 399.06
Current children cumulated vsize (KiB) 15800
[startup+462.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/95 3294
/proc/meminfo: memFree=1476024/2055920 swapFree=4192812/4192956
[pid=3278] ppid=3276 vsize=5352 CPUtime=0.75
/proc/3278/stat : 3278 (solver2) S 3276 3278 2266 0 -1 4194304 397 5803 0 0 0 0 27 48 15 0 1 0 182179741 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3278/statm: 1338 242 203 169 0 49 0
[pid=3292] ppid=3278 vsize=10448 CPUtime=457.78
/proc/3292/stat : 3292 (standalone) R 3278 3278 2266 0 -1 4194304 2007 0 0 0 45763 15 0 0 25 0 1 0 182179819 10698752 1981 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4153788396 0 0 4096 0 0 0 0 17 1 0 0
/proc/3292/statm: 2612 1981 136 64 0 1927 0
Current children cumulated CPU time (s) 458.53
Current children cumulated vsize (KiB) 15800
Child status: 0
Real time (s): 493.175
CPU time (s): 488.751
CPU user time (s): 488.104
CPU system time (s): 0.646901
CPU usage (%): 99.1029
Max. virtual memory (cumulated for all children) (KiB): 15800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.104
system time used= 0.646901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8276
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= 109
involuntary context switches= 19262
runsolver used 0.594909 s user time and 1.44678 s system time
The end
Begin job on node11 on Tue Jan 9 10:17:27 UTC 2007
IDJOB= 235449
IDBENCH= 6770
FILE ID= node11/235449-1168337845
PBS_JOBID= 3503118
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-105-3.xml
COMMAND LINE= /tmp/evaluation/235449-1168337845/solver2 /tmp/evaluation/235449-1168337845/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-235449-1168337845 -o ROOT/results/node11/solver-235449-1168337845 -C 1800 -M 900 /tmp/evaluation/235449-1168337845/solver2 /tmp/evaluation/235449-1168337845/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 5a2186f5581c086b005f3ac2c7f1a5fc
RANDOM SEED= 611828339
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.261
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 : 5931.00
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.261
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: 1486048 kB
Buffers: 74320 kB
Cached: 224472 kB
SwapCached: 0 kB
Active: 339784 kB
Inactive: 164324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1486048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10132 kB
Writeback: 0 kB
Mapped: 232216 kB
Slab: 50060 kB
Committed_AS: 6140544 kB
PageTables: 2736 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= 66541 MiB
End job on node11 on Tue Jan 9 10:25:40 UTC 2007