[...]
#
# trace file is too large. Trace was truncated at this point.
#
146.53/146.69 v 199096 -199097 -199098 -199099 199100 -199101 -199102 -199103 -199104 199105
146.53/146.69 v -199106 -199107 -199108 199109 -199110 -199111 -199112 -199113 199114 -199115
146.53/146.69 v -199116 -199117 199118 -199119 -199120 -199121 -199122 199123 -199124 -199125
146.53/146.69 v -199126 199127 -199128 -199129 -199130 -199131 199132 -199133 -199134 -199135
146.53/146.69 v 199136 -199137 -199138 -199139 -199140 199141 -199142 -199143 -199144 199145
146.53/146.69 v -199146 -199147 -199148 -199149 199150 -199151 -199152 -199153 199154 -199155
146.53/146.69 v -199156 -199157 -199158 199159 -199160 -199161 -199162 199163 -199164 -199165
146.53/146.69 v -199166 -199167 199168 -199169 -199170 199171 -199172 199173 199174 -199175
146.53/146.69 v -199176 199177 -199178 -199179 -199180 199181 -199182 199183 -199184 199185
146.53/146.69 v -199186 199187 199188 -199189 -199190 199191 -199192 -199193 -199194 199195
146.53/146.69 v -199196 199197 -199198 199199 199200 199201 -199202 -199203 199204 199205
146.53/146.69 v -199206 -199207 199208 -199209 -199210 199211 199212 199213 -199214 -199215
146.53/146.69 v 199216 -199217 199218 -199219 199220 -199221 -199222 199223 199224 199225
146.53/146.69 v -199226 199227 -199228 199229 -199230 199231 199232 199233 199234 -199235
146.53/146.69 v 199236 -199237 199238 -199239 199240 199241 199242 199243 -199244 199245
146.53/146.69 v -199246 199247 -199248 199249 199250 199251 199252 -199253 199254 -199255
146.53/146.69 v 199256 -199257 199258 199259 199260 199261 -199262 199263 -199264 199265
146.53/146.69 v -199266 199267 199268 199269 199270 -199271 199272 -199273 199274 -199275
146.53/146.69 v 199276 199277 199278 199279 -199280 199281 -199282 199283 -199284 199285
146.53/146.69 v 199286 199287 199288 -199289 199290 -199291 199292 -199293 199294 199295
146.53/146.69 v 199296 199297 -199298 199299 -199300 199301 -199302 199303 199304 199305
146.53/146.69 v 199306 -199307 199308 -199309 199310 199311 -199312 199313 199314 -199315
146.53/146.69 v -199316 199317 -199318 199319 -199320 -199321 199322 199323 -199324 -199325
146.53/146.69 v 199326 -199327 199328 -199329 -199330 199331 199332 -199333 -199334 199335
146.53/146.69 v -199336 199337 -199338 -199339 199340 199341 -199342 -199343 199344 -199345
146.53/146.69 v 199346 -199347 -199348 199349 199350 -199351 -199352 199353 -199354 199355
146.53/146.69 v -199356 -199357 199358 199359 -199360 -199361 199362 -199363 199364 -199365
146.53/146.69 v -199366 199367 199368 -199369 -199370 199371 -199372 199373 -199374 -199375
146.53/146.69 v 199376 199377 -199378 -199379 199380 -199381 199382 -199383 -199384 199385
146.53/146.69 v 199386 -199387 -199388 199389 -199390 199391 -199392 -199393 199394 199395
146.53/146.69 v -199396 -199397 199398 -199399 199400 -199401 -199402 199403 199404 -199405
146.53/146.69 v -199406 199407 -199408 199409 -199410 199411 199412 -199413 -199414 199415
146.53/146.69 v -199416 199417 -199418 199419 199420 -199421 -199422 199423 -199424 199425
146.53/146.69 v -199426 199427 199428 -199429 -199430 199431 -199432 199433 -199434 199435
146.53/146.69 v 199436 -199437 199438 -199439 199440 -199441 -199442 199443 199444 -199445
146.53/146.69 v 199446 -199447 199448 -199449 -199450 199451 199452 -199453 -199454 199455
146.53/146.69 v -199456 199457 -199458 -199459 199460 199461 -199462 -199463 199464 -199465
146.53/146.69 v 199466 -199467 -199468 199469 199470 -199471 199472 -199473 -199474 199475
146.53/146.69 v -199476 -199477 199478 -199479 -199480 199481 -199482 -199483 199484 -199485
146.53/146.69 v 199486 199487 -199488 199489 199490 -199491 199492 199493 -199494 199495
146.53/146.69 v 199496 -199497 199498 199499 -199500 199501 199502 -199503 199504 199505
146.53/146.69 v -199506 199507 199508 -199509 199510 199511 -199512 199513 199514 -199515
146.53/146.69 v 199516 199517 -199518 199519 199520 -199521 199522 199523 -199524 199525
146.53/146.69 v 199526 -199527 199528 199529 -199530 199531 199532 -199533 199534 199535
146.53/146.69 v -199536 199537 199538 -199539 199540 199541 -199542 199543 199544 -199545
146.53/146.69 v 199546 199547 -199548 199549 199550 -199551 199552 199553 -199554 199555
146.53/146.69 v 199556 199557 199558 -199559 -199560 -199561 -199562 -199563 -199564 -199565
146.63/146.76 v -199566 -199567 -199568 -199569 -199570 -199571 0
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-315342-1172652911 -o ROOT/results/node44/solver-315342-1172652911 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315342-1172652911/picosat /tmp/evaluation/315342-1172652911/instance-315342-1172652911.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.97 0.98 0.99 3/64 11565
/proc/meminfo: memFree=1146944/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=1080 CPUtime=0
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 285247237 1105920 160 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 270 160 40 102 0 165 0
[startup+0.03289 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 11565
/proc/meminfo: memFree=1146944/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=1080 CPUtime=0.02
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 180 0 0 0 1 1 0 0 18 0 1 0 285247237 1105920 165 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 270 165 40 102 0 165 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1080
[startup+0.101902 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 11565
/proc/meminfo: memFree=1146944/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=1220 CPUtime=0.09
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 243 0 0 0 4 5 0 0 18 0 1 0 285247237 1249280 226 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 305 226 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220
[startup+0.301937 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 11565
/proc/meminfo: memFree=1146944/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=1612 CPUtime=0.29
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 350 0 0 0 13 16 0 0 19 0 1 0 285247237 1650688 333 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 403 333 46 102 0 298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1612
[startup+0.702011 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 11565
/proc/meminfo: memFree=1146944/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=2992 CPUtime=0.69
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 656 0 0 0 29 40 0 0 23 0 1 0 285247237 3063808 639 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 748 639 46 102 0 643 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2992
[startup+1.50116 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 11566
/proc/meminfo: memFree=1143544/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=5840 CPUtime=1.49
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 1342 0 0 0 65 84 0 0 25 0 1 0 285247237 5980160 1325 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 1460 1325 46 102 0 1355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5840
[startup+3.10145 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 11566
/proc/meminfo: memFree=1139000/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=11580 CPUtime=3.09
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 2808 0 0 0 135 174 0 0 25 0 1 0 285247237 11857920 2791 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 2895 2791 46 102 0 2790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11580
[startup+6.30103 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1125880/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=31900 CPUtime=6.29
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 6380 0 0 0 279 350 0 0 25 0 1 0 285247237 32665600 6363 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 7975 6363 46 102 0 7870 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31900
[startup+12.7012 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1115512/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=38784 CPUtime=12.68
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 7894 0 0 0 864 404 0 0 25 0 1 0 285247237 39714816 7877 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 9696 7877 48 102 0 9591 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38784
[startup+25.5015 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1115000/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=39312 CPUtime=25.48
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 8070 0 0 0 2143 405 0 0 25 0 1 0 285247237 40255488 8053 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 9828 8053 48 102 0 9723 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39312
[startup+51.1012 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1112440/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=41896 CPUtime=51.07
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 8719 0 0 0 4702 405 0 0 25 0 1 0 285247237 42901504 8702 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 10474 8702 48 102 0 10369 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41896
[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1108664/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=45568 CPUtime=102.26
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 9651 0 0 0 9819 407 0 0 25 0 1 0 285247237 46661632 9634 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 11392 9634 48 102 0 11287 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45568
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1106296/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=47908 CPUtime=127.84
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10253 0 0 0 12376 408 0 0 25 0 1 0 285247237 49057792 10236 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 11977 10236 48 102 0 11872 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 47908
[startup+134.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1105976/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=48172 CPUtime=134.24
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10322 0 0 0 13016 408 0 0 25 0 1 0 285247237 49328128 10305 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12043 10305 48 102 0 11938 0
Current children cumulated CPU time (s) 134.24
Current children cumulated vsize (KiB) 48172
[startup+140.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1105016/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=49204 CPUtime=140.64
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10557 0 0 0 13656 408 0 0 25 0 1 0 285247237 50384896 10540 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12301 10540 48 102 0 12196 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 49204
[startup+143.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1104888/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=49464 CPUtime=143.83
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10617 0 0 0 13975 408 0 0 25 0 1 0 285247237 50651136 10600 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12366 10600 48 102 0 12261 0
Current children cumulated CPU time (s) 143.83
Current children cumulated vsize (KiB) 49464
[startup+145.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1104696/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=49596 CPUtime=145.43
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10651 0 0 0 14135 408 0 0 25 0 1 0 285247237 50786304 10634 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134523989 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12399 10634 48 102 0 12294 0
Current children cumulated CPU time (s) 145.43
Current children cumulated vsize (KiB) 49596
[startup+146.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1104632/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=49596 CPUtime=146.24
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10663 0 0 0 14216 408 0 0 25 0 1 0 285247237 50786304 10646 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12399 10646 48 102 0 12294 0
Current children cumulated CPU time (s) 146.24
Current children cumulated vsize (KiB) 49596
[startup+146.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11566
/proc/meminfo: memFree=1104632/2055920 swapFree=4183332/4192956
[pid=11565] ppid=11563 vsize=49600 CPUtime=146.63
/proc/11565/stat : 11565 (picosat) R 11563 11565 10941 0 -1 4194304 10671 0 0 0 14254 409 0 0 17 0 1 0 285247237 50790400 10654 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134533657 0 0 4096 0 0 0 0 17 1 0 0
/proc/11565/statm: 12400 10654 52 102 0 12295 0
Current children cumulated CPU time (s) 146.63
Current children cumulated vsize (KiB) 49600
Child status: 10
Real time (s): 146.777
CPU time (s): 146.711
CPU user time (s): 142.606
CPU system time (s): 4.10438
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 49600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.606
system time used= 4.10438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10672
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= 223
involuntary context switches= 380
runsolver used 0.118981 second user time and 0.363944 second system time
The end
Begin job on node44 on Wed Feb 28 08:55:11 UTC 2007
IDJOB= 315342
IDBENCH= 20414
IDSOLVER= 106
FILE ID= node44/315342-1172652911
PBS_JOBID= 3981173
Free space on /tmp= 66528 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h35-unknown.cnf
COMMAND LINE= /tmp/evaluation/315342-1172652911/picosat /tmp/evaluation/315342-1172652911/instance-315342-1172652911.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-315342-1172652911 -o ROOT/results/node44/solver-315342-1172652911 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315342-1172652911/picosat /tmp/evaluation/315342-1172652911/instance-315342-1172652911.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 5e044c9f89a347ff1731180a403693c1
RANDOM SEED= 271324730
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node44.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.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 : 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.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: 1147352 kB
Buffers: 37056 kB
Cached: 804648 kB
SwapCached: 3944 kB
Active: 335308 kB
Inactive: 530936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1147352 kB
SwapTotal: 4192956 kB
SwapFree: 4183332 kB
Dirty: 17128 kB
Writeback: 0 kB
Mapped: 29948 kB
Slab: 28284 kB
Committed_AS: 631396 kB
PageTables: 1428 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= 66528 MiB
End job on node44 on Wed Feb 28 08:57:38 UTC 2007