Trace number 3264498

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 587SAT 4224.19 1057.65

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
MD5SUM287d3b23c6f72107e24ae4186653564e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark950.907
Satisfiable
(Un)Satisfiability was proved
Number of variables1124
Number of clauses13289
Sum of the clauses size40148
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313008
Number of clauses of size 4281
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264498-1304103906/watcher-3264498-1304103906 -o /tmp/evaluation-result-3264498-1304103906/solver-3264498-1304103906 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3264498-1304103906.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.06 7.89 7.96 1/182 8440
/proc/meminfo: memFree=26083232/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=8728 CPUtime=0 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 216 0 0 0 0 0 0 0 22 0 1 0 521991042 8937472 146 33554432000 4194304 4417332 140736742845488 18446744073709551615 230809165568 0 0 4096 0 18446744071562362840 0 0 17 1 0 0 0
/proc/8440/statm: 2182 146 122 55 0 68 0

[startup+0.18522 s]
/proc/loadavg: 7.06 7.89 7.96 1/182 8440
/proc/meminfo: memFree=26083232/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=121840 CPUtime=0.51 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 2400 1255 0 3 51 0 0 0 22 0 5 0 521991042 124764160 1878 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 30460 1878 178 55 0 28346 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 121840

[startup+0.200216 s]
/proc/loadavg: 7.06 7.89 7.96 1/182 8440
/proc/meminfo: memFree=26083232/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=121840 CPUtime=0.57 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 2400 1255 0 3 57 0 0 0 22 0 5 0 521991042 124764160 1878 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 30460 1878 178 55 0 28346 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 121840

[startup+0.300199 s]
/proc/loadavg: 7.06 7.89 7.96 1/182 8440
/proc/meminfo: memFree=26083232/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=123248 CPUtime=0.97 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 2775 1255 0 3 97 0 0 0 22 0 5 0 521991042 126205952 2253 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 30812 2253 178 55 0 28698 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 123248

[startup+0.700126 s]
/proc/loadavg: 7.06 7.89 7.96 1/182 8440
/proc/meminfo: memFree=26083232/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=123324 CPUtime=2.57 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 3243 1255 0 3 257 0 0 0 22 0 5 0 521991042 126283776 2250 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 30831 2250 179 55 0 28717 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 123324

[startup+1.50098 s]
/proc/loadavg: 7.06 7.89 7.96 9/186 8454
/proc/meminfo: memFree=26063872/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=126404 CPUtime=5.76 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 4273 1255 0 3 576 0 0 0 22 0 5 0 521991042 129437696 3051 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 31601 3051 179 55 0 29487 0
[pid=8440/tid=8451] ppid=8438 vsize=126404 CPUtime=1.44 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 842 1255 0 3 144 0 0 0 25 0 5 0 521991048 129437696 3051 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=126404 CPUtime=1.43 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 685 1255 0 3 143 0 0 0 25 0 5 0 521991048 129437696 3051 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=126404 CPUtime=1.43 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 399 1255 0 3 143 0 0 0 25 0 5 0 521991048 129437696 3051 33554432000 4194304 4417332 140736742845488 18446744073709551615 4250721 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=126404 CPUtime=1.43 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 761 1255 0 3 143 0 0 0 25 0 5 0 521991048 129437696 3051 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 126404

[startup+3.10069 s]
/proc/loadavg: 7.22 7.91 7.96 9/186 8454
/proc/meminfo: memFree=26055076/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=133092 CPUtime=12.15 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 7651 1255 0 3 1215 0 0 0 22 0 5 0 521991042 136286208 4721 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 33273 4721 179 55 0 31159 0
[pid=8440/tid=8451] ppid=8438 vsize=133092 CPUtime=3.03 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 1353 1255 0 3 303 0 0 0 25 0 5 0 521991048 136286208 4721 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=133092 CPUtime=3.02 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 1401 1255 0 3 302 0 0 0 25 0 5 0 521991048 136286208 4721 33554432000 4194304 4417332 140736742845488 18446744073709551615 4365991 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=133092 CPUtime=3.03 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 1522 1255 0 3 303 0 0 0 25 0 5 0 521991048 136286208 4721 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=133092 CPUtime=3.03 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 1789 1255 0 3 303 0 0 0 25 0 5 0 521991048 136286208 4721 33554432000 4194304 4417332 140736742845488 18446744073709551615 4354236 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 133092

[startup+6.3011 s]
/proc/loadavg: 7.22 7.91 7.96 9/186 8454
/proc/meminfo: memFree=26046032/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=139132 CPUtime=24.94 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 15980 1255 0 3 2492 2 0 0 22 0 5 0 521991042 142471168 6202 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 34783 6202 179 55 0 32669 0
[pid=8440/tid=8451] ppid=8438 vsize=139132 CPUtime=6.23 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 3914 1255 0 3 623 0 0 0 25 0 5 0 521991048 142471168 6202 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=139132 CPUtime=6.21 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 4000 1255 0 3 621 0 0 0 25 0 5 0 521991048 142471168 6202 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=139132 CPUtime=6.23 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 3134 1255 0 3 623 0 0 0 25 0 5 0 521991048 142471168 6202 33554432000 4194304 4417332 140736742845488 18446744073709551615 4365991 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=139132 CPUtime=6.23 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 3346 1255 0 3 623 0 0 0 25 0 5 0 521991048 142471168 6202 33554432000 4194304 4417332 140736742845488 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 139132

[startup+12.7009 s]
/proc/loadavg: 7.28 7.91 7.96 9/186 8454
/proc/meminfo: memFree=26032068/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=141780 CPUtime=50.5 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 34079 1255 0 3 5045 5 0 0 22 0 5 0 521991042 145182720 6864 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 35445 6864 179 55 0 33331 0
[pid=8440/tid=8451] ppid=8438 vsize=141780 CPUtime=12.63 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 8918 1255 0 3 1262 1 0 0 25 0 5 0 521991048 145182720 6864 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=141780 CPUtime=12.56 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 9287 1255 0 3 1256 0 0 0 25 0 5 0 521991048 145182720 6864 33554432000 4194304 4417332 140736742845488 18446744073709551615 4366109 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=141780 CPUtime=12.62 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 7748 1255 0 3 1261 1 0 0 25 0 5 0 521991048 145182720 6864 33554432000 4194304 4417332 140736742845488 18446744073709551615 4320800 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=141780 CPUtime=12.63 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 6540 1255 0 3 1262 1 0 0 25 0 5 0 521991048 145182720 6864 33554432000 4194304 4417332 140736742845488 18446744073709551615 4237292 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 141780

[startup+25.5006 s]
/proc/loadavg: 7.44 7.91 7.96 9/186 8455
/proc/meminfo: memFree=26006524/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=163168 CPUtime=101.64 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 58946 1255 0 3 10154 10 0 0 22 0 5 0 521991042 167084032 12211 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 40792 12211 179 55 0 38678 0
[pid=8440/tid=8451] ppid=8438 vsize=163168 CPUtime=25.43 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 16319 1255 0 3 2541 2 0 0 25 0 5 0 521991048 167084032 12211 33554432000 4194304 4417332 140736742845488 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=163168 CPUtime=25.3 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 15259 1255 0 3 2529 1 0 0 25 0 5 0 521991048 167084032 12211 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=163168 CPUtime=25.43 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 13684 1255 0 3 2540 3 0 0 25 0 5 0 521991048 167084032 12211 33554432000 4194304 4417332 140736742845488 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=163168 CPUtime=25.43 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 12098 1255 0 3 2541 2 0 0 25 0 5 0 521991048 167084032 12211 33554432000 4194304 4417332 140736742845488 18446744073709551615 4352400 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 163168

[startup+51.1009 s]
/proc/loadavg: 7.63 7.92 7.96 9/186 8455
/proc/meminfo: memFree=25990872/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=166148 CPUtime=203.92 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 105497 1255 0 3 20373 19 0 0 22 0 5 0 521991042 170135552 12982 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 41537 12982 179 55 0 39423 0
[pid=8440/tid=8451] ppid=8438 vsize=166148 CPUtime=51.03 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 31036 1255 0 3 5098 5 0 0 25 0 5 0 521991048 170135552 12982 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=166148 CPUtime=50.77 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 26821 1255 0 3 5073 4 0 0 25 0 5 0 521991048 170135552 12982 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364671 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=166148 CPUtime=51.03 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 22950 1255 0 3 5099 4 0 0 25 0 5 0 521991048 170135552 12982 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=166148 CPUtime=51.03 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 23104 1255 0 3 5099 4 0 0 25 0 5 0 521991048 170135552 12982 33554432000 4194304 4417332 140736742845488 18446744073709551615 4250807 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 166148

[startup+102.3 s]
/proc/loadavg: 7.85 7.93 7.96 9/186 8457
/proc/meminfo: memFree=25957504/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=189664 CPUtime=408.45 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 188532 1255 0 3 40813 32 0 0 22 0 5 0 521991042 194215936 18835 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 47416 18835 179 55 0 45302 0
[pid=8440/tid=8451] ppid=8438 vsize=189664 CPUtime=102.23 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 55837 1255 0 3 10215 8 0 0 25 0 5 0 521991048 194215936 18835 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=189664 CPUtime=101.7 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 45205 1255 0 3 10162 8 0 0 25 0 5 0 521991048 194215936 18835 33554432000 4194304 4417332 140736742845488 18446744073709551615 4250858 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=189664 CPUtime=102.24 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 42025 1255 0 3 10216 8 0 0 25 0 5 0 521991048 194215936 18835 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=189664 CPUtime=102.24 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 43879 1255 0 3 10217 7 0 0 25 0 5 0 521991048 194215936 18835 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364599 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.45
Current children cumulated vsize (KiB) 189664

[startup+162.301 s]
/proc/loadavg: 7.98 7.95 7.97 9/186 8458
/proc/meminfo: memFree=25920780/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=215644 CPUtime=648.12 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 276546 1255 0 3 64765 47 0 0 22 0 5 0 521991042 220819456 25330 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 53911 25330 179 55 0 51797 0
[pid=8440/tid=8451] ppid=8438 vsize=215644 CPUtime=162.24 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 77934 1255 0 3 16212 12 0 0 25 0 5 0 521991048 220819456 25330 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=215644 CPUtime=161.36 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 67104 1255 0 3 16125 11 0 0 25 0 5 0 521991048 220819456 25330 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=215644 CPUtime=162.23 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 65047 1255 0 3 16212 11 0 0 25 0 5 0 521991048 220819456 25330 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=215644 CPUtime=162.23 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 64875 1255 0 3 16212 11 0 0 25 0 5 0 521991048 220819456 25330 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.12
Current children cumulated vsize (KiB) 215644


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

[pid=8440/tid=8454] ppid=8438 vsize=317556 CPUtime=882.26 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 210370 1255 0 3 88194 32 0 0 25 0 5 0 521991048 325177344 50824 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 317556

[startup+942.3 s]
/proc/loadavg: 8.16 8.12 8.02 9/186 8479
/proc/meminfo: memFree=25758588/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=315376 CPUtime=3763.93 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 959687 1255 0 3 376243 150 0 0 22 0 5 0 521991042 322945024 50279 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 78844 50279 179 55 0 76730 0
[pid=8440/tid=8451] ppid=8438 vsize=315376 CPUtime=942.25 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 218555 1255 0 3 94194 31 0 0 25 0 5 0 521991048 322945024 50279 33554432000 4194304 4417332 140736742845488 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=315376 CPUtime=937.12 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 250234 1255 0 3 93669 43 0 0 25 0 5 0 521991048 322945024 50279 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364818 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=315376 CPUtime=942.26 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 271066 1255 0 3 94185 41 0 0 25 0 5 0 521991048 322945024 50279 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=315376 CPUtime=942.25 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 218246 1255 0 3 94192 33 0 0 25 0 5 0 521991048 322945024 50279 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 315376

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/186 8481
/proc/meminfo: memFree=25766368/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=304792 CPUtime=4003.61 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1002950 1255 0 3 400206 155 0 0 22 0 5 0 521991042 312107008 47633 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 76198 47633 179 55 0 74084 0
[pid=8440/tid=8451] ppid=8438 vsize=304792 CPUtime=1002.26 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 227600 1255 0 3 100193 33 0 0 25 0 5 0 521991048 312107008 47633 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=304792 CPUtime=996.78 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 266689 1255 0 3 99633 45 0 0 25 0 5 0 521991048 312107008 47633 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=304792 CPUtime=1002.26 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 281191 1255 0 3 100184 42 0 0 25 0 5 0 521991048 312107008 47633 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=304792 CPUtime=1002.26 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 225884 1255 0 3 100192 34 0 0 25 0 5 0 521991048 312107008 47633 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 304792

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

[startup+1024 s]
/proc/loadavg: 8.15 8.11 8.03 9/186 8481
/proc/meminfo: memFree=25707456/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=353832 CPUtime=4090.3 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1026571 1255 0 3 408871 159 0 0 22 0 5 0 521991042 362323968 59893 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 88458 59893 179 55 0 86344 0
[pid=8440/tid=8451] ppid=8438 vsize=353832 CPUtime=1023.96 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 233944 1255 0 3 102362 34 0 0 25 0 5 0 521991048 362323968 59893 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=353832 CPUtime=1018.37 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 271673 1255 0 3 101791 46 0 0 25 0 5 0 521991048 362323968 59893 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=353832 CPUtime=1023.96 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 288564 1255 0 3 102353 43 0 0 25 0 5 0 521991048 362323968 59893 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=353832 CPUtime=1023.96 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 230804 1255 0 3 102361 35 0 0 25 0 5 0 521991048 362323968 59893 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4090.3
Current children cumulated vsize (KiB) 353832

[startup+1036.8 s]
/proc/loadavg: 8.12 8.11 8.02 9/186 8481
/proc/meminfo: memFree=25745028/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=321268 CPUtime=4141.43 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1032677 1255 0 3 413983 160 0 0 22 0 5 0 521991042 328978432 51752 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 80317 51752 179 55 0 78203 0
[pid=8440/tid=8451] ppid=8438 vsize=321268 CPUtime=1036.76 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 234700 1255 0 3 103642 34 0 0 25 0 5 0 521991048 328978432 51752 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=321268 CPUtime=1031.09 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 275888 1255 0 3 103063 46 0 0 25 0 5 0 521991048 328978432 51752 33554432000 4194304 4417332 140736742845488 18446744073709551615 4366324 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=321268 CPUtime=1036.76 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 288564 1255 0 3 103633 43 0 0 25 0 5 0 521991048 328978432 51752 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=321268 CPUtime=1036.76 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 231939 1255 0 3 103641 35 0 0 25 0 5 0 521991048 328978432 51752 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4141.43
Current children cumulated vsize (KiB) 321268

[startup+1049.6 s]
/proc/loadavg: 8.10 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25707940/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=343472 CPUtime=4192.55 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1044973 1255 0 3 419094 161 0 0 22 0 5 0 521991042 351715328 57303 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 85868 57303 179 55 0 83754 0
[pid=8440/tid=8451] ppid=8438 vsize=343472 CPUtime=1049.56 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 236968 1255 0 3 104922 34 0 0 25 0 5 0 521991048 351715328 57303 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=343472 CPUtime=1043.83 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 278888 1255 0 3 104336 47 0 0 25 0 5 0 521991048 351715328 57303 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=343472 CPUtime=1049.56 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 292205 1255 0 3 104912 44 0 0 25 0 5 0 521991048 351715328 57303 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=343472 CPUtime=1049.56 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 235326 1255 0 3 104921 35 0 0 25 0 5 0 521991048 351715328 57303 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4192.55
Current children cumulated vsize (KiB) 343472

[startup+1052.81 s]
/proc/loadavg: 8.09 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25722820/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=321472 CPUtime=4205.36 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1046858 1255 0 3 420374 162 0 0 22 0 5 0 521991042 329187328 51803 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 80368 51803 179 55 0 78254 0
[pid=8440/tid=8451] ppid=8438 vsize=321472 CPUtime=1052.77 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 236968 1255 0 3 105243 34 0 0 25 0 5 0 521991048 329187328 51803 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=321472 CPUtime=1047.01 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 278888 1255 0 3 104654 47 0 0 25 0 5 0 521991048 329187328 51803 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=321472 CPUtime=1052.77 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 292797 1255 0 3 105233 44 0 0 25 0 5 0 521991048 329187328 51803 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=321472 CPUtime=1052.77 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 236619 1255 0 3 105241 36 0 0 25 0 5 0 521991048 329187328 51803 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4205.36
Current children cumulated vsize (KiB) 321472

[startup+1056 s]
/proc/loadavg: 8.09 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25730632/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=334548 CPUtime=4218.14 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1050127 1255 0 3 421651 163 0 0 22 0 5 0 521991042 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 83637 55072 179 55 0 81523 0
[pid=8440/tid=8451] ppid=8438 vsize=334548 CPUtime=1055.97 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 236968 1255 0 3 105563 34 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=334548 CPUtime=1050.19 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 280593 1255 0 3 104972 47 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=334548 CPUtime=1055.97 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 293716 1255 0 3 105553 44 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=334548 CPUtime=1055.97 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 237264 1255 0 3 105561 36 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4218.14
Current children cumulated vsize (KiB) 334548

[startup+1056.8 s]
/proc/loadavg: 8.09 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25730632/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=334548 CPUtime=4221.32 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1050127 1255 0 3 421969 163 0 0 22 0 5 0 521991042 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 83637 55072 179 55 0 81523 0
[pid=8440/tid=8451] ppid=8438 vsize=334548 CPUtime=1056.76 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 236968 1255 0 3 105642 34 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364602 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=334548 CPUtime=1050.99 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 280593 1255 0 3 105052 47 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=334548 CPUtime=1056.76 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 293716 1255 0 3 105632 44 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4356907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=334548 CPUtime=1056.76 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 237264 1255 0 3 105640 36 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4221.32
Current children cumulated vsize (KiB) 334548

[startup+1057.21 s]
/proc/loadavg: 8.08 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25723564/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=334548 CPUtime=4222.94 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1050127 1255 0 3 422131 163 0 0 22 0 5 0 521991042 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 83637 55072 179 55 0 81523 0
[pid=8440/tid=8451] ppid=8438 vsize=334548 CPUtime=1057.17 cores=1,3,5,7
/proc/8440/task/8451/stat : 8451 (plingeling) R 8438 8440 8397 0 -1 4202560 236968 1255 0 3 105683 34 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=334548 CPUtime=1051.39 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 280593 1255 0 3 105092 47 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4250795 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=334548 CPUtime=1057.17 cores=1,3,5,7
/proc/8440/task/8453/stat : 8453 (plingeling) R 8438 8440 8397 0 -1 4202560 293716 1255 0 3 105673 44 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4365915 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=334548 CPUtime=1057.17 cores=1,3,5,7
/proc/8440/task/8454/stat : 8454 (plingeling) R 8438 8440 8397 0 -1 4202560 237264 1255 0 3 105681 36 0 0 25 0 5 0 521991048 342577152 55072 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4222.94
Current children cumulated vsize (KiB) 334548

[startup+1057.6 s]
/proc/loadavg: 8.08 8.10 8.02 9/186 8482
/proc/meminfo: memFree=25723564/32951124 swapFree=67111524/67111528
[pid=8440] ppid=8438 vsize=336108 CPUtime=4224.13 cores=1,3,5,7
/proc/8440/stat : 8440 (plingeling) S 8438 8440 8397 0 -1 4202496 1050518 1255 0 3 422250 163 0 0 18 0 2 0 521991042 344174592 55463 33554432000 4194304 4417332 140736742845488 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 1 0 0 0
/proc/8440/statm: 84027 55463 180 55 0 81913 0
[pid=8440/tid=8452] ppid=8438 vsize=336108 CPUtime=1051.78 cores=1,3,5,7
/proc/8440/task/8452/stat : 8452 (plingeling) R 8438 8440 8397 0 -1 4202560 280593 1255 0 3 105131 47 0 0 25 0 2 0 521991048 344174592 55463 33554432000 4194304 4417332 140736742845488 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4224.13
Current children cumulated vsize (KiB) 336108

Child status: 10
Real time (s): 1057.65
CPU time (s): 4224.19
CPU user time (s): 4222.54
CPU system time (s): 1.64575
CPU usage (%): 399.394
Max. virtual memory (cumulated for all children) (KiB): 366716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4222.54
system time used= 1.64575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051788
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 29591

runsolver used 1.81172 second user time and 3.9374 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 21:05:06
IDJOB=3264498
IDBENCH=84643
IDSOLVER=1605
FILE ID=node104/3264498-1304103906
RUNJOBID= node104-1304103906-8416
PBS_JOBID= 13170642
Free space on /tmp= 71548 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264498-1304103906/watcher-3264498-1304103906 -o /tmp/evaluation-result-3264498-1304103906/solver-3264498-1304103906 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3264498-1304103906.cnf

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

MD5SUM BENCH= 287d3b23c6f72107e24ae4186653564e
RANDOM SEED=349795559

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26083496 kB
Buffers:       1889124 kB
Cached:        4368248 kB
SwapCached:          4 kB
Active:         174536 kB
Inactive:      6148136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26083496 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             572 kB
Writeback:           0 kB
AnonPages:       64952 kB
Mapped:          14776 kB
Slab:           480180 kB
PageTables:       5200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   260028 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= 71548 MiB
End job on node104 at 2011-04-29 21:22:44