Trace number 3285104

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
CryptoMiniSat Strange-Night-1-mtUNSAT 2803.56 702.493

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
MD5SUM8d94c04f870c828c80bd9a45ae3dedff
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark603.823
Satisfiable
(Un)Satisfiability was proved
Number of variables489685
Number of clauses8779920
Sum of the clauses size19139520
Maximum clause length1334
Minimum clause length1
Number of clauses of size 11440
Number of clauses of size 28441280
Number of clauses of size 3319680
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517520

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285104-1304037826.cnf'
0.00/0.00	c -- header says num vars:         489685
0.00/0.00	c -- header says num clauses:     8779920
11.61/3.47	c -- clauses added:            0 learnts,      8779920 normals,            0 xors
11.61/3.47	c -- vars added     489685
11.61/3.47	c Parsing time:  8.37 s
11.61/3.47	c  N st     0         0    489685    304437   7524558         0  17087371         0   no data   no data  --
13.96/4.04	c asymm  cl-useful: 564/719/235695 lits-rem:2242 time: 2.81
50.72/13.24	c Flit:   285 Blit:  87855 bXBeca:    0 bXProp:  933 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 36.27
51.12/13.38	c Cleaning up after failed var search:     0.55 s 
52.30/13.61	c Replacing      934 vars Replaced    31458 lits Time:     0.83 s 
55.10/14.38	c bin-w-bin subsume rem         1059 bins  time:  2.01 s
59.89/15.56	c subs with bin:        0  lits-rem:      1342  v-fix:    0  time:  4.69 s
72.66/18.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  23918 time: 12.81 s
73.83/19.02	c Removed useless bin:    1704  fixed:     0  props:  20.00M  time:  0.91 s
79.42/20.44	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  5.67 s
79.82/20.57	c Finding binary XORs  T:     0.48 s  found:    1972
80.62/20.76	c Replacing     1972 vars Replaced   241227 lits Time:     0.78 s 
81.83/21.01	c Finding non-binary XORs:     0.40 s (found:       0, avg size: nan)
81.83/21.01	c Calc default polars -  time:   0.26 s pos:    2914 undec:  237434 neg:  249337
81.83/21.01	c =========================================================================================
81.83/21.01	c types(t): F = full restart, N = normal restart
81.83/21.01	c types(t): S = simplification begin/end, E = solution found
81.83/21.01	c restart types(rt): st = static, dy = dynamic
81.83/21.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
81.83/21.01	c  B st     0         0    252251    174928   4072585         0   9310462         0   no data   no data  --
116.59/29.74	c  N dy    13      4020    209108    144908   3158194      3543   7277005   1651804      8.26      8.71  --
152.51/38.73	c  N dy    31      8332    207132    143362   3108178      7665   7165509   3161575     10.48     11.38  --
193.66/49.07	c  N dy    48     12708    207084    143362   3109105     11892   7165509   4827924      9.90     11.26  --
240.02/60.67	c  N dy    65     17042    206749    143362   3109173     16120   7165509   7247015      9.87     10.44  --
277.95/70.10	c  N dy    76     21139    206696    143362   3109743     10624   7165509   1114942      9.58     10.19  --
317.89/80.19	c  F st   101     25001    206693    143362   3109793     14415   7165509   2817178      9.96   no data  --
324.27/81.77	c  N st   102     25251    206693    142638   3087330     14627   7114991   2953871      9.96   no data  --
380.62/95.83	c  N dy   107     30001    206629    142638   3087396     19275   7114991   6610607      9.96   no data  --
380.62/95.83	c  S st   107     30001    206629    142638   3087396     19275   7114991   6610607      9.96   no data  --
386.19/97.20	c  S st   107     30501    206629    142638   3087424     19740   7114991   6859840      9.96   no data  --
386.59/97.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.57
502.43/126.34	c Flit:   315 Blit:   2697 bXBeca:    0 bXProp:   67 Bins:  95458 BRemL:      6 BRemN:    208 P: 200.1M T: 115.76
502.83/126.46	c Cleaning up after failed var search:     0.43 s 
504.02/126.77	c Replacing       68 vars Replaced     6199 lits Time:     1.16 s 
508.82/127.97	c bin-w-bin subsume rem          410 bins  time:  1.03 s
514.81/129.47	c subs with bin:       24  lits-rem:       160  v-fix:    0  time:  5.99 s
518.00/130.26	c Subs w/ non-existent bins:      2 l-rem:    333 v-fix:    64 done:   2260 time:  3.11 s
519.60/130.67	c Removed useless bin:    4908  fixed:    80  props:  20.00M  time:  1.66 s
545.17/137.05	c lits-rem:       218  cl-subs:     1106  v-elim:     40  v-fix:    0  time: 25.46 s
547.58/137.61	c asymm  cl-useful: 317/1000/140051 lits-rem:790 time: 2.22
547.58/137.69	c  N dy   107     30501    203010    140051   3095241     18471   6929142   6683108      9.96   no data  --
548.36/137.82	c Finding binary XORs  T:     0.47 s  found:    1979
588.71/147.96	c  N dy   129     34505    202731    140051   3096126     22387   6929142   8871782      9.97     13.61  --
629.43/158.17	c  N dy   142     39217    202725    140051   3096194     27001   6929142  10437993      9.82     10.36  --
676.56/169.96	c  N dy   158     43232    202711    140051   3096221     16038   6929142   1226940      9.82     10.63  --
700.53/175.93	c  S st   166     45753    202693    140051   3096241     18521   6929142   2247291      9.77      7.88  --
706.51/177.41	c  S st   166     46255    202683    140051   3096264     18991   6929142   2401364      9.77   no data  --
706.91/177.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
786.01/197.33	c Flit:   215 Blit:    968 bXBeca:    0 bXProp:   10 Bins:  53719 BRemL:      6 BRemN:    101 P: 200.0M T: 78.97
786.01/197.34	c Cleaning up after failed var search:     0.00 s 
787.21/197.69	c Replacing     1990 vars Replaced   166596 lits Time:     1.34 s 
789.60/198.26	c bin-w-bin subsume rem         1427 bins  time:  1.11 s
795.59/199.74	c subs with bin:      742  lits-rem:      4180  v-fix:    0  time:  5.94 s
799.99/200.82	c Subs w/ non-existent bins:      2 l-rem:   1283 v-fix:     8 done:   3253 time:  4.28 s
801.18/201.17	c Removed useless bin:    3494  fixed:     9  props:  20.01M  time:  1.41 s
812.76/204.01	c lits-rem:       132  cl-subs:      491  v-elim:      0  v-fix:    0  time: 11.29 s
815.18/204.61	c asymm  cl-useful: 225/592/138770 lits-rem:875 time: 2.40
815.18/204.69	c  N dy   166     46255    199665    138770   3107121     17694   6836910   2416027      9.77   no data  --
815.95/204.80	c Finding binary XORs  T:     0.45 s  found:     418
864.29/216.99	c  N dy   179     51196    196495    136318   3098010     22414   6675406   4822358      9.64     10.36  --
887.86/222.82	c Finding binary XORs  T:     0.48 s  found:     711
901.44/226.24	c  N dy   189     55289    195720    135708   3079264     26399   6635927   6255392      9.53     10.07  --
939.39/235.71	c  N dy   207     59372    195680    135708   3079695     30427   6635927   8045502      9.57     10.39  --
981.73/246.32	c  N dy   232     63586    195676    135708   3079722     34594   6635927   9893636      9.59     10.19  --
1015.28/254.79	c  N dy   252     67756    195524    135708   3080096     20545   6635927   1661422      9.58     10.18  --
1028.46/258.08	c  S st   261     69382    195522    135708   3080115     22147   6635927   2148421      9.58   no data  --
1034.46/259.56	c  S st   261     69883    195520    135708   3080246     22619   6635927   2319458      9.58   no data  --
1035.27/259.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.57
1119.14/280.71	c Flit:   148 Blit:   1667 bXBeca:    0 bXProp:   26 Bins:  54917 BRemL:      6 BRemN:    106 P: 200.0M T: 83.85
1119.14/280.80	c Cleaning up after failed var search:     0.33 s 
1120.34/281.04	c Replacing     1156 vars Replaced    74151 lits Time:     0.90 s 
1122.34/281.59	c bin-w-bin subsume rem         1163 bins  time:  1.14 s
1128.32/283.06	c subs with bin:        6  lits-rem:       667  v-fix:    0  time:  5.86 s
1139.51/285.82	c Subs w/ non-existent bins:     18 l-rem:   1010 v-fix:   105 done:  11209 time: 11.02 s
1141.10/286.21	c Removed useless bin:    4956  fixed:   107  props:  20.01M  time:  1.55 s
1154.69/289.60	c lits-rem:       440  cl-subs:      604  v-elim:      2  v-fix:    0  time: 13.55 s
1157.08/290.21	c asymm  cl-useful: 189/680/134203 lits-rem:374 time: 2.40
1157.08/290.28	c  N dy   261     69883    192724    134203   3053875     21877   6513316   2309819      9.58   no data  --
1157.90/290.40	c Finding binary XORs  T:     0.46 s  found:     375
1195.83/299.91	c  N dy   282     74367    192724    134203   3053898     26319   6513316   4051599      9.56     10.99  --
1236.18/310.03	c  N dy   295     79518    191267    134203   3084618     31409   6513316   5520913      9.52     10.17  --
1280.11/321.05	c Finding binary XORs  T:     0.48 s  found:     423
1290.12/323.52	c  N dy   327     84610    190424    132410   3022181     36383   6383095   7532499      9.55     11.70  --
1317.25/330.39	c  F st   345     87500    190424    132410   3022193     39245   6383095   8538120      9.59   no data  --
1319.65/330.90	c Replacing      798 vars Replaced   114617 lits Time:     2.03 s 
1350.41/338.65	c  N st   350     90795    189675    132410   3020578     22188   6380163   1557294      9.59   no data  --
1399.14/350.82	c  N dy   370     96645    189668    132410   3020718     27983   6380163   3859762      9.57     11.92  --
1449.88/363.51	c  N dy   392    103320    189171    132410   3020802     34589   6380163   5544799      9.53     10.06  --
1463.46/366.94	c  S st   396    104824    189170    132410   3020807     36074   6380163   6057972      9.50      7.92  --
1469.87/368.59	c  S st   396    105326    189170    132410   3020829     36547   6380163   6172741      9.50   no data  --
1470.65/368.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.59
1542.14/386.62	c Flit:   236 Blit:    253 bXBeca:    0 bXProp:    4 Bins:  23461 BRemL:   1329 BRemN:    110 P: 200.0M T: 71.39
1542.14/386.62	c Cleaning up after failed var search:     0.00 s 
1543.34/386.98	c Replacing        5 vars Replaced     1451 lits Time:     1.34 s 
1546.94/387.84	c bin-w-bin subsume rem          802 bins  time:  1.12 s
1553.35/389.42	c subs with bin:       25  lits-rem:        87  v-fix:    0  time:  6.30 s
1555.33/389.92	c Subs w/ non-existent bins:      1 l-rem:   1473 v-fix:     0 done:    733 time:  1.98 s
1556.93/390.32	c Removed useless bin:   10171  fixed:     1  props:  20.01M  time:  1.60 s
1602.47/401.72	c lits-rem:       158  cl-subs:     1195  v-elim:      3  v-fix:    0  time: 45.50 s
1605.27/402.41	c asymm  cl-useful: 161/552/131392 lits-rem:307 time: 2.74
1605.27/402.49	c  N dy   396    105326    188537    131392   2994468     35181   6287313   5962846      9.50   no data  --
1632.02/409.19	c Finding binary XORs  T:     0.46 s  found:     472
1664.38/417.20	c  N dy   429    112574    187162    130330   2975071     42220   6212538   7828926      9.49     10.02  --
1723.10/431.90	c  N dy   452    120252    187155    130330   2975239     28326   6212538   2663624      9.43     10.11  --
1785.41/447.53	c  N dy   482    128149    187149    130330   2975487     36140   6212538   4720081      9.39      9.94  --
1828.95/458.47	c Finding binary XORs  T:     0.50 s  found:     120
1853.71/464.63	c  N dy   527    136419    186707    129993   2983614     44322   6187382   6963595      9.40     11.20  --
1923.23/482.09	c  N dy   556    145336    186698    129993   2983768     31832   6187382   2727679      9.35      9.87  --
1997.93/500.70	c  N dy   593    154717    186689    129993   2983833     41123   6187382   5103947      9.32      9.85  --
2022.29/506.80	c  S st   608    157990    186678    129993   2983931     44350   6187382   5797280      9.31   no data  --
2027.90/508.29	c  S st   608    158496    186678    129993   2983970     44815   6187382   5916759      9.31   no data  --
2028.68/508.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.62
2111.39/529.17	c Flit:   150 Blit:    170 bXBeca:    0 bXProp:   13 Bins:  34744 BRemL:      1 BRemN:    176 P: 200.1M T: 82.71
2111.39/529.18	c Cleaning up after failed var search:     0.00 s 
2113.36/529.66	c Replacing      605 vars Replaced    72337 lits Time:     1.86 s 
2116.55/530.48	c bin-w-bin subsume rem          789 bins  time:  1.12 s
2122.96/532.00	c subs with bin:      222  lits-rem:      2938  v-fix:    0  time:  6.06 s
2132.14/534.31	c Subs w/ non-existent bins:     13 l-rem:   1882 v-fix:    32 done:   9666 time:  9.22 s
2133.75/534.71	c Removed useless bin:    5364  fixed:     0  props:  20.00M  time:  1.60 s
2186.86/548.06	c lits-rem:        54  cl-subs:     1451  v-elim:      0  v-fix:    0  time: 53.31 s
2189.66/548.76	c asymm  cl-useful: 64/525/129582 lits-rem:80 time: 2.80
2190.06/548.84	c  N dy   608    158496    185718    129582   2997467     43081   6148794   5817579      9.31   no data  --
2190.48/548.98	c Finding binary XORs  T:     0.49 s  found:     112
2275.54/570.28	c  N dy   664    168671    185071    129582   2997744     30261   6148794   2024154      9.34     11.40  --
2346.24/587.98	c Finding binary XORs  T:     0.50 s  found:     317
2355.04/590.15	c  N dy   714    179522    184655    128597   3001661     40811   6099138   4437836      9.33      9.89  --
2447.30/613.23	c  N dy   761    191391    183841    128597   3001837     52547   6099138   6912465      9.29     10.03  --
2539.58/636.31	c  N dy   805    203658    181100    125612   2932271     40351   5946005   3332329      9.26     12.04  --
2641.44/661.83	c  N dy   860    216886    180281    125612   2932511     53392   5946005   6133306      9.23      9.81  --
2746.50/688.10	c  N dy   930    231008    175425    121450   2780087     40906   5684055   3217357      9.24     10.77  --
2800.42/701.68	c  S st   965    237744    173613    120133   2739280     46482   5595476   4378353      9.24   no data  --
2803.21/702.34	c  N st   965    237939    173613    120133   2739288     46667   5595476   4422712      9.24   no data  --
2803.21/702.34	c Following stats are for *FIRST FINISHED THREAD ONLY*
2803.21/702.34	c num threads              : 4          
2803.21/702.34	c restarts                 : 1094       
2803.21/702.34	c dynamic restarts         : 1082       
2803.21/702.34	c static restarts          : 12         
2803.21/702.34	c full restarts            : 2          
2803.21/702.34	c total simplify time      : 76.11      
2803.21/702.34	c learnts DL2              : 0          
2803.21/702.34	c learnts size 2           : 8024844    
2803.21/702.34	c learnts size 1           : 328113      (67.00     % of vars)
2803.21/702.34	c filedLit time            : 150.64      (5.38      % time)
2803.21/702.34	c v-elim SatELite          : 66          (0.01      % vars)
2803.21/702.34	c SatELite time            : 57.38       (2.05      % time)
2803.21/702.34	c v-elim xor               : 0           (0.00      % vars)
2803.21/702.34	c xor elim time            : 1.11        (0.04      % time)
2803.21/702.34	c num binary xor trees     : 8171       
2803.21/702.34	c binxor trees' crown      : 8949        (1.10      leafs/tree)
2803.21/702.34	c bin xor find time        : 61.11      
2803.21/702.34	c OTF clause improved      : 2253        (0.01      clauses/conflict)
2803.21/702.34	c OTF impr. size diff      : 8865        (3.93       lits/clause)
2803.21/702.34	c OTF cl watch-shrink      : 185016      (0.67      clauses/conflict)
2803.21/702.34	c OTF cl watch-sh-lit      : 4115019     (22.24      lits/clause)
2803.21/702.34	c tried to recurMin cls    : 173582      (62.84      % of conflicts)
2803.21/702.34	c updated cache            : 180113      (1.04       lits/tried recurMin)
2803.21/702.34	c unit cls received        : 8829        (2.69      % of units)
2803.21/702.34	c unit cls sent            : 8392        (2.56      % of units)
2803.21/702.34	c bin cls received         : 427428     
2803.21/702.34	c bin cls sent             : 62858      
2803.21/702.34	c clauses over max glue    : 0           (0.00      % of all clauses)
2803.21/702.34	c conflicts                : 276248      (98.73     / sec)
2803.21/702.34	c decisions                : 739103      (1.85      % random)
2803.21/702.34	c bogo-props               : 11180114577 (3995928.32 / sec)
2803.21/702.34	c conflict literals        : 69051745    (45.32     % deleted)
2803.21/702.34	c Memory used              : 3859.83     MB
2803.21/702.34	c single-thread CPU time   : 2797.88     s
2803.21/702.34	c all-threads sum CPU time : 2797.88     s
2803.21/702.34	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3285104-1304037826/watcher-3285104-1304037826 -o /tmp/evaluation-result-3285104-1304037826/solver-3285104-1304037826 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3285104-1304037826.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.47 5.56 5.39 7/184 32382
/proc/meminfo: memFree=19666528/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 515380993 52465664 352 33554432000 4194304 4650419 140736729577136 18446744073709551615 47379176200114 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 12809 352 303 112 0 7774 0
[pid=32382/tid=32383] ppid=32380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515380993 52465664 352 33554432000 4194304 4650419 140736729577136 18446744073709551615 47379176200108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515380993 52465664 352 33554432000 4194304 4650419 140736729577136 18446744073709551615 47379176200114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515380993 52465664 352 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.100294 s]
/proc/loadavg: 6.47 5.56 5.39 7/184 32382
/proc/meminfo: memFree=19666528/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=317468 CPUtime=0.36 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 16026 0 0 0 32 4 0 0 18 0 4 0 515380993 325087232 11826 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 79367 12291 345 112 0 74332 0
[pid=32382/tid=32383] ppid=32380 vsize=317468 CPUtime=0.09 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 4113 0 0 0 8 1 0 0 18 0 4 0 515380993 325087232 12329 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=317468 CPUtime=0.09 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) S 32380 32382 31354 0 -1 4202560 4041 0 0 0 8 1 0 0 18 0 4 0 515380993 325087232 12368 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446604453847724096 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=317468 CPUtime=0.09 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) S 32380 32382 31354 0 -1 4202560 4047 0 0 0 8 1 0 0 18 0 4 0 515380993 325087232 12401 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446604453847724096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 317468

[startup+0.217858 s]
/proc/loadavg: 6.47 5.56 5.39 7/184 32382
/proc/meminfo: memFree=19666528/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=398632 CPUtime=0.78 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 27768 0 0 0 66 12 0 0 17 0 4 0 515380993 408199168 23459 33554432000 4194304 4650419 140736729577136 18446744073709551615 255376962593 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 99658 23459 345 112 0 94623 0
[pid=32382/tid=32383] ppid=32380 vsize=398632 CPUtime=0.18 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 6997 0 0 0 15 3 0 0 17 0 4 0 515380993 408199168 23460 33554432000 4194304 4650419 140736729577136 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=398632 CPUtime=0.19 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 6649 0 0 0 17 2 0 0 18 0 4 0 515380993 408199168 23460 33554432000 4194304 4650419 140736729577136 18446744073709551615 4546841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=398632 CPUtime=0.19 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 7001 0 0 0 16 3 0 0 18 0 4 0 515380993 408199168 23461 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 398632

[startup+0.300448 s]
/proc/loadavg: 6.47 5.56 5.39 7/184 32382
/proc/meminfo: memFree=19666528/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=426592 CPUtime=1.08 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 38793 0 0 0 89 19 0 0 18 0 4 0 515380993 436830208 30289 33554432000 4194304 4650419 140736729577136 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 106648 30289 345 112 0 101613 0
[pid=32382/tid=32383] ppid=32380 vsize=426592 CPUtime=0.25 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 9516 0 0 0 20 5 0 0 18 0 4 0 515380993 436830208 30291 33554432000 4194304 4650419 140736729577136 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=426592 CPUtime=0.27 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 9661 0 0 0 24 3 0 0 18 0 4 0 515380993 436830208 30292 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=426592 CPUtime=0.26 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 9776 0 0 0 21 5 0 0 18 0 4 0 515380993 436830208 30292 33554432000 4194304 4650419 140736729577136 18446744073709551615 255376969901 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 426592

[startup+0.700381 s]
/proc/loadavg: 6.47 5.56 5.39 7/184 32382
/proc/meminfo: memFree=19666528/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=496416 CPUtime=2.44 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) S 32380 32382 31354 0 -1 4202496 84439 0 0 0 186 58 0 0 18 0 4 0 515380993 508329984 67408 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 124104 67410 345 112 0 119069 0
[pid=32382/tid=32383] ppid=32380 vsize=496416 CPUtime=0.6 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) S 32380 32382 31354 0 -1 4202560 21095 0 0 0 45 15 0 0 18 0 4 0 515380993 508329984 67412 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446604453847724096 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=496416 CPUtime=0.61 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 21326 0 0 0 48 13 0 0 18 0 4 0 515380993 508329984 67414 33554432000 4194304 4650419 140736729577136 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=496416 CPUtime=0.6 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 21094 0 0 0 46 14 0 0 18 0 4 0 515380993 508329984 67416 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 496416

[startup+1.50023 s]
/proc/loadavg: 6.47 5.56 5.39 10/188 32386
/proc/meminfo: memFree=19210052/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=736924 CPUtime=5.21 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 159566 0 0 0 399 122 0 0 17 0 4 0 515380993 754610176 141769 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32382/statm: 184231 141771 345 112 0 179196 0
[pid=32382/tid=32383] ppid=32380 vsize=736924 CPUtime=1.3 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 40425 0 0 0 100 30 0 0 17 0 4 0 515380993 754610176 141772 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=736924 CPUtime=1.29 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 40210 0 0 0 102 27 0 0 17 0 4 0 515380993 754610176 141772 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=736924 CPUtime=1.28 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 39541 0 0 0 96 32 0 0 17 0 4 0 515380993 754610176 141772 33554432000 4194304 4650419 140736729577136 18446744073709551615 255376970161 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 736924

[startup+3.10095 s]
/proc/loadavg: 6.59 5.60 5.41 8/188 32386
/proc/meminfo: memFree=18747904/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=1470936 CPUtime=10.55 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) S 32380 32382 31354 0 -1 4202496 320529 0 0 0 790 265 0 0 17 0 4 0 515380993 1506238464 284678 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 367734 284678 345 112 0 362699 0
[pid=32382/tid=32383] ppid=32380 vsize=1470936 CPUtime=2.65 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 81258 0 0 0 196 69 0 0 17 0 4 0 515380993 1506238464 284678 33554432000 4194304 4650419 140736729577136 18446744073709551615 255376998849 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=1470936 CPUtime=2.62 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) S 32380 32382 31354 0 -1 4202560 78243 0 0 0 201 61 0 0 17 0 4 0 515380993 1506238464 284678 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446604453847724096 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=1470936 CPUtime=2.61 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) S 32380 32382 31354 0 -1 4202560 78519 0 0 0 196 65 0 0 17 0 4 0 515380993 1506238464 284678 33554432000 4194304 4650419 140736729577136 18446744073709551615 255377406446 0 0 4096 2 18446604453847724096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 1470936

[startup+6.30034 s]
/proc/loadavg: 6.59 5.60 5.41 10/188 32386
/proc/meminfo: memFree=18094068/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=1575868 CPUtime=23.15 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 358770 0 0 0 2030 285 0 0 22 0 4 0 515380993 1613688832 313692 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370035 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 393967 313692 373 112 0 388932 0
[pid=32382/tid=32383] ppid=32380 vsize=1575868 CPUtime=5.78 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 91049 0 0 0 503 75 0 0 22 0 4 0 515380993 1613688832 313692 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370035 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=1575868 CPUtime=5.77 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 89787 0 0 0 511 66 0 0 21 0 4 0 515380993 1613688832 313692 33554432000 4194304 4650419 140736729577136 18446744073709551615 4369024 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=1575868 CPUtime=5.78 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 87083 0 0 0 509 69 0 0 22 0 4 0 515380993 1613688832 313692 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363683 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.15
Current children cumulated vsize (KiB) 1575868

[startup+12.7012 s]
/proc/loadavg: 6.81 5.68 5.43 9/188 32386
/proc/meminfo: memFree=17715280/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=1577692 CPUtime=48.71 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 361674 0 0 0 4586 285 0 0 25 0 4 0 515380993 1615556608 316595 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 394423 316595 373 112 0 389388 0
[pid=32382/tid=32383] ppid=32380 vsize=1577692 CPUtime=12.14 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 91051 0 0 0 1139 75 0 0 25 0 4 0 515380993 1615556608 316595 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=1577692 CPUtime=12.17 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 90229 0 0 0 1151 66 0 0 25 0 4 0 515380993 1615556608 316595 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=1577692 CPUtime=12.18 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 89102 0 0 0 1149 69 0 0 25 0 4 0 515380993 1615556608 316595 33554432000 4194304 4650419 140736729577136 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (KiB) 1577692

[startup+25.5008 s]
/proc/loadavg: 7.21 5.81 5.48 9/188 32386
/proc/meminfo: memFree=16590212/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=1763000 CPUtime=99.79 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 429855 0 0 0 9674 305 0 0 25 0 4 0 515380993 1805312000 383879 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315168 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 440750 383879 391 112 0 435715 0
[pid=32382/tid=32383] ppid=32380 vsize=1763000 CPUtime=24.85 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 114031 0 0 0 2405 80 0 0 25 0 4 0 515380993 1805312000 383879 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=1763000 CPUtime=24.96 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 109407 0 0 0 2424 72 0 0 25 0 4 0 515380993 1805312000 383879 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=1763000 CPUtime=24.98 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 91519 0 0 0 2427 71 0 0 25 0 4 0 515380993 1805312000 383879 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.79
Current children cumulated vsize (KiB) 1763000

[startup+51.101 s]
/proc/loadavg: 7.56 6.00 5.55 9/188 32387
/proc/meminfo: memFree=15026184/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=1959632 CPUtime=202.05 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 447890 0 0 0 19893 312 0 0 25 0 4 0 515380993 2006663168 401914 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 489908 401914 391 112 0 484873 0
[pid=32382/tid=32383] ppid=32380 vsize=1959632 CPUtime=50.32 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 118883 0 0 0 4950 82 0 0 25 0 4 0 515380993 2006663168 401914 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=1959632 CPUtime=50.55 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 114355 0 0 0 4981 74 0 0 25 0 4 0 515380993 2006663168 401914 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=1959632 CPUtime=50.57 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 95362 0 0 0 4985 72 0 0 25 0 4 0 515380993 2006663168 401915 33554432000 4194304 4650419 140736729577136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.05
Current children cumulated vsize (KiB) 1959632

[startup+102.301 s]
/proc/loadavg: 7.99 6.39 5.71 10/188 32388
/proc/meminfo: memFree=14323096/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=2006004 CPUtime=406.59 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 500687 0 0 0 40328 331 0 0 25 0 4 0 515380993 2054148096 404060 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 501501 404060 395 112 0 496466 0
[pid=32382/tid=32383] ppid=32380 vsize=2006004 CPUtime=101.24 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 132470 0 0 0 10038 86 0 0 25 0 4 0 515380993 2054148096 404060 33554432000 4194304 4650419 140736729577136 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=2006004 CPUtime=101.76 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 130197 0 0 0 10097 79 0 0 25 0 4 0 515380993 2054148096 404060 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=2006004 CPUtime=101.78 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 106804 0 0 0 10102 76 0 0 25 0 4 0 515380993 2054148096 404060 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.59
Current children cumulated vsize (KiB) 2006004

[startup+162.3 s]
/proc/loadavg: 8.17 6.74 5.87 10/188 32390
/proc/meminfo: memFree=12838908/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3020740 CPUtime=646.2 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 780644 0 0 0 64223 397 0 0 25 0 4 0 515380993 3093237760 629071 33554432000 4194304 4650419 140736729577136 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 755185 629072 395 112 0 750150 0
[pid=32382/tid=32383] ppid=32380 vsize=3020740 CPUtime=160.9 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 204497 0 0 0 15983 107 0 0 25 0 4 0 515380993 3093237760 629072 33554432000 4194304 4650419 140736729577136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3020740 CPUtime=161.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 145831 0 0 0 16091 84 0 0 25 0 4 0 515380993 3093237760 629072 33554432000 4194304 4650419 140736729577136 18446744073709551615 4244991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3020740 CPUtime=161.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 241624 0 0 0 16074 103 0 0 25 0 4 0 515380993 3093237760 629072 33554432000 4194304 4650419 140736729577136 18446744073709551615 4441275 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.2
Current children cumulated vsize (KiB) 3020740

[startup+222.307 s]
/proc/loadavg: 8.43 7.07 6.04 10/188 32392
/proc/meminfo: memFree=12665320/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3003028 CPUtime=885.89 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 894432 0 0 0 88165 424 0 0 25 0 4 0 515380993 3075100672 635202 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363683 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 750757 635202 395 112 0 745722 0
[pid=32382/tid=32383] ppid=32380 vsize=3003028 CPUtime=220.58 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 271300 0 0 0 21940 118 0 0 25 0 4 0 515380993 3075100672 635202 33554432000 4194304 4650419 140736729577136 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3003028 CPUtime=221.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 161690 0 0 0 22085 90 0 0 25 0 4 0 515380993 3075100672 635202 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3003028 CPUtime=221.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 252958 0 0 0 22069 108 0 0 25 0 4 0 515380993 3075100672 635202 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.89
Current children cumulated vsize (KiB) 3003028

[startup+282.3 s]
/proc/loadavg: 8.36 7.29 6.17 10/188 32393
/proc/meminfo: memFree=12444128/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3003020 CPUtime=1125.53 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 930525 0 0 0 112116 437 0 0 25 0 4 0 515380993 3075092480 647497 33554432000 4194304 4650419 140736729577136 18446744073709551615 4436457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 750755 647497 395 112 0 745720 0
[pid=32382/tid=32383] ppid=32380 vsize=3003020 CPUtime=280.24 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 281169 0 0 0 27904 120 0 0 25 0 4 0 515380993 3075092480 647497 33554432000 4194304 4650419 140736729577136 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3003020 CPUtime=281.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 171511 0 0 0 28081 94 0 0 25 0 4 0 515380993 3075092480 647497 33554432000 4194304 4650419 140736729577136 18446744073709551615 4367325 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3003020 CPUtime=281.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 262848 0 0 0 28065 112 0 0 25 0 4 0 515380993 3075092480 647497 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (KiB) 3003020

[startup+342.301 s]
/proc/loadavg: 8.31 7.46 6.30 10/188 32395
/proc/meminfo: memFree=11923568/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3068564 CPUtime=1365.19 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 974385 0 0 0 136068 451 0 0 25 0 4 0 515380993 3142209536 669983 33554432000 4194304 4650419 140736729577136 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 767141 669983 395 112 0 762106 0
[pid=32382/tid=32383] ppid=32380 vsize=3068564 CPUtime=339.92 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 294398 0 0 0 33868 124 0 0 25 0 4 0 515380993 3142209536 669983 33554432000 4194304 4650419 140736729577136 18446744073709551615 4253636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3068564 CPUtime=341.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 184149 0 0 0 34077 98 0 0 25 0 4 0 515380993 3142209536 669983 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364941 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3068564 CPUtime=341.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 269676 0 0 0 34063 114 0 0 25 0 4 0 515380993 3142209536 669983 33554432000 4194304 4650419 140736729577136 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1365.19
Current children cumulated vsize (KiB) 3068564

[startup+402.301 s]
/proc/loadavg: 8.34 7.62 6.42 10/188 32396
/proc/meminfo: memFree=11397252/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3736212 CPUtime=1604.87 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1105657 0 0 0 160001 486 0 0 25 0 4 0 515380993 3825881088 770469 33554432000 4194304 4650419 140736729577136 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 934053 770469 395 112 0 929018 0
[pid=32382/tid=32383] ppid=32380 vsize=3736212 CPUtime=399.59 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 305264 0 0 0 39831 128 0 0 25 0 4 0 515380993 3825881088 770469 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3736212 CPUtime=401.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 195781 0 0 0 40071 104 0 0 25 0 4 0 515380993 3825881088 770469 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3736212 CPUtime=401.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 358293 0 0 0 40043 134 0 0 25 0 4 0 515380993 3825881088 770469 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1604.87
Current children cumulated vsize (KiB) 3736212

[startup+462.301 s]
/proc/loadavg: 8.25 7.72 6.53 10/188 32398
/proc/meminfo: memFree=11275516/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3736212 CPUtime=1844.54 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1137116 0 0 0 183952 502 0 0 25 0 4 0 515380993 3825881088 779774 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 934053 779774 395 112 0 929018 0
[pid=32382/tid=32383] ppid=32380 vsize=3736212 CPUtime=459.26 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 311205 0 0 0 45795 131 0 0 25 0 4 0 515380993 3825881088 779774 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3736212 CPUtime=461.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 208366 0 0 0 46064 111 0 0 25 0 4 0 515380993 3825881088 779774 33554432000 4194304 4650419 140736729577136 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3736212 CPUtime=461.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 366201 0 0 0 46040 137 0 0 25 0 4 0 515380993 3825881088 779774 33554432000 4194304 4650419 140736729577136 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1844.54
Current children cumulated vsize (KiB) 3736212

[startup+522.301 s]
/proc/loadavg: 8.26 7.81 6.64 10/188 32400
/proc/meminfo: memFree=11220040/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3801748 CPUtime=2084.21 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1167446 0 0 0 207905 516 0 0 25 0 4 0 515380993 3892989952 789627 33554432000 4194304 4650419 140736729577136 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 950437 789627 395 112 0 945402 0
[pid=32382/tid=32383] ppid=32380 vsize=3801748 CPUtime=518.93 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 321283 0 0 0 51758 135 0 0 25 0 4 0 515380993 3892989952 789627 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3801748 CPUtime=521.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 218139 0 0 0 52060 115 0 0 25 0 4 0 515380993 3892989952 789627 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3801748 CPUtime=521.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 373568 0 0 0 52036 141 0 0 25 0 4 0 515380993 3892989952 789627 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2084.21
Current children cumulated vsize (KiB) 3801748

[startup+582.301 s]
/proc/loadavg: 8.15 7.86 6.72 9/188 32401
/proc/meminfo: memFree=11009772/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3896852 CPUtime=2323.88 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1194967 0 0 0 231860 528 0 0 25 0 4 0 515380993 3990376448 800156 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 974213 800156 395 112 0 969178 0
[pid=32382/tid=32383] ppid=32380 vsize=3896852 CPUtime=578.6 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 326140 0 0 0 57721 139 0 0 25 0 4 0 515380993 3990376448 800156 33554432000 4194304 4650419 140736729577136 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3896852 CPUtime=581.74 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 223186 0 0 0 58058 116 0 0 25 0 4 0 515380993 3990376448 800156 33554432000 4194304 4650419 140736729577136 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3896852 CPUtime=581.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 380774 0 0 0 58033 144 0 0 25 0 4 0 515380993 3990376448 800156 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2323.88
Current children cumulated vsize (KiB) 3896852

[startup+642.3 s]
/proc/loadavg: 8.16 7.91 6.81 10/188 32403
/proc/meminfo: memFree=10714408/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=4041720 CPUtime=2563.55 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1230008 0 0 0 255812 543 0 0 25 0 4 0 515380993 4138721280 816087 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 1010430 816087 395 112 0 1005395 0
[pid=32382/tid=32383] ppid=32380 vsize=4041720 CPUtime=638.28 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 335589 0 0 0 63684 144 0 0 25 0 4 0 515380993 4138721280 816087 33554432000 4194304 4650419 140736729577136 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=4041720 CPUtime=641.76 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 232740 0 0 0 64055 121 0 0 25 0 4 0 515380993 4138721280 816087 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=4041720 CPUtime=641.78 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 388319 0 0 0 64030 148 0 0 25 0 4 0 515380993 4138721280 816087 33554432000 4194304 4650419 140736729577136 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.55
Current children cumulated vsize (KiB) 4041720

[startup+702.3 s]
/proc/loadavg: 8.27 7.99 6.90 10/188 32404
/proc/meminfo: memFree=10437048/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=3952460 CPUtime=2803.21 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) R 32380 32382 31354 0 -1 4202496 1255946 0 0 0 279768 553 0 0 25 0 4 0 515380993 4047319040 827785 33554432000 4194304 4650419 140736729577136 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 988115 827785 395 112 0 983080 0
[pid=32382/tid=32383] ppid=32380 vsize=3952460 CPUtime=697.95 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 337843 0 0 0 69650 145 0 0 25 0 4 0 515380993 4047319040 827785 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=3952460 CPUtime=701.75 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 241609 0 0 0 70052 123 0 0 25 0 4 0 515380993 4047319040 827785 33554432000 4194304 4650419 140736729577136 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=3952460 CPUtime=701.77 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (strangenight1-m) R 32380 32382 31354 0 -1 4202560 394573 0 0 0 70026 151 0 0 25 0 4 0 515380993 4047319040 827785 33554432000 4194304 4650419 140736729577136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.21
Current children cumulated vsize (KiB) 3952460

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

[startup+702.4 s]
/proc/loadavg: 8.27 7.99 6.90 10/188 32404
/proc/meminfo: memFree=10437048/32951124 swapFree=67111524/67111528
[pid=32382] ppid=32380 vsize=0 CPUtime=2803.45 cores=0,2,4,6
/proc/32382/stat : 32382 (strangenight1-m) Z 32380 32382 31354 0 -1 4203548 1255959 0 0 0 279787 558 0 0 25 0 2 0 515380993 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32382/statm: 0 0 0 0 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=0 CPUtime=701.85 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (strangenight1-m) R 32380 32382 31354 0 -1 4203588 241613 0 0 0 70057 128 0 0 25 0 2 0 515380993 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.45
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 702.493
CPU time (s): 2803.56
CPU user time (s): 2797.88
CPU system time (s): 5.68014
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 4041720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2797.88
system time used= 5.68014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1255959
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= 356178
involuntary context switches= 40801

runsolver used 1.02984 second user time and 2.80857 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 02:43:51
IDJOB=3285104
IDBENCH=82371
IDSOLVER=1588
FILE ID=node135/3285104-1304037826
RUNJOBID= node135-1304037739-32296
PBS_JOBID= 13170317
Free space on /tmp= 70944 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285104-1304037826/watcher-3285104-1304037826 -o /tmp/evaluation-result-3285104-1304037826/solver-3285104-1304037826 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3285104-1304037826.cnf

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

MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1726478002

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.75
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.851
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	: 6640.14
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.851
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.851
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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19666808 kB
Buffers:       1827552 kB
Cached:        8281732 kB
SwapCached:          4 kB
Active:        5074400 kB
Inactive:      7610020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19666808 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          168520 kB
Writeback:           0 kB
AnonPages:     2574296 kB
Mapped:          15596 kB
Slab:           531348 kB
PageTables:       9892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3033212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 70936 MiB
End job on node135 at 2011-04-29 02:55:34