Trace number 3400673

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 7877.05 251.397

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
MD5SUMeb4d0d02a25a8a84182ddd3b6d1fa8b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2101.44
Satisfiable
(Un)Satisfiability was proved
Number of variables33090
Number of clauses165828
Sum of the clauses size478271
Maximum clause length9
Minimum clause length1
Number of clauses of size 14268
Number of clauses of size 241089
Number of clauses of size 397665
Number of clauses of size 415752
Number of clauses of size 56916
Number of clauses of size over 5138

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	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-3400673-1306327419.cnf'
2.17/0.10	c -- header says num vars:          33090
2.17/0.10	c -- header says num clauses:      165828
16.32/1.02	c -- clauses added:            0 learnts,       165828 normals,            0 xors
16.32/1.02	c -- vars added      33090
16.32/1.02	c Parsing time:  0.22 s
16.32/1.02	c  N st     0         0     33090    113191     41048         0    451185         0   no data   no data
37.59/1.71	c asymm  cl-useful: 1343/2929/109085 lits-rem:1346 time: 0.59
74.81/4.56	c Flit:   116 Blit:     48 bXBeca:    0 bXProp: 10766 Bins:      0 BRemL:      0 BRemN:      0 P: 11.1M T:  1.19
81.21/4.76	c Cleaning up after failed var search:     0.20 s 
84.40/4.84	c Replacing    10766 vars Replaced   212947 lits Time:     0.07 s 
92.12/5.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.12/5.15	c bin-w-bin subsume rem          969 bins  time:  0.02 s
93.52/5.27	c subs with bin:     1656  lits-rem:      1108  v-fix:    0  time:  0.03 s
94.80/5.33	c Subs w/ non-existent bins:     13 l-rem:      9 v-fix:     0 done:  16635 time:  0.05 s
94.80/5.36	c Removed useless bin:    1834  fixed:     0  props:   1.45M  time:  0.03 s
100.08/5.69	c lits-rem:      1395  cl-subs:     7572  v-elim:   5545  v-fix:    0  time:  0.21 s
102.85/5.73	c Finding binary XORs  T:     0.04 s  found:     961
102.85/5.79	c Replacing      961 vars Replaced    23449 lits Time:     0.03 s 
105.83/5.85	c Finding non-binary XORs:     0.03 s (found:    2599, avg size: 3.0)
105.83/5.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   180 time:   0.02
105.83/5.86	c calculated reachability. Time: 0.00
105.83/5.87	c Calc default polars -  time:   0.01 s pos:    2830 undec:   22961 neg:    7299
105.83/5.87	c =========================================================================================
105.83/5.87	c types(t): F = full restart, N = normal restart
105.83/5.87	c types(t): S = simplification begin/end, E = solution found
105.83/5.87	c restart types(rt): st = static, dy = dynamic
105.83/5.87	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
105.83/5.87	c  B st     0         0     10129     45731     17681         0    188013         0   no data   no data
121.55/6.39	c  N dy    13      4017     10123     45731     17858      3798    188008     39995      5.05      5.35
137.48/6.81	c  N dy    44      8244     10100     45731     21155      7836    188004     92952      5.50      5.84
140.66/6.92	c Finding binary XORs  T:     0.02 s  found:       2
150.27/7.26	c  N dy    72     12699     10029     44297     27149     11359    182849    148611      5.76      6.09
163.67/7.65	c Finding binary XORs  T:     0.02 s  found:       4
166.86/7.78	c  N dy   105     16802     10000     42593     26349     15018    176757    197997      6.03      6.38
182.19/8.28	c  N dy   139     20897      9987     42593     27384      9976    176754    102437      6.25      8.19
198.79/8.78	c  N dy   175     24977      9966     42593     28917     14024    176753    165934      6.46      6.97
198.79/8.79	c  F st   176     25001      9966     42593     28917     14048    176753    166354      6.46   no data
198.79/8.81	c Replacing       97 vars Replaced     2742 lits Time:     0.01 s 
201.98/8.82	c Found part       22 vars:          3 clauses:         1 lits size:         3
201.98/8.82	c Found part       23 vars:       9858 clauses:     60361 lits size:    171665
201.98/8.82	c Found parts:          2 time: 0.04 s
201.98/8.82	c Solving part 22
201.98/8.85	c  N st     0         0         3         1         0         0         3         0   no data   no data
201.98/8.85	c asymm  cl-useful: 0/1/1 lits-rem:0 time: 0.00
201.98/8.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
201.98/8.85	c Finding binary XORs  T:     0.00 s  found:       0
201.98/8.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
201.98/8.85	c calculated reachability. Time: 0.00
201.98/8.85	c Calc default polars -  time:   0.00 s pos:       3 undec:   33087 neg:       0
201.98/8.85	c =========================================================================================
201.98/8.85	c types(t): F = full restart, N = normal restart
201.98/8.85	c types(t): S = simplification begin/end, E = solution found
201.98/8.85	c restart types(rt): st = static, dy = dynamic
201.98/8.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
201.98/8.85	c  B st     0         0         3         1         0         0         3         0   no data   no data
201.98/8.85	c  E st     1         0         0         1         0         0         3         0   no data   no data
201.98/8.85	c Verified 1 clauses.
201.98/8.85	c Verified 1 clauses.
201.98/8.85	c Solved part
201.98/8.85	c =========================================================================================
201.98/8.86	c Coming back to original instance
201.98/8.86	c =========================================================================================
223.72/9.55	c  N dy   182     30002      9858     41467     27578     18790    171665    259081      6.46   no data
223.72/9.55	c  S st   182     30002      9858     41467     27578     18790    171665    259081      6.46   no data
226.92/9.64	c Finding binary XORs  T:     0.02 s  found:      32
230.12/9.74	c  S st   182     30502      9848     41147     28295     19202    170859    263583      6.46   no data
230.12/9.75	c x-sub:    90 x-cut:      0 vfix:      0 v-elim:     48 locsubst:     0 time:   0.01
249.29/10.38	c Flit:    89 Blit:     22 bXBeca:    0 bXProp:   20 Bins:  83541 BRemL:  57043 BRemN:     24 P:  6.9M T:  0.63
249.29/10.39	c Cleaning up after failed var search:     0.01 s 
252.49/10.42	c Replacing       52 vars Replaced    15089 lits Time:     0.02 s 
252.49/10.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.49/10.45	c bin-w-bin subsume rem         7759 bins  time:  0.01 s
252.49/10.47	c subs with bin:     1440  lits-rem:      1104  v-fix:    0  time:  0.02 s
252.49/10.49	c Subs w/ non-existent bins:    109 l-rem:    105 v-fix:     0 done:   9632 time:  0.02 s
252.49/10.50	c Removed useless bin:     606  fixed:     0  props:   0.31M  time:  0.01 s
255.68/10.59	c lits-rem:       884  cl-subs:     1325  v-elim:   1641  v-fix:    0  time:  0.09 s
258.88/10.62	c subs with bin:      197  lits-rem:      1358  v-fix:    0  time:  0.01 s
258.88/10.68	c lits-rem:       692  cl-subs:      465  v-elim:      0  v-fix:    0  time:  0.04 s
269.06/11.02	c asymm  cl-useful: 613/36746/39675 lits-rem:737 time: 0.34
272.29/11.03	c calculated reachability. Time: 0.00
272.29/11.03	c  N dy   182     30502      7991     39635     14804      8712    156815    102580      6.46   no data
272.29/11.05	c Finding binary XORs  T:     0.02 s  found:       0
284.44/11.49	c  N dy   204     34724      7990     39635     14813     12895    156802    161759      6.47      6.85
300.43/11.95	c  N dy   222     38781      7989     39635     14980     16920    156800    225555      6.46      8.50
344.61/13.43	c  N dy   253     43026      7988     39635     45206     11244    156796    173914      6.53      6.88
354.19/13.77	c  S st   273     45758      7988     39635     45207     13957    156796    213083      6.56   no data
357.38/13.88	c Finding binary XORs  T:     0.02 s  found:       0
360.59/13.94	c  S st   273     46259      7986     38751     45175     13807    152365    209321      6.56   no data
360.59/13.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    127 locsubst:     0 time:   0.02
370.79/14.23	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1231 BRemL:  28084 BRemN:    206 P:  2.5M T:  0.25
370.79/14.25	c Replacing        1 vars Replaced       50 lits Time:     0.02 s 
370.79/14.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.79/14.27	c bin-w-bin subsume rem         3177 bins  time:  0.01 s
370.79/14.28	c subs with bin:      779  lits-rem:       517  v-fix:    0  time:  0.01 s
370.79/14.30	c Subs w/ non-existent bins:    168 l-rem:    250 v-fix:     0 done:   7857 time:  0.01 s
370.79/14.30	c Removed useless bin:     256  fixed:     0  props:   0.15M  time:  0.01 s
373.99/14.35	c lits-rem:       898  cl-subs:      285  v-elim:    242  v-fix:    0  time:  0.05 s
373.99/14.38	c subs with bin:       76  lits-rem:       665  v-fix:    0  time:  0.01 s
376.55/14.45	c lits-rem:      1326  cl-subs:      306  v-elim:      0  v-fix:    0  time:  0.05 s
376.55/14.46	c vivif2 --  cl tried    37926 cl shrink      296 lits rem        296 time: 0.01
376.55/14.47	c vivif2 --  cl tried    12971 cl shrink     1534 lits rem       1998 time: 0.01
389.34/14.88	c asymm  cl-useful: 446/37878/37878 lits-rem:771 time: 0.41
389.34/14.88	c calculated reachability. Time: 0.00
389.34/14.88	c  N dy   273     46259      7615     37828     12553     12941    145943    133565      6.56   no data
405.95/15.40	c  N dy   297     50282      7615     37828     13097     16944    145937    194580      6.57      6.93
414.90/15.66	c Finding binary XORs  T:     0.02 s  found:       0
424.49/15.93	c  N dy   314     54287      7615     37828     13098     20907    145935    250565      6.56      8.03
434.09/16.27	c Finding binary XORs  T:     0.02 s  found:       0
444.30/16.59	c  N dy   337     58497      7615     37828     15245     25098    145934    322071      6.58      7.08
466.05/17.26	c  N dy   361     62584      7614     37828     15801     29167    145934    390530      6.59      6.94
488.41/17.93	c  N dy   389     66716      7613     37828     16085     17980    145934    183121      6.62      7.07
501.20/18.31	c  S st   404     69388      7613     37828     16087     20639    145934    224829      6.63      5.87
504.40/18.48	c  S st   404     69889      7613     37828     16104     21122    145934    229898      6.63   no data
507.61/18.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
511.42/18.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2247 BRemL:   3245 BRemN:    158 P:  2.5M T:  0.20
514.62/18.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
514.62/18.73	c bin-w-bin subsume rem          932 bins  time:  0.01 s
514.62/18.74	c subs with bin:      941  lits-rem:       356  v-fix:    0  time:  0.01 s
514.62/18.75	c Subs w/ non-existent bins:    132 l-rem:     74 v-fix:     0 done:   7613 time:  0.01 s
514.62/18.76	c Removed useless bin:     148  fixed:     0  props:   0.16M  time:  0.01 s
517.18/18.80	c lits-rem:       122  cl-subs:       80  v-elim:     94  v-fix:    0  time:  0.04 s
517.18/18.85	c subs with bin:      103  lits-rem:      1488  v-fix:    0  time:  0.02 s
520.38/18.93	c lits-rem:      1047  cl-subs:      382  v-elim:      0  v-fix:    0  time:  0.07 s
520.38/18.94	c vivif2 --  cl tried    36556 cl shrink      191 lits rem        194 time: 0.01
520.38/18.96	c vivif2 --  cl tried    19889 cl shrink     1579 lits rem       2003 time: 0.02
536.37/19.45	c asymm  cl-useful: 798/36556/36556 lits-rem:1675 time: 0.49
536.37/19.46	c calculated reachability. Time: 0.00
536.37/19.46	c  N dy   404     69889      7519     36198     13807     19889    139453    209360      6.63   no data
536.37/19.48	c Finding binary XORs  T:     0.02 s  found:       0
558.73/20.19	c  N dy   432     74460      7516     36198     15849     24426    139453    284458      6.64      7.04
574.72/20.60	c Finding binary XORs  T:     0.02 s  found:       2
587.50/21.07	c  N dy   463     79403      7516     36157     16733     29152    139225    368552      6.67      7.04
616.90/22.00	c  N dy   497     84514      7516     36157     16736     34232    139225    451781      6.71      7.10
629.06/22.32	c Finding binary XORs  T:     0.02 s  found:       0
638.65/22.64	c  F st   517     87500      7516     36157     17392     37201    139225    502966      6.73   no data
638.65/22.65	c Replacing        2 vars Replaced       80 lits Time:     0.01 s 
657.82/23.21	c  N st   522     90799      7514     36155     17388     21888    139212    227381      6.73   no data
687.19/24.18	c  N dy   544     96659      7514     36155     18198     27726    139212    333342      6.74      8.44
708.94/24.83	c Finding binary XORs  T:     0.02 s  found:       1
725.55/25.37	c  N dy   589    102873      7513     36152     18638     33924    139183    437439      6.78      7.18
737.71/25.78	c  S st   605    104836      7513     36152     19069     35879    139183    472222      6.80      5.78
747.29/26.04	c  S st   605    105337      7512     36152     19073     36368    139183    478076      6.80   no data
747.29/26.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.02
753.69/26.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    256 BRemL:   3266 BRemN:    213 P:  2.8M T:  0.20
753.69/26.29	c Replacing        1 vars Replaced       31 lits Time:     0.02 s 
753.69/26.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
753.69/26.31	c bin-w-bin subsume rem         1369 bins  time:  0.00 s
757.51/26.32	c subs with bin:      432  lits-rem:       219  v-fix:    0  time:  0.01 s
757.51/26.33	c Subs w/ non-existent bins:     44 l-rem:     48 v-fix:     0 done:   7509 time:  0.01 s
757.51/26.34	c Removed useless bin:      79  fixed:     0  props:   0.16M  time:  0.01 s
757.51/26.38	c lits-rem:        51  cl-subs:       46  v-elim:     38  v-fix:    0  time:  0.04 s
760.71/26.47	c subs with bin:      249  lits-rem:      1654  v-fix:    0  time:  0.05 s
766.47/26.68	c lits-rem:      1419  cl-subs:      446  v-elim:      0  v-fix:    0  time:  0.19 s
766.47/26.69	c vivif2 --  cl tried    35590 cl shrink       30 lits rem         30 time: 0.01
769.66/26.73	c vivif2 --  cl tried    35572 cl shrink     4088 lits rem       5403 time: 0.04
785.64/27.26	c asymm  cl-useful: 266/27008/35585 lits-rem:442 time: 0.53
785.64/27.27	c calculated reachability. Time: 0.00
785.64/27.27	c  N dy   605    105337      7471     35543     14333     35571    136236    452000      6.80   no data
833.58/28.76	c  N dy   649    112227      7471     35543     14788     21235    136234    180781      6.82      7.22
839.97/28.96	c Finding binary XORs  T:     0.02 s  found:       0
875.13/30.02	c  N dy   689    119446      7471     35543     15656     28412    136233    299622      6.83      7.33
913.50/31.21	c Finding binary XORs  T:     0.02 s  found:       1
923.09/31.53	c  N dy   740    127168      7471     35543     15806     36096    136233    429082      6.86      7.24
983.82/33.40	c  N dy   796    135335      7471     35543     15938     44233    136231    570673      6.88      8.67
1034.98/35.06	c  N dy   841    144121      7471     35543     16127     29933    136228    315198      6.88      7.35
1070.13/36.11	c Finding binary XORs  T:     0.02 s  found:       0
1095.70/36.94	c  N dy   910    153570      7471     35543     16632     39347    136225    477058      6.91      7.36
1124.46/37.85	c  S st   941    158005      7471     35543     16773     43765    136225    552899      6.93      5.59
1134.06/38.11	c  S st   941    158507      7471     35543     16778     44256    136223    559267      6.93   no data
1134.06/38.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1140.45/38.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    272 BRemL:    926 BRemN:     40 P:  3.1M T:  0.21
1140.45/38.35	c Replacing        1 vars Replaced       20 lits Time:     0.01 s 
1140.45/38.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1140.45/38.37	c bin-w-bin subsume rem          670 bins  time:  0.00 s
1140.45/38.38	c subs with bin:      100  lits-rem:        19  v-fix:    0  time:  0.01 s
1140.45/38.40	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   7470 time:  0.01 s
1140.45/38.40	c Removed useless bin:      26  fixed:     0  props:   0.16M  time:  0.01 s
1144.27/38.44	c lits-rem:        10  cl-subs:        9  v-elim:     13  v-fix:    0  time:  0.04 s
1147.47/38.54	c subs with bin:      221  lits-rem:      1725  v-fix:    0  time:  0.06 s
1153.22/38.79	c lits-rem:      1833  cl-subs:      601  v-elim:      0  v-fix:    0  time:  0.23 s
1156.42/38.80	c vivif2 --  cl tried    35427 cl shrink        9 lits rem         10 time: 0.01
1156.42/38.84	c vivif2 --  cl tried    43382 cl shrink     4057 lits rem       5333 time: 0.04
1159.63/39.00	c asymm  cl-useful: 0/8417/35425 lits-rem:0 time: 0.15
1162.83/39.01	c calculated reachability. Time: 0.00
1162.83/39.01	c  N dy   941    158507      7457     35425     15345     43382    135674    538438      6.93   no data
1214.59/40.65	c Finding binary XORs  T:     0.02 s  found:       0
1233.15/41.21	c  N dy  1009    169026      7456     35297     16237     29378    134993    287827      6.95      7.36
1300.28/43.31	c  N dy  1079    179866      7456     35297     16664     40170    134991    476530      6.98      8.65
1329.04/44.25	c Finding binary XORs  T:     0.02 s  found:       1
1386.59/46.11	c  N dy  1160    191408      7456     35297     17528     26043    134991    215799      7.00      7.49
1447.32/47.95	c Finding binary XORs  T:     0.02 s  found:       3
1463.93/48.42	c  N dy  1228    203734      7456     35297     17677     38298    134991    424812      7.01      7.44
1552.81/51.21	c Finding binary XORs  T:     0.02 s  found:      23
1556.01/51.37	c  N dy  1302    216916      7455     35163     18390     50944    134434    641777      7.02      7.42
1642.29/54.07	c  N dy  1369    230793      7455     35163     18747     38250    134434    420732      7.02      7.50
1667.85/54.88	c Finding binary XORs  T:     0.02 s  found:       0
1690.21/55.53	c  S st  1401    237760      7455     35163     19026     45193    134434    540446      7.02      7.04
1696.61/55.78	c  S st  1401    238266      7455     35163     19030     45693    134434    546435      7.02   no data
1699.81/55.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1706.83/56.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     86 BRemL:   1750 BRemN:     42 P:  3.3M T:  0.22
1706.83/56.04	c Replacing       27 vars Replaced     1006 lits Time:     0.01 s 
1706.83/56.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1706.83/56.06	c bin-w-bin subsume rem          654 bins  time:  0.00 s
1706.83/56.07	c subs with bin:      202  lits-rem:       141  v-fix:    0  time:  0.01 s
1706.83/56.09	c Subs w/ non-existent bins:     31 l-rem:      6 v-fix:     0 done:   7428 time:  0.01 s
1706.83/56.09	c Removed useless bin:      53  fixed:     0  props:   0.16M  time:  0.01 s
1710.02/56.14	c lits-rem:       203  cl-subs:      156  v-elim:     35  v-fix:    0  time:  0.04 s
1712.61/56.24	c subs with bin:      229  lits-rem:      1801  v-fix:    0  time:  0.06 s
1725.38/56.62	c lits-rem:      4130  cl-subs:      709  v-elim:      0  v-fix:    0  time:  0.38 s
1725.38/56.63	c vivif2 --  cl tried    34736 cl shrink       31 lits rem         33 time: 0.01
1725.38/56.68	c vivif2 --  cl tried    44703 cl shrink     3131 lits rem       4110 time: 0.04
1741.95/57.16	c asymm  cl-useful: 130/23965/34730 lits-rem:169 time: 0.49
1741.95/57.17	c calculated reachability. Time: 0.00
1741.95/57.17	c  N dy  1401    238266      7393     34727     16309     44702    132341    521729      7.02   no data
1805.30/59.19	c Finding binary XORs  T:     0.02 s  found:       0
1853.26/60.69	c  N dy  1498    253940      7393     34727     16875     32638    132341    302650      7.05      7.42
1977.91/64.58	c  N dy  1596    271621      7393     34727     16974     50223    132341    596593      7.05      7.49
2013.07/65.62	c Finding binary XORs  T:     0.02 s  found:       0
2108.96/68.60	c  N dy  1691    289453      7393     34727     17779     39196    132341    398389      7.06      7.45
2237.44/72.63	c  F st  1771    306251      7393     34727     17809     55848    132341    676977      7.06      6.59
2255.99/73.22	c  N st  1775    308282      7393     34727     17810     57849    132341    709732      7.06   no data
2345.48/76.04	c Finding binary XORs  T:     0.02 s  found:       0
2403.04/77.83	c  N dy  1861    328427      7392     34724     17879     45535    132316    512339      7.06      7.46
2562.83/82.84	c  N dy  1982    348491      7391     34724     17928     36006    132316    350498      7.07      7.51
2626.77/84.80	c  S st  2034    357399      7391     34724     17944     44860    132316    503933      7.08      7.27
2633.13/85.07	c  S st  2034    357902      7391     34724     17946     45357    132315    509981      7.08   no data
2633.13/85.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2642.73/85.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    392 BRemL:    863 BRemN:     25 P:  3.3M T:  0.22
2642.73/85.33	c Replacing        2 vars Replaced      983 lits Time:     0.02 s 
2642.73/85.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2642.73/85.35	c bin-w-bin subsume rem          704 bins  time:  0.00 s
2642.73/85.36	c subs with bin:       22  lits-rem:         4  v-fix:    0  time:  0.01 s
2642.73/85.38	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   7389 time:  0.01 s
2642.73/85.38	c Removed useless bin:       3  fixed:     0  props:   0.16M  time:  0.01 s
2645.93/85.42	c lits-rem:         1  cl-subs:        7  v-elim:      4  v-fix:    0  time:  0.04 s
2649.13/85.51	c subs with bin:      305  lits-rem:      1802  v-fix:    0  time:  0.05 s
2656.14/85.74	c lits-rem:      1730  cl-subs:      654  v-elim:      0  v-fix:    0  time:  0.22 s
2656.14/85.75	c vivif2 --  cl tried    34695 cl shrink        2 lits rem          2 time: 0.01
2656.14/85.79	c vivif2 --  cl tried    43997 cl shrink     2465 lits rem       3207 time: 0.04
2665.09/86.01	c asymm  cl-useful: 0/10728/34693 lits-rem:0 time: 0.21
2665.09/86.02	c calculated reachability. Time: 0.00
2665.09/86.02	c  N dy  2034    357902      7385     34693     16438     43997    132099    487397      7.08   no data
2668.30/86.16	c Finding binary XORs  T:     0.02 s  found:       0
2831.96/91.31	c  N dy  2156    378047      7384     34693     16642     33098    132099    285698      7.10      7.51
2952.80/95.05	c Finding binary XORs  T:     0.02 s  found:       1
2991.15/96.27	c  N dy  2265    398198      7384     34690     16314     53006    132074    631666      7.11      7.51
3141.39/100.96	c Finding binary XORs  T:     0.02 s  found:       0
3173.35/101.90	c  N dy  2389    418447      7384     34690     16776     40812    132074    410061      7.12      7.55
3342.77/107.28	c  N dy  2504    438574      7384     34690     16804     60815    132073    756771      7.13      7.54
3518.55/112.76	c  N dy  2616    458794      7384     34690     16823     47650    132073    524393      7.13      7.53
3592.12/115.00	c Finding binary XORs  T:     0.02 s  found:       0
3723.13/119.13	c  N dy  2738    479133      7384     34690     16969     67872    132073    889783      7.15      7.58
3892.53/124.50	c  N dy  2858    499164      7384     34690     17032     54058    132073    626751      7.16      7.70
3930.89/125.65	c Finding binary XORs  T:     0.02 s  found:       0
4100.95/130.92	c  N dy  2977    519267      7384     34690     17065     39170    132073    337666      7.18      7.57
4253.75/135.79	c  S st  3075    536854      7384     34690     17108     56683    132073    649670      7.18      7.59
4266.55/136.14	c  S st  3075    537356      7384     34690     17111     57179    132073    657195      7.18   no data
4266.55/136.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4273.56/136.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    249 BRemL:    407 BRemN:      5 P:  3.7M T:  0.25
4276.73/136.42	c Replacing        2 vars Replaced      933 lits Time:     0.02 s 
4276.73/136.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4276.73/136.45	c bin-w-bin subsume rem          293 bins  time:  0.01 s
4276.73/136.46	c subs with bin:       40  lits-rem:        20  v-fix:    0  time:  0.01 s
4276.73/136.47	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   7382 time:  0.01 s
4276.73/136.48	c Removed useless bin:       3  fixed:     0  props:   0.16M  time:  0.01 s
4279.28/136.52	c lits-rem:         2  cl-subs:       12  v-elim:      8  v-fix:    0  time:  0.04 s
4282.49/136.65	c subs with bin:      496  lits-rem:      2634  v-fix:    0  time:  0.08 s
4295.28/137.02	c lits-rem:      2014  cl-subs:      904  v-elim:      0  v-fix:    0  time:  0.36 s
4295.28/137.03	c vivif2 --  cl tried    34634 cl shrink        2 lits rem          2 time: 0.01
4295.28/137.08	c vivif2 --  cl tried    52653 cl shrink     2992 lits rem       3934 time: 0.05
4314.44/137.63	c asymm  cl-useful: 216/14263/34634 lits-rem:231 time: 0.55
4314.44/137.64	c calculated reachability. Time: 0.00
4314.44/137.64	c  N dy  3075    537356      7374     34633     16538     52653    131624    581456      7.18   no data
4314.44/137.67	c Finding binary XORs  T:     0.02 s  found:       0
4534.99/144.52	c  N dy  3186    557407      7373     34633     16782     38059    131624    318056      7.19      8.81
4550.98/145.06	c Finding binary XORs  T:     0.02 s  found:       0
4704.40/149.82	c  N dy  3292    577462      7373     34630     16807     57818    131599    662398      7.19      8.53
4915.37/156.49	c  N dy  3388    597569      7373     34630     16886     41168    131599    355870      7.19      7.59
5011.90/159.48	c Finding binary XORs  T:     0.02 s  found:       2
5113.57/162.70	c  N dy  3473    618547      7371     34624     17196     61719    131543    700986      7.19      7.61
5132.74/163.23	c Finding binary XORs  T:     0.02 s  found:       2
5273.36/167.63	c Finding binary XORs  T:     0.02 s  found:       0
5337.28/169.66	c  N dy  3575    638648      7370     34621     17930     43801    131518    393965      7.19      7.60
5472.18/173.83	c Finding binary XORs  T:     0.02 s  found:       1
5529.09/175.61	c  N dy  3697    658723      7370     34621     18494     63786    131518    755677      7.20      7.65
5637.77/179.07	c Finding binary XORs  T:     0.02 s  found:       0
5765.63/183.02	c  N dy  3795    679068      7370     34621     19163     45488    131518    399558      7.20      7.58
5813.59/184.56	c Finding binary XORs  T:     0.02 s  found:       1
5964.45/189.28	c  N dy  3894    699508      7368     34618     19277     65584    131491    755342      7.20      7.58
5973.41/189.55	c Finding binary XORs  T:     0.02 s  found:       3
6117.26/194.07	c Finding binary XORs  T:     0.02 s  found:       3
6213.15/197.09	c  N dy  4014    719530      7367     34614     20263     46234    131468    403111      7.21      7.73
6293.04/199.59	c Finding binary XORs  T:     0.02 s  found:       2
6433.68/203.92	c  N dy  4110    739556      7364     34613     20460     66103    131441    742387      7.21      7.90
6453.50/204.54	c Finding binary XORs  T:     0.02 s  found:       1
6632.50/210.18	c Finding binary XORs  T:     0.02 s  found:       1
6695.80/212.18	c  N dy  4215    759590      7362     34605     20359     82221    131372   1047149      7.21      7.59
6922.75/219.24	c  N dy  4309    780064      7362     34605     20471     65480    131372    736201      7.21      7.59
7044.24/223.02	c Finding binary XORs  T:     0.02 s  found:      36
7095.34/224.61	c Finding binary XORs  T:     0.02 s  found:       1
7188.05/227.60	c  N dy  4401    800150      7321     34174     24456     83316    129647   1071400      7.21      7.61
7277.55/230.31	c Finding binary XORs  T:     0.02 s  found:       3
7287.15/230.65	c  S st  4427    806034      7321     34154     33540     88917    129482   1190288      7.21   no data
7303.12/231.20	c  S st  4427    806539      7321     34154     33540     48970    129482    457541      7.21   no data
7306.32/231.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
7315.91/231.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   1043 BRemL:  14623 BRemN:      9 P:  4.7M T:  0.35
7315.91/231.60	c Replacing       64 vars Replaced     7776 lits Time:     0.03 s 
7319.11/231.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7319.11/231.62	c bin-w-bin subsume rem         1459 bins  time:  0.01 s
7319.11/231.63	c subs with bin:      855  lits-rem:       600  v-fix:    0  time:  0.01 s
7319.11/231.65	c Subs w/ non-existent bins:     45 l-rem:     10 v-fix:     0 done:   7257 time:  0.01 s
7319.11/231.66	c Removed useless bin:     103  fixed:     0  props:   0.16M  time:  0.01 s
7322.30/231.71	c lits-rem:       193  cl-subs:      777  v-elim:    169  v-fix:    0  time:  0.06 s
7325.50/231.81	c subs with bin:     1640  lits-rem:      9676  v-fix:    0  time:  0.07 s
7332.52/232.04	c lits-rem:      2705  cl-subs:     1003  v-elim:      0  v-fix:    0  time:  0.21 s
7332.52/232.05	c vivif2 --  cl tried    32594 cl shrink      327 lits rem        470 time: 0.01
7332.52/232.09	c vivif2 --  cl tried    43371 cl shrink     3812 lits rem       4585 time: 0.04
7344.68/232.49	c asymm  cl-useful: 0/18327/32590 lits-rem:0 time: 0.40
7347.88/232.50	c calculated reachability. Time: 0.00
7347.88/232.50	c  N dy  4427    806539      7088     32590     16986     43356    123359    365249      7.21   no data
7386.23/233.77	c Finding binary XORs  T:     0.02 s  found:       0
7427.79/235.02	c Finding binary XORs  T:     0.02 s  found:       0
7555.65/239.02	c  N dy  4460    826732      7084     32581     19690     62269    123280    694950      7.19      7.58
7587.61/240.07	c Finding binary XORs  T:     0.02 s  found:       2
7725.07/244.33	c Finding binary XORs  T:     0.02 s  found:     171
7728.27/244.40	c Replacing      173 vars Replaced    37770 lits Time:     0.07 s 
7811.38/247.09	c  N dy  4500    846988      6847     32184     20564     72111    121523    868606      7.18      7.61
7833.75/247.71	c Finding binary XORs  T:     0.02 s  found:     118
7833.75/247.78	c Replacing      285 vars Replaced    38610 lits Time:     0.06 s 
7876.69/251.14	c Following stats are for *FIRST FINISHED THREAD ONLY*
7876.69/251.14	c num threads              : 32         
7876.69/251.14	c restarts                 : 4338       
7876.69/251.14	c dynamic restarts         : 4314       
7876.69/251.14	c static restarts          : 24         
7876.69/251.14	c full restarts            : 3          
7876.69/251.14	c total simplify time      : 1.56       
7876.69/251.14	c learnts DL2              : 0          
7876.69/251.14	c learnts size 2           : 279715     
7876.69/251.14	c learnts size 1           : 6693        (20.23     % of vars)
7876.69/251.14	c filedLit time            : 2.52        (1.02      % time)
7876.69/251.14	c v-elim SatELite          : 7566        (22.86     % vars)
7876.69/251.14	c SatELite time            : 0.50        (0.20      % time)
7876.69/251.14	c v-elim xor               : 176         (0.53      % vars)
7876.69/251.14	c xor elim time            : 0.06        (0.02      % time)
7876.69/251.14	c num binary xor trees     : 1897       
7876.69/251.14	c binxor trees' crown      : 12466       (6.57      leafs/tree)
7876.69/251.14	c bin xor find time        : 0.96       
7876.69/251.14	c OTF clause improved      : 4794        (0.01      clauses/conflict)
7876.69/251.14	c OTF impr. size diff      : 5717        (1.19       lits/clause)
7876.69/251.14	c OTF cl watch-shrink      : 628585      (0.70      clauses/conflict)
7876.69/251.14	c OTF cl watch-sh-lit      : 1907224     (3.03       lits/clause)
7876.69/251.14	c tried to recurMin cls    : 216135      (23.91      % of conflicts)
7876.69/251.14	c updated cache            : 13530       (0.06       lits/tried recurMin)
7876.69/251.14	c unit cls recevied        : 310         (4.63      % of units)
7876.69/251.14	c unit cls sent            : 270         (4.03      % of units)
7876.69/251.14	c bin cls recevied         : 236616     
7876.69/251.14	c bin cls sent             : 1502       
7876.69/251.14	c clauses over max glue    : 0           (0.00      % of all clauses)
7876.69/251.14	c conflicts                : 903857      (3653.54   / sec)
7876.69/251.14	c decisions                : 1356553     (5.39      % random)
7876.69/251.14	c bogo-props               : 14558033192 (58845921.62 / sec)
7876.69/251.14	c conflict literals        : 15828975    (35.41     % deleted)
7876.69/251.14	c Memory used              : 4761.39     MB
7876.69/251.14	c single-thread CPU time   : 247.39      s
7876.69/251.14	c all-threads sum CPU time : 7852.94     s
7876.69/251.14	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400673-1306327419/watcher-3400673-1306327419 -o /tmp/evaluation-result-3400673-1306327419/solver-3400673-1306327419 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400673-1306327419.cnf 

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

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


[startup+0 s]
/proc/loadavg: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=338000 CPUtime=0.82 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) R 15199 15201 15115 0 -1 4202496 436 0 0 0 82 0 0 0 25 0 32 0 744228324 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 84500 376 297 95 0 79482 0
[pid=15201/tid=15202] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447984 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447976 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=338000 CPUtime=0 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.092611 s]
/proc/loadavg: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=798072 CPUtime=2.17 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) R 15199 15201 15115 0 -1 4202496 8454 0 0 0 157 60 0 0 17 0 32 0 744228324 817225728 8299 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 199551 8303 334 95 0 194533 0
[pid=15201/tid=15202] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 246 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8308 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 274 0 0 0 5 1 0 0 17 0 32 0 744228325 817360896 8350 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 233 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8350 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 277 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8373 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 249 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8387 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 266 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8436 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 242 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8473 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=798204 CPUtime=0.07 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 253 0 0 0 5 2 0 0 18 0 32 0 744228325 817360896 8473 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 243 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8475 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 257 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8490 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=929276 CPUtime=0.07 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 744228325 951578624 8493 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=888352 CPUtime=0.06 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 298 0 0 0 5 1 0 0 18 0 32 0 744228325 909672448 8522 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=888352 CPUtime=0.06 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 268 0 0 0 5 1 0 0 18 0 32 0 744228325 909672448 8531 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 236 0 0 0 5 1 0 0 18 0 32 0 744228325 926474240 8535 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 275 0 0 0 5 1 0 0 17 0 32 0 744228325 918073344 8538 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604480120413664 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 237 0 0 0 5 1 0 0 18 0 32 0 744228325 918073344 8550 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 269 0 0 0 5 1 0 0 18 0 32 0 744228325 918073344 8556 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 279 0 0 0 5 1 0 0 17 0 32 0 744228325 926474240 8561 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 241 0 0 0 5 1 0 0 18 0 32 0 744228325 926474240 8576 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=904760 CPUtime=0.07 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 744228325 926474240 8576 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 0 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=904760 CPUtime=0.05 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 227 0 0 0 4 1 0 0 17 0 32 0 744228325 926474240 8579 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=904760 CPUtime=0.01 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 269 0 0 0 0 1 0 0 18 0 32 0 744228325 926474240 8597 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=904760 CPUtime=0.05 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 248 0 0 0 3 2 0 0 25 0 32 0 744228325 926474240 8614 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=1035832 CPUtime=0.05 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 292 0 0 0 3 2 0 0 18 0 32 0 744228325 1060691968 8626 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=1035832 CPUtime=0.04 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 249 0 0 0 3 1 0 0 18 0 32 0 744228325 1060691968 8629 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=994908 CPUtime=0.05 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 238 0 0 0 3 2 0 0 18 0 32 0 744228325 1018785792 8643 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=994908 CPUtime=0.05 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 277 0 0 0 3 2 0 0 17 0 32 0 744228325 1018785792 8651 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566923704 0 0 -1 23 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=994908 CPUtime=0.07 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 264 0 0 0 5 2 0 0 18 0 32 0 744228325 1018785792 8655 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=978500 CPUtime=0.06 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 284 0 0 0 5 1 0 0 17 0 32 0 744228325 1001984000 8672 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604489136750048 0 0 -1 22 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=978500 CPUtime=0.07 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 225 0 0 0 5 2 0 0 18 0 32 0 744228325 1001984000 8675 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=978500 CPUtime=0.06 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 260 0 0 0 5 1 0 0 18 0 32 0 744228325 1001984000 8679 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 798072

[startup+0.105489 s]
/proc/loadavg: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=1388584 CPUtime=2.29 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 9701 0 0 0 159 70 0 0 17 0 32 0 744228324 1421910016 9547 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 347146 9550 335 95 0 342128 0
[pid=15201/tid=15202] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9557 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604489136750048 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 280 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9566 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604506036780512 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 312 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9569 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 292 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9571 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604478689066464 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 283 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9579 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604506036780512 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 342 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9581 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 268 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9609 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 334 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9618 268435456000 4194304 4580107 140735475595408 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 272 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9633 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 302 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9644 268435456000 4194304 4580107 140735475595408 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 289 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9648 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604502310665696 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 354 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9651 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 306 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9657 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 273 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9663 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604479003516384 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 287 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9670 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604477474635232 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9676 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604505568370144 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31

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

/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7873.49
Current children cumulated vsize (KiB) 4875656

[startup+250.302 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496664/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=4875656 CPUtime=7875.09 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 1183135 0 0 0 785125 2384 0 0 25 0 32 0 744228324 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 1218914 665692 387 95 0 1213896 0
[pid=15201/tid=15202] ppid=15199 vsize=4875656 CPUtime=246.23 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37004 0 0 0 24547 76 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604480120413664 0 0 -1 5 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=4875656 CPUtime=245.97 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34063 0 0 0 24524 73 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604492381429216 0 0 -1 1 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=4875656 CPUtime=246.18 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41072 0 0 0 24552 66 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604477474635232 0 0 -1 28 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37928 0 0 0 24546 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604566973128160 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=4875656 CPUtime=246.27 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38070 0 0 0 24548 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479700803040 0 0 -1 10 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=4875656 CPUtime=239.64 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36647 0 0 0 23890 74 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478930320864 0 0 -1 31 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36546 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604498567609824 0 0 -1 4 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=4875656 CPUtime=246.35 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40942 0 0 0 24557 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504885689824 0 0 -1 29 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=4875656 CPUtime=247.41 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 31365 0 0 0 24662 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34706 0 0 0 24551 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482259623392 0 0 -1 13 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37131 0 0 0 24542 75 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476331056608 0 0 -1 0 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=4875656 CPUtime=247.32 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 39176 0 0 0 24655 77 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279423019 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 27822 0 0 0 24545 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478689066464 0 0 -1 19 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=4875656 CPUtime=246.36 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38822 0 0 0 24565 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479003516384 0 0 -1 22 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=4875656 CPUtime=245.83 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34920 0 0 0 24506 77 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504780922336 0 0 -1 23 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36014 0 0 0 24543 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604483595222496 0 0 -1 27 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=4875656 CPUtime=246.51 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39721 0 0 0 24576 75 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604506036780512 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=4875656 CPUtime=246.31 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 44882 0 0 0 24558 73 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604484956650976 0 0 -1 16 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 42506 0 0 0 24549 76 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504162065888 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=4875656 CPUtime=246.2 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40113 0 0 0 24563 57 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604494112726496 0 0 -1 20 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=4875656 CPUtime=245.8 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33691 0 0 0 24500 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744071566929504 0 0 -1 2 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=4875656 CPUtime=246.41 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38445 0 0 0 24572 69 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504967986656 0 0 -1 8 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=4875656 CPUtime=245.96 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33728 0 0 0 24518 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505568370144 0 0 -1 24 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=4875656 CPUtime=246.42 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7875.09
Current children cumulated vsize (KiB) 4875656

[startup+251.102 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496356/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=4875656 CPUtime=7876.69 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 1183185 0 0 0 785285 2384 0 0 25 0 32 0 744228324 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 1218914 665742 387 95 0 1213896 0
[pid=15201/tid=15202] ppid=15199 vsize=4875656 CPUtime=246.23 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37004 0 0 0 24547 76 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604480120413664 0 0 -1 5 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=4875656 CPUtime=245.97 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34063 0 0 0 24524 73 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604492381429216 0 0 -1 1 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=4875656 CPUtime=246.18 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41072 0 0 0 24552 66 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604477474635232 0 0 -1 28 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37928 0 0 0 24546 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604566973128160 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=4875656 CPUtime=246.27 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38070 0 0 0 24548 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479700803040 0 0 -1 10 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=4875656 CPUtime=239.64 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36647 0 0 0 23890 74 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478930320864 0 0 -1 31 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36546 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604498567609824 0 0 -1 4 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=4875656 CPUtime=246.35 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40942 0 0 0 24557 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504885689824 0 0 -1 29 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=4875656 CPUtime=248.21 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 31415 0 0 0 24742 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34706 0 0 0 24551 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482259623392 0 0 -1 13 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37131 0 0 0 24542 75 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476331056608 0 0 -1 0 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=4875656 CPUtime=248.12 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 39176 0 0 0 24735 77 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279423019 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 27822 0 0 0 24545 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478689066464 0 0 -1 19 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=4875656 CPUtime=246.36 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38822 0 0 0 24565 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479003516384 0 0 -1 22 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=4875656 CPUtime=245.83 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34920 0 0 0 24506 77 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504780922336 0 0 -1 23 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36014 0 0 0 24543 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604483595222496 0 0 -1 27 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=4875656 CPUtime=246.51 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39721 0 0 0 24576 75 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604506036780512 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=4875656 CPUtime=246.31 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 44882 0 0 0 24558 73 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604484956650976 0 0 -1 16 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 42506 0 0 0 24549 76 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504162065888 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=4875656 CPUtime=246.2 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40113 0 0 0 24563 57 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604494112726496 0 0 -1 20 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=4875656 CPUtime=245.8 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33691 0 0 0 24500 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744071566929504 0 0 -1 2 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=4875656 CPUtime=246.41 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38445 0 0 0 24572 69 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504967986656 0 0 -1 8 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=4875656 CPUtime=245.96 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33728 0 0 0 24518 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505568370144 0 0 -1 24 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=4875656 CPUtime=246.42 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7876.69
Current children cumulated vsize (KiB) 4875656

[startup+251.301 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496356/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=0 CPUtime=7876.95 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) Z 15199 15201 15115 0 -1 4203548 1183189 0 0 0 785294 2401 0 0 18 0 2 0 744228324 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 0 0 0 0 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=0 CPUtime=248.41 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4203588 31415 0 0 0 24747 94 0 0 25 0 2 0 744228325 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 7876.95
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 251.397
CPU time (s): 7877.05
CPU user time (s): 7852.94
CPU system time (s): 24.1123
CPU usage (%): 3133.31
Max. virtual memory (cumulated for all children) (KiB): 4941192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7852.94
system time used= 24.1123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1183189
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= 757310
involuntary context switches= 18833

runsolver used 1.65275 second user time and 5.68713 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 14:43:39
IDJOB=3400673
IDBENCH=70941
IDSOLVER=1886
FILE ID=node200/3400673-1306327419
RUNJOBID= node200-1306327317-15129
PBS_JOBID= 13411788
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400673-1306327419/watcher-3400673-1306327419 -o /tmp/evaluation-result-3400673-1306327419/solver-3400673-1306327419 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400673-1306327419.cnf

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

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=2010220904

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255160600 kB
Buffers:        466504 kB
Cached:        8224160 kB
SwapCached:          0 kB
Active:        7775836 kB
Inactive:       984224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255160600 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8716 kB
Writeback:           0 kB
AnonPages:       69916 kB
Mapped:          14720 kB
Slab:           255240 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187144 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= 62036 MiB
End job on node200 at 2011-05-25 14:47:51