Trace number 3310377

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
ppfolio parSAT 28146.4 3520.91

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM349e2f9eff952d4e42f8e1caefaa382b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.7873
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data 

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

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-3310377-1304019070/watcher-3310377-1304019070 -o /tmp/evaluation-result-3310377-1304019070/solver-3310377-1304019070 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3310377-1304019070.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: 0.22 3.91 6.34 2/170 25720
/proc/meminfo: memFree=13749172/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) R 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0

[startup+0.0665671 s]
/proc/loadavg: 0.22 3.91 6.34 2/170 25720
/proc/meminfo: memFree=13749172/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100559 s]
/proc/loadavg: 0.22 3.91 6.34 2/170 25720
/proc/meminfo: memFree=13749172/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300526 s]
/proc/loadavg: 0.22 3.91 6.34 2/170 25720
/proc/meminfo: memFree=13749172/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700457 s]
/proc/loadavg: 0.22 3.91 6.34 2/170 25720
/proc/meminfo: memFree=13749172/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50132 s]
/proc/loadavg: 0.22 3.91 6.34 9/180 25735
/proc/meminfo: memFree=13593712/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=53236 CPUtime=1.49 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 10297 0 0 0 148 1 0 0 25 0 1 0 513505805 54513664 8506 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238288 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 13309 8506 327 96 0 9871 0
[pid=25722] ppid=25720 vsize=24460 CPUtime=1.49 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 4695 0 0 0 148 1 0 0 20 0 1 0 513505805 25047040 3452 33554432000 4194304 4785740 140733964412096 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 6115 3452 340 145 0 3160 0
[pid=25723] ppid=25720 vsize=463216 CPUtime=1.49 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 3849 0 0 0 148 1 0 0 20 0 1 0 513505805 474333184 3746 33554432000 134512640 134534564 4291183632 18446744073709551615 134524541 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 115804 3746 91 6 0 114470 0
[pid=25724] ppid=25720 vsize=43928 CPUtime=1.49 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 16683 0 0 0 147 2 0 0 20 0 1 0 513505805 44982272 7098 33554432000 4194304 4331988 140733586989056 18446744073709551615 4271412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 10982 7098 151 34 0 9424 0
[pid=25725] ppid=25720 vsize=179608 CPUtime=5.36 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 26484 1249 0 0 532 4 0 0 20 0 5 0 513505805 183918592 16975 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 44902 16975 162 40 0 43446 0
[pid=25725/tid=25732] ppid=25720 vsize=179608 CPUtime=1.29 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 2260 1249 0 0 129 0 0 0 25 0 5 0 513505825 183918592 16975 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=179608 CPUtime=1.29 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 2476 1249 0 0 129 0 0 0 25 0 5 0 513505825 183918592 16975 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=179608 CPUtime=1.28 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 2649 1249 0 0 128 0 0 0 25 0 5 0 513505825 183918592 16975 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=179608 CPUtime=1.28 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 2197 1249 0 0 128 0 0 0 25 0 5 0 513505825 183918592 16975 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 782772

[startup+3.10103 s]
/proc/loadavg: 0.84 3.97 6.35 9/180 25735
/proc/meminfo: memFree=13601152/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=53236 CPUtime=3.09 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 10529 0 0 0 308 1 0 0 25 0 1 0 513505805 54513664 8729 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238258 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 13309 8729 327 96 0 9871 0
[pid=25722] ppid=25720 vsize=24460 CPUtime=3.09 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 4695 0 0 0 308 1 0 0 25 0 1 0 513505805 25047040 3452 33554432000 4194304 4785740 140733964412096 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 6115 3452 340 145 0 3160 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3.09 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 308 1 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=65120 CPUtime=3.09 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 21802 0 0 0 306 3 0 0 25 0 1 0 513505805 66682880 12217 33554432000 4194304 4331988 140733586989056 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 16280 12217 151 34 0 14722 0
[pid=25725] ppid=25720 vsize=160872 CPUtime=11.76 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 27912 1249 0 0 1171 5 0 0 20 0 5 0 513505805 164732928 12259 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 40218 12259 162 40 0 38762 0
[pid=25725/tid=25732] ppid=25720 vsize=160872 CPUtime=2.89 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 2524 1249 0 0 289 0 0 0 25 0 5 0 513505825 164732928 12259 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=160872 CPUtime=2.89 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 2704 1249 0 0 289 0 0 0 25 0 5 0 513505825 164732928 12259 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=160872 CPUtime=2.88 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 3201 1249 0 0 288 0 0 0 25 0 5 0 513505825 164732928 12259 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=160872 CPUtime=2.87 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 2581 1249 0 0 287 0 0 0 25 0 5 0 513505825 164732928 12259 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 790244

[startup+6.30047 s]
/proc/loadavg: 0.84 3.97 6.35 9/180 25735
/proc/meminfo: memFree=13543988/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1288720 CPUtime=6.28 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 11854 0 0 0 627 1 0 0 25 0 1 0 513505805 1319649280 8518 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 322180 8518 327 96 0 318742 0
[pid=25722] ppid=25720 vsize=25780 CPUtime=6.29 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 5040 0 0 0 628 1 0 0 25 0 1 0 513505805 26398720 3797 33554432000 4194304 4785740 140733964412096 18446744073709551615 4278081 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 6445 3797 340 145 0 3490 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=6.29 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 628 1 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=106448 CPUtime=6.29 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 31783 0 0 0 625 4 0 0 25 0 1 0 513505805 109002752 22198 33554432000 4194304 4331988 140733586989056 18446744073709551615 4271211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 26612 22198 151 34 0 25054 0
[pid=25725] ppid=25720 vsize=173324 CPUtime=24.54 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 31025 1249 0 0 2449 5 0 0 20 0 5 0 513505805 177483776 15372 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 43331 15372 162 40 0 41875 0
[pid=25725/tid=25732] ppid=25720 vsize=173324 CPUtime=6.09 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 2844 1249 0 0 609 0 0 0 25 0 5 0 513505825 177483776 15372 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=173324 CPUtime=6.09 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 3859 1249 0 0 609 0 0 0 25 0 5 0 513505825 177483776 15372 33554432000 4194304 4356188 140735699142448 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=173324 CPUtime=6.08 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 3361 1249 0 0 608 0 0 0 25 0 5 0 513505825 177483776 15372 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=173324 CPUtime=6.05 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 4059 1249 0 0 605 0 0 0 25 0 5 0 513505825 177483776 15372 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (KiB) 2080828

[startup+12.7013 s]
/proc/loadavg: 1.94 4.11 6.36 9/180 25735
/proc/meminfo: memFree=13442016/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1306780 CPUtime=12.68 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 15891 0 0 0 1266 2 0 0 25 0 1 0 513505805 1338142720 12538 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238273 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 326695 12538 337 96 0 323257 0
[pid=25722] ppid=25720 vsize=32908 CPUtime=12.69 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 6781 0 0 0 1267 2 0 0 25 0 1 0 513505805 33697792 5538 33554432000 4194304 4785740 140733964412096 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 8227 5538 340 145 0 5272 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=12.69 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 1268 1 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=186992 CPUtime=12.68 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 50965 0 0 0 1260 8 0 0 25 0 1 0 513505805 191479808 41380 33554432000 4194304 4331988 140733586989056 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 46748 41380 151 34 0 45190 0
[pid=25725] ppid=25720 vsize=174356 CPUtime=50.1 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 31283 1249 0 0 5005 5 0 0 20 0 5 0 513505805 178540544 15630 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 43589 15630 162 40 0 42133 0
[pid=25725/tid=25732] ppid=25720 vsize=174356 CPUtime=12.49 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 3102 1249 0 0 1249 0 0 0 25 0 5 0 513505825 178540544 15630 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=174356 CPUtime=12.49 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 3859 1249 0 0 1249 0 0 0 25 0 5 0 513505825 178540544 15630 33554432000 4194304 4356188 140735699142448 18446744073709551615 4244384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=174356 CPUtime=12.48 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 3361 1249 0 0 1248 0 0 0 25 0 5 0 513505825 178540544 15630 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=174356 CPUtime=12.42 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 4059 1249 0 0 1242 0 0 0 25 0 5 0 513505825 178540544 15630 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 2187592

[startup+25.5011 s]
/proc/loadavg: 2.87 4.23 6.38 9/180 25735
/proc/meminfo: memFree=13342112/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1301024 CPUtime=25.49 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 19209 0 0 0 2546 3 0 0 25 0 1 0 513505805 1332248576 14222 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0

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

/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533260/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1367508 CPUtime=3513.55 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 139307 0 0 0 351294 61 0 0 25 0 1 0 513505805 1400328192 34821 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 341877 34821 337 96 0 338439 0
[pid=25722] ppid=25720 vsize=185436 CPUtime=3513.56 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 42475 0 0 0 351341 15 0 0 25 0 1 0 513505805 189886464 41232 33554432000 4194304 4785740 140733964412096 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 46359 41232 340 145 0 43404 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3512.68 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 351266 2 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=663080 CPUtime=3513.57 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 334590 0 0 0 351306 51 0 0 25 0 1 0 513505805 678993920 152581 33554432000 4194304 4331988 140733586989056 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 165770 152581 175 34 0 164212 0
[pid=25725] ppid=25720 vsize=394936 CPUtime=14034.2 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 101697 1249 0 0 1403404 15 0 0 20 0 5 0 513505805 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 98734 70776 163 40 0 97278 0
[pid=25725/tid=25732] ppid=25720 vsize=394936 CPUtime=3513.37 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 15066 1249 0 0 351336 1 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=394936 CPUtime=3513.37 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 35328 1249 0 0 351332 5 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=394936 CPUtime=3513.03 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 14368 1249 0 0 351301 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=394936 CPUtime=3494.2 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 20033 1249 0 0 349418 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4244413 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28087.5
Current children cumulated vsize (KiB) 3097516

[startup+3516.71 s]
/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533136/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1367508 CPUtime=3516.75 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 139307 0 0 0 351614 61 0 0 25 0 1 0 513505805 1400328192 34821 33554432000 4194304 4587354 140737295808832 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 341877 34821 337 96 0 338439 0
[pid=25722] ppid=25720 vsize=185604 CPUtime=3516.77 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 42492 0 0 0 351662 15 0 0 25 0 1 0 513505805 190058496 41249 33554432000 4194304 4785740 140733964412096 18446744073709551615 4546113 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 46401 41249 340 145 0 43446 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3515.89 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 351587 2 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=663080 CPUtime=3516.77 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 334591 0 0 0 351626 51 0 0 25 0 1 0 513505805 678993920 152582 33554432000 4194304 4331988 140733586989056 18446744073709551615 4298853 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 165770 152582 175 34 0 164212 0
[pid=25725] ppid=25720 vsize=394936 CPUtime=14047 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 101697 1249 0 0 1404684 15 0 0 20 0 5 0 513505805 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 98734 70776 163 40 0 97278 0
[pid=25725/tid=25732] ppid=25720 vsize=394936 CPUtime=3516.57 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 15066 1249 0 0 351656 1 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=394936 CPUtime=3516.57 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 35328 1249 0 0 351652 5 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=394936 CPUtime=3516.23 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 14368 1249 0 0 351621 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=394936 CPUtime=3497.38 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 20033 1249 0 0 349736 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28113.2
Current children cumulated vsize (KiB) 3097684

[startup+3518.3 s]
/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533136/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1367508 CPUtime=3518.35 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 139307 0 0 0 351774 61 0 0 25 0 1 0 513505805 1400328192 34821 33554432000 4194304 4587354 140737295808832 18446744073709551615 4241265 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 341877 34821 337 96 0 338439 0
[pid=25722] ppid=25720 vsize=185604 CPUtime=3518.36 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 42492 0 0 0 351821 15 0 0 25 0 1 0 513505805 190058496 41249 33554432000 4194304 4785740 140733964412096 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 46401 41249 340 145 0 43446 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3517.48 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 351746 2 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=663080 CPUtime=3518.37 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 334591 0 0 0 351786 51 0 0 25 0 1 0 513505805 678993920 152582 33554432000 4194304 4331988 140733586989056 18446744073709551615 4298853 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 165770 152582 175 34 0 164212 0
[pid=25725] ppid=25720 vsize=394936 CPUtime=14053.4 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 101697 1249 0 0 1405321 15 0 0 20 0 5 0 513505805 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 98734 70776 163 40 0 97278 0
[pid=25725/tid=25732] ppid=25720 vsize=394936 CPUtime=3518.17 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 15066 1249 0 0 351816 1 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=394936 CPUtime=3518.17 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 35328 1249 0 0 351812 5 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=394936 CPUtime=3517.82 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 14368 1249 0 0 351780 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=394936 CPUtime=3498.97 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 20033 1249 0 0 349895 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28125.9
Current children cumulated vsize (KiB) 3097684

[startup+3519.9 s]
/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533136/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1367508 CPUtime=3519.95 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 139307 0 0 0 351934 61 0 0 25 0 1 0 513505805 1400328192 34821 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238258 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 341877 34821 337 96 0 338439 0
[pid=25722] ppid=25720 vsize=185604 CPUtime=3519.97 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 42492 0 0 0 351982 15 0 0 25 0 1 0 513505805 190058496 41249 33554432000 4194304 4785740 140733964412096 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 46401 41249 340 145 0 43446 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3519.09 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 351907 2 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134530573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=663080 CPUtime=3519.97 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 334591 0 0 0 351946 51 0 0 25 0 1 0 513505805 678993920 152582 33554432000 4194304 4331988 140733586989056 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 165770 152582 175 34 0 164212 0
[pid=25725] ppid=25720 vsize=394936 CPUtime=14059.8 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 101697 1249 0 0 1405962 15 0 0 20 0 5 0 513505805 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 98734 70776 163 40 0 97278 0
[pid=25725/tid=25732] ppid=25720 vsize=394936 CPUtime=3519.77 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 15066 1249 0 0 351976 1 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=394936 CPUtime=3519.77 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 35328 1249 0 0 351972 5 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331996 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=394936 CPUtime=3519.43 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 14368 1249 0 0 351941 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=394936 CPUtime=3500.57 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 20033 1249 0 0 350055 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28138.8
Current children cumulated vsize (KiB) 3097684

[startup+3520.7 s]
/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533136/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=0 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 513505805 18763776 389 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 16062950367305924607 0 0 17 6 0 0 0
/proc/25720/statm: 4581 389 341 23 0 91 0
[pid=25721] ppid=25720 vsize=1367508 CPUtime=3520.75 cores=0
/proc/25721/stat : 25721 (cryptominisat) R 25720 25720 25694 0 -1 4202496 139307 0 0 0 352014 61 0 0 25 0 1 0 513505805 1400328192 34821 33554432000 4194304 4587354 140737295808832 18446744073709551615 4238240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25721/statm: 341877 34821 337 96 0 338439 0
[pid=25722] ppid=25720 vsize=185604 CPUtime=3520.76 cores=1
/proc/25722/stat : 25722 (clasp) R 25720 25720 25694 0 -1 4202496 42492 0 0 0 352061 15 0 0 25 0 1 0 513505805 190058496 41249 33554432000 4194304 4785740 140733964412096 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25722/statm: 46401 41249 340 145 0 43446 0
[pid=25723] ppid=25720 vsize=468232 CPUtime=3519.88 cores=2
/proc/25723/stat : 25723 (TNM) R 25720 25720 25694 0 -1 4202496 4937 0 0 0 351986 2 0 0 25 0 1 0 513505805 479469568 4834 33554432000 134512640 134534564 4291183632 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25723/statm: 117058 4834 95 6 0 115724 0
[pid=25724] ppid=25720 vsize=663080 CPUtime=3520.77 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4202496 334591 0 0 0 352026 51 0 0 25 0 1 0 513505805 678993920 152582 33554432000 4194304 4331988 140733586989056 18446744073709551615 4298848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25724/statm: 165770 152582 175 34 0 164212 0
[pid=25725] ppid=25720 vsize=394936 CPUtime=14063 cores=4-7
/proc/25725/stat : 25725 (plingeling) S 25720 25720 25694 0 -1 4202496 101697 1249 0 0 1406280 15 0 0 20 0 5 0 513505805 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 235606669285 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25725/statm: 98734 70776 163 40 0 97278 0
[pid=25725/tid=25732] ppid=25720 vsize=394936 CPUtime=3520.57 cores=4-7
/proc/25725/task/25732/stat : 25732 (plingeling) R 25720 25720 25694 0 -1 4202560 15066 1249 0 0 352056 1 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25725/tid=25733] ppid=25720 vsize=394936 CPUtime=3520.57 cores=4-7
/proc/25725/task/25733/stat : 25733 (plingeling) R 25720 25720 25694 0 -1 4202560 35328 1249 0 0 352052 5 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25725/tid=25734] ppid=25720 vsize=394936 CPUtime=3520.22 cores=4-7
/proc/25725/task/25734/stat : 25734 (plingeling) R 25720 25720 25694 0 -1 4202560 14368 1249 0 0 352020 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25725/tid=25735] ppid=25720 vsize=394936 CPUtime=3501.36 cores=4-7
/proc/25725/task/25735/stat : 25735 (plingeling) R 25720 25720 25694 0 -1 4202560 20033 1249 0 0 350134 2 0 0 25 0 5 0 513505825 404414464 70776 33554432000 4194304 4356188 140735699142448 18446744073709551615 4284244 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28145.1
Current children cumulated vsize (KiB) 3097684

[startup+3520.9 s]
/proc/loadavg: 8.05 8.05 7.98 9/180 25840
/proc/meminfo: memFree=12533136/32950928 swapFree=67111528/67111528
[pid=25720] ppid=25718 vsize=18324 CPUtime=24625.4 cores=0-7
/proc/25720/stat : 25720 (ppfolio) S 25718 25720 25694 0 -1 4202496 521 289697 0 0 0 0 2462439 99 15 0 1 0 513505805 18763776 390 33554432000 4194304 4287625 140737358827040 18446744073709551615 235594886671 0 0 4096 65536 17890381122651553792 0 0 17 6 0 0 0
/proc/25720/statm: 4581 390 342 23 0 91 0
[pid=25724] ppid=25720 vsize=0 CPUtime=3520.97 cores=3
/proc/25724/stat : 25724 (march_hi) R 25720 25720 25694 0 -1 4203524 334591 0 0 0 352044 53 0 0 25 0 1 0 513505805 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25724/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 28146.3
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 3520.91
CPU time (s): 28146.4
CPU user time (s): 28144.8
CPU system time (s): 1.54177
CPU usage (%): 799.406
Max. virtual memory (cumulated for all children) (KiB): 4292868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28144.8
system time used= 1.54176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624826
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= 959
involuntary context switches= 135613

runsolver used 5.80212 second user time and 13.41 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-28 21:31:10
IDJOB=3310377
IDBENCH=85965
IDSOLVER=1638
FILE ID=node120/3310377-1304019070
RUNJOBID= node120-1304019070-25708
PBS_JOBID= 13170290
Free space on /tmp= 72072 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310377-1304019070/watcher-3310377-1304019070 -o /tmp/evaluation-result-3310377-1304019070/solver-3310377-1304019070 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310377-1304019070.cnf

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

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=335588923

node120.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.809
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.61
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.809
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.07
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.809
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.809
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.75
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.809
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.78
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.809
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.809
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.82
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13749592 kB
Buffers:       2478360 kB
Cached:       16088560 kB
SwapCached:          0 kB
Active:       10833792 kB
Inactive:      7797024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13749592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12848 kB
Writeback:           0 kB
AnonPages:       62572 kB
Mapped:          14920 kB
Slab:           507092 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186784 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= 72064 MiB
End job on node120 at 2011-04-28 22:29:51