Trace number 3347669

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 18942.6 594.952

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347669-1306134049/watcher-3347669-1306134049 -o /tmp/evaluation-result-3347669-1306134049/solver-3347669-1306134049 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347669-1306134049.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 2.24 13.78 24.07 1/413 30839
/proc/meminfo: memFree=255339168/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0

[startup+0.0370481 s]
/proc/loadavg: 2.24 13.78 24.07 1/413 30839
/proc/meminfo: memFree=255339168/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.101071 s]
/proc/loadavg: 2.24 13.78 24.07 1/413 30839
/proc/meminfo: memFree=255339168/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.301072 s]
/proc/loadavg: 2.24 13.78 24.07 1/413 30839
/proc/meminfo: memFree=255339168/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 19 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.701067 s]
/proc/loadavg: 2.24 13.78 24.07 1/413 30839
/proc/meminfo: memFree=255339168/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 19 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50109 s]
/proc/loadavg: 2.24 13.78 24.07 6/419 30850
/proc/meminfo: memFree=255187808/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=53228 CPUtime=1.48 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 8614 0 0 0 146 2 0 0 25 0 1 0 724891340 54505472 8386 268435456000 4194304 4587354 140735496291680 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30840/statm: 13307 8386 314 96 0 9869 0
[pid=30841] ppid=30839 vsize=24460 CPUtime=1.48 cores=1
/proc/30841/stat : 30841 (clasp) R 30839 30839 30603 0 -1 4202496 4692 0 0 0 147 1 0 0 20 0 1 0 724891340 25047040 3450 268435456000 4194304 4785740 140735490577888 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30841/statm: 6115 3450 338 145 0 3160 0
[pid=30842] ppid=30839 vsize=463220 CPUtime=1.48 cores=2
/proc/30842/stat : 30842 (TNM) R 30839 30839 30603 0 -1 4202496 3848 0 0 0 147 1 0 0 20 0 1 0 724891340 474337280 3746 268435456000 134512640 134534564 4289092176 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30842/statm: 115805 3746 91 6 0 114470 0
[pid=30843] ppid=30839 vsize=36924 CPUtime=1.48 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4202496 15362 0 0 0 144 4 0 0 20 0 1 0 724891340 37810176 5778 268435456000 4194304 4331988 140734984399456 18446744073709551615 4271138 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30843/statm: 9231 5778 149 34 0 7673 0
[pid=30844] ppid=30839 vsize=125076 CPUtime=1.48 cores=4-31
/proc/30844/stat : 30844 (plingeling) R 30839 30839 30603 0 -1 4202496 30502 1243 0 0 140 8 0 0 21 0 1 0 724891340 128077824 29928 268435456000 4194304 4356188 140735111907312 18446744073709551615 4277424 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/30844/statm: 31269 29928 129 40 0 29813 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 721232

[startup+3.10108 s]
/proc/loadavg: 2.24 13.78 24.07 6/419 30850
/proc/meminfo: memFree=255013996/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=53240 CPUtime=3.08 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 10355 0 0 0 305 3 0 0 19 0 1 0 724891340 54517760 8562 268435456000 4194304 4587354 140735496291680 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30840/statm: 13310 8562 325 96 0 9872 0
[pid=30841] ppid=30839 vsize=24460 CPUtime=3.08 cores=1
/proc/30841/stat : 30841 (clasp) R 30839 30839 30603 0 -1 4202496 4692 0 0 0 307 1 0 0 25 0 1 0 724891340 25047040 3450 268435456000 4194304 4785740 140735490577888 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30841/statm: 6115 3450 338 145 0 3160 0
[pid=30842] ppid=30839 vsize=464408 CPUtime=3.08 cores=2
/proc/30842/stat : 30842 (TNM) R 30839 30839 30603 0 -1 4202496 4933 0 0 0 307 1 0 0 25 0 1 0 724891340 475553792 4831 268435456000 134512640 134534564 4289092176 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30842/statm: 116102 4831 95 6 0 114767 0
[pid=30843] ppid=30839 vsize=57596 CPUtime=3.08 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4202496 19244 0 0 0 303 5 0 0 25 0 1 0 724891340 58978304 9660 268435456000 4194304 4331988 140734984399456 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30843/statm: 14399 9660 149 34 0 12841 0
[pid=30844] ppid=30839 vsize=1214844 CPUtime=18.35 cores=4-31
/proc/30844/stat : 30844 (plingeling) S 30839 30839 30603 0 -1 4202496 182068 1243 0 0 1697 138 0 0 21 0 29 0 724891340 1244000256 116322 268435456000 4194304 4356188 140735111907312 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30844/statm: 303711 116322 157 40 0 302255 0
Current children cumulated CPU time (s) 30.67
Current children cumulated vsize (KiB) 1832872

[startup+6.3022 s]
/proc/loadavg: 4.62 14.08 24.11 33/447 30878
/proc/meminfo: memFree=254912292/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=53240 CPUtime=6.28 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 10727 0 0 0 625 3 0 0 25 0 1 0 724891340 54517760 8922 268435456000 4194304 4587354 140735496291680 18446744073709551615 4238299 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30840/statm: 13310 8922 325 96 0 9872 0
[pid=30841] ppid=30839 vsize=24460 CPUtime=6.28 cores=1
/proc/30841/stat : 30841 (clasp) R 30839 30839 30603 0 -1 4202496 4692 0 0 0 627 1 0 0 25 0 1 0 724891340 25047040 3450 268435456000 4194304 4785740 140735490577888 18446744073709551615 4287022 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30841/statm: 6115 3450 338 145 0 3160 0
[pid=30842] ppid=30839 vsize=468240 CPUtime=6.28 cores=2
/proc/30842/stat : 30842 (TNM) R 30839 30839 30603 0 -1 4202496 4935 0 0 0 627 1 0 0 25 0 1 0 724891340 479477760 4833 268435456000 134512640 134534564 4289092176 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30842/statm: 117060 4833 95 6 0 115725 0
[pid=30843] ppid=30839 vsize=93644 CPUtime=6.28 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4202496 27371 0 0 0 621 7 0 0 25 0 1 0 724891340 95891456 17787 268435456000 4194304 4331988 140734984399456 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30843/statm: 23411 17787 149 34 0 21853 0
[pid=30844] ppid=30839 vsize=1049932 CPUtime=107.86 cores=4-31
/proc/30844/stat : 30844 (plingeling) S 30839 30839 30603 0 -1 4202496 190842 1243 0 0 10644 142 0 0 21 0 29 0 724891340 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30844/statm: 262483 75924 157 40 0 261027 0
[pid=30844/tid=30851] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30851/stat : 30851 (plingeling) R 30839 30839 30603 0 -1 4202560 2032 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30844/tid=30852] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30852/stat : 30852 (plingeling) R 30839 30839 30603 0 -1 4202560 2758 1243 0 0 373 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30844/tid=30853] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30853/stat : 30853 (plingeling) R 30839 30839 30603 0 -1 4202560 2872 1243 0 0 373 3 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30844/tid=30854] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30854/stat : 30854 (plingeling) R 30839 30839 30603 0 -1 4202560 3179 1243 0 0 371 5 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30844/tid=30855] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30855/stat : 30855 (plingeling) R 30839 30839 30603 0 -1 4202560 2569 1243 0 0 372 5 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30844/tid=30856] ppid=30839 vsize=1049932 CPUtime=3.73 cores=4-31
/proc/30844/task/30856/stat : 30856 (plingeling) R 30839 30839 30603 0 -1 4202560 2702 1243 0 0 371 2 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30844/tid=30857] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30857/stat : 30857 (plingeling) R 30839 30839 30603 0 -1 4202560 2593 1243 0 0 372 5 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30844/tid=30858] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30858/stat : 30858 (plingeling) R 30839 30839 30603 0 -1 4202560 1936 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30844/tid=30859] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30859/stat : 30859 (plingeling) R 30839 30839 30603 0 -1 4202560 3130 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4333082 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30844/tid=30860] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30860/stat : 30860 (plingeling) R 30839 30839 30603 0 -1 4202560 2773 1243 0 0 371 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30844/tid=30861] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30861/stat : 30861 (plingeling) R 30839 30839 30603 0 -1 4202560 2654 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30844/tid=30862] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30862/stat : 30862 (plingeling) R 30839 30839 30603 0 -1 4202560 3262 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30844/tid=30863] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30863/stat : 30863 (plingeling) R 30839 30839 30603 0 -1 4202560 2825 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30844/tid=30864] ppid=30839 vsize=1049932 CPUtime=3.78 cores=4-31
/proc/30844/task/30864/stat : 30864 (plingeling) R 30839 30839 30603 0 -1 4202560 2853 1243 0 0 374 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30844/tid=30865] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30865/stat : 30865 (plingeling) R 30839 30839 30603 0 -1 4202560 2957 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30844/tid=30866] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30866/stat : 30866 (plingeling) R 30839 30839 30603 0 -1 4202560 2529 1243 0 0 374 3 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30844/tid=30867] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30867/stat : 30867 (plingeling) R 30839 30839 30603 0 -1 4202560 3034 1243 0 0 371 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30844/tid=30868] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30868/stat : 30868 (plingeling) R 30839 30839 30603 0 -1 4202560 2863 1243 0 0 372 3 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30844/tid=30869] ppid=30839 vsize=1049932 CPUtime=3.74 cores=4-31
/proc/30844/task/30869/stat : 30869 (plingeling) R 30839 30839 30603 0 -1 4202560 1704 1243 0 0 370 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30844/tid=30870] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30870/stat : 30870 (plingeling) R 30839 30839 30603 0 -1 4202560 3089 1243 0 0 371 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4334534 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30844/tid=30871] ppid=30839 vsize=1049932 CPUtime=3.74 cores=4-31
/proc/30844/task/30871/stat : 30871 (plingeling) R 30839 30839 30603 0 -1 4202560 2841 1243 0 0 371 3 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30844/tid=30872] ppid=30839 vsize=1049932 CPUtime=3.76 cores=4-31
/proc/30844/task/30872/stat : 30872 (plingeling) R 30839 30839 30603 0 -1 4202560 2360 1243 0 0 372 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30844/tid=30873] ppid=30839 vsize=1049932 CPUtime=3.63 cores=4-31
/proc/30844/task/30873/stat : 30873 (plingeling) R 30839 30839 30603 0 -1 4202560 2801 1243 0 0 362 1 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30844/tid=30874] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30874/stat : 30874 (plingeling) R 30839 30839 30603 0 -1 4202560 2280 1243 0 0 373 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30844/tid=30875] ppid=30839 vsize=1049932 CPUtime=3.77 cores=4-31
/proc/30844/task/30875/stat : 30875 (plingeling) R 30839 30839 30603 0 -1 4202560 2528 1243 0 0 373 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30844/tid=30876] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30876/stat : 30876 (plingeling) R 30839 30839 30603 0 -1 4202560 2719 1243 0 0 371 4 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30844/tid=30877] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30877/stat : 30877 (plingeling) R 30839 30839 30603 0 -1 4202560 2241 1243 0 0 372 3 0 0 25 0 29 0 724891590 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30844/tid=30878] ppid=30839 vsize=1049932 CPUtime=3.75 cores=4-31
/proc/30844/task/30878/stat : 30878 (plingeling) R 30839 30839 30603 0 -1 4202560 2203 1243 0 0 372 3 0 0 25 0 29 0 724891591 1075130368 75924 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 132.98
Current children cumulated vsize (KiB) 1707840

[startup+12.7024 s]
/proc/loadavg: 6.82 14.38 24.16 33/447 30887
/proc/meminfo: memFree=254766512/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=584416 CPUtime=12.69 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 15505 0 0 0 1264 5 0 0 25 0 1 0 724891340 598441984 12166 268435456000 4194304 4587354 140735496291680 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0

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

[pid=30844/tid=30872] ppid=30839 vsize=1687228 CPUtime=590.84 cores=4-31
/proc/30844/task/30872/stat : 30872 (plingeling) R 30839 30839 30603 0 -1 4202560 10968 1243 0 0 59079 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30844/tid=30873] ppid=30839 vsize=1687228 CPUtime=573.84 cores=4-31
/proc/30844/task/30873/stat : 30873 (plingeling) R 30839 30839 30603 0 -1 4202560 14673 1243 0 0 57380 4 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30844/tid=30874] ppid=30839 vsize=1687228 CPUtime=590.85 cores=4-31
/proc/30844/task/30874/stat : 30874 (plingeling) R 30839 30839 30603 0 -1 4202560 25799 1243 0 0 59077 8 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30844/tid=30875] ppid=30839 vsize=1687228 CPUtime=590.85 cores=4-31
/proc/30844/task/30875/stat : 30875 (plingeling) R 30839 30839 30603 0 -1 4202560 19028 1243 0 0 59078 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30844/tid=30876] ppid=30839 vsize=1687228 CPUtime=590.84 cores=4-31
/proc/30844/task/30876/stat : 30876 (plingeling) R 30839 30839 30603 0 -1 4202560 14838 1243 0 0 59077 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4244413 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30844/tid=30877] ppid=30839 vsize=1687228 CPUtime=590.66 cores=4-31
/proc/30844/task/30877/stat : 30877 (plingeling) R 30839 30839 30603 0 -1 4202560 9351 1243 0 0 59061 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30844/tid=30878] ppid=30839 vsize=1687228 CPUtime=590.83 cores=4-31
/proc/30844/task/30878/stat : 30878 (plingeling) R 30839 30839 30603 0 -1 4202560 11415 1243 0 0 59078 5 0 0 25 0 29 0 724891591 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 18902.4
Current children cumulated vsize (KiB) 3542512

[startup+594.302 s]
/proc/loadavg: 32.10 29.54 27.82 33/447 30903
/proc/meminfo: memFree=253565532/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=618620 CPUtime=594.17 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 54080 0 0 0 59401 16 0 0 25 0 1 0 724891340 633466880 23993 268435456000 4194304 4587354 140735496291680 18446744073709551615 4241312 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30840/statm: 154655 23993 335 96 0 151217 0
[pid=30841] ppid=30839 vsize=87016 CPUtime=594.16 cores=1
/proc/30841/stat : 30841 (clasp) R 30839 30839 30603 0 -1 4202496 19721 0 0 0 59405 11 0 0 25 0 1 0 724891340 89104384 18479 268435456000 4194304 4785740 140735490577888 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30841/statm: 21754 18479 338 145 0 18799 0
[pid=30842] ppid=30839 vsize=468240 CPUtime=594.13 cores=2
/proc/30842/stat : 30842 (TNM) R 30839 30839 30603 0 -1 4202496 4935 0 0 0 59412 1 0 0 25 0 1 0 724891340 479477760 4833 268435456000 134512640 134534564 4289092176 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30842/statm: 117060 4833 95 6 0 115725 0
[pid=30843] ppid=30839 vsize=663084 CPUtime=594.17 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4202496 333757 0 0 0 59339 78 0 0 25 0 1 0 724891340 678998016 151749 268435456000 4194304 4331988 140734984399456 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30843/statm: 165771 151749 174 34 0 164213 0
[pid=30844] ppid=30839 vsize=1687228 CPUtime=16551.4 cores=4-31
/proc/30844/stat : 30844 (plingeling) S 30839 30839 30603 0 -1 4202496 595683 1243 0 0 1654896 240 0 0 21 0 29 0 724891340 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30844/statm: 421807 249287 158 40 0 420351 0
[pid=30844/tid=30851] ppid=30839 vsize=1687228 CPUtime=591.64 cores=4-31
/proc/30844/task/30851/stat : 30851 (plingeling) R 30839 30839 30603 0 -1 4202560 13554 1243 0 0 59157 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30844/tid=30852] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30852/stat : 30852 (plingeling) R 30839 30839 30603 0 -1 4202560 13863 1243 0 0 59159 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30844/tid=30853] ppid=30839 vsize=1687228 CPUtime=591.66 cores=4-31
/proc/30844/task/30853/stat : 30853 (plingeling) R 30839 30839 30603 0 -1 4202560 10078 1243 0 0 59161 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4279494 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30844/tid=30854] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30854/stat : 30854 (plingeling) R 30839 30839 30603 0 -1 4202560 16575 1243 0 0 59157 8 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30844/tid=30855] ppid=30839 vsize=1687228 CPUtime=591.66 cores=4-31
/proc/30844/task/30855/stat : 30855 (plingeling) R 30839 30839 30603 0 -1 4202560 12868 1243 0 0 59159 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30844/tid=30856] ppid=30839 vsize=1687228 CPUtime=591.62 cores=4-31
/proc/30844/task/30856/stat : 30856 (plingeling) R 30839 30839 30603 0 -1 4202560 13584 1243 0 0 59157 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30844/tid=30857] ppid=30839 vsize=1687228 CPUtime=591.66 cores=4-31
/proc/30844/task/30857/stat : 30857 (plingeling) R 30839 30839 30603 0 -1 4202560 10529 1243 0 0 59160 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30844/tid=30858] ppid=30839 vsize=1687228 CPUtime=591.38 cores=4-31
/proc/30844/task/30858/stat : 30858 (plingeling) R 30839 30839 30603 0 -1 4202560 31406 1243 0 0 59121 17 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30844/tid=30859] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30859/stat : 30859 (plingeling) R 30839 30839 30603 0 -1 4202560 15769 1243 0 0 59158 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30844/tid=30860] ppid=30839 vsize=1687228 CPUtime=591.64 cores=4-31
/proc/30844/task/30860/stat : 30860 (plingeling) R 30839 30839 30603 0 -1 4202560 15404 1243 0 0 59157 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30844/tid=30861] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30861/stat : 30861 (plingeling) R 30839 30839 30603 0 -1 4202560 25171 1243 0 0 59155 10 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30844/tid=30862] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30862/stat : 30862 (plingeling) R 30839 30839 30603 0 -1 4202560 14824 1243 0 0 59159 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30844/tid=30863] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30863/stat : 30863 (plingeling) R 30839 30839 30603 0 -1 4202560 19347 1243 0 0 59158 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30844/tid=30864] ppid=30839 vsize=1687228 CPUtime=591.66 cores=4-31
/proc/30844/task/30864/stat : 30864 (plingeling) R 30839 30839 30603 0 -1 4202560 11759 1243 0 0 59161 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30844/tid=30865] ppid=30839 vsize=1687228 CPUtime=591.62 cores=4-31
/proc/30844/task/30865/stat : 30865 (plingeling) R 30839 30839 30603 0 -1 4202560 37669 1243 0 0 59151 11 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30844/tid=30866] ppid=30839 vsize=1687228 CPUtime=591.67 cores=4-31
/proc/30844/task/30866/stat : 30866 (plingeling) R 30839 30839 30603 0 -1 4202560 23272 1243 0 0 59160 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30844/tid=30867] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30867/stat : 30867 (plingeling) R 30839 30839 30603 0 -1 4202560 35709 1243 0 0 59154 11 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30844/tid=30868] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30868/stat : 30868 (plingeling) R 30839 30839 30603 0 -1 4202560 15496 1243 0 0 59158 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30844/tid=30869] ppid=30839 vsize=1687228 CPUtime=591.63 cores=4-31
/proc/30844/task/30869/stat : 30869 (plingeling) R 30839 30839 30603 0 -1 4202560 9113 1243 0 0 59157 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30844/tid=30870] ppid=30839 vsize=1687228 CPUtime=591.64 cores=4-31
/proc/30844/task/30870/stat : 30870 (plingeling) R 30839 30839 30603 0 -1 4202560 12190 1243 0 0 59158 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30844/tid=30871] ppid=30839 vsize=1687228 CPUtime=591.63 cores=4-31
/proc/30844/task/30871/stat : 30871 (plingeling) R 30839 30839 30603 0 -1 4202560 14876 1243 0 0 59157 6 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30844/tid=30872] ppid=30839 vsize=1687228 CPUtime=591.64 cores=4-31
/proc/30844/task/30872/stat : 30872 (plingeling) R 30839 30839 30603 0 -1 4202560 10968 1243 0 0 59159 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30844/tid=30873] ppid=30839 vsize=1687228 CPUtime=574.61 cores=4-31
/proc/30844/task/30873/stat : 30873 (plingeling) R 30839 30839 30603 0 -1 4202560 14673 1243 0 0 57457 4 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30844/tid=30874] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30874/stat : 30874 (plingeling) R 30839 30839 30603 0 -1 4202560 25799 1243 0 0 59157 8 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30844/tid=30875] ppid=30839 vsize=1687228 CPUtime=591.65 cores=4-31
/proc/30844/task/30875/stat : 30875 (plingeling) R 30839 30839 30603 0 -1 4202560 19028 1243 0 0 59158 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30844/tid=30876] ppid=30839 vsize=1687228 CPUtime=591.64 cores=4-31
/proc/30844/task/30876/stat : 30876 (plingeling) R 30839 30839 30603 0 -1 4202560 14838 1243 0 0 59157 7 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30844/tid=30877] ppid=30839 vsize=1687228 CPUtime=591.46 cores=4-31
/proc/30844/task/30877/stat : 30877 (plingeling) R 30839 30839 30603 0 -1 4202560 9351 1243 0 0 59141 5 0 0 25 0 29 0 724891590 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30844/tid=30878] ppid=30839 vsize=1687228 CPUtime=591.63 cores=4-31
/proc/30844/task/30878/stat : 30878 (plingeling) R 30839 30839 30603 0 -1 4202560 11415 1243 0 0 59158 5 0 0 25 0 29 0 724891591 1727721472 249287 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 18928
Current children cumulated vsize (KiB) 3542512

[startup+594.702 s]
/proc/loadavg: 32.10 29.54 27.82 33/447 30903
/proc/meminfo: memFree=253565532/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=0 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 724891339 18763776 386 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/30839/statm: 4581 386 337 23 0 91 0
[pid=30840] ppid=30839 vsize=618620 CPUtime=594.57 cores=0
/proc/30840/stat : 30840 (cryptominisat) R 30839 30839 30603 0 -1 4202496 54080 0 0 0 59441 16 0 0 25 0 1 0 724891340 633466880 23993 268435456000 4194304 4587354 140735496291680 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30840/statm: 154655 23993 335 96 0 151217 0
[pid=30841] ppid=30839 vsize=87016 CPUtime=594.56 cores=1
/proc/30841/stat : 30841 (clasp) R 30839 30839 30603 0 -1 4202496 19721 0 0 0 59445 11 0 0 25 0 1 0 724891340 89104384 18479 268435456000 4194304 4785740 140735490577888 18446744073709551615 4287248 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30841/statm: 21754 18479 338 145 0 18799 0
[pid=30842] ppid=30839 vsize=468240 CPUtime=594.53 cores=2
/proc/30842/stat : 30842 (TNM) R 30839 30839 30603 0 -1 4202496 4935 0 0 0 59452 1 0 0 25 0 1 0 724891340 479477760 4833 268435456000 134512640 134534564 4289092176 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30842/statm: 117060 4833 95 6 0 115725 0
[pid=30843] ppid=30839 vsize=663084 CPUtime=594.57 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4202496 333757 0 0 0 59379 78 0 0 25 0 1 0 724891340 678998016 151749 268435456000 4194304 4331988 140734984399456 18446744073709551615 4226242 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30843/statm: 165771 151749 174 34 0 164213 0
[pid=30844] ppid=30839 vsize=1687228 CPUtime=16562.3 cores=4-31
/proc/30844/stat : 30844 (plingeling) S 30839 30839 30603 0 -1 4202496 595684 1243 0 0 1655991 240 0 0 21 0 20 0 724891340 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30844/statm: 421807 249288 159 40 0 420351 0
[pid=30844/tid=30851] ppid=30839 vsize=1687228 CPUtime=592.04 cores=4-31
/proc/30844/task/30851/stat : 30851 (plingeling) R 30839 30839 30603 0 -1 4202560 13554 1243 0 0 59197 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30844/tid=30853] ppid=30839 vsize=1687228 CPUtime=592.06 cores=4-31
/proc/30844/task/30853/stat : 30853 (plingeling) R 30839 30839 30603 0 -1 4202560 10078 1243 0 0 59201 5 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4279656 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30844/tid=30855] ppid=30839 vsize=1687228 CPUtime=592.06 cores=4-31
/proc/30844/task/30855/stat : 30855 (plingeling) R 30839 30839 30603 0 -1 4202560 12868 1243 0 0 59199 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30844/tid=30857] ppid=30839 vsize=1687228 CPUtime=592.06 cores=4-31
/proc/30844/task/30857/stat : 30857 (plingeling) R 30839 30839 30603 0 -1 4202560 10529 1243 0 0 59200 6 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30844/tid=30858] ppid=30839 vsize=1687228 CPUtime=591.78 cores=4-31
/proc/30844/task/30858/stat : 30858 (plingeling) R 30839 30839 30603 0 -1 4202560 31406 1243 0 0 59161 17 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30844/tid=30859] ppid=30839 vsize=1687228 CPUtime=592.05 cores=4-31
/proc/30844/task/30859/stat : 30859 (plingeling) R 30839 30839 30603 0 -1 4202560 15769 1243 0 0 59198 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30844/tid=30861] ppid=30839 vsize=1687228 CPUtime=592.05 cores=4-31
/proc/30844/task/30861/stat : 30861 (plingeling) R 30839 30839 30603 0 -1 4202560 25171 1243 0 0 59195 10 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30844/tid=30862] ppid=30839 vsize=1687228 CPUtime=592.05 cores=4-31
/proc/30844/task/30862/stat : 30862 (plingeling) R 30839 30839 30603 0 -1 4202560 14824 1243 0 0 59199 6 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30844/tid=30863] ppid=30839 vsize=1687228 CPUtime=592.05 cores=4-31
/proc/30844/task/30863/stat : 30863 (plingeling) R 30839 30839 30603 0 -1 4202560 19347 1243 0 0 59198 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30844/tid=30865] ppid=30839 vsize=1687228 CPUtime=592.02 cores=4-31
/proc/30844/task/30865/stat : 30865 (plingeling) R 30839 30839 30603 0 -1 4202560 37669 1243 0 0 59191 11 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331168 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30844/tid=30866] ppid=30839 vsize=1687228 CPUtime=592.06 cores=4-31
/proc/30844/task/30866/stat : 30866 (plingeling) R 30839 30839 30603 0 -1 4202560 23272 1243 0 0 59199 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30844/tid=30867] ppid=30839 vsize=1687228 CPUtime=592.04 cores=4-31
/proc/30844/task/30867/stat : 30867 (plingeling) R 30839 30839 30603 0 -1 4202560 35709 1243 0 0 59193 11 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30844/tid=30868] ppid=30839 vsize=1687228 CPUtime=592.05 cores=4-31
/proc/30844/task/30868/stat : 30868 (plingeling) R 30839 30839 30603 0 -1 4202560 15496 1243 0 0 59198 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331803 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30844/tid=30871] ppid=30839 vsize=1687228 CPUtime=592.03 cores=4-31
/proc/30844/task/30871/stat : 30871 (plingeling) R 30839 30839 30603 0 -1 4202560 14876 1243 0 0 59197 6 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30844/tid=30872] ppid=30839 vsize=1687228 CPUtime=592.04 cores=4-31
/proc/30844/task/30872/stat : 30872 (plingeling) R 30839 30839 30603 0 -1 4202560 10968 1243 0 0 59199 5 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331576 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30844/tid=30873] ppid=30839 vsize=1687228 CPUtime=575.01 cores=4-31
/proc/30844/task/30873/stat : 30873 (plingeling) R 30839 30839 30603 0 -1 4202560 14673 1243 0 0 57497 4 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30844/tid=30876] ppid=30839 vsize=1687228 CPUtime=592.04 cores=4-31
/proc/30844/task/30876/stat : 30876 (plingeling) R 30839 30839 30603 0 -1 4202560 14838 1243 0 0 59197 7 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30844/tid=30877] ppid=30839 vsize=1687228 CPUtime=591.86 cores=4-31
/proc/30844/task/30877/stat : 30877 (plingeling) R 30839 30839 30603 0 -1 4202560 9351 1243 0 0 59181 5 0 0 25 0 20 0 724891590 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30844/tid=30878] ppid=30839 vsize=1687228 CPUtime=592.03 cores=4-31
/proc/30844/task/30878/stat : 30878 (plingeling) R 30839 30839 30603 0 -1 4202560 11415 1243 0 0 59198 5 0 0 25 0 20 0 724891591 1727721472 249288 268435456000 4194304 4356188 140735111907312 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 18940.5
Current children cumulated vsize (KiB) 3542512

[startup+594.902 s]
/proc/loadavg: 32.10 29.54 27.82 33/447 30903
/proc/meminfo: memFree=253565532/264257624 swapFree=67111528/67111528
[pid=30839] ppid=30837 vsize=18324 CPUtime=18347.7 cores=0-31
/proc/30839/stat : 30839 (ppfolio) S 30837 30839 30603 0 -1 4202496 515 675679 0 0 0 0 1834490 283 15 0 1 0 724891339 18763776 387 268435456000 4194304 4287625 140735418398608 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/30839/statm: 4581 387 338 23 0 91 0
[pid=30843] ppid=30839 vsize=0 CPUtime=594.77 cores=3
/proc/30843/stat : 30843 (march_hi) R 30839 30839 30603 0 -1 4203524 333757 0 0 0 59397 80 0 0 25 0 1 0 724891340 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30843/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18942.5
Current children cumulated vsize (KiB) 18324

Child status: 0
Real time (s): 594.952
CPU time (s): 18942.6
CPU user time (s): 18938.9
CPU system time (s): 3.68844
CPU usage (%): 3183.89
Max. virtual memory (cumulated for all children) (KiB): 3943232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18938.9
system time used= 3.68844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009971
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= 3055
involuntary context switches= 47320

runsolver used 3.41148 second user time and 13.6949 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 09:00:49
IDJOB=3347669
IDBENCH=85965
IDSOLVER=1808
FILE ID=node200/3347669-1306134049
RUNJOBID= node200-1306133756-30617
PBS_JOBID= 13387832
Free space on /tmp= 62044 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-3347669-1306134049/watcher-3347669-1306134049 -o /tmp/evaluation-result-3347669-1306134049/solver-3347669-1306134049 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347669-1306134049.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=86103514

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255339572 kB
Buffers:        458224 kB
Cached:        8040020 kB
SwapCached:          0 kB
Active:        7594568 kB
Inactive:       973048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255339572 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12192 kB
Writeback:           0 kB
AnonPages:       68016 kB
Mapped:          14536 kB
Slab:           253348 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   192780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62032 MiB
End job on node200 at 2011-05-23 09:10:44