Trace number 3400866

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-2-mt (fixed)UNSAT 32929.9 1032.5

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
MD5SUM5ba57e5cfd40b4a93356dbea5162016d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1029.96
Satisfiable
(Un)Satisfiability was proved
Number of variables570
Number of clauses4625
Sum of the clauses size9615
Maximum clause length6
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24531
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 590

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400866-1307085368.cnf'
0.00/0.06	c -- header says num vars:            570
0.00/0.06	c -- header says num clauses:        4625
1.43/0.08	c -- clauses added:            0 learnts,         4625 normals,            0 xors
1.43/0.08	c -- vars added        570
1.43/0.08	c Parsing time:  0.00 s
1.43/0.08	c  N st     0         0       570        93      4483         0      9518         0   no data   no data
1.43/0.08	c asymm  cl-useful: 0/92/92 lits-rem:0 time: 0.00
1.43/0.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.43/0.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.43/0.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.43/0.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.43/0.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
1.43/0.09	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1.86/0.14	c lits-rem:         0  cl-subs:        0  v-elim:     92  v-fix:    0  time:  0.01 s
1.86/0.14	c Finding binary XORs  T:     0.00 s  found:       0
1.86/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.86/0.15	c calculated reachability. Time: 0.00
1.86/0.15	c Calc default polars -  time:   0.00 s pos:       0 undec:     165 neg:     405
1.86/0.15	c =========================================================================================
1.86/0.15	c types(t): F = full restart, N = normal restart
1.86/0.15	c types(t): S = simplification begin/end, E = solution found
1.86/0.15	c restart types(rt): st = static, dy = dynamic
1.86/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.86/0.15	c  B st     0         0       405       532      3103         0      9853         0   no data   no data
1.86/0.28	c Decided on static restart strategy
1.86/0.58	c  N st     8      4916       405       532      3103      4874      9853    209283   no data   no data
1.86/0.99	c  N st    10     11300       405       532      3103      4530      9853    151916   no data   no data
39.00/1.34	c  N st    11     17043       405       532      3103     10213      9853    377470   no data   no data
58.72/2.00	c  F st    12     25002       405       532      3103     12506      9853    449644   no data   no data
58.72/2.00	c  N st    12     25002       405       532      3103     12506      9853    449644   no data   no data
70.90/2.36	c  N dy    18     30001       405       532      3103     10712      9853    326941   no data   no data
70.90/2.36	c  S st    18     30001       405       532      3103     10712      9853    326941   no data   no data
74.10/2.40	c  S st    18     30503       405       532      3103     11211      9853    345354   no data   no data
74.10/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.10/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.03
74.10/2.43	c blocked clauses removed:        0 vars:     14 tried:         598 T: 0.00 s
74.10/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.10/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.10/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
74.10/2.43	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
74.10/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
80.49/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
90.08/2.90	c lits-rem:       158  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.20 s
90.08/2.92	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.02
90.08/2.92	c calculated reachability. Time: 0.00
90.08/2.92	c  N dy    18     30503       391       532      2701     11056      9049    339958   no data   no data
109.28/3.54	c  N dy    34     36333       391       532      2701      8994      9049    236692     10.15     10.86
118.84/3.86	c  N dy    54     40376       391       532      2701     13020      9049    367975     10.37     11.53
132.28/4.24	c  N dy    68     44440       391       532      2701     17039      9049    481488     10.29     10.85
134.84/4.35	c  S st    71     45754       391       532      2701      9496      9049    198210     10.19      9.48
134.84/4.38	c  S st    71     46257       391       532      2701      9996      9049    216171     10.19   no data
134.84/4.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.00/4.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
138.00/4.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.00/4.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.00/4.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.00/4.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
138.00/4.40	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
138.00/4.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
141.21/4.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
141.21/4.57	c lits-rem:        15  cl-subs:      326  v-elim:      0  v-fix:    0  time:  0.05 s
141.21/4.57	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
141.21/4.58	c vivif2 --  cl tried     9670 cl shrink      122 lits rem        287 time: 0.00
141.21/4.59	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.01
141.21/4.59	c calculated reachability. Time: 0.00
141.21/4.59	c  N dy    71     46257       391       532      2701      9670      9049    212001     10.19   no data
150.81/4.85	c  N dy    82     50337       391       532      2701     13724      9049    336379     10.08     10.86
164.18/5.29	c  N dy   105     54428       391       532      2701     17780      9049    465257     10.17     12.69
176.36/5.68	c  N dy   126     58516       391       532      2701     11965      9049    266744     10.23     12.84
189.15/6.03	c  N dy   148     62518       391       532      2701     15936      9049    391390     10.30     11.26
211.53/6.75	c  N dy   160     69386       391       532      2701     11823      9049    215808     10.15      8.94
211.53/6.75	c  S st   160     69386       391       532      2701     11823      9049    215808     10.15      8.94
211.53/6.80	c  S st   160     69890       391       532      2701     12324      9049    233945     10.15   no data
211.53/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
214.73/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.02
214.73/6.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.73/6.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
214.73/6.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.73/6.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
214.73/6.82	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
214.73/6.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
217.92/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
217.92/6.97	c lits-rem:        23  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.04 s
217.92/6.97	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
217.92/6.98	c vivif2 --  cl tried    12056 cl shrink      142 lits rem        217 time: 0.00
217.92/6.99	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.02
217.92/6.99	c calculated reachability. Time: 0.00
217.92/6.99	c  N dy   160     69890       391       532      2701     12056      9049    230416     10.15   no data
234.50/7.44	c  N dy   174     74610       391       532      2701     16729      9049    352492     10.13     10.71
253.08/8.03	c  N dy   208     79577       391       532      2701     21664      9049    506808     10.20     10.82
269.65/8.57	c  N dy   224     84926       391       532      2701     15069      9049    278215     10.17     10.72
275.47/8.79	c  F st   232     87501       391       532      2701     17617      9049    345738     10.15   no data
285.03/9.08	c  N st   237     90800       391       532      2701     20893      9049    448130     10.15   no data
304.84/9.71	c  N dy   266     97263       391       532      2701     14433      9049    257121     10.23     11.05
326.59/10.33	c  N dy   296    103561       391       532      2701     20660      9049    428537     10.27     13.03
329.79/10.48	c  S st   304    104835       391       532      2701     21920      9049    464018     10.27      9.70
332.98/10.55	c  S st   304    105337       391       532      2701     22419      9049    480804     10.27   no data
332.98/10.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
332.98/10.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.04
332.98/10.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
332.98/10.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
332.98/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
332.98/10.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
332.98/10.59	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
336.19/10.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
343.20/10.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
348.96/11.07	c lits-rem:        69  cl-subs:      493  v-elim:      0  v-fix:    0  time:  0.20 s
348.96/11.07	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
348.96/11.08	c vivif2 --  cl tried    21926 cl shrink      688 lits rem       1493 time: 0.01
352.15/11.11	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.03
352.15/11.11	c calculated reachability. Time: 0.00
352.15/11.11	c  N dy   304    105337       391       532      2701     21926      9049    472068     10.27   no data
380.92/12.02	c  N dy   333    112318       391       532      2701     14962      9049    254430     10.28     10.85
406.54/12.83	c  N dy   357    120834       391       532      2701     23376      9049    473333     10.26     10.88
438.47/13.83	c  N dy   388    128565       391       532      2701     16202      9049    265728     10.26     10.82
470.43/14.85	c  N dy   426    136886       391       532      2701     24417      9049    477476     10.27     10.85
511.98/16.17	c  N dy   458    145889       391       532      2701     17501      9049    269021     10.26     10.81
547.15/17.27	c  N dy   495    155209       391       532      2701     26698      9049    513976     10.25     10.83
563.11/17.73	c  S st   510    158005       391       532      2701     29468      9049    585486     10.26      9.83
566.32/17.81	c  S st   510    158509       391       532      2701     29969      9049    602423     10.26   no data
566.32/17.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
566.32/17.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.07
566.32/17.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
566.32/17.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
566.32/17.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
566.32/17.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
566.32/17.89	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
566.32/17.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
575.91/18.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
589.33/18.52	c lits-rem:       179  cl-subs:      809  v-elim:      0  v-fix:    0  time:  0.33 s
589.33/18.52	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
589.33/18.54	c vivif2 --  cl tried    29160 cl shrink      943 lits rem       2153 time: 0.02
589.33/18.58	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.04
589.33/18.58	c calculated reachability. Time: 0.00
589.33/18.58	c  N dy   510    158509       391       532      2701     29160      9049    588602     10.26   no data
633.44/19.99	c  N dy   552    169446       391       532      2701     23133      9049    390604     10.26     10.81
684.59/21.52	c  N dy   602    180261       391       532      2701     33798      9049    664686     10.24     10.97
729.93/22.95	c  N dy   658    192273       391       532      2701     27952      9049    515175     10.25     11.01
793.26/24.97	c  N dy   707    205091       391       532      2701     21814      9049    322660     10.24     10.80
853.98/26.80	c  N dy   746    218416       391       532      2701     34925      9049    647203     10.20     10.75
911.52/28.62	c  N dy   796    232368       391       532      2701     28961      9049    487435     10.20     10.74
937.72/29.46	c  S st   821    237763       391       532      2701     34288      9049    623609     10.20   no data
940.93/29.55	c  S st   821    238269       391       532      2701     34793      9049    641900     10.20   no data
940.93/29.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
943.48/29.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.06
943.48/29.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
943.48/29.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
943.48/29.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
943.48/29.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
943.48/29.61	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
943.48/29.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
953.07/29.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.27 s
965.86/30.35	c lits-rem:       268  cl-subs:     1472  v-elim:      0  v-fix:    0  time:  0.41 s
965.86/30.35	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
965.86/30.37	c vivif2 --  cl tried    33321 cl shrink      822 lits rem       1775 time: 0.02
969.06/30.41	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.04
969.06/30.41	c calculated reachability. Time: 0.00
969.06/30.41	c  N dy   821    238269       391       532      2701     33321      9049    623321     10.20   no data
1039.36/32.63	c  N dy   878    253531       391       532      2701     27666      9049    447907     10.20     12.28
1135.25/35.66	c  N dy   974    269990       391       532      2701     22223      9049    297223     10.24     10.80
1222.18/38.37	c  N dy  1047    288305       391       532      2701     40291      9049    743147     10.23     10.82
1307.86/41.09	c  F st  1099    306251       391       532      2701     35254      9049    596910     10.20   no data
1311.06/41.18	c  N st  1101    306878       391       532      2701     35869      9049    615057     10.20   no data
1333.43/41.83	c Decided on static restart strategy
1438.92/45.18	c  N st  1109    334556       391       532      2701     39334      9049    937116     10.20   no data
1566.79/49.16	c  N st  1111    357403       391       532      2701     36974      9049    833868     10.20   no data
1566.79/49.16	c  S st  1111    357403       391       532      2701     36974      9049    833868     10.20   no data
1570.61/49.26	c  S st  1111    357908       391       532      2701     37475      9049    850750     10.20   no data
1570.61/49.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1573.81/49.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.09
1573.81/49.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1573.81/49.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1573.81/49.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1573.81/49.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1573.81/49.35	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1573.81/49.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1589.17/49.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.44 s
1633.92/51.25	c lits-rem:       891  cl-subs:     3447  v-elim:      0  v-fix:    0  time:  1.38 s
1633.92/51.25	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
1633.92/51.27	c vivif2 --  cl tried    34028 cl shrink      998 lits rem       1998 time: 0.03
1637.11/51.33	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.06
1637.11/51.33	c calculated reachability. Time: 0.00
1637.11/51.33	c  N st  1111    357908       391       532      2701     34028      9049    791026     10.20   no data
1809.72/56.72	c  N st  1112    390300       391       532      2701     40186      9049    864083     10.20   no data
2103.79/65.99	c  N st  1113    438888       391       532      2701     33846      9049    654201     10.20   no data
2474.54/77.58	c  N st  1114    511771       391       532      2701     47319      9049   1061357     10.20   no data
2628.60/82.36	c  N st  1115    536862       391       532      2701     41691      9049    855877     10.20   no data
2628.60/82.36	c  S st  1115    536862       391       532      2701     41691      9049    855877     10.20   no data
2631.16/82.49	c  S st  1115    537363       391       532      2701     42189      9049    871780     10.20   no data
2631.16/82.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2637.56/82.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.13
2637.56/82.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2637.56/82.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2637.56/82.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2637.56/82.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2637.56/82.63	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2637.56/82.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2653.55/83.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.40 s
2685.51/84.19	c lits-rem:       521  cl-subs:     1189  v-elim:      0  v-fix:    0  time:  1.09 s
2685.51/84.19	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
2688.71/84.22	c vivif2 --  cl tried    41000 cl shrink      417 lits rem        904 time: 0.02
2691.91/84.32	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.10
2691.91/84.32	c calculated reachability. Time: 0.00
2691.91/84.32	c  N st  1115    537363       391       532      2701     41000      9049    846064     10.20   no data
3817.01/119.52	c  N st  1116    701347       391       532      2701     35436      9049    601022     10.20   no data
4692.84/146.98	c  N st  1117    806044       391       532      2702     64287      9049   1468384     10.20   no data
4692.84/146.98	c  S st  1117    806044       391       532      2702     64287      9049   1468384     10.20   no data
4703.05/147.24	c  S st  1117    806546       391       532      2702     64787      9049   1486366     10.20   no data
4703.05/147.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4708.81/147.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.2M T:  0.24
4708.81/147.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4708.81/147.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4708.81/147.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4708.81/147.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4708.81/147.49	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4712.01/147.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4743.98/148.58	c subs with bin:       47  lits-rem:       628  v-fix:    0  time:  0.97 s
4859.03/152.19	c lits-rem:      1240  cl-subs:     3966  v-elim:      0  v-fix:    0  time:  3.61 s
4859.03/152.19	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
4862.22/152.23	c vivif2 --  cl tried    60774 cl shrink     1655 lits rem       3162 time: 0.04
4868.63/152.41	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.18
4868.63/152.41	c calculated reachability. Time: 0.00
4868.63/152.41	c  N st  1117    806546       391       532      2702     60774      9049   1404879     10.20   no data
7016.67/219.63	c  F st  1118   1071878       391       532      2703     76620      9049   1801126     10.20   no data
7016.67/219.63	c  N st  1118   1071878       391       532      2703     76620      9049   1801126     10.20   no data
7096.57/222.11	c Decided on static restart strategy
7320.34/229.11	c  N st  1128   1100184       391       532      2709     60434      9049   1196822     10.20   no data
7732.51/242.00	c  N st  1130   1136177       391       532      2710     50604      9049    861910     10.20   no data
7997.49/250.34	c  N st  1131   1168569       391       532      2711     81853      9049   1677200     10.20   no data
8447.56/264.41	c  N st  1132   1209819       391       532      2712     76296      9049   1630125     10.20   no data
8447.56/264.41	c  S st  1132   1209819       391       532      2712     76296      9049   1630125     10.20   no data
8457.15/264.74	c  S st  1132   1210325       391       532      2712     76796      9049   1647943     10.20   no data
8457.15/264.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
8466.73/265.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.7M T:  0.31
8466.73/265.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8466.73/265.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8466.73/265.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8466.73/265.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
8466.73/265.07	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
8466.73/265.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
8508.29/266.36	c subs with bin:      321  lits-rem:      1866  v-fix:    0  time:  1.16 s
8684.07/271.82	c lits-rem:      1443  cl-subs:     3864  v-elim:      0  v-fix:    0  time:  5.46 s
8684.07/271.82	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
8684.07/271.89	c vivif2 --  cl tried    72611 cl shrink     4665 lits rem      13489 time: 0.07
8693.67/272.16	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.27
8693.67/272.17	c calculated reachability. Time: 0.00
8693.67/272.17	c  N st  1132   1210325       391       532      2712     72611      9049   1548311     10.20   no data
9511.99/297.73	c  N st  1133   1283207       391       532      2712     49078      9049    788870     10.20   no data
10742.64/336.29	c  N st  1134   1392530       391       532      2712     57136      9049    995660     10.20   no data
12487.92/390.81	c  N st  1135   1556514       391       532      2717     62027      9049   1086303     10.20   no data
14469.73/452.84	c  N st  1136   1710326       391       532      2720    104005      9049   2428939     10.20   no data
14469.73/452.84	c  S st  1136   1710326       391       532      2720    104005      9049   2428939     10.20   no data
14469.73/452.84	c Finding binary XORs  T:     0.00 s  found:       0
14485.69/453.35	c  S st  1136   1710831       391       532      2725    104510      9049   2448041     10.20   no data
14485.69/453.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
14504.88/453.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.57
14504.88/453.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14504.88/453.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14504.88/453.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14504.88/453.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
14504.88/453.94	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
14504.88/453.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
14594.38/456.73	c subs with bin:      457  lits-rem:      6818  v-fix:    0  time:  2.59 s
14949.20/467.82	c lits-rem:      3524  cl-subs:     2991  v-elim:      0  v-fix:    0  time: 11.09 s
14949.20/467.82	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
14952.40/467.92	c vivif2 --  cl tried   101062 cl shrink     4731 lits rem       8916 time: 0.10
14961.99/468.32	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.40
14965.78/468.32	c calculated reachability. Time: 0.00
14965.78/468.32	c  N st  1136   1710831       391       532      2725    101062      9049   2359736     10.20   no data
20053.98/627.54	c  N st  1137   2079796       391       532      2726    112494      9049   2429915     10.20   no data
21927.73/686.15	c  N st  1138   2210835       389       532      2737    115796      9049   2430277     10.20   no data
21927.73/686.15	c  S st  1138   2210835       389       532      2737    115796      9049   2430277     10.20   no data
21943.10/686.66	c  S st  1138   2211339       388       532      2744    116300      9049   2446748     10.20   no data
21943.10/686.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
21962.89/687.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  9.3M T:  0.55
21962.89/687.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21962.89/687.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21962.89/687.24	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
21962.89/687.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
21962.89/687.24	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
21962.89/687.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
22064.58/690.47	c subs with bin:     1353  lits-rem:      9773  v-fix:    0  time:  3.01 s
22636.72/708.31	c lits-rem:      4680  cl-subs:    12504  v-elim:      0  v-fix:    0  time: 17.83 s
22636.72/708.31	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
22636.72/708.38	c vivif2 --  cl tried    99622 cl shrink     2059 lits rem       3920 time: 0.07
22649.52/708.74	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.36
22649.52/708.74	c calculated reachability. Time: 0.00
22649.52/708.74	c  N st  1138   2211339       388       532      2625     99622      8753   2079267     10.20   no data
22649.52/708.74	c Finding binary XORs  T:     0.00 s  found:       0
30695.11/960.43	c  N st  1139   2711339       388       532      2627    125952      8753   2701818     10.20   no data
30695.11/960.43	c  S st  1139   2711339       388       532      2627    125952      8753   2701818     10.20   no data
30701.51/960.64	c Finding binary XORs  T:     0.00 s  found:       0
30714.30/961.05	c  S st  1139   2711842       375       521      2217     77780      7684   1407830     10.20   no data
30714.30/961.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30727.07/961.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  7.1M T:  0.36
30727.07/961.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30727.07/961.43	c bin-w-bin subsume rem            2 bins  time:  0.00 s
30727.07/961.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30727.07/961.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    375 time:  0.00 s
30727.07/961.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
30727.07/961.46	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.03 s
30768.64/962.77	c subs with bin:      801  lits-rem:      8980  v-fix:    0  time:  1.22 s
30893.93/966.68	c lits-rem:      2351  cl-subs:     1107  v-elim:      0  v-fix:    0  time:  3.92 s
30893.93/966.68	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
30897.13/966.74	c vivif2 --  cl tried    73485 cl shrink     4521 lits rem       5904 time: 0.05
30906.09/967.02	c asymm  cl-useful: 0/521/521 lits-rem:0 time: 0.28
30906.09/967.03	c calculated reachability. Time: 0.00
30906.09/967.03	c  N st  1139   2711842       369       521      2208     73485      7672   1316810     10.20   no data
32929.38/1032.17	c Following stats are for *FIRST FINISHED THREAD ONLY*
32929.38/1032.17	c num threads              : 32         
32929.38/1032.17	c restarts                 : 7072       
32929.38/1032.17	c dynamic restarts         : 7014       
32929.38/1032.17	c static restarts          : 58         
32929.38/1032.17	c full restarts            : 4          
32929.38/1032.17	c total simplify time      : 0.74       
32929.38/1032.17	c learnts DL2              : 0          
32929.38/1032.17	c learnts size 2           : 4863       
32929.38/1032.17	c learnts size 1           : 140         (24.56     % of vars)
32929.38/1032.17	c filedLit time            : 1.45        (0.14      % time)
32929.38/1032.17	c v-elim SatELite          : 125         (21.93     % vars)
32929.38/1032.17	c SatELite time            : 24.37       (2.36      % time)
32929.38/1032.17	c v-elim xor               : 0           (0.00      % vars)
32929.38/1032.17	c xor elim time            : 0.05        (0.00      % time)
32929.38/1032.17	c num binary xor trees     : 0          
32929.38/1032.17	c binxor trees' crown      : 0           (nan       leafs/tree)
32929.38/1032.17	c bin xor find time        : 0.01       
32929.38/1032.17	c OTF clause improved      : 65421       (0.02      clauses/conflict)
32929.38/1032.17	c OTF impr. size diff      : 72079       (1.10       lits/clause)
32929.38/1032.17	c OTF cl watch-shrink      : 1673976     (0.61      clauses/conflict)
32929.38/1032.17	c OTF cl watch-sh-lit      : 5191913     (3.10       lits/clause)
32929.38/1032.17	c tried to recurMin cls    : 484366      (17.66      % of conflicts)
32929.38/1032.17	c updated cache            : 5505        (0.01       lits/tried recurMin)
32929.38/1032.17	c unit cls recevied        : 31          (22.14     % of units)
32929.38/1032.17	c unit cls sent            : 0           (0.00      % of units)
32929.38/1032.17	c bin cls recevied         : 294        
32929.38/1032.17	c bin cls sent             : 53         
32929.38/1032.17	c clauses over max glue    : 0           (0.00      % of all clauses)
32929.38/1032.17	c conflicts                : 2742256     (2658.66   / sec)
32929.38/1032.17	c decisions                : 3785198     (1.95      % random)
32929.38/1032.17	c bogo-props               : 78945594317 (76539112.99 / sec)
32929.38/1032.17	c conflict literals        : 74896693    (35.57     % deleted)
32929.38/1032.17	c Memory used              : 3786.16     MB
32929.38/1032.17	c single-thread CPU time   : 1031.44     s
32929.38/1032.17	c all-threads sum CPU time : 32914.78    s
32929.38/1032.17	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: 977)

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-3400866-1307085368/watcher-3400866-1307085368 -o /tmp/evaluation-result-3400866-1307085368/solver-3400866-1307085368 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400866-1307085368.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=338000 CPUtime=0.87 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) R 12980 12982 12956 0 -1 4202496 467 0 0 0 87 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020898216 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/12982/statm: 84500 406 300 95 0 79482 0
[pid=12982/tid=12983] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 4 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897821 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0672681 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=1125784 CPUtime=1.43 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 1780 0 0 0 138 5 0 0 25 0 32 0 14449194 1152802816 1579 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/12982/statm: 281446 1580 331 95 0 276428 0
[pid=12982/tid=12983] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 73 0 0 0 4 0 0 0 18 0 32 0 14449194 1152802816 1584 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 67 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1595 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 99 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1603 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 30 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1603 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1612 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604490342202848 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1615 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 49 0 0 0 4 0 0 0 18 0 32 0 14449194 1152802816 1622 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 30 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1630 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1631 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604499285949920 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 69 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1635 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650614988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 29 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1649 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1650 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604468440210912 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 26 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1658 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604481130986976 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 44 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1660 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 48 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1667 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1671 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604506417806816 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 40 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1671 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1678 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604462202732000 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 71 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1680 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 27 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1684 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 59 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1695 268435456000 4194304 4580107 140733994169936 18446744073709551615 4307681 0 0 4096 2 6 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 86 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1699 268435456000 4194304 4580107 140733994169936 18446744073709551615 4292816 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 25 0 32 0 14449195 1152942080 1706 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 19 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 18 0 32 0 14449195 1152942080 1711 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 29 0 0 0 4 0 0 0 17 0 32 0 14449195 1152942080 1715 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566931544 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 57 0 0 0 4 0 0 0 18 0 32 0 14449195 1161342976 1722 268435456000 4194304 4580107 140733994169936 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 38 0 0 0 4 0 0 0 17 0 32 0 14449195 1161342976 1729 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604499110198752 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=1134124 CPUtime=0.02 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 26 0 0 0 2 0 0 0 17 0 32 0 14449195 1161342976 1738 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604471645576672 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=1134124 CPUtime=0.03 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 61 0 0 0 3 0 0 0 17 0 32 0 14449195 1161342976 1741 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 294912 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=1134124 CPUtime=0.03 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 39 0 0 0 3 0 0 0 17 0 32 0 14449195 1161342976 1743 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604501150383584 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 17 0 32 0 14449195 1161342976 1751 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604466407013856 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 1125784

[startup+0.103333 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=1389104 CPUtime=1.86 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) R 12980 12982 12956 0 -1 4202496 3802 0 0 0 158 28 0 0 17 0 32 0 14449194 1422442496 3601 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12982/statm: 347276 3604 371 95 0 342258 0
[pid=12982/tid=12983] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 131 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3604 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 112 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3606 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 164 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3607 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 85 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3612 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604486011108832 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 113 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3615 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 85 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3618 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604483999563232 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 4 1 0 0 17 0 32 0 14449194 1422442496 3619 268435456000 4194304 4580107 140733994169936 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 120 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3621 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3627 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 129 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 95 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566933024 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 108 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 93 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3631 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930944 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3632 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566931544 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3633 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3636 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650623218 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31

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

/proc/12982/task/13006/stat : 13006 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 66467 0 0 0 102888 43 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3850136 CPUtime=1029.31 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 53632 0 0 0 102899 32 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3850136 CPUtime=1029.3 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 133236 0 0 0 102859 71 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3850136 CPUtime=1029.31 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 102884 47 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3850136 CPUtime=1029.29 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 75181 0 0 0 102885 44 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3850136 CPUtime=1029.29 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77302 0 0 0 102887 42 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3850136 CPUtime=1029.28 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 47206 0 0 0 102901 27 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3850136 CPUtime=1029.24 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 76484 0 0 0 102882 42 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32907.1
Current children cumulated vsize (KiB) 3850136

[startup+1031.2 s]
/proc/loadavg: 32.29 32.08 32.00 4/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=3877024 CPUtime=32927.6 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 2579169 0 0 0 3291283 1475 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 969256 741179 377 95 0 964238 0
[pid=12982/tid=12983] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 62142 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471645576672 0 0 -1 10 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=3877024 CPUtime=1029.28 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 82087 0 0 0 102884 44 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604468440210912 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 54223 0 0 0 102962 26 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441539689952 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=3877024 CPUtime=1029.62 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74937 0 0 0 102912 50 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604467523050976 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64987 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503961075168 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92831 0 0 0 102937 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604486011108832 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72078 0 0 0 102948 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604500336827872 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 70586 0 0 0 102946 41 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496730185184 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64181 0 0 0 102951 38 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462202732000 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72907 0 0 0 102944 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604501462662624 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 86541 0 0 0 102941 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604490342202848 0 0 -1 7 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 68650 0 0 0 102949 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604506417806816 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89190 0 0 0 102933 53 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462009302496 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 97017 0 0 0 102930 56 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471673503200 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=3877024 CPUtime=1030.2 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 100779 0 0 0 102959 61 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496679419360 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 88134 0 0 0 102935 51 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466509315552 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92223 0 0 0 102940 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744071566927024 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74170 0 0 0 102945 42 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604445572234720 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 73540 0 0 0 102937 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498468355552 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=3877024 CPUtime=1030.9 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 88727 0 0 0 103047 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020873412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91273 0 0 0 102939 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441126215136 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=3877024 CPUtime=1028.77 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 102061 0 0 0 102819 58 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604530826198496 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=3877024 CPUtime=1000.97 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 108813 0 0 0 100037 60 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604444808207840 0 0 -1 31 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 66467 0 0 0 102944 43 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498810871264 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 53667 0 0 0 102955 32 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604483999563232 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 133259 0 0 0 102915 71 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466035310048 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3877024 CPUtime=1030.9 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 103043 47 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 4416741 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 75181 0 0 0 102941 44 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466407013856 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 77302 0 0 0 102944 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441275727328 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 47206 0 0 0 102957 27 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503605272032 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3877024 CPUtime=1029.8 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 76484 0 0 0 102938 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604481130986976 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32927.6
Current children cumulated vsize (KiB) 3877024

[startup+1032 s]
/proc/loadavg: 32.29 32.08 32.00 3/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=3877024 CPUtime=32929.2 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 2579169 0 0 0 3291443 1475 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 969256 741179 377 95 0 964238 0
[pid=12982/tid=12983] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 62142 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471645576672 0 0 -1 10 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=3877024 CPUtime=1029.28 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 82087 0 0 0 102884 44 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604468440210912 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 54223 0 0 0 102962 26 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441539689952 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=3877024 CPUtime=1029.62 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74937 0 0 0 102912 50 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604467523050976 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64987 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503961075168 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92831 0 0 0 102937 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604486011108832 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72078 0 0 0 102948 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604500336827872 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 70586 0 0 0 102946 41 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496730185184 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64181 0 0 0 102951 38 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462202732000 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72907 0 0 0 102944 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604501462662624 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 86541 0 0 0 102941 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604490342202848 0 0 -1 7 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 68650 0 0 0 102949 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604506417806816 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89190 0 0 0 102933 53 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462009302496 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 97017 0 0 0 102930 56 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471673503200 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=3877024 CPUtime=1030.2 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 100779 0 0 0 102959 61 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496679419360 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 88134 0 0 0 102935 51 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466509315552 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92223 0 0 0 102940 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744071566927024 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74170 0 0 0 102945 42 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604445572234720 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 73540 0 0 0 102937 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498468355552 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=3877024 CPUtime=1031.7 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 88727 0 0 0 103127 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020873259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91273 0 0 0 102939 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441126215136 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=3877024 CPUtime=1028.77 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 102061 0 0 0 102819 58 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604530826198496 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=3877024 CPUtime=1000.97 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 108813 0 0 0 100037 60 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604444808207840 0 0 -1 31 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 66467 0 0 0 102944 43 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498810871264 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 53667 0 0 0 102955 32 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604483999563232 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 133259 0 0 0 102915 71 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466035310048 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3877024 CPUtime=1031.7 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 103123 47 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 4416041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 75181 0 0 0 102941 44 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466407013856 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 77302 0 0 0 102944 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441275727328 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 47206 0 0 0 102957 27 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503605272032 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3877024 CPUtime=1029.8 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 76484 0 0 0 102938 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604481130986976 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32929.2
Current children cumulated vsize (KiB) 3877024

[startup+1032.4 s]
/proc/loadavg: 32.29 32.08 32.00 3/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=0 CPUtime=32929.8 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) Z 12980 12982 12956 0 -1 4203548 2579225 0 0 0 3291477 1498 0 0 18 0 2 0 14449194 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 0 0 0 0 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=0 CPUtime=1030.09 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) R 12980 12982 12956 0 -1 4203588 89190 0 0 0 102933 76 0 0 18 0 2 0 14449194 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 32929.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1032.5
CPU time (s): 32929.9
CPU user time (s): 32914.8
CPU system time (s): 15.0807
CPU usage (%): 3189.34
Max. virtual memory (cumulated for all children) (KiB): 4154828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32914.8
system time used= 15.0807
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2579225
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= 41578
involuntary context switches= 70422

runsolver used 6.51501 second user time and 22.4896 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 09:16:08
IDJOB=3400866
IDBENCH=84808
IDSOLVER=1886
FILE ID=node200/3400866-1307085368
RUNJOBID= node200-1307085368-12970
PBS_JOBID= 13497888
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400866-1307085368/watcher-3400866-1307085368 -o /tmp/evaluation-result-3400866-1307085368/solver-3400866-1307085368 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400866-1307085368.cnf

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

MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=319244476

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.043
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.08
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.043
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.05
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.043
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.043
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.14
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.043
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.06
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.043
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	: 3989.96
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.043
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.09
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.043
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.05
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.043
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.043
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	: 3990.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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	: 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.043
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.08
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.043
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.35
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.043
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.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263038944 kB
Buffers:         96004 kB
Cached:         930032 kB
SwapCached:       8336 kB
Active:         103204 kB
Inactive:       941224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263038944 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            5856 kB
Writeback:           0 kB
AnonPages:       16392 kB
Mapped:           7292 kB
Slab:            87240 kB
PageTables:       5264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185044 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= 61740 MiB
End job on node200 at 2011-06-03 09:33:21