[...]
#
# trace file is too large. Trace was truncated at this point.
#
147.25/147.32 v 199096 -199097 -199098 -199099 199100 -199101 -199102 -199103 -199104 199105
147.25/147.32 v -199106 -199107 -199108 199109 -199110 -199111 -199112 -199113 199114 -199115
147.25/147.32 v -199116 -199117 199118 -199119 -199120 -199121 -199122 199123 -199124 -199125
147.25/147.32 v -199126 199127 -199128 -199129 -199130 -199131 199132 -199133 -199134 -199135
147.25/147.32 v 199136 -199137 -199138 -199139 -199140 199141 -199142 -199143 -199144 199145
147.25/147.32 v -199146 -199147 -199148 -199149 199150 -199151 -199152 -199153 199154 -199155
147.25/147.32 v -199156 -199157 -199158 199159 -199160 -199161 -199162 199163 -199164 -199165
147.25/147.32 v -199166 -199167 199168 -199169 -199170 199171 -199172 199173 199174 -199175
147.25/147.32 v -199176 199177 -199178 -199179 -199180 199181 -199182 199183 -199184 199185
147.25/147.32 v -199186 199187 199188 -199189 -199190 199191 -199192 -199193 -199194 199195
147.25/147.32 v -199196 199197 -199198 199199 199200 199201 -199202 -199203 199204 199205
147.25/147.32 v -199206 -199207 199208 -199209 -199210 199211 199212 199213 -199214 -199215
147.25/147.32 v 199216 -199217 199218 -199219 199220 -199221 -199222 199223 199224 199225
147.25/147.32 v -199226 199227 -199228 199229 -199230 199231 199232 199233 199234 -199235
147.25/147.32 v 199236 -199237 199238 -199239 199240 199241 199242 199243 -199244 199245
147.25/147.32 v -199246 199247 -199248 199249 199250 199251 199252 -199253 199254 -199255
147.25/147.32 v 199256 -199257 199258 199259 199260 199261 -199262 199263 -199264 199265
147.25/147.32 v -199266 199267 199268 199269 199270 -199271 199272 -199273 199274 -199275
147.25/147.32 v 199276 199277 199278 199279 -199280 199281 -199282 199283 -199284 199285
147.25/147.32 v 199286 199287 199288 -199289 199290 -199291 199292 -199293 199294 199295
147.25/147.32 v 199296 199297 -199298 199299 -199300 199301 -199302 199303 199304 199305
147.25/147.32 v 199306 -199307 199308 -199309 199310 199311 -199312 199313 199314 -199315
147.25/147.32 v -199316 199317 -199318 199319 -199320 -199321 199322 199323 -199324 -199325
147.25/147.32 v 199326 -199327 199328 -199329 -199330 199331 199332 -199333 -199334 199335
147.25/147.32 v -199336 199337 -199338 -199339 199340 199341 -199342 -199343 199344 -199345
147.25/147.32 v 199346 -199347 -199348 199349 199350 -199351 -199352 199353 -199354 199355
147.25/147.32 v -199356 -199357 199358 199359 -199360 -199361 199362 -199363 199364 -199365
147.25/147.32 v -199366 199367 199368 -199369 -199370 199371 -199372 199373 -199374 -199375
147.25/147.32 v 199376 199377 -199378 -199379 199380 -199381 199382 -199383 -199384 199385
147.25/147.32 v 199386 -199387 -199388 199389 -199390 199391 -199392 -199393 199394 199395
147.25/147.32 v -199396 -199397 199398 -199399 199400 -199401 -199402 199403 199404 -199405
147.25/147.32 v -199406 199407 -199408 199409 -199410 199411 199412 -199413 -199414 199415
147.25/147.32 v -199416 199417 -199418 199419 199420 -199421 -199422 199423 -199424 199425
147.25/147.32 v -199426 199427 199428 -199429 -199430 199431 -199432 199433 -199434 199435
147.25/147.32 v 199436 -199437 199438 -199439 199440 -199441 -199442 199443 199444 -199445
147.25/147.32 v 199446 -199447 199448 -199449 -199450 199451 199452 -199453 -199454 199455
147.25/147.32 v -199456 199457 -199458 -199459 199460 199461 -199462 -199463 199464 -199465
147.25/147.32 v 199466 -199467 -199468 199469 199470 -199471 199472 -199473 -199474 199475
147.25/147.32 v -199476 -199477 199478 -199479 -199480 199481 -199482 -199483 199484 -199485
147.25/147.32 v 199486 199487 -199488 199489 199490 -199491 199492 199493 -199494 199495
147.25/147.32 v 199496 -199497 199498 199499 -199500 199501 199502 -199503 199504 199505
147.25/147.32 v -199506 199507 199508 -199509 199510 199511 -199512 199513 199514 -199515
147.25/147.32 v 199516 199517 -199518 199519 199520 -199521 199522 199523 -199524 199525
147.25/147.32 v 199526 -199527 199528 199529 -199530 199531 199532 -199533 199534 199535
147.25/147.32 v -199536 199537 199538 -199539 199540 199541 -199542 199543 199544 -199545
147.25/147.32 v 199546 199547 -199548 199549 199550 -199551 199552 199553 -199554 199555
147.25/147.32 v 199556 199557 199558 -199559 -199560 -199561 -199562 -199563 -199564 -199565
147.25/147.39 v -199566 -199567 -199568 -199569 -199570 -199571 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-356323-1177542203 -o ROOT/results/node5/solver-356323-1177542203 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356323-1177542203/picosat /tmp/evaluation/356323-1177542203/instance-356323-1177542203.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.08 0.02 0.01 3/77 22022
/proc/meminfo: memFree=1635712/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=1080 CPUtime=0
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 230258251 1105920 160 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 270 160 40 102 0 165 0
[startup+0.0413539 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 22022
/proc/meminfo: memFree=1635712/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=1080 CPUtime=0.03
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 186 0 0 0 1 2 0 0 18 0 1 0 230258251 1105920 172 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 270 172 40 102 0 165 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1080
[startup+0.102359 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 22022
/proc/meminfo: memFree=1635712/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=1220 CPUtime=0.09
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 243 0 0 0 4 5 0 0 18 0 1 0 230258251 1249280 227 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 305 227 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220
[startup+0.301381 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 22022
/proc/meminfo: memFree=1635712/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=1612 CPUtime=0.29
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 351 0 0 0 15 14 0 0 19 0 1 0 230258251 1650688 335 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 403 335 46 102 0 298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1612
[startup+0.702426 s]
/proc/loadavg: 0.08 0.02 0.01 3/77 22022
/proc/meminfo: memFree=1635712/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=2992 CPUtime=0.69
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 661 0 0 0 32 37 0 0 23 0 1 0 230258251 3063808 645 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 748 645 46 102 0 643 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2992
[startup+1.50152 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 22023
/proc/meminfo: memFree=1632312/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=5840 CPUtime=1.49
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 1355 0 0 0 67 82 0 0 25 0 1 0 230258251 5980160 1339 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 1460 1339 46 102 0 1355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5840
[startup+3.1017 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 22023
/proc/meminfo: memFree=1628280/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=15548 CPUtime=3.09
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 2836 0 0 0 138 171 0 0 25 0 1 0 230258251 15921152 2820 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 3887 2820 46 102 0 3782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15548
[startup+6.30106 s]
/proc/loadavg: 0.15 0.03 0.01 2/78 22023
/proc/meminfo: memFree=1614264/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=32164 CPUtime=6.29
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 6458 0 0 0 287 342 0 0 25 0 1 0 230258251 32935936 6442 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 8041 6442 46 102 0 7936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32164
[startup+12.7018 s]
/proc/loadavg: 0.22 0.05 0.02 2/78 22023
/proc/meminfo: memFree=1604216/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=38784 CPUtime=12.69
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 7895 0 0 0 881 388 0 0 25 0 1 0 230258251 39714816 7879 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 9696 7879 48 102 0 9591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38784
[startup+25.5012 s]
/proc/loadavg: 0.39 0.09 0.03 2/78 22023
/proc/meminfo: memFree=1603512/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=39312 CPUtime=25.49
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 8069 0 0 0 2160 389 0 0 25 0 1 0 230258251 40255488 8053 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 9828 8053 48 102 0 9723 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39312
[startup+51.1011 s]
/proc/loadavg: 0.60 0.17 0.05 2/78 22023
/proc/meminfo: memFree=1601016/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=41896 CPUtime=51.08
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 8718 0 0 0 4718 390 0 0 25 0 1 0 230258251 42901504 8702 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134543543 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 10474 8702 48 102 0 10369 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41896
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/78 22023
/proc/meminfo: memFree=1597304/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=45568 CPUtime=102.27
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 9648 0 0 0 9836 391 0 0 25 0 1 0 230258251 46661632 9632 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 11392 9632 48 102 0 11287 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45568
Solver just ended. Dumping a history of the last processes samples
[startup+127.902 s]
/proc/loadavg: 0.88 0.35 0.12 2/78 22023
/proc/meminfo: memFree=1594936/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=47908 CPUtime=127.86
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10246 0 0 0 12394 392 0 0 25 0 1 0 230258251 49057792 10230 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 11977 10230 48 102 0 11872 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 47908
[startup+140.701 s]
/proc/loadavg: 0.91 0.38 0.14 2/78 22023
/proc/meminfo: memFree=1593656/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49072 CPUtime=140.65
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10548 0 0 0 13673 392 0 0 25 0 1 0 230258251 50249728 10532 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12268 10532 48 102 0 12163 0
Current children cumulated CPU time (s) 140.65
Current children cumulated vsize (KiB) 49072
[startup+143.902 s]
/proc/loadavg: 0.91 0.38 0.14 2/78 22023
/proc/meminfo: memFree=1593528/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49336 CPUtime=143.85
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10605 0 0 0 13993 392 0 0 25 0 1 0 230258251 50520064 10589 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134530822 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12334 10589 48 102 0 12229 0
Current children cumulated CPU time (s) 143.85
Current children cumulated vsize (KiB) 49336
[startup+145.502 s]
/proc/loadavg: 0.92 0.39 0.14 2/78 22023
/proc/meminfo: memFree=1593336/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49464 CPUtime=145.46
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10637 0 0 0 14153 393 0 0 25 0 1 0 230258251 50651136 10621 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12366 10621 48 102 0 12261 0
Current children cumulated CPU time (s) 145.46
Current children cumulated vsize (KiB) 49464
[startup+146.306 s]
/proc/loadavg: 0.92 0.39 0.14 2/78 22023
/proc/meminfo: memFree=1593272/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49596 CPUtime=146.26
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10654 0 0 0 14233 393 0 0 25 0 1 0 230258251 50786304 10638 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525631 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12399 10638 48 102 0 12294 0
Current children cumulated CPU time (s) 146.26
Current children cumulated vsize (KiB) 49596
[startup+147.102 s]
/proc/loadavg: 0.92 0.39 0.14 2/78 22023
/proc/meminfo: memFree=1593272/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49596 CPUtime=147.06
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10662 0 0 0 14313 393 0 0 25 0 1 0 230258251 50786304 10646 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12399 10646 48 102 0 12294 0
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (KiB) 49596
[startup+147.302 s]
/proc/loadavg: 0.92 0.39 0.14 3/78 22023
/proc/meminfo: memFree=1591928/2055920 swapFree=4151648/4192956
[pid=22022] ppid=22020 vsize=49600 CPUtime=147.25
/proc/22022/stat : 22022 (picosat) R 22020 22022 21966 0 -1 4194304 10670 0 0 0 14332 393 0 0 16 0 1 0 230258251 50790400 10654 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134604509 0 0 4096 0 0 0 0 17 1 0 0
/proc/22022/statm: 12400 10654 52 102 0 12295 0
Current children cumulated CPU time (s) 147.25
Current children cumulated vsize (KiB) 49600
Child status: 10
Real time (s): 147.405
CPU time (s): 147.353
CPU user time (s): 143.404
CPU system time (s): 3.9484
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 49600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.404
system time used= 3.9484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10671
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= 250
involuntary context switches= 3092
runsolver used 0.120981 second user time and 0.401938 second system time
The end
Begin job on node5 on Wed Apr 25 23:03:26 UTC 2007
IDJOB= 356323
IDBENCH= 20414
IDSOLVER= 171
FILE ID= node5/356323-1177542203
PBS_JOBID= 4695925
Free space on /tmp= 66348 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h35-unknown.cnf
COMMAND LINE= /tmp/evaluation/356323-1177542203/picosat /tmp/evaluation/356323-1177542203/instance-356323-1177542203.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-356323-1177542203 -o ROOT/results/node5/solver-356323-1177542203 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356323-1177542203/picosat /tmp/evaluation/356323-1177542203/instance-356323-1177542203.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 5e044c9f89a347ff1731180a403693c1
RANDOM SEED= 720266068
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node5.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.232
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.232
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: 1636120 kB
Buffers: 48940 kB
Cached: 280296 kB
SwapCached: 9948 kB
Active: 185452 kB
Inactive: 167016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636120 kB
SwapTotal: 4192956 kB
SwapFree: 4151648 kB
Dirty: 17060 kB
Writeback: 0 kB
Mapped: 29972 kB
Slab: 52948 kB
Committed_AS: 9084200 kB
PageTables: 1720 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= 66348 MiB
End job on node5 on Wed Apr 25 23:05:54 UTC 2007