Trace number 3386497

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
borg-sat 11.03.02-seq-random (fixed)Wrong Cert. 2696.26 2686.38

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
MD5SUM34a446d3b38e7b034208a35fa75247bf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark161.39
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 525000
Number of clauses of size over 50

Solver Data

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

Verifier Data

ERROR: clause is not satisfied: 145 -1214 1072 976 20 0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386497-1305586149/watcher-3386497-1305586149 -o /tmp/evaluation-result-3386497-1305586149/solver-3386497-1305586149 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386497-1305586149.cnf -seed 564721476 -budget 5000 

running on 4 cores: 0,2,4,6

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): 5100 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: 1.16 1.15 2.91 3/481 1945
/proc/meminfo: memFree=11804232/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=15188 CPUtime=0 cores=0,2,4,6
/proc/1945/stat : 1945 (python) R 1942 1945 1905 0 -1 4202496 716 0 0 0 0 0 0 0 21 0 1 0 748845645 15552512 608 33554432000 4194304 5683644 140733554854240 18446744073709551615 216734875273 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1945/statm: 3797 608 319 364 0 284 0

[startup+0.0247199 s]
/proc/loadavg: 1.16 1.15 2.91 3/481 1945
/proc/meminfo: memFree=11804232/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 1115 0 0 0 1 0 0 0 21 0 1 0 748845645 16793600 984 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1945/statm: 4100 984 408 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+0.100553 s]
/proc/loadavg: 1.16 1.15 2.91 3/481 1945
/proc/meminfo: memFree=11804232/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=91832 CPUtime=0.06 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 2678 0 0 0 4 2 0 0 17 0 1 0 748845645 94035968 2394 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1945/statm: 22958 2394 755 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 91832

[startup+0.300531 s]
/proc/loadavg: 1.16 1.15 2.91 3/481 1945
/proc/meminfo: memFree=11804232/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=135752 CPUtime=0.19 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 5969 933 1 0 14 5 0 0 17 0 1 0 748845645 139010048 4149 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1945/statm: 33938 4149 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.701927 s]
/proc/loadavg: 1.16 1.15 2.91 3/481 1945
/proc/meminfo: memFree=11804232/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=256992 CPUtime=0.38 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 8538 933 1 0 28 10 0 0 16 0 1 0 748845645 263159808 6396 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1945/statm: 64248 6396 1648 364 0 5127 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 256992

[startup+1.50027 s]
/proc/loadavg: 1.16 1.15 2.91 4/480 1952
/proc/meminfo: memFree=11746068/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=285804 CPUtime=1.16 cores=0,2,4,6
/proc/1945/stat : 1945 (python) R 1942 1945 1905 0 -1 4202496 12063 933 1 0 105 11 0 0 16 0 1 0 748845645 292663296 8835 33554432000 4194304 5683644 140733554854240 18446744073709551615 47650565264123 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1945/statm: 71451 8835 1826 364 0 7375 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285804

[startup+3.10102 s]
/proc/loadavg: 1.16 1.15 2.91 4/483 1955
/proc/meminfo: memFree=11733396/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=292288 CPUtime=1.67 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 12433 933 1 0 156 11 0 0 19 0 2 0 748845645 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 73072 7944 1877 364 0 8990 0
[pid=1953] ppid=1945 vsize=282044 CPUtime=0 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 748845847 288813056 6417 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198735 0 0 16781312 514 8452572333758972162 0 0 17 2 0 0 0
/proc/1953/statm: 70511 6417 354 364 0 6429 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=1.07 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) R 1953 1955 1955 0 -1 4202496 864 0 0 0 107 0 0 0 22 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134544242 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 748845847 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 1593132

[startup+6.3004 s]
/proc/loadavg: 1.31 1.18 2.91 4/483 1955
/proc/meminfo: memFree=11732532/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=292288 CPUtime=1.67 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 12433 933 1 0 156 11 0 0 19 0 2 0 748845645 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 73072 7944 1877 364 0 8990 0
[pid=1953] ppid=1945 vsize=282044 CPUtime=0.01 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 887 0 0 0 1 0 0 0 18 0 1 0 748845847 288813056 6440 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198735 0 0 16781312 514 8452572333758972162 0 0 17 2 0 0 0
/proc/1953/statm: 70511 6440 377 364 0 6429 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=4.27 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) R 1953 1955 1955 0 -1 4202496 864 0 0 0 427 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134525715 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 748845847 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 1593132

[startup+12.7173 s]
/proc/loadavg: 1.44 1.21 2.91 4/486 1959
/proc/meminfo: memFree=11701804/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=292288 CPUtime=1.67 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 12433 933 1 0 156 11 0 0 19 0 2 0 748845645 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 73072 7944 1877 364 0 8990 0
[pid=1953] ppid=1945 vsize=282044 CPUtime=0.03 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 890 0 0 0 2 1 0 0 18 0 1 0 748845847 288813056 6440 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198735 0 0 16781312 514 10182744310600925442 0 0 17 2 0 0 0
/proc/1953/statm: 70511 6440 377 364 0 6429 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=10.69 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) R 1953 1955 1955 0 -1 4202496 864 0 0 0 1069 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134524888 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 748845847 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 1593132

[startup+25.5011 s]
/proc/loadavg: 1.68 1.27 2.91 4/486 1959
/proc/meminfo: memFree=11701964/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=292288 CPUtime=1.67 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 12433 933 1 0 156 11 0 0 19 0 2 0 748845645 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 73072 7944 1877 364 0 8990 0
[pid=1953] ppid=1945 vsize=282044 CPUtime=0.07 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 896 0 0 0 4 3 0 0 18 0 1 0 748845847 288813056 6440 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198735 0 0 16781312 514 10182744310600925442 0 0 17 6 0 0 0
/proc/1953/statm: 70511 6440 377 364 0 6429 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=23.47 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) R 1953 1955 1955 0 -1 4202496 864 0 0 0 2347 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 748845847 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 1593132

[startup+51.1006 s]
/proc/loadavg: 2.20 1.44 2.91 4/486 1960
/proc/meminfo: memFree=11702036/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=292288 CPUtime=1.67 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 12433 933 1 0 156 11 0 0 19 0 2 0 748845645 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 73072 7944 1877 364 0 8990 0
[pid=1953] ppid=1945 vsize=282044 CPUtime=0.15 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 908 0 0 0 8 7 0 0 18 0 1 0 748845847 288813056 6440 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198735 0 0 16781312 514 10182744310600925442 0 0 17 6 0 0 0
/proc/1953/statm: 70511 6440 377 364 0 6429 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=49.07 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) R 1953 1955 1955 0 -1 4202496 864 0 0 0 4907 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 748845847 299302912 7944 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 1593132

[startup+102.301 s]
/proc/loadavg: 2.70 1.69 2.91 4/490 1965
/proc/meminfo: memFree=11695908/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=302544 CPUtime=1.71 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 13286 933 1 0 159 12 0 0 20 0 3 0 748845645 309805056 7951 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 75636 7951 1880 364 0 11551 0
[pid=1953] ppid=1945 vsize=292288 CPUtime=0.35 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 1080 0 0 0 19 16 0 0 19 0 2 0 748845847 299302912 6478 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1953/statm: 73072 6478 410 364 0 8990 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=99.36 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) T 1953 1955 1955 0 -1 4202496 864 0 0 0 9936 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134524916 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1953/tid=1962] ppid=1945 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1953/task/1962/stat : 1962 (python) S 1945 1945 1905 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 748855785 299302912 6478 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604446290776512 0 0 -1 0 0 0 0
[pid=1963] ppid=1945 vsize=292300 CPUtime=0 cores=0,2,4,6
/proc/1963/stat : 1963 (python) S 1945 1945 1905 0 -1 4202560 745 0 0 0 0 0 0 0 19 0 1 0 748855788 299315200 6415 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198790 0 0 16781312 514 14207230376073494527 0 0 17 6 0 0 0
/proc/1963/statm: 73075 6415 348 364 0 8990 0
[pid=1965] ppid=1963 vsize=1018800 CPUtime=0.86 cores=0,2,4,6
/proc/1965/stat : 1965 (gnovelty+2) R 1963 1965 1965 0 -1 4202496 869 0 0 0 86 0 0 0 23 0 1 0 748855789 1043251200 602 33554432000 134512640 135663704 4289391520 18446744073709551615 134524945 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/1965/statm: 254700 602 113 282 0 254416 0
[pid=1945/tid=1954] ppid=1942 vsize=302544 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 3 0 748845847 309805056 7951 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
[pid=1945/tid=1964] ppid=1942 vsize=302544 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1964/stat : 1964 (python) S 1942 1945 1905 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 3 0 748855788 309805056 7951 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2924732

[startup+162.318 s]
/proc/loadavg: 2.89 1.93 2.91 4/494 1971
/proc/meminfo: memFree=11660148/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=302544 CPUtime=1.71 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 13286 933 1 0 159 12 0 0 20 0 3 0 748845645 309805056 7951 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1945/statm: 75636 7951 1880 364 0 11551 0
[pid=1953] ppid=1945 vsize=292288 CPUtime=0.35 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 1080 0 0 0 19 16 0 0 19 0 2 0 748845847 299302912 6478 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1953/statm: 73072 6478 410 364 0 8990 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=99.36 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) T 1953 1955 1955 0 -1 4202496 864 0 0 0 9936 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134524916 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1953/tid=1962] ppid=1945 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1953/task/1962/stat : 1962 (python) S 1945 1945 1905 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 748855785 299302912 6478 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604446290776512 0 0 -1 0 0 0 0
[pid=1963] ppid=1945 vsize=292300 CPUtime=0.2 cores=0,2,4,6

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

/proc/1945/task/2117/stat : 2117 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 17 0 749034014 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2695.67
Current children cumulated vsize (KiB) 14570476

[startup+2686.3 s]
/proc/loadavg: 3.16 3.06 3.01 4/591 2144
/proc/meminfo: memFree=11138528/32951124 swapFree=65586204/67111528
[pid=1945] ppid=1942 vsize=446880 CPUtime=2.28 cores=0,2,4,6
/proc/1945/stat : 1945 (python) S 1942 1945 1905 0 -1 4202496 26847 933 1 0 212 16 0 0 20 0 17 0 748845645 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1945/statm: 111720 8236 1908 364 0 47593 0
[pid=1953] ppid=1945 vsize=292288 CPUtime=0.72 cores=0,2,4,6
/proc/1953/stat : 1953 (python) S 1945 1945 1905 0 -1 4202560 1129 0 0 0 41 31 0 0 18 0 2 0 748845847 299302912 6479 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1953/statm: 73072 6479 411 364 0 8990 0
[pid=1955] ppid=1953 vsize=1018800 CPUtime=194.73 cores=0,2,4,6
/proc/1955/stat : 1955 (gnovelty+2) T 1953 1955 1955 0 -1 4202496 864 0 0 0 19473 0 0 0 25 0 1 0 748845847 1043251200 602 33554432000 134512640 135663704 4288363360 18446744073709551615 134525678 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1955/statm: 254700 602 113 282 0 254416 0
[pid=1953/tid=1962] ppid=1945 vsize=292288 CPUtime=0 cores=0,2,4,6
/proc/1953/task/1962/stat : 1962 (python) S 1945 1945 1905 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 748855785 299302912 6479 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604446290776512 0 0 -1 0 0 0 0
[pid=1963] ppid=1945 vsize=292300 CPUtime=0.35 cores=0,2,4,6
/proc/1963/stat : 1963 (python) S 1945 1945 1905 0 -1 4202560 1078 0 0 0 19 16 0 0 19 0 2 0 748855788 299315200 6468 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1963/statm: 73075 6468 400 364 0 8990 0
[pid=1965] ppid=1963 vsize=1018800 CPUtime=99.36 cores=0,2,4,6
/proc/1965/stat : 1965 (gnovelty+2) T 1963 1965 1965 0 -1 4202496 869 0 0 0 9936 0 0 0 25 0 1 0 748855789 1043251200 602 33554432000 134512640 135663704 4289391520 18446744073709551615 134525224 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1965/statm: 254700 602 113 282 0 254416 0
[pid=1963/tid=1973] ppid=1945 vsize=292300 CPUtime=0 cores=0,2,4,6
/proc/1963/task/1973/stat : 1973 (python) S 1945 1945 1905 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 748865727 299315200 6468 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604447630637248 0 0 -1 0 0 0 0
[pid=1974] ppid=1945 vsize=302708 CPUtime=0.36 cores=0,2,4,6
/proc/1974/stat : 1974 (python) S 1945 1945 1905 0 -1 4202560 1091 0 0 0 19 17 0 0 19 0 2 0 748865730 309972992 6510 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1974/statm: 75677 6510 400 364 0 11589 0
[pid=1976] ppid=1974 vsize=420484 CPUtime=100.36 cores=0,2,4,6
/proc/1976/stat : 1976 (adaptg2wsat2009) T 1974 1976 1976 0 -1 4202496 1756 0 0 0 10036 0 0 0 25 0 1 0 748865731 430575616 1491 33554432000 134512640 135107411 4288339216 18446744073709551615 134531779 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1976/statm: 105121 1491 59 146 0 103997 0
[pid=1974/tid=1983] ppid=1945 vsize=302708 CPUtime=0 cores=0,2,4,6
/proc/1974/task/1983/stat : 1983 (python) S 1945 1945 1905 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 748875768 309972992 6510 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604444473771968 0 0 -1 6 0 0 0
[pid=1984] ppid=1945 vsize=312964 CPUtime=0.37 cores=0,2,4,6
/proc/1984/stat : 1984 (python) S 1945 1945 1905 0 -1 4202560 1091 0 0 0 21 16 0 0 19 0 2 0 748875772 320475136 6534 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1984/statm: 78241 6534 400 364 0 14150 0
[pid=1986] ppid=1984 vsize=420484 CPUtime=97.4 cores=0,2,4,6
/proc/1986/stat : 1986 (adaptg2wsat2009) T 1984 1986 1986 0 -1 4202496 1759 0 0 0 9740 0 0 0 25 0 1 0 748875772 430575616 1492 33554432000 134512640 135107411 4289013856 18446744073709551615 134532349 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1986/statm: 105121 1492 59 146 0 103997 0
[pid=1984/tid=1991] ppid=1945 vsize=312964 CPUtime=0 cores=0,2,4,6
/proc/1984/task/1991/stat : 1991 (python) S 1945 1945 1905 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 748885514 320475136 6534 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604452348990528 0 0 -1 6 0 0 0
[pid=1992] ppid=1945 vsize=323220 CPUtime=0.39 cores=0,2,4,6
/proc/1992/stat : 1992 (python) S 1945 1945 1905 0 -1 4202560 1131 0 0 0 22 17 0 0 19 0 2 0 748885517 330977280 6538 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/1992/statm: 80805 6538 400 364 0 16711 0
[pid=1994] ppid=1992 vsize=420484 CPUtime=102.42 cores=0,2,4,6
/proc/1994/stat : 1994 (adaptg2wsat2009) T 1992 1994 1994 0 -1 4202496 1757 0 0 0 10242 0 0 0 25 0 1 0 748885518 430575616 1491 33554432000 134512640 135107411 4290906592 18446744073709551615 134531792 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/1994/statm: 105121 1491 59 146 0 103997 0
[pid=1992/tid=2001] ppid=1945 vsize=323220 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2001/stat : 2001 (python) S 1945 1945 1905 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 748895762 330977280 6538 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604437709313280 0 0 -1 6 0 0 0
[pid=2002] ppid=1945 vsize=333608 CPUtime=0.4 cores=0,2,4,6
/proc/2002/stat : 2002 (python) S 1945 1945 1905 0 -1 4202560 1135 0 0 0 21 19 0 0 19 0 2 0 748895765 341614592 6555 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/2002/statm: 83402 6555 400 364 0 19305 0
[pid=2004] ppid=2002 vsize=1018800 CPUtime=100.32 cores=0,2,4,6
/proc/2004/stat : 2004 (gnovelty+2) T 2002 2004 2004 0 -1 4202496 870 0 0 0 10032 0 0 0 25 0 1 0 748895766 1043251200 602 33554432000 134512640 135663704 4292977424 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/2004/statm: 254700 602 113 282 0 254416 0
[pid=2002/tid=2008] ppid=1945 vsize=333608 CPUtime=0 cores=0,2,4,6
/proc/2002/task/2008/stat : 2008 (python) S 1945 1945 1905 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 748905808 341614592 6555 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604447788986496 0 0 -1 0 0 0 0
[pid=2009] ppid=1945 vsize=344076 CPUtime=0.39 cores=0,2,4,6
/proc/2009/stat : 2009 (python) S 1945 1945 1905 0 -1 4202560 1178 0 0 0 21 18 0 0 19 0 2 0 748905812 352333824 6618 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/2009/statm: 86019 6618 406 364 0 21919 0
[pid=2011] ppid=2009 vsize=250368 CPUtime=98.41 cores=0,2,4,6
/proc/2011/stat : 2011 (FH) T 2009 2011 2011 0 -1 4202496 1674 0 0 0 9841 0 0 0 25 0 1 0 748905812 256376832 1408 33554432000 134512640 134936988 4292730608 18446744073709551615 134552472 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/2011/statm: 62592 1408 41 104 0 62096 0
[pid=2009/tid=2018] ppid=1945 vsize=344076 CPUtime=0 cores=0,2,4,6
/proc/2009/task/2018/stat : 2018 (python) S 1945 1945 1905 0 -1 4202560 97 0 0 0 0 0 0 0 19 0 2 0 748915653 352333824 6618 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604446009020800 0 0 -1 0 0 0 0
[pid=2019] ppid=1945 vsize=354332 CPUtime=0.39 cores=0,2,4,6
/proc/2019/stat : 2019 (python) S 1945 1945 1905 0 -1 4202560 1171 0 0 0 20 19 0 0 19 0 2 0 748915659 362835968 6622 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2019/statm: 88583 6622 406 364 0 24480 0
[pid=2021] ppid=2019 vsize=420484 CPUtime=98.41 cores=0,2,4,6
/proc/2021/stat : 2021 (adaptg2wsat2009) T 2019 2021 2021 0 -1 4202496 1764 0 0 0 9841 0 0 0 25 0 1 0 748915659 430575616 1492 33554432000 134512640 135107411 4287112496 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/2021/statm: 105121 1492 59 146 0 103997 0
[pid=2019/tid=2034] ppid=1945 vsize=354332 CPUtime=0 cores=0,2,4,6
/proc/2019/task/2034/stat : 2034 (python) S 1945 1945 1905 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 748925502 362835968 6622 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604446145878976 0 0 -1 2 0 0 0
[pid=2037] ppid=1945 vsize=364588 CPUtime=0.41 cores=0,2,4,6
/proc/2037/stat : 2037 (python) S 1945 1945 1905 0 -1 4202560 1148 0 0 0 21 20 0 0 19 0 2 0 748935047 373338112 6635 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2037/statm: 91147 6635 400 364 0 27041 0
[pid=2039] ppid=2037 vsize=420484 CPUtime=102.42 cores=0,2,4,6
/proc/2039/stat : 2039 (adaptg2wsat2009) T 2037 2039 2039 0 -1 4202496 1761 0 0 0 10242 0 0 0 25 0 1 0 748935047 430575616 1491 33554432000 134512640 135107411 4289584272 18446744073709551615 134531731 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/2039/statm: 105121 1491 59 146 0 103997 0
[pid=2037/tid=2047] ppid=1945 vsize=364588 CPUtime=0 cores=0,2,4,6
/proc/2037/task/2047/stat : 2047 (python) S 1945 1945 1905 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 748945292 373338112 6635 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604437422557952 0 0 -1 6 0 0 0
[pid=2048] ppid=1945 vsize=374844 CPUtime=0.41 cores=0,2,4,6
/proc/2048/stat : 2048 (python) S 1945 1945 1905 0 -1 4202560 1158 0 0 0 21 20 0 0 19 0 2 0 748945296 383840256 6639 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/2048/statm: 93711 6639 400 364 0 29602 0
[pid=2050] ppid=2048 vsize=250364 CPUtime=100.34 cores=0,2,4,6
/proc/2050/stat : 2050 (FH) T 2048 2050 2050 0 -1 4202496 1681 0 0 0 10034 0 0 0 25 0 1 0 748945296 256372736 1407 33554432000 134512640 134936988 4287693792 18446744073709551615 134553428 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/2050/statm: 62591 1407 41 104 0 62095 0
[pid=2048/tid=2058] ppid=1945 vsize=374844 CPUtime=0 cores=0,2,4,6
/proc/2048/task/2058/stat : 2058 (python) S 1945 1945 1905 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 748955337 383840256 6639 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604442031429696 0 0 -1 6 0 0 0
[pid=2059] ppid=1945 vsize=385100 CPUtime=0.39 cores=0,2,4,6
/proc/2059/stat : 2059 (python) S 1945 1945 1905 0 -1 4202560 1161 0 0 0 21 18 0 0 19 0 2 0 748955341 394342400 6656 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2059/statm: 96275 6656 400 364 0 32163 0
[pid=2061] ppid=2059 vsize=420484 CPUtime=97.39 cores=0,2,4,6
/proc/2061/stat : 2061 (adaptg2wsat2009) T 2059 2061 2061 0 -1 4202496 1765 0 0 0 9739 0 0 0 25 0 1 0 748955341 430575616 1493 33554432000 134512640 135107411 4293702432 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/2061/statm: 105121 1493 59 146 0 103997 0
[pid=2059/tid=2064] ppid=1945 vsize=385100 CPUtime=0 cores=0,2,4,6
/proc/2059/task/2064/stat : 2064 (python) S 1945 1945 1905 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 748965082 394342400 6656 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604448619045248 0 0 -1 6 0 0 0
[pid=2065] ppid=1945 vsize=395612 CPUtime=0.79 cores=0,2,4,6
/proc/2065/stat : 2065 (python) S 1945 1945 1905 0 -1 4202560 1174 0 0 0 44 35 0 0 19 0 2 0 748965086 405106688 6695 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2065/statm: 98903 6695 400 364 0 34788 0
[pid=2067] ppid=2065 vsize=268420 CPUtime=196.85 cores=0,2,4,6
/proc/2067/stat : 2067 (hybridGM3) T 2065 2067 2067 0 -1 4202496 5628 0 0 0 19684 1 0 0 25 0 1 0 748965086 274862080 5357 33554432000 134512640 135204385 4289470128 18446744073709551615 134538427 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/2067/statm: 67105 5357 63 169 0 66935 0
[pid=2065/tid=2078] ppid=1945 vsize=395612 CPUtime=0 cores=0,2,4,6
/proc/2065/task/2078/stat : 2078 (python) S 1945 1945 1905 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 748984777 405106688 6695 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604445135520000 0 0 -1 6 0 0 0
[pid=2079] ppid=1945 vsize=405868 CPUtime=0.41 cores=0,2,4,6
/proc/2079/stat : 2079 (python) S 1945 1945 1905 0 -1 4202560 1171 0 0 0 23 18 0 0 19 0 2 0 748984780 415608832 6699 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2079/statm: 101467 6699 400 364 0 37349 0
[pid=2081] ppid=2079 vsize=1018800 CPUtime=101.48 cores=0,2,4,6
/proc/2081/stat : 2081 (gnovelty+2) T 2079 2081 2081 0 -1 4202496 876 0 0 0 10148 0 0 0 25 0 1 0 748984781 1043251200 602 33554432000 134512640 135663704 4288639024 18446744073709551615 134525258 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/2081/statm: 254700 602 113 282 0 254416 0
[pid=2079/tid=2088] ppid=1945 vsize=405868 CPUtime=0 cores=0,2,4,6
/proc/2079/task/2088/stat : 2088 (python) S 1945 1945 1905 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 748994930 415608832 6699 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604450201031744 0 0 -1 6 0 0 0
[pid=2089] ppid=1945 vsize=416124 CPUtime=0.75 cores=0,2,4,6
/proc/2089/stat : 2089 (python) S 1945 1945 1905 0 -1 4202560 1183 0 0 0 38 37 0 0 19 0 2 0 748994934 426110976 6717 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/2089/statm: 104031 6717 400 364 0 39910 0
[pid=2091] ppid=2089 vsize=268424 CPUtime=195.51 cores=0,2,4,6
/proc/2091/stat : 2091 (hybridGM3) T 2089 2091 2091 0 -1 4202496 5631 0 0 0 19551 0 0 0 25 0 1 0 748994934 274866176 5359 33554432000 134512640 135204385 4292612816 18446744073709551615 134538041 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/2091/statm: 67106 5359 63 169 0 66936 0
[pid=2089/tid=2102] ppid=1945 vsize=416124 CPUtime=0 cores=0,2,4,6
/proc/2089/task/2102/stat : 2102 (python) S 1945 1945 1905 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 749014514 426110976 6717 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604451806131520 0 0 -1 0 0 0 0
[pid=2103] ppid=1945 vsize=426380 CPUtime=0.82 cores=0,2,4,6
/proc/2103/stat : 2103 (python) S 1945 1945 1905 0 -1 4202560 1235 0 0 0 45 37 0 0 19 0 2 0 749014518 436613120 6728 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/2103/statm: 106595 6728 407 364 0 42471 0
[pid=2105] ppid=2103 vsize=268428 CPUtime=194.9 cores=0,2,4,6
/proc/2105/stat : 2105 (hybridGM3) T 2103 2105 2105 0 -1 4202496 5636 0 0 0 19490 0 0 0 25 0 1 0 749014519 274870272 5359 33554432000 134512640 135204385 4290283456 18446744073709551615 134538034 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/2105/statm: 67107 5359 63 169 0 66937 0
[pid=2103/tid=2115] ppid=1945 vsize=426380 CPUtime=0 cores=0,2,4,6
/proc/2103/task/2115/stat : 2115 (python) S 1945 1945 1905 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 749034010 436613120 6728 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 514 18446604449878004672 0 0 -1 2 0 0 0
[pid=2116] ppid=1945 vsize=436636 CPUtime=3.34 cores=0,2,4,6
/proc/2116/stat : 2116 (python) S 1945 1945 1905 0 -1 4202560 1063 0 0 0 181 153 0 0 18 0 1 0 749034014 447115264 6702 33554432000 4194304 5683644 140733554854240 18446744073709551615 216735198790 0 0 16781312 514 10182744310600925443 0 0 17 6 0 0 0
/proc/2116/statm: 109159 6702 378 364 0 45032 0
[pid=2118] ppid=2116 vsize=458840 CPUtime=802.6 cores=0,2,4,6
/proc/2118/stat : 2118 (TNM) R 2116 2118 2118 0 -1 4202496 1654 0 0 0 80260 0 0 0 25 0 1 0 749034014 469852160 1380 33554432000 134512640 135008748 4290977712 18446744073709551615 134529483 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/2118/statm: 114710 1380 46 122 0 113610 0
[pid=1945/tid=1954] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1954/stat : 1954 (python) S 1942 1945 1905 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 17 0 748845847 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
[pid=1945/tid=1964] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1964/stat : 1964 (python) S 1942 1945 1905 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 17 0 748855788 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=1975] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1975/stat : 1975 (python) S 1942 1945 1905 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 17 0 748865731 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
[pid=1945/tid=1985] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1985/stat : 1985 (python) S 1942 1945 1905 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 17 0 748875772 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
[pid=1945/tid=1993] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/1993/stat : 1993 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 17 0 748885517 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2003] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2003/stat : 2003 (python) S 1942 1945 1905 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 17 0 748895766 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2010] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2010/stat : 2010 (python) S 1942 1945 1905 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 17 0 748905812 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2020] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2020/stat : 2020 (python) S 1942 1945 1905 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 17 0 748915659 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2038] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2038/stat : 2038 (python) S 1942 1945 1905 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 17 0 748935047 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
[pid=1945/tid=2049] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2049/stat : 2049 (python) S 1942 1945 1905 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 17 0 748945296 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
[pid=1945/tid=2060] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2060/stat : 2060 (python) S 1942 1945 1905 0 -1 4202560 24 933 0 0 0 0 0 0 20 0 17 0 748955341 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2066] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2066/stat : 2066 (python) S 1942 1945 1905 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 17 0 748965086 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
[pid=1945/tid=2080] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2080/stat : 2080 (python) S 1942 1945 1905 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 17 0 748984780 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 2 0 0 0
[pid=1945/tid=2090] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2090/stat : 2090 (python) S 1942 1945 1905 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 17 0 748994934 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 6 0 0 0
[pid=1945/tid=2104] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2104/stat : 2104 (python) S 1942 1945 1905 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 17 0 749014518 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
[pid=1945/tid=2117] ppid=1942 vsize=446880 CPUtime=0 cores=0,2,4,6
/proc/1945/task/2117/stat : 2117 (python) S 1942 1945 1905 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 17 0 749034014 457605120 8236 33554432000 4194304 5683644 140733554854240 18446744073709551615 216747002289 0 0 16781312 2 18446604453891943488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2695.87
Current children cumulated vsize (KiB) 14570476

Child status: 0
Real time (s): 2686.38
CPU time (s): 2696.26
CPU user time (s): 2690.99
CPU system time (s): 5.2722
CPU usage (%): 100.368
Max. virtual memory (cumulated for all children) (KiB): 14570480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2690.99
system time used= 5.2722
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88063
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8701
involuntary context switches= 6168

runsolver used 25.3162 second user time and 43.7224 second system time

The end

Launcher Data

Begin job on node119 at 2011-05-17 00:49:10
IDJOB=3386497
IDBENCH=82562
IDSOLVER=1872
FILE ID=node119/3386497-1305586149
RUNJOBID= node119-1305586147-1923
PBS_JOBID= 13350359
Free space on /tmp= 73020 MiB

SOLVER NAME= borg-sat 11.03.02-seq-random (fixed)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386497-1305586149/watcher-3386497-1305586149 -o /tmp/evaluation-result-3386497-1305586149/solver-3386497-1305586149 -C 5000 -W 5100 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386497-1305586149.cnf -seed 564721476 -budget 5000

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

MD5SUM BENCH= 34a446d3b38e7b034208a35fa75247bf
RANDOM SEED=564721476

node119.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.815
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.63
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.815
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	: 5332.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11804816 kB
Buffers:        321348 kB
Cached:        5606480 kB
SwapCached:       4756 kB
Active:       17007848 kB
Inactive:      3781080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11804816 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           66396 kB
Writeback:           0 kB
AnonPages:    14858348 kB
Mapped:          38340 kB
Slab:           217764 kB
PageTables:      72384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141853936 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= 72988 MiB
End job on node119 at 2011-05-17 01:33:56