Trace number 3274998

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver: clasp 1.2.0-SAT09-32SAT 1447.21 1447.18

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
MD5SUMcffaf116c6c0eb21439a109753d19c34
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.01139
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

1447.13/1447.16	c clasp version 1.2.0-SAT09 
1447.13/1447.16	c Reading from ...635252/instance-3274998-1303635252.cnf
1447.13/1447.16	c Reading      : Done(0.010s)
1447.13/1447.16	c Preprocessing: |-\Done(0.210s)
1447.13/1447.16	c Solving...
1447.13/1447.16	c Model: 1
1447.13/1447.16	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10
1447.13/1447.16	v -11 -12 -13 -14 15 -16 -17 -18 -19 -20
1447.13/1447.16	v -21 -22 -23 -24 -25 -26 -27 -28 -29 -30
1447.13/1447.16	v -31 -32 -33 34 -35 -36 -37 -38 -39 -40
1447.13/1447.16	v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
1447.13/1447.16	v -51 -52 -53 -54 -55 -56 -57 -58 -59 60
1447.13/1447.16	v -61 -62 -63 -64 -65 -66 -67 68 -69 -70
1447.13/1447.16	v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
1447.13/1447.16	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
1447.13/1447.16	v 91 -92 -93 -94 -95 -96 -97 -98 -99 -100
1447.13/1447.16	v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
1447.13/1447.16	v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
1447.13/1447.16	v -121 -122 -123 124 -125 -126 -127 -128 -129 130
1447.13/1447.16	v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
1447.13/1447.16	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
1447.13/1447.16	v -151 -152 -153 -154 -155 -156 -157 -158 -159 160
1447.13/1447.16	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170
1447.13/1447.16	v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
1447.13/1447.16	v -181 -182 -183 -184 185 -186 -187 -188 -189 -190
1447.13/1447.16	v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
1447.13/1447.16	v -201 -202 -203 -204 -205 -206 207 -208 -209 -210
1447.13/1447.16	v -211 -212 -213 -214 -215 -216 217 -218 -219 -220
1447.13/1447.16	v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
1447.13/1447.16	v -231 -232 233 -234 -235 -236 -237 -238 -239 -240
1447.13/1447.16	v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250
1447.13/1447.16	v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
1447.13/1447.16	v -261 -262 -263 -264 -265 -266 -267 -268 269 -270
1447.13/1447.16	v -271 -272 -273 -274 -275 -276 -277 278 -279 -280
1447.13/1447.16	v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290
1447.13/1447.16	v -291 -292 -293 -294 295 -296 -297 -298 -299 -300
1447.13/1447.16	v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
1447.13/1447.16	v -311 -312 -313 -314 -315 316 -317 -318 -319 -320
1447.13/1447.16	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
1447.13/1447.16	v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
1447.13/1447.16	v -341 -342 -343 -344 -345 -346 -347 348 -349 -350
1447.13/1447.16	v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
1447.13/1447.16	v -361 -362 -363 -364 -365 -366 367 -368 -369 -370
1447.13/1447.16	v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
1447.13/1447.16	v -381 -382 -383 -384 -385 -386 387 -388 -389 -390
1447.13/1447.16	v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
1447.13/1447.16	v -401 -402 -403 -404 -405 -406 -407 -408 -409 410
1447.13/1447.16	v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
1447.13/1447.16	v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
1447.13/1447.16	v -431 -432 -433 -434 -435 -436 -437 -438 439 -440
1447.13/1447.16	v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
1447.13/1447.16	v -451 -452 -453 454 -455 -456 -457 -458 -459 -460
1447.13/1447.16	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
1447.13/1447.16	v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
1447.13/1447.16	v -481 -482 483 -484 -485 -486 -487 -488 -489 -490
1447.13/1447.16	v -491 -492 -493 -494 -495 496 -497 -498 -499 -500
1447.13/1447.16	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
1447.13/1447.16	v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
1447.13/1447.16	v -521 522 -523 -524 -525 -526 -527 -528 -529 -530
1447.13/1447.16	v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
1447.13/1447.16	v -541 542 -543 -544 -545 -546 -547 -548 -549 -550
1447.13/1447.16	v 551 -552 -553 -554 -555 -556 -557 -558 -559 -560
1447.13/1447.16	v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
1447.13/1447.16	v -571 -572 -573 -574 575 -576 -577 -578 -579 -580
1447.13/1447.16	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
1447.13/1447.16	v 591 -592 -593 -594 -595 -596 -597 -598 -599 -600
1447.13/1447.16	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
1447.13/1447.16	v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
1447.13/1447.16	v -621 -622 623 -624 -625 -626 -627 -628 -629 -630
1447.13/1447.16	v -631 -632 -633 -634 -635 -636 637 -638 -639 -640
1447.13/1447.16	v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
1447.13/1447.16	v -651 -652 -653 -654 -655 -656 -657 658 -659 -660
1447.13/1447.16	v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
1447.13/1447.16	v -671 -672 673 -674 -675 -676 -677 -678 -679 -680
1447.13/1447.16	v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
1447.13/1447.16	v -691 -692 -693 -694 695 -696 -697 -698 -699 -700
1447.13/1447.16	v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
1447.13/1447.16	v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
1447.13/1447.16	v -721 -722 -723 -724 -725 -726 -727 -728 -729 730
1447.13/1447.16	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
1447.13/1447.16	v -741 -742 -743 -744 -745 -746 -747 748 -749 -750
1447.13/1447.16	v -751 -752 -753 -754 -755 -756 -757 -758 759 -760
1447.13/1447.16	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
1447.13/1447.16	v -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
1447.13/1447.16	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790
1447.13/1447.16	v -791 -792 -793 -794 -795 -796 -797 798 -799 -800
1447.13/1447.16	v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810
1447.13/1447.16	v -811 -812 -813 -814 -815 -816 -817 -818 819 -820
1447.13/1447.16	v -821 -822 -823 -824 -825 -826 -827 -828 -829 830
1447.13/1447.16	v -831 -832 -833 -834 -835 -836 -837 -838 -839 -840
1447.13/1447.16	v -841 -842 -843 -844 -845 -846 -847 -848 849 -850
1447.13/1447.16	v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
1447.13/1447.16	v -861 -862 -863 -864 -865 -866 -867 -868 -869 -870
1447.13/1447.16	v -871 872 -873 -874 -875 -876 -877 -878 -879 -880
1447.13/1447.16	v -881 -882 -883 -884 -885 -886 -887 -888 -889 -890
1447.13/1447.16	v -891 -892 893 -894 -895 -896 -897 -898 -899 -900
1447.13/1447.16	v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910
1447.13/1447.16	v -911 -912 -913 -914 -915 -916 -917 918 -919 -920
1447.13/1447.16	v -921 -922 -923 -924 -925 -926 -927 -928 -929 -930
1447.13/1447.16	v -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
1447.13/1447.16	v -941 -942 -943 944 -945 0 
1447.13/1447.17	
1447.13/1447.17	c Models    : 1+    
1447.13/1447.17	c Time         : 1447.410s (Solve: 1447.190s)
1447.13/1447.17	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3274998-1303635252/watcher-3274998-1303635252 -o /tmp/evaluation-result-3274998-1303635252/solver-3274998-1303635252 -C 5000 -W 5000 -M 15500 HOME/clasp --file=HOME/instance-3274998-1303635252.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 32477
/proc/meminfo: memFree=17141572/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=2480 CPUtime=0 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 372 0 0 0 0 0 0 0 22 0 1 0 475124824 2539520 327 33554432000 134512640 136057169 4288814768 18446744073709551615 135502702 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 620 328 145 378 0 240 0

[startup+0.0603581 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 32477
/proc/meminfo: memFree=17141572/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=4684 CPUtime=0.05 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 1026 0 0 0 5 0 0 0 22 0 1 0 475124824 4796416 934 33554432000 134512640 136057169 4288814768 18446744073709551615 134774372 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 1171 934 166 378 0 791 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4684

[startup+0.100346 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 32477
/proc/meminfo: memFree=17141572/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=4684 CPUtime=0.09 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 1026 0 0 0 9 0 0 0 22 0 1 0 475124824 4796416 934 33554432000 134512640 136057169 4288814768 18446744073709551615 134774352 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 1171 934 166 378 0 791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4684

[startup+0.300316 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 32477
/proc/meminfo: memFree=17141572/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=5120 CPUtime=0.29 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 1241 0 0 0 29 0 0 0 23 0 1 0 475124824 5242880 1029 33554432000 134512640 136057169 4288814768 18446744073709551615 134823873 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 1280 1029 183 378 0 900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5120

[startup+0.700241 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 32477
/proc/meminfo: memFree=17141572/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=5516 CPUtime=0.69 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 1349 0 0 0 69 0 0 0 25 0 1 0 475124824 5648384 1137 33554432000 134512640 136057169 4288814768 18446744073709551615 134618449 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 1379 1137 183 378 0 999 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5516

[startup+1.50104 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 32478
/proc/meminfo: memFree=17136364/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=8472 CPUtime=1.49 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 2086 0 0 0 149 0 0 0 25 0 1 0 475124824 8675328 1874 33554432000 134512640 136057169 4288814768 18446744073709551615 134618190 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32477/statm: 2118 1874 183 378 0 1738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8472

[startup+3.10076 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 32478
/proc/meminfo: memFree=17134752/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=10584 CPUtime=3.09 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 2624 0 0 0 309 0 0 0 25 0 1 0 475124824 10838016 2412 33554432000 134512640 136057169 4288814768 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 2646 2412 183 378 0 2266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10584

[startup+6.3002 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 32478
/proc/meminfo: memFree=17132256/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=11204 CPUtime=6.29 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 2749 0 0 0 629 0 0 0 25 0 1 0 475124824 11472896 2537 33554432000 134512640 136057169 4288814768 18446744073709551615 134823862 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 2801 2537 183 378 0 2421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11204

[startup+12.7001 s]
/proc/loadavg: 0.30 0.06 0.02 3/178 32488
/proc/meminfo: memFree=17110308/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=14004 CPUtime=12.69 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 3474 0 0 0 1269 0 0 0 25 0 1 0 475124824 14340096 3262 33554432000 134512640 136057169 4288814768 18446744073709551615 134618465 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 3501 3262 183 378 0 3121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14004

[startup+25.5009 s]
/proc/loadavg: 0.68 0.16 0.05 3/178 32488
/proc/meminfo: memFree=17099836/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=16992 CPUtime=25.49 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 4180 0 0 0 2549 0 0 0 25 0 1 0 475124824 17399808 3968 33554432000 134512640 136057169 4288814768 18446744073709551615 134823850 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 4248 3968 183 378 0 3868 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16992

[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/178 32489
/proc/meminfo: memFree=17090760/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=21240 CPUtime=51.09 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 5259 0 0 0 5109 0 0 0 25 0 1 0 475124824 21749760 5047 33554432000 134512640 136057169 4288814768 18446744073709551615 134625658 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 5310 5047 183 378 0 4930 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21240

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/178 32490
/proc/meminfo: memFree=17081068/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=24356 CPUtime=102.29 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 6013 0 0 0 10229 0 0 0 25 0 1 0 475124824 24940544 5801 33554432000 134512640 136057169 4288814768 18446744073709551615 134618148 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 6089 5801 183 378 0 5709 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24356

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/178 32492
/proc/meminfo: memFree=17066668/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=28432 CPUtime=162.29 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 7016 0 0 0 16229 0 0 0 25 0 1 0 475124824 29114368 6804 33554432000 134512640 136057169 4288814768 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 7108 6804 183 378 0 6728 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28432

[startup+222.3 s]
/proc/loadavg: 1.95 1.03 0.41 3/178 32494
/proc/meminfo: memFree=17058700/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=31024 CPUtime=222.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 7655 0 0 0 22229 1 0 0 25 0 1 0 475124824 31768576 7443 33554432000 134512640 136057169 4288814768 18446744073709551615 134823841 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 7756 7443 183 378 0 7376 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 31024

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/178 32495
/proc/meminfo: memFree=17052852/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=35060 CPUtime=282.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 8569 0 0 0 28229 1 0 0 25 0 1 0 475124824 35901440 8357 33554432000 134512640 136057169 4288814768 18446744073709551615 134819954 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 8765 8357 183 378 0 8385 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35060

[startup+342.301 s]
/proc/loadavg: 1.99 1.35 0.60 3/178 32497
/proc/meminfo: memFree=17046756/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=36384 CPUtime=342.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 8888 0 0 0 34229 1 0 0 25 0 1 0 475124824 37257216 8676 33554432000 134512640 136057169 4288814768 18446744073709551615 134618347 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 9096 8676 183 378 0 8716 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36384

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/178 32498
/proc/meminfo: memFree=17040288/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=39608 CPUtime=402.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 9704 0 0 0 40229 1 0 0 25 0 1 0 475124824 40558592 9492 33554432000 134512640 136057169 4288814768 18446744073709551615 134823886 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 9902 9492 183 378 0 9522 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39608

[startup+462.301 s]
/proc/loadavg: 2.04 1.57 0.77 3/178 32509
/proc/meminfo: memFree=17033648/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=41736 CPUtime=462.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 10211 0 0 0 46229 1 0 0 25 0 1 0 475124824 42737664 9999 33554432000 134512640 136057169 4288814768 18446744073709551615 134823833 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 10434 9999 183 378 0 10054 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 41736

[startup+522.3 s]
/proc/loadavg: 2.01 1.65 0.84 3/178 32511
/proc/meminfo: memFree=17030032/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=45080 CPUtime=522.3 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 10997 0 0 0 52229 1 0 0 25 0 1 0 475124824 46161920 10785 33554432000 134512640 136057169 4288814768 18446744073709551615 134618185 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 11270 10785 183 378 0 10890 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 45080

[startup+582.301 s]
/proc/loadavg: 2.00 1.71 0.91 3/178 32512
/proc/meminfo: memFree=17028024/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=45484 CPUtime=582.31 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 11124 0 0 0 58229 2 0 0 25 0 1 0 475124824 46575616 10912 33554432000 134512640 136057169 4288814768 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 11371 10912 183 378 0 10991 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 45484

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=17011888/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=49768 CPUtime=762.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 12116 0 0 0 76230 2 0 0 25 0 1 0 475124824 50962432 11904 33554432000 134512640 136057169 4288814768 18446744073709551615 134615624 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 12442 11904 183 378 0 12062 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 49768

[startup+822.301 s]
/proc/loadavg: 2.00 1.87 1.15 3/178 32522
/proc/meminfo: memFree=17009880/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=50124 CPUtime=822.31 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 12192 0 0 0 82229 2 0 0 25 0 1 0 475124824 51326976 11980 33554432000 134512640 136057169 4288814768 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 12531 11980 183 378 0 12151 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 50124

[startup+882.301 s]
/proc/loadavg: 2.00 1.89 1.20 3/178 32523
/proc/meminfo: memFree=17007508/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=51988 CPUtime=882.31 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 12648 0 0 0 88229 2 0 0 25 0 1 0 475124824 53235712 12436 33554432000 134512640 136057169 4288814768 18446744073709551615 134618256 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 12997 12436 183 378 0 12617 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 51988

[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.25 3/178 32525
/proc/meminfo: memFree=17004260/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55224 CPUtime=942.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13443 0 0 0 94230 2 0 0 25 0 1 0 475124824 56549376 13231 33554432000 134512640 136057169 4288814768 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13806 13231 183 378 0 13426 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 55224

[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.29 3/178 32526
/proc/meminfo: memFree=17003240/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55420 CPUtime=1002.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13491 0 0 0 100230 2 0 0 25 0 1 0 475124824 56750080 13279 33554432000 134512640 136057169 4288814768 18446744073709551615 134618112 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13855 13279 183 378 0 13475 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 55420

[startup+1062.3 s]
/proc/loadavg: 2.04 1.95 1.34 3/178 32528
/proc/meminfo: memFree=17002196/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55420 CPUtime=1062.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13515 0 0 0 106230 2 0 0 25 0 1 0 475124824 56750080 13303 33554432000 134512640 136057169 4288814768 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13855 13303 183 378 0 13475 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 55420

[startup+1122.3 s]
/proc/loadavg: 2.01 1.95 1.38 3/178 32530
/proc/meminfo: memFree=16999196/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55420 CPUtime=1122.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13519 0 0 0 112230 2 0 0 25 0 1 0 475124824 56750080 13307 33554432000 134512640 136057169 4288814768 18446744073709551615 134618253 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13855 13307 183 378 0 13475 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 55420

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.41 3/178 32531
/proc/meminfo: memFree=16998556/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55660 CPUtime=1182.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13560 0 0 0 118230 2 0 0 25 0 1 0 475124824 56995840 13348 33554432000 134512640 136057169 4288814768 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13915 13348 183 378 0 13535 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 55660

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/178 32533
/proc/meminfo: memFree=16997664/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=55800 CPUtime=1242.32 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13595 0 0 0 124230 2 0 0 25 0 1 0 475124824 57139200 13383 33554432000 134512640 136057169 4288814768 18446744073709551615 134618253 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 13950 13383 183 378 0 13570 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 55800

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/178 32534
/proc/meminfo: memFree=16997268/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56016 CPUtime=1302.33 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13645 0 0 0 130231 2 0 0 25 0 1 0 475124824 57360384 13433 33554432000 134512640 136057169 4288814768 18446744073709551615 134618368 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14004 13433 183 378 0 13624 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 56016

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 32536
/proc/meminfo: memFree=16996504/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56016 CPUtime=1362.33 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13661 0 0 0 136231 2 0 0 25 0 1 0 475124824 57360384 13449 33554432000 134512640 136057169 4288814768 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14004 13449 183 378 0 13624 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 56016

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1422.33 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 142231 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 56756

Solver just ended. Dumping a history of the last processes samples

[startup+1433.5 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1433.53 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 143351 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1433.53
Current children cumulated vsize (KiB) 56756

[startup+1439.91 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1439.93 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 143991 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1439.93
Current children cumulated vsize (KiB) 56756

[startup+1443.1 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1443.13 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 144311 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 135459759 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1443.13
Current children cumulated vsize (KiB) 56756

[startup+1444.7 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1444.73 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 144471 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134637484 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1444.73
Current children cumulated vsize (KiB) 56756

[startup+1446.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1446.33 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 144631 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134823886 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1446.33
Current children cumulated vsize (KiB) 56756

[startup+1446.7 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1446.73 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 144671 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134823812 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1446.73
Current children cumulated vsize (KiB) 56756

[startup+1447.1 s]
/proc/loadavg: 2.00 1.97 1.55 3/178 32538
/proc/meminfo: memFree=16995860/32950928 swapFree=67111528/67111528
[pid=32477] ppid=32475 vsize=56756 CPUtime=1447.13 cores=1,3,5,7
/proc/32477/stat : 32477 (clasp) R 32475 32477 32422 0 -1 4202496 13799 0 0 0 144711 2 0 0 25 0 1 0 475124824 58118144 13587 33554432000 134512640 136057169 4288814768 18446744073709551615 134618272 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/32477/statm: 14189 13587 183 378 0 13809 0
Current children cumulated CPU time (s) 1447.13
Current children cumulated vsize (KiB) 56756

Child status: 10
Real time (s): 1447.18
CPU time (s): 1447.21
CPU user time (s): 1447.19
CPU system time (s): 0.023996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 56756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1447.19
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13803
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= 5
involuntary context switches= 14323

runsolver used 1.9767 second user time and 4.81227 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-24 10:54:12
IDJOB=3274998
IDBENCH=71284
IDSOLVER=1677
FILE ID=node125/3274998-1303635252
RUNJOBID= node125-1303635250-32441
PBS_JOBID= 13150723
Free space on /tmp= 73264 MiB

SOLVER NAME= SAT09 reference solver: clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3274998-1303635252/watcher-3274998-1303635252 -o /tmp/evaluation-result-3274998-1303635252/solver-3274998-1303635252 -C 5000 -W 5000 -M 15500  HOME/clasp --file=HOME/instance-3274998-1303635252.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34
RANDOM SEED=763292045

node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5266.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17141852 kB
Buffers:       2189456 kB
Cached:       13026592 kB
SwapCached:          0 kB
Active:        7577808 kB
Inactive:      7701680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17141852 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2784 kB
Writeback:           0 kB
AnonPages:       62948 kB
Mapped:          14488 kB
Slab:           465172 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187036 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73260 MiB
End job on node125 at 2011-04-24 11:18:19