[...]
#
# trace file is too large. Trace was truncated at this point.
#
57.14/57.20 v -187205 -187206 -187207 -187208 -187209 -187210 -187211 -187212 -187213
57.14/57.20 v -187214 -187215 -187216 -187217 -187218 -187219 -187220 -187221 -187222
57.14/57.20 v -187223 -187224 -187225 -187226 -187227 -187228 -187229 -187230 -187231
57.14/57.20 v -187232 -187233 -187234 -187235 -187236 -187237 -187238 -187239 -187240
57.14/57.20 v -187241 -187242 -187243 -187244 -187245 -187246 -187247 -187248 -187249
57.14/57.20 v -187250 -187251 -187252 -187253 -187254 -187255 -187256 -187257 -187258
57.14/57.20 v -187259 -187260 -187261 -187262 187263 -187264 -187265 187266 -187267 -187268
57.14/57.20 v 187269 -187270 -187271 -187272 -187273 -187274 187275 -187276 -187277 187278
57.14/57.20 v -187279 -187280 187281 -187282 -187283 187284 -187285 -187286 -187287 -187288
57.14/57.20 v -187289 187290 -187291 -187292 187293 -187294 187295 -187296 -187297 187298
57.14/57.20 v -187299 -187300 -187301 187302 -187303 -187304 187305 187306 187307 -187308
57.14/57.20 v -187309 187310 -187311 187312 -187313 187314 -187315 -187316 187317 187318
57.14/57.20 v 187319 -187320 187321 -187322 187323 -187324 187325 187326 187327 187328
57.14/57.20 v -187329 187330 -187331 187332 -187333 187334 187335 187336 187337 -187338
57.14/57.20 v 187339 -187340 187341 -187342 187343 187344 187345 187346 -187347 187348
57.14/57.20 v -187349 187350 -187351 187352 187353 187354 187355 -187356 187357 -187358
57.14/57.20 v 187359 -187360 187361 187362 187363 187364 -187365 187366 -187367 187368
57.14/57.20 v -187369 187370 187371 187372 187373 -187374 187375 -187376 187377 -187378
57.14/57.20 v 187379 187380 187381 187382 -187383 187384 -187385 187386 -187387 187388
57.14/57.20 v 187389 187390 187391 -187392 187393 -187394 187395 -187396 187397 187398
57.14/57.20 v 187399 187400 -187401 187402 -187403 187404 -187405 187406 187407 187408
57.14/57.20 v 187409 -187410 187411 -187412 187413 -187414 187415 187416 187417 187418
57.14/57.20 v -187419 187420 -187421 187422 -187423 187424 187425 187426 187427 -187428
57.14/57.20 v 187429 -187430 187431 -187432 187433 187434 187435 187436 -187437 187438
57.14/57.20 v -187439 187440 -187441 187442 187443 187444 187445 -187446 187447 -187448
57.14/57.20 v 187449 -187450 187451 187452 187453 187454 -187455 187456 -187457 187458
57.14/57.20 v -187459 187460 187461 187462 187463 -187464 187465 -187466 187467 187468
57.14/57.20 v -187469 187470 187471 -187472 -187473 187474 -187475 187476 -187477 -187478
57.14/57.20 v 187479 187480 -187481 187482 -187483 -187484 187485 -187486 -187487 -187488
57.14/57.20 v 187489 -187490 -187491 -187492 -187493 187494 -187495 -187496 -187497 187498
57.14/57.20 v -187499 -187500 -187501 -187502 187503 -187504 -187505 187506 -187507 -187508
57.14/57.20 v -187509 -187510 187511 -187512 -187513 187514 -187515 -187516 -187517 -187518
57.14/57.20 v 187519 -187520 -187521 187522 -187523 -187524 -187525 187526 -187527 -187528
57.14/57.20 v -187529 -187530 -187531 -187532 -187533 -187534 -187535 -187536 -187537
57.14/57.20 v -187538 -187539 -187540 -187541 -187542 -187543 -187544 -187545 -187546
57.14/57.20 v -187547 -187548 -187549 -187550 -187551 -187552 -187553 -187554 -187555
57.14/57.20 v -187556 -187557 -187558 -187559 -187560 -187561 -187562 -187563 -187564
57.14/57.20 v -187565 -187566 -187567 187568 -187569 -187570 187571 -187572 -187573 187574
57.14/57.20 v -187575 -187576 187577 -187578 -187579 187580 -187581 187582 187583 -187584
57.14/57.20 v 187585 187586 -187587 187588 187589 -187590 187591 187592 -187593 187594
57.14/57.20 v 187595 -187596 187597 187598 -187599 187600 187601 -187602 187603 187604
57.14/57.20 v -187605 187606 187607 -187608 187609 187610 -187611 187612 187613 -187614
57.14/57.20 v 187615 187616 -187617 187618 187619 -187620 187621 187622 -187623 187624
57.14/57.20 v 187625 -187626 187627 187628 -187629 187630 187631 -187632 187633 187634
57.14/57.20 v -187635 187636 187637 -187638 187639 187640 -187641 187642 187643 -187644
57.14/57.20 v 187645 187646 -187647 187648 187649 -187650 187651 187652 -187653 -187654
57.14/57.20 v -187655 -187656 -187657 -187658 -187659 -187660 -187661 -187662 -187663
57.14/57.20 v -187664 -187665 -187666 -187667 0
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-315262-1172651977 -o ROOT/results/node63/solver-315262-1172651977 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315262-1172651977/picosat /tmp/evaluation/315262-1172651977/instance-315262-1172651977.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29738
/proc/meminfo: memFree=1216272/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=884 CPUtime=0
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 1 0 285155144 905216 126 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 221 126 40 102 0 116 0
[startup+0.0325569 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29738
/proc/meminfo: memFree=1216272/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=1080 CPUtime=0.02
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 179 0 0 0 1 1 0 0 18 0 1 0 285155144 1105920 164 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 270 164 40 102 0 165 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1080
[startup+0.101565 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29738
/proc/meminfo: memFree=1216272/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=1220 CPUtime=0.09
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 241 0 0 0 4 5 0 0 18 0 1 0 285155144 1249280 224 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 305 224 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220
[startup+0.301586 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29738
/proc/meminfo: memFree=1216272/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=1628 CPUtime=0.29
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 347 0 0 0 13 16 0 0 19 0 1 0 285155144 1667072 330 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 407 330 46 102 0 302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1628
[startup+0.701627 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29738
/proc/meminfo: memFree=1216272/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=3024 CPUtime=0.69
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 653 0 0 0 32 37 0 0 22 0 1 0 285155144 3096576 636 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 756 636 46 102 0 651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3024
[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1213064/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=5776 CPUtime=1.49
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 1330 0 0 0 69 80 0 0 25 0 1 0 285155144 5914624 1313 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 1444 1313 46 102 0 1339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5776
[startup+3.10188 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1208584/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=11508 CPUtime=3.09
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 2778 0 0 0 141 168 0 0 25 0 1 0 285155144 11784192 2761 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 2877 2761 46 102 0 2772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11508
[startup+6.30122 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1195464/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=31832 CPUtime=6.29
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 6302 0 0 0 283 346 0 0 25 0 1 0 285155144 32595968 6285 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 7958 6285 46 102 0 7853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31832
[startup+12.7029 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1186376/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=38056 CPUtime=12.69
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 7536 0 0 0 887 382 0 0 25 0 1 0 285155144 38969344 7519 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 9514 7519 48 102 0 9409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38056
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1185296/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=39344 CPUtime=25.48
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 7851 0 0 0 2166 382 0 0 25 0 1 0 285155144 40288256 7834 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134531136 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 9836 7834 48 102 0 9731 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39344
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1183376/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=41180 CPUtime=51.06
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8330 0 0 0 4723 383 0 0 25 0 1 0 285155144 42168320 8313 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134544698 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 10295 8313 48 102 0 10190 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41180
Solver just ended. Dumping a history of the last processes samples
[startup+54.3013 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1183120/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=41444 CPUtime=54.26
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8382 0 0 0 5043 383 0 0 25 0 1 0 285155144 42438656 8365 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 10361 8365 48 102 0 10256 0
Current children cumulated CPU time (s) 54.26
Current children cumulated vsize (KiB) 41444
[startup+55.9025 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1182992/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=41444 CPUtime=55.86
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8407 0 0 0 5203 383 0 0 25 0 1 0 285155144 42438656 8390 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 10361 8390 48 102 0 10256 0
Current children cumulated CPU time (s) 55.86
Current children cumulated vsize (KiB) 41444
[startup+56.7016 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1182992/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=41576 CPUtime=56.66
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8414 0 0 0 5283 383 0 0 25 0 1 0 285155144 42573824 8397 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 10394 8397 48 102 0 10289 0
Current children cumulated CPU time (s) 56.66
Current children cumulated vsize (KiB) 41576
[startup+57.1016 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1182288/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=41580 CPUtime=57.05
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8424 0 0 0 5322 383 0 0 16 0 1 0 285155144 42577920 8407 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134604509 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 10395 8407 52 102 0 10290 0
Current children cumulated CPU time (s) 57.05
Current children cumulated vsize (KiB) 41580
[startup+57.2056 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29739
/proc/meminfo: memFree=1182288/2055920 swapFree=4181888/4192956
[pid=29738] ppid=29736 vsize=34716 CPUtime=57.14
/proc/29738/stat : 29738 (picosat) R 29736 29738 29267 0 -1 4194304 8424 0 0 0 5331 383 0 0 17 0 1 0 285155144 35549184 6927 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134608241 0 0 4096 0 0 0 0 17 1 0 0
/proc/29738/statm: 8679 6927 1064 102 0 8574 0
Current children cumulated CPU time (s) 57.14
Current children cumulated vsize (KiB) 34716
Child status: 10
Real time (s): 57.2603
CPU time (s): 57.1633
CPU user time (s): 53.3179
CPU system time (s): 3.84542
CPU usage (%): 99.8306
Max. virtual memory (cumulated for all children) (KiB): 41580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3179
system time used= 3.84542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8425
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= 336
involuntary context switches= 78
runsolver used 0.058991 second user time and 0.176973 second system time
The end
Begin job on node63 on Wed Feb 28 08:39:38 UTC 2007
IDJOB= 315262
IDBENCH= 20412
IDSOLVER= 106
FILE ID= node63/315262-1172651977
PBS_JOBID= 3981177
Free space on /tmp= 66523 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h34-unknown.cnf
COMMAND LINE= /tmp/evaluation/315262-1172651977/picosat /tmp/evaluation/315262-1172651977/instance-315262-1172651977.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-315262-1172651977 -o ROOT/results/node63/solver-315262-1172651977 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315262-1172651977/picosat /tmp/evaluation/315262-1172651977/instance-315262-1172651977.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= c4c13853f3af198723d8a0120426d1cc
RANDOM SEED= 815486580
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.214
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.214
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: 1216816 kB
Buffers: 19608 kB
Cached: 766948 kB
SwapCached: 4828 kB
Active: 205952 kB
Inactive: 591264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1216816 kB
SwapTotal: 4192956 kB
SwapFree: 4181888 kB
Dirty: 16340 kB
Writeback: 0 kB
Mapped: 15316 kB
Slab: 27952 kB
Committed_AS: 706232 kB
PageTables: 1460 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= 66523 MiB
End job on node63 on Wed Feb 28 08:40:35 UTC 2007