Trace number 3394786

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
Plingeling 587f (fixed)SAT 259.808 32.6777

General information on the benchmark

NameSAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
MD5SUMecdbc194541c1a4c742d6834592d26be
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034994
Satisfiable
(Un)Satisfiability was proved
Number of variables1090
Number of clauses4103
Sum of the clauses size12309
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 34103
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

Verifier Data 

OK

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-3394786-1306105540/watcher-3394786-1306105540 -o /tmp/evaluation-result-3394786-1306105540/solver-3394786-1306105540 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394786-1306105540.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=160380 CPUtime=0.01 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 1337 1250 0 0 1 0 0 0 18 0 9 0 722154911 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 40095 1262 171 55 0 37981 0
[pid=27589/tid=27595] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 66 1250 0 0 0 0 0 0 18 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 1 1250 0 0 0 0 0 0 18 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 270613215726 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 2 1250 0 0 0 0 0 0 25 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 4275588 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 1 1250 0 0 0 0 0 0 25 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 270613215726 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 1 1250 0 0 0 0 0 0 25 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 270613215726 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 50 1250 0 0 0 0 0 0 18 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 4277684 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 1 1250 0 0 0 0 0 0 25 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=160380 CPUtime=0 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 50 1250 0 0 0 0 0 0 19 0 9 0 722154912 164229120 1262 33554432000 4194304 4417452 140734092198960 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 0 0 0 0

[startup+0.065548 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=233392 CPUtime=7.23 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 4620 1250 0 0 723 0 0 0 18 0 9 0 722154911 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 58348 3286 180 55 0 56234 0
[pid=27589/tid=27595] ppid=27587 vsize=233392 CPUtime=0.91 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 336 1250 0 0 91 0 0 0 19 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 480 1250 0 0 90 0 0 0 19 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 412 1250 0 0 90 0 0 0 25 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 836 1250 0 0 90 0 0 0 19 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=233392 CPUtime=0.88 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 87 1250 0 0 88 0 0 0 25 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 584 1250 0 0 90 0 0 0 19 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 249 1250 0 0 90 0 0 0 19 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4342470 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=233392 CPUtime=0.9 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 471 1250 0 0 90 0 0 0 18 0 9 0 722154912 238993408 3286 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 233392

[startup+1.02596 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=233096 CPUtime=8.03 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 5080 1250 0 0 803 0 0 0 18 0 9 0 722154911 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 58274 3223 180 55 0 56160 0
[pid=27589/tid=27595] ppid=27587 vsize=233096 CPUtime=1.01 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 355 1250 0 0 101 0 0 0 19 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 553 1250 0 0 100 0 0 0 19 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 441 1250 0 0 100 0 0 0 25 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 1058 1250 0 0 100 0 0 0 19 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=233096 CPUtime=0.98 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 87 1250 0 0 98 0 0 0 25 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 623 1250 0 0 100 0 0 0 19 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4237262 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 289 1250 0 0 100 0 0 0 19 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=233096 CPUtime=1 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 509 1250 0 0 100 0 0 0 18 0 9 0 722154912 238690304 3223 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 233096

[startup+1.10095 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=233512 CPUtime=8.63 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 5279 1250 0 0 863 0 0 0 18 0 9 0 722154911 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 58378 3327 180 55 0 56264 0
[pid=27589/tid=27595] ppid=27587 vsize=233512 CPUtime=1.08 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 355 1250 0 0 108 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=233512 CPUtime=1.08 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 617 1250 0 0 108 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=233512 CPUtime=1.07 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 467 1250 0 0 107 0 0 0 25 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=233512 CPUtime=1.07 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 1124 1250 0 0 107 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=233512 CPUtime=1.06 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 87 1250 0 0 106 0 0 0 25 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365999 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=233512 CPUtime=1.07 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 641 1250 0 0 107 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=233512 CPUtime=1.07 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 296 1250 0 0 107 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=233512 CPUtime=1.08 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 527 1250 0 0 108 0 0 0 19 0 9 0 722154912 239116288 3327 33554432000 4194304 4417452 140734092198960 18446744073709551615 4250972 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 233512

[startup+1.20093 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=234400 CPUtime=9.43 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 5676 1250 0 0 943 0 0 0 18 0 9 0 722154911 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 58600 3549 180 55 0 56486 0
[pid=27589/tid=27595] ppid=27587 vsize=234400 CPUtime=1.18 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 373 1250 0 0 118 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=234400 CPUtime=1.18 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 663 1250 0 0 118 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=234400 CPUtime=1.17 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 502 1250 0 0 117 0 0 0 25 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=234400 CPUtime=1.17 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 1124 1250 0 0 117 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=234400 CPUtime=1.16 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 171 1250 0 0 116 0 0 0 25 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=234400 CPUtime=1.17 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 678 1250 0 0 117 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=234400 CPUtime=1.17 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 376 1250 0 0 117 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=234400 CPUtime=1.18 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 624 1250 0 0 118 0 0 0 19 0 9 0 722154912 240025600 3549 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (KiB) 234400

[startup+1.50088 s]
/proc/loadavg: 8.06 8.08 8.02 1/491 27589
/proc/meminfo: memFree=28068468/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=236076 CPUtime=11.83 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 7925 1250 0 0 1183 0 0 0 18 0 9 0 722154911 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 59019 3998 180 55 0 56905 0
[pid=27589/tid=27595] ppid=27587 vsize=236076 CPUtime=1.48 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 701 1250 0 0 148 0 0 0 20 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=236076 CPUtime=1.47 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 956 1250 0 0 147 0 0 0 20 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4354401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=236076 CPUtime=1.47 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 572 1250 0 0 147 0 0 0 25 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=236076 CPUtime=1.47 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 1371 1250 0 0 147 0 0 0 20 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=236076 CPUtime=1.46 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 529 1250 0 0 146 0 0 0 25 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=236076 CPUtime=1.47 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 957 1250 0 0 147 0 0 0 20 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4270883 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=236076 CPUtime=1.47 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 647 1250 0 0 147 0 0 0 19 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=236076 CPUtime=1.48 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 1027 1250 0 0 148 0 0 0 19 0 9 0 722154912 241741824 3998 33554432000 4194304 4417452 140734092198960 18446744073709551615 4305791 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 236076

[startup+3.11859 s]
/proc/loadavg: 8.05 8.08 8.02 9/500 27603
/proc/meminfo: memFree=28046076/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=241048 CPUtime=24.74 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 18274 1250 0 0 2471 3 0 0 18 0 9 0 722154911 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 60262 5232 180 55 0 58148 0
[pid=27589/tid=27595] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 2069 1250 0 0 309 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 2378 1250 0 0 309 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 1896 1250 0 0 309 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 2728 1250 0 0 309 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=241048 CPUtime=3.07 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 1583 1250 0 0 307 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=241048 CPUtime=3.05 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 2080 1250 0 0 305 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 2036 1250 0 0 309 0 0 0 25 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=241048 CPUtime=3.09 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 2339 1250 0 0 309 0 0 0 24 0 9 0 722154912 246833152 5232 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 241048

[startup+6.30103 s]
/proc/loadavg: 8.05 8.08 8.02 9/500 27603
/proc/meminfo: memFree=28042664/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=245884 CPUtime=50.27 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 34214 1250 0 0 5021 6 0 0 18 0 9 0 722154911 251785216 6408 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 61471 6408 180 55 0 59357 0

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

/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 8580 1250 0 0 1248 1 0 0 25 0 9 0 722154912 267018240 10132 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=260760 CPUtime=12.67 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 8259 1250 0 0 1265 2 0 0 25 0 9 0 722154912 267018240 10132 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366407 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=260760 CPUtime=12.68 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 9209 1250 0 0 1266 2 0 0 25 0 9 0 722154912 267018240 10132 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 260760

[startup+25.5006 s]
/proc/loadavg: 8.12 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28022492/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=262784 CPUtime=203.43 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 116459 1250 0 0 20315 28 0 0 18 0 9 0 722154911 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 65696 10622 180 55 0 63582 0
[pid=27589/tid=27595] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 13235 1250 0 0 2543 4 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 13707 1250 0 0 2545 2 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 13571 1250 0 0 2544 3 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 17837 1250 0 0 2544 3 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=262784 CPUtime=25.45 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 14037 1250 0 0 2542 3 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=262784 CPUtime=25.07 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 14059 1250 0 0 2505 2 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4232695 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 13677 1250 0 0 2544 3 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4235973 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=262784 CPUtime=25.47 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 15171 1250 0 0 2544 3 0 0 25 0 9 0 722154912 269090816 10622 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.43
Current children cumulated vsize (KiB) 262784

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

[startup+26.4005 s]
/proc/loadavg: 8.12 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28024724/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=268924 CPUtime=210.6 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 118393 1250 0 0 21032 28 0 0 18 0 9 0 722154911 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 67231 12157 180 55 0 65117 0
[pid=27589/tid=27595] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 13546 1250 0 0 2633 4 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 13707 1250 0 0 2635 2 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 13969 1250 0 0 2634 3 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4352496 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 18111 1250 0 0 2634 3 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=268924 CPUtime=26.35 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 14218 1250 0 0 2632 3 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=268924 CPUtime=25.95 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 14146 1250 0 0 2593 2 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 14321 1250 0 0 2634 3 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=268924 CPUtime=26.37 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 15210 1250 0 0 2634 3 0 0 25 0 9 0 722154912 275378176 12157 33554432000 4194304 4417452 140734092198960 18446744073709551615 4264959 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 210.6
Current children cumulated vsize (KiB) 268924

[startup+29.6009 s]
/proc/loadavg: 8.11 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28020984/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=269936 CPUtime=236.15 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 129894 1250 0 0 23585 30 0 0 18 0 9 0 722154911 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 67484 12414 180 55 0 65370 0
[pid=27589/tid=27595] ppid=27587 vsize=269936 CPUtime=29.56 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 14460 1250 0 0 2952 4 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=269936 CPUtime=29.57 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 16047 1250 0 0 2955 2 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=269936 CPUtime=29.56 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 14925 1250 0 0 2953 3 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=269936 CPUtime=29.57 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 19866 1250 0 0 2953 4 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=269936 CPUtime=29.55 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 15536 1250 0 0 2952 3 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=269936 CPUtime=29.1 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 15805 1250 0 0 2907 3 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=269936 CPUtime=29.57 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 15929 1250 0 0 2953 4 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4237326 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=269936 CPUtime=29.57 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 16161 1250 0 0 2954 3 0 0 25 0 9 0 722154912 276414464 12414 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 236.15
Current children cumulated vsize (KiB) 269936

[startup+31.2006 s]
/proc/loadavg: 8.11 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28025452/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=267980 CPUtime=248.93 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 134425 1250 0 0 24862 31 0 0 18 0 9 0 722154911 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 66995 11944 180 55 0 64881 0
[pid=27589/tid=27595] ppid=27587 vsize=267980 CPUtime=31.16 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 14967 1250 0 0 3112 4 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=267980 CPUtime=31.17 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 16690 1250 0 0 3115 2 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4354012 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=267980 CPUtime=31.16 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 15719 1250 0 0 3113 3 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=267980 CPUtime=31.17 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 20456 1250 0 0 3113 4 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=267980 CPUtime=31.16 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 16252 1250 0 0 3112 4 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=267980 CPUtime=30.68 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 16028 1250 0 0 3065 3 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=267980 CPUtime=31.17 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 16146 1250 0 0 3113 4 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=267980 CPUtime=31.17 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 17002 1250 0 0 3114 3 0 0 25 0 9 0 722154912 274411520 11944 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 248.93
Current children cumulated vsize (KiB) 267980

[startup+32.0005 s]
/proc/loadavg: 8.11 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28020368/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=266264 CPUtime=255.32 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 137490 1250 0 0 25500 32 0 0 18 0 9 0 722154911 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 66566 11485 180 55 0 64452 0
[pid=27589/tid=27595] ppid=27587 vsize=266264 CPUtime=31.96 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 15028 1250 0 0 3192 4 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=266264 CPUtime=31.97 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 17214 1250 0 0 3195 2 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366092 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=266264 CPUtime=31.96 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 15907 1250 0 0 3193 3 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=266264 CPUtime=31.97 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 20862 1250 0 0 3193 4 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=266264 CPUtime=31.96 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 16315 1250 0 0 3192 4 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=266264 CPUtime=31.46 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 17103 1250 0 0 3143 3 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=266264 CPUtime=31.97 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 16645 1250 0 0 3193 4 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366271 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=266264 CPUtime=31.97 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 17251 1250 0 0 3194 3 0 0 25 0 9 0 722154912 272654336 11485 33554432000 4194304 4417452 140734092198960 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 255.32
Current children cumulated vsize (KiB) 266264

[startup+32.4004 s]
/proc/loadavg: 8.11 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28020368/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=268336 CPUtime=258.51 cores=0-7
/proc/27589/stat : 27589 (plingeling) S 27587 27589 27522 0 -1 4202496 138520 1250 0 0 25819 32 0 0 18 0 9 0 722154911 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 67084 12003 180 55 0 64970 0
[pid=27589/tid=27595] ppid=27587 vsize=268336 CPUtime=32.36 cores=0-7
/proc/27589/task/27595/stat : 27595 (plingeling) R 27587 27589 27522 0 -1 4202560 15028 1250 0 0 3232 4 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27589/tid=27596] ppid=27587 vsize=268336 CPUtime=32.37 cores=0-7
/proc/27589/task/27596/stat : 27596 (plingeling) R 27587 27589 27522 0 -1 4202560 17333 1250 0 0 3235 2 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27589/tid=27597] ppid=27587 vsize=268336 CPUtime=32.36 cores=0-7
/proc/27589/task/27597/stat : 27597 (plingeling) R 27587 27589 27522 0 -1 4202560 15907 1250 0 0 3233 3 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4353474 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27589/tid=27598] ppid=27587 vsize=268336 CPUtime=32.37 cores=0-7
/proc/27589/task/27598/stat : 27598 (plingeling) R 27587 27589 27522 0 -1 4202560 20862 1250 0 0 3233 4 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27589/tid=27599] ppid=27587 vsize=268336 CPUtime=32.35 cores=0-7
/proc/27589/task/27599/stat : 27599 (plingeling) R 27587 27589 27522 0 -1 4202560 16576 1250 0 0 3231 4 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27589/tid=27600] ppid=27587 vsize=268336 CPUtime=31.86 cores=0-7
/proc/27589/task/27600/stat : 27600 (plingeling) R 27587 27589 27522 0 -1 4202560 17638 1250 0 0 3183 3 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27589/tid=27601] ppid=27587 vsize=268336 CPUtime=32.37 cores=0-7
/proc/27589/task/27601/stat : 27601 (plingeling) R 27587 27589 27522 0 -1 4202560 16760 1250 0 0 3233 4 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27589/tid=27602] ppid=27587 vsize=268336 CPUtime=32.37 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 17251 1250 0 0 3234 3 0 0 25 0 9 0 722154912 274776064 12003 33554432000 4194304 4417452 140734092198960 18446744073709551615 4236812 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 258.51
Current children cumulated vsize (KiB) 268336

[startup+32.6004 s]
/proc/loadavg: 8.11 8.09 8.02 9/500 27604
/proc/meminfo: memFree=28020368/32951124 swapFree=53876544/67111528
[pid=27589] ppid=27587 vsize=270440 CPUtime=259.72 cores=0-7
/proc/27589/stat : 27589 (plingeling) R 27587 27589 27522 0 -1 4202496 139921 1250 0 0 25940 32 0 0 17 0 2 0 722154911 276930560 12530 33554432000 4194304 4417452 140734092198960 18446744073709551615 270624913381 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27589/statm: 67610 12522 181 55 0 65496 0
[pid=27589/tid=27602] ppid=27587 vsize=260196 CPUtime=32.57 cores=0-7
/proc/27589/task/27602/stat : 27602 (plingeling) R 27587 27589 27522 0 -1 4202560 17251 1250 0 0 3254 3 0 0 25 0 2 0 722154912 266440704 12522 33554432000 4194304 4417452 140734092198960 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 259.72
Current children cumulated vsize (KiB) 270440

Child status: 10
Real time (s): 32.6777
CPU time (s): 259.808
CPU user time (s): 259.475
CPU system time (s): 0.333949
CPU usage (%): 795.063
Max. virtual memory (cumulated for all children) (KiB): 272856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.475
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141185
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= 251
involuntary context switches= 1085

runsolver used 0.152976 second user time and 0.387941 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-23 01:05:40
IDJOB=3394786
IDBENCH=84569
IDSOLVER=1851
FILE ID=node108/3394786-1306105540
RUNJOBID= node108-1306105485-27536
PBS_JOBID= 13388022
Free space on /tmp= 73076 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/handmade/anton/l5k3/lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394786-1306105540/watcher-3394786-1306105540 -o /tmp/evaluation-result-3394786-1306105540/solver-3394786-1306105540 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3394786-1306105540.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ecdbc194541c1a4c742d6834592d26be
RANDOM SEED=1136399844

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
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.77
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.820
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.820
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.75
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.820
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.820
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:      28068748 kB
Buffers:        125956 kB
Cached:        3530204 kB
SwapCached:      16344 kB
Active:        1053844 kB
Inactive:      3596128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28068748 kB
SwapTotal:    67111528 kB
SwapFree:     53876544 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:      988440 kB
Mapped:          12276 kB
Slab:            96256 kB
PageTables:      65668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134535768 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= 73076 MiB
End job on node108 at 2011-05-23 01:06:12