Trace number 3400634

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 6733.2 243.598

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
MD5SUM2bee695ce4278b72ee9295631ad94252
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6733.2
Satisfiable
(Un)Satisfiability was proved
Number of variables31357
Number of clauses133420
Sum of the clauses size370492
Maximum clause length37
Minimum clause length1
Number of clauses of size 1278
Number of clauses of size 258046
Number of clauses of size 369900
Number of clauses of size 4166
Number of clauses of size 5305
Number of clauses of size over 54725

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.08	c Using 32 threads
3.12/0.14	c This is CryptoMiniSat 3.0.0
3.12/0.14	c WARNING: for repeatability, setting FPU to use double precision
3.12/0.14	c Reading file 'HOME/instance-3400634-1306258015.cnf'
3.12/0.19	c -- header says num vars:          31357
3.12/0.19	c -- header says num clauses:      133420
27.21/1.48	c -- clauses added:            0 learnts,       133420 normals,            0 xors
27.21/1.48	c -- vars added      31357
27.21/1.48	c Parsing time:  0.28 s
27.21/1.48	c  N st     0         0     31357     75096     58046         0    370214         0   no data   no data
76.96/3.02	c asymm  cl-useful: 98/3955/74946 lits-rem:194 time: 1.53
284.42/13.44	c Flit:    29 Blit:      3 bXBeca:    0 bXProp: 3530 Bins:      0 BRemL:      0 BRemN:      0 P: 53.8M T:  5.63
285.97/13.59	c Replacing     3530 vars Replaced   149255 lits Time:     0.04 s 
289.29/13.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
291.40/13.82	c bin-w-bin subsume rem            6 bins  time:  0.02 s
291.40/13.88	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.03 s
310.89/14.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  27511 time:  0.55 s
322.04/14.81	c Removed useless bin:       3  fixed:     0  props:  20.01M  time:  0.33 s
330.68/15.18	c lits-rem:        13  cl-subs:       68  v-elim:   9170  v-fix:    0  time:  0.33 s
336.88/15.31	c Finding binary XORs  T:     0.14 s  found:     863
336.88/15.34	c Replacing      863 vars Replaced    19975 lits Time:     0.02 s 
340.62/15.44	c Finding non-binary XORs:     0.06 s (found:   11722, avg size: 3.1)
340.62/15.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5042 locsubst:  3432 time:   0.04
340.62/15.45	c Replacing      182 vars Replaced     2243 lits Time:     0.01 s 
340.62/15.49	c calculated reachability. Time: 0.03
340.62/15.49	c Calc default polars -  time:   0.01 s pos:    3229 undec:   19459 neg:    8669
340.62/15.49	c =========================================================================================
340.62/15.49	c types(t): F = full restart, N = normal restart
340.62/15.49	c types(t): S = simplification begin/end, E = solution found
340.62/15.49	c restart types(rt): st = static, dy = dynamic
340.62/15.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
340.62/15.49	c  B st     0         0     12254     22048     33175         0    221010         0   no data   no data
355.91/15.91	c  N dy    19      4085     12254     22048     33215      3364    221008     91625     15.77     16.68
365.50/16.25	c  N dy    30      8234     12253     22048     35123      6783    221007    178319     12.40     14.01
378.90/16.63	c Finding binary XORs  T:     0.10 s  found:     297
378.90/16.65	c Replacing      299 vars Replaced    14252 lits Time:     0.02 s 
384.65/16.84	c  N dy    45     13550     11949     22009     34456     10896    220838    290907     12.25     12.91
394.23/17.18	c  N dy    59     17623     11948     22009     35562     14140    220838    360518     11.55     12.35
406.99/17.55	c  N dy    73     21649     11947     22009     37186      9615    220837    150569     11.46     22.22
422.95/18.02	c  F st    95     25000     11947     22009     37220     12423    220836    240461     11.88   no data
426.15/18.16	c  N st    98     26188     11947     21991     37222     13495    220760    270735     11.88   no data
445.96/18.74	c  S st   101     30001     11945     21991     38806     17002    220760    432927     11.88   no data
449.16/18.85	c Finding binary XORs  T:     0.10 s  found:     573
449.16/18.88	c Replacing      573 vars Replaced    37906 lits Time:     0.03 s 
454.91/19.00	c  S st   101     30503     11372     21868     37024     15650    220272    425171     11.88   no data
454.91/19.04	c x-sub:   644 x-cut:      0 vfix:      0 v-elim:   2290 locsubst:  3308 time:   0.04
595.50/23.47	c Flit:    10 Blit:      4 bXBeca:    0 bXProp: 2385 Bins:  53295 BRemL:  10910 BRemN:      0 P: 64.3M T:  4.41
598.70/23.52	c Replacing     2482 vars Replaced   205911 lits Time:     0.05 s 
598.70/23.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
598.70/23.57	c bin-w-bin subsume rem        48057 bins  time:  0.03 s
601.89/23.64	c subs with bin:     7761  lits-rem:     16687  v-fix:    0  time:  0.08 s
601.89/23.68	c Subs w/ non-existent bins:   1969 l-rem:   1878 v-fix:     0 done:   6586 time:  0.03 s
601.89/23.69	c Removed useless bin:    1877  fixed:     0  props:   1.07M  time:  0.01 s
605.10/23.73	c lits-rem:       263  cl-subs:     3441  v-elim:     75  v-fix:    0  time:  0.04 s
605.10/23.75	c subs with bin:       46  lits-rem:      7337  v-fix:    0  time:  0.02 s
605.10/23.77	c lits-rem:       131  cl-subs:      519  v-elim:      0  v-fix:    0  time:  0.01 s
611.49/23.93	c asymm  cl-useful: 340/4477/8432 lits-rem:343 time: 0.16
611.49/23.94	c calculated reachability. Time: 0.01
611.49/23.94	c  N dy   101     30503      6511      8431     25683      2280     99879     46973     11.88   no data
614.69/24.02	c Finding binary XORs  T:     0.07 s  found:      29
617.89/24.13	c  N dy   108     35041      6511      8431     25683      5932     99879    105444     11.57     12.23
624.89/24.34	c  N dy   120     39150      6511      8431     29610      9375     99879    177782     11.65     12.84
640.22/24.86	c Finding binary XORs  T:     0.06 s  found:     655
640.22/24.88	c Replacing      684 vars Replaced    19819 lits Time:     0.01 s 
643.40/24.96	c  N dy   143     43326      5827      7901     71120      7000     97038    198454     11.81     12.76
646.60/25.05	c  S st   150     45755      5827      7901     71120      9037     97037    231642     11.70   no data
646.60/25.09	c  S st   150     46259      5827      7901     71121      9443     97037    235312     11.70   no data
649.77/25.13	c x-sub:   502 x-cut:      0 vfix:      0 v-elim:    847 locsubst:  1390 time:   0.04
662.50/25.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   4648 BRemL:  26559 BRemN:   1131 P:  5.4M T:  0.37
662.50/25.51	c Replacing      108 vars Replaced     3819 lits Time:     0.01 s 
662.50/25.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.50/25.53	c bin-w-bin subsume rem        27860 bins  time:  0.01 s
662.50/25.55	c subs with bin:      792  lits-rem:        53  v-fix:    0  time:  0.02 s
662.50/25.57	c Subs w/ non-existent bins:     94 l-rem:     56 v-fix:     0 done:   4872 time:  0.01 s
662.50/25.58	c Removed useless bin:     279  fixed:     0  props:   0.94M  time:  0.01 s
662.50/25.59	c lits-rem:         2  cl-subs:      983  v-elim:     37  v-fix:    0  time:  0.01 s
662.50/25.60	c subs with bin:        6  lits-rem:       129  v-fix:    0  time:  0.00 s
665.69/25.63	c lits-rem:       300  cl-subs:      493  v-elim:      0  v-fix:    0  time:  0.03 s
665.69/25.64	c vivif2 --  cl tried     6163 cl shrink       31 lits rem         74 time: 0.00
665.69/25.64	c vivif2 --  cl tried     2951 cl shrink       33 lits rem         35 time: 0.00
668.89/25.79	c asymm  cl-useful: 363/6163/6163 lits-rem:449 time: 0.16
672.10/25.80	c calculated reachability. Time: 0.00
672.10/25.80	c  N dy   150     46259      4835      6157     19292      2951     79584     40014     11.70   no data
675.29/25.91	c Finding binary XORs  T:     0.06 s  found:     139
675.29/25.92	c Replacing      139 vars Replaced     3388 lits Time:     0.01 s 
678.49/26.07	c  N dy   176     50280      4696      6007     35890      6193     78825    168571     12.48     50.49
688.09/26.36	c  N dy   181     61649      4696      6007     35891     15154     78822    295401     11.83     12.51
691.90/26.52	c  N dy   205     65958      4696      6007     39789      9756     78818    154896     11.89     12.71
697.65/26.66	c  S st   223     69389      4696      6007     39833     12298     78816    212505     12.09   no data
700.86/26.70	c  S st   223     69894      4696      6007     39834     12701     78816    218203     12.09   no data
700.86/26.75	c x-sub:   138 x-cut:      0 vfix:      0 v-elim:    150 locsubst:   321 time:   0.04
707.25/26.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   75 Bins:    650 BRemL:  19358 BRemN:    133 P:  3.9M T:  0.25
710.45/27.00	c Replacing      112 vars Replaced     3300 lits Time:     0.01 s 
710.45/27.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
710.45/27.01	c bin-w-bin subsume rem         4746 bins  time:  0.00 s
710.45/27.02	c subs with bin:      424  lits-rem:         0  v-fix:    0  time:  0.01 s
710.45/27.04	c Subs w/ non-existent bins:     28 l-rem:      0 v-fix:     0 done:   4434 time:  0.01 s
710.45/27.04	c Removed useless bin:      77  fixed:     0  props:   0.52M  time:  0.01 s
710.45/27.05	c lits-rem:         0  cl-subs:      422  v-elim:     44  v-fix:    0  time:  0.01 s
710.45/27.07	c subs with bin:        8  lits-rem:       111  v-fix:    0  time:  0.00 s
713.65/27.11	c lits-rem:      1011  cl-subs:     1589  v-elim:      0  v-fix:    0  time:  0.04 s
713.65/27.11	c vivif2 --  cl tried     5220 cl shrink       12 lits rem         24 time: 0.00
713.65/27.11	c vivif2 --  cl tried     5748 cl shrink        2 lits rem          2 time: 0.00
716.85/27.22	c asymm  cl-useful: 623/5220/5220 lits-rem:1722 time: 0.11
716.85/27.23	c calculated reachability. Time: 0.00
716.85/27.23	c  N dy   223     69894      4390      4765     15996      5748     72606     61992     12.09   no data
716.85/27.30	c Finding binary XORs  T:     0.07 s  found:      57
720.04/27.30	c Replacing       57 vars Replaced     1711 lits Time:     0.00 s 
723.24/27.44	c  N dy   247     74969      4333      4755     15852      9171     72261    124905     12.21     12.92
727.02/27.60	c  N dy   273     79984      4333      4755     18718     12868     72257    199586     12.36     13.13
736.01/27.83	c Finding binary XORs  T:     0.05 s  found:     118
736.01/27.84	c Replacing      118 vars Replaced     7267 lits Time:     0.01 s 
742.40/28.05	c  N dy   314     85429      4215      4628     19710     17157     71645    385219     13.61     14.88
745.61/28.13	c  F st   324     87500      4215      4628     22767     18500     71643    418456     13.66   no data
752.00/28.32	c Finding binary XORs  T:     0.05 s  found:      46
752.00/28.32	c Replacing       46 vars Replaced     1426 lits Time:     0.00 s 
758.39/28.53	c Decided on static restart strategy
758.39/28.53	c  N st   330     92691      4169      4590     22665     12917     71462    241367     13.66   no data
774.36/29.09	c  N st   332     99802      4169      4590     22731     18894     71462    578711     13.66   no data
777.56/29.19	c  S st   333    104841      4169      4590     22732     22232     71462    664904     13.66   no data
780.76/29.25	c  S st   333    105345      4169      4590     27550     22588     71462    678784     13.66   no data
783.96/29.31	c x-sub:    47 x-cut:      0 vfix:      0 v-elim:     85 locsubst:  2035 time:   0.06
790.35/29.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   53 Bins:    626 BRemL:   9426 BRemN:    170 P:  3.3M T:  0.21
790.35/29.53	c Replacing      227 vars Replaced     9816 lits Time:     0.01 s 
790.35/29.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
790.35/29.54	c bin-w-bin subsume rem         1612 bins  time:  0.00 s
790.35/29.55	c subs with bin:      226  lits-rem:         0  v-fix:    0  time:  0.01 s
790.35/29.57	c Subs w/ non-existent bins:     20 l-rem:      0 v-fix:     0 done:   3857 time:  0.01 s
790.35/29.57	c Removed useless bin:      66  fixed:     0  props:   0.30M  time:  0.00 s
790.35/29.58	c lits-rem:         0  cl-subs:      463  v-elim:     68  v-fix:    0  time:  0.01 s
793.54/29.60	c subs with bin:       40  lits-rem:       224  v-fix:    0  time:  0.00 s
793.54/29.67	c lits-rem:       491  cl-subs:      765  v-elim:      0  v-fix:    0  time:  0.07 s
793.54/29.67	c vivif2 --  cl tried     4079 cl shrink       27 lits rem         30 time: 0.00
793.54/29.67	c vivif2 --  cl tried     7535 cl shrink       25 lits rem         25 time: 0.00
797.33/29.74	c asymm  cl-useful: 432/4079/4079 lits-rem:1376 time: 0.07
797.33/29.75	c calculated reachability. Time: 0.00
797.33/29.75	c  N st   333    105345      3789      3742     16285      7535     66363    137564     13.66   no data
806.31/30.03	c  N st   334    114944      3789      3742     16287      8431     66362    239741     13.66   no data
809.51/30.10	c Finding binary XORs  T:     0.07 s  found:      64
809.51/30.12	c Replacing       74 vars Replaced     3611 lits Time:     0.01 s 
819.07/30.41	c  N st   335    129341      3702      3670     16168     19352     65475    466680     13.66   no data
819.07/30.46	c Finding binary XORs  T:     0.04 s  found:      28
828.70/30.82	c  N st   336    150936      3702      3670     19679     22227     65474    530842     13.66   no data
835.71/30.98	c  S st   337    158018      3702      3670     19729     27561     65474    742156     13.66   no data
838.24/31.03	c  S st   337    158521      3702      3670     19753     27919     65474    746234     13.66   no data
841.47/31.15	c x-sub:   176 x-cut:      0 vfix:      0 v-elim:     87 locsubst:  1026 time:   0.12
847.83/31.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   33 Bins:   3074 BRemL:   4766 BRemN:    143 P:  2.5M T:  0.17
847.83/31.32	c Replacing      148 vars Replaced     2845 lits Time:     0.01 s 
847.83/31.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.83/31.33	c bin-w-bin subsume rem          477 bins  time:  0.00 s
847.83/31.35	c subs with bin:      119  lits-rem:         9  v-fix:    0  time:  0.01 s
847.83/31.35	c Subs w/ non-existent bins:     28 l-rem:      0 v-fix:     0 done:   3467 time:  0.01 s
847.83/31.36	c Removed useless bin:      24  fixed:     0  props:   0.24M  time:  0.00 s
847.83/31.37	c lits-rem:         0  cl-subs:      175  v-elim:     84  v-fix:    0  time:  0.01 s
847.83/31.38	c subs with bin:       25  lits-rem:        23  v-fix:    0  time:  0.00 s
851.03/31.47	c lits-rem:      1081  cl-subs:     1321  v-elim:      0  v-fix:    0  time:  0.09 s
851.03/31.47	c vivif2 --  cl tried     3606 cl shrink       22 lits rem         25 time: 0.00
851.03/31.48	c vivif2 --  cl tried     4553 cl shrink       33 lits rem        124 time: 0.00
854.22/31.52	c asymm  cl-useful: 422/3606/3606 lits-rem:1292 time: 0.05
854.22/31.53	c calculated reachability. Time: 0.00
854.22/31.53	c  N st   337    158521      3383      3258     16958      4553     60578    100654     13.66   no data
969.27/35.17	c  N st   338    207109      3383      3258     16959     26694     60578   1843135     13.66   no data
973.09/35.27	c Finding binary XORs  T:     0.07 s  found:     345
978.84/35.41	c Replacing      345 vars Replaced    82317 lits Time:     0.14 s 
1029.97/37.09	c  N st   339    237782      2848      3074     35932     30137     52796   1824802     13.66   no data
1029.97/37.09	c  S st   339    237782      2848      3074     35932     30137     52796   1824802     13.66   no data
1033.18/37.14	c Finding binary XORs  T:     0.03 s  found:      94
1036.37/37.22	c Replacing       94 vars Replaced    28581 lits Time:     0.08 s 
1036.37/37.27	c  S st   339    238283      2754      3062     57128     30274     52740   1873378     13.66   no data
1039.57/37.35	c x-sub:   191 x-cut:      0 vfix:      0 v-elim:     19 locsubst:    58 time:   0.08
1049.14/37.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:    935 BRemL:  27277 BRemN:     91 P:  3.2M T:  0.26
1049.14/37.62	c Replacing       16 vars Replaced     1084 lits Time:     0.01 s 
1049.14/37.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1049.14/37.63	c bin-w-bin subsume rem         7569 bins  time:  0.00 s
1049.14/37.64	c subs with bin:      142  lits-rem:       218  v-fix:    0  time:  0.01 s
1049.14/37.65	c Subs w/ non-existent bins:     15 l-rem:      0 v-fix:     0 done:   2719 time:  0.01 s
1049.14/37.65	c Removed useless bin:      10  fixed:     0  props:   0.17M  time:  0.00 s
1049.14/37.68	c lits-rem:         0  cl-subs:      218  v-elim:    111  v-fix:    0  time:  0.03 s
1052.34/37.74	c subs with bin:       25  lits-rem:      1241  v-fix:    0  time:  0.01 s
1317.57/46.09	c lits-rem:      2445  cl-subs:     3415  v-elim:      0  v-fix:    0  time:  8.34 s
1317.57/46.09	c vivif2 --  cl tried     3012 cl shrink        7 lits rem         14 time: 0.00
1320.77/46.11	c vivif2 --  cl tried    15436 cl shrink        1 lits rem          2 time: 0.02
1320.77/46.15	c asymm  cl-useful: 439/3012/3012 lits-rem:1343 time: 0.04
1320.77/46.16	c calculated reachability. Time: 0.00
1320.77/46.16	c  N st   339    238283      2608      2635     22639     15436     44784    878460     13.66   no data
1506.05/51.92	c  F st   340    306250      2608      2635     22639     38224     44784   3149615     13.66   no data
1506.05/51.92	c  N st   340    306250      2608      2635     22639     38224     44784   3149615     13.66   no data
1506.05/51.98	c Finding binary XORs  T:     0.05 s  found:      82
1515.65/52.21	c Replacing       82 vars Replaced    39892 lits Time:     0.23 s 
1544.39/53.14	c  N dy   417    325968      2526      2627     55593     30415     44727   1351584     15.38     16.72
1570.57/54.00	c  N dy   515    345972      2526      2627     55621     44818     44727   1855321     17.27     18.24
1585.93/54.43	c  S st   562    357424      2526      2627     55628     30328     44727    708787     17.85     16.87
1585.93/54.47	c  S st   562    357926      2526      2627     55628     30670     44727    718565     17.85   no data
1589.12/54.53	c x-sub:    42 x-cut:      0 vfix:      0 v-elim:      6 locsubst:   164 time:   0.05
1601.92/54.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   6189 BRemL:  23691 BRemN:     25 P:  4.7M T:  0.44
1601.92/54.97	c Replacing       51 vars Replaced     6305 lits Time:     0.01 s 
1601.92/54.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1601.92/54.98	c bin-w-bin subsume rem         7294 bins  time:  0.00 s
1601.92/55.00	c subs with bin:       93  lits-rem:        33  v-fix:    0  time:  0.02 s
1601.92/55.01	c Subs w/ non-existent bins:     16 l-rem:      0 v-fix:     0 done:   2469 time:  0.01 s
1601.92/55.01	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
1605.70/55.03	c lits-rem:         0  cl-subs:       16  v-elim:     36  v-fix:    0  time:  0.02 s
1605.70/55.07	c subs with bin:        4  lits-rem:        40  v-fix:    0  time:  0.01 s
1640.85/56.15	c lits-rem:      4602  cl-subs:     9120  v-elim:      0  v-fix:    0  time:  1.07 s
1640.85/56.15	c vivif2 --  cl tried     2620 cl shrink        7 lits rem         14 time: 0.00
1640.85/56.16	c vivif2 --  cl tried    21096 cl shrink       19 lits rem         56 time: 0.01
1644.09/56.23	c asymm  cl-useful: 164/2620/2620 lits-rem:500 time: 0.07
1644.09/56.23	c calculated reachability. Time: 0.00
1644.09/56.23	c  N dy   562    357926      2433      2494     30658     21096     42741    498883     17.85   no data
1646.64/56.34	c Finding binary XORs  T:     0.03 s  found:       0
1716.92/58.51	c  N dy   593    429062      2433      2494     30688     28699     42741    504929     16.62     17.49
1716.92/58.54	c Finding binary XORs  T:     0.02 s  found:       4
1742.44/59.36	c  N dy   693    449489      2433      2494     38796     43721     42741   1056021     17.66     18.59
1812.66/61.55	c  N dy   755    536889      2433      2494     38975     24834     42741    395528     16.41     10.56
1812.66/61.55	c  S st   755    536889      2433      2494     38975     24834     42741    395528     16.41     10.56
1812.66/61.58	c Finding binary XORs  T:     0.02 s  found:      19
1812.66/61.60	c  S st   755    537393      2433      2494     43421     25190     42741    411056     16.41   no data
1816.47/61.65	c x-sub:    49 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    60 time:   0.05
1828.61/62.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2411 BRemL:  11591 BRemN:      5 P:  4.2M T:  0.36
1828.61/62.02	c Replacing       23 vars Replaced     3433 lits Time:     0.01 s 
1828.61/62.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1828.61/62.03	c bin-w-bin subsume rem         2067 bins  time:  0.00 s
1828.61/62.05	c subs with bin:       41  lits-rem:        10  v-fix:    0  time:  0.02 s
1828.61/62.06	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:   2410 time:  0.01 s
1828.61/62.06	c Removed useless bin:       3  fixed:     0  props:   0.11M  time:  0.00 s
1828.61/62.07	c lits-rem:         1  cl-subs:       24  v-elim:      7  v-fix:    0  time:  0.01 s
1831.81/62.10	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.00 s
1892.39/64.01	c lits-rem:      6322  cl-subs:    11165  v-elim:      0  v-fix:    0  time:  1.90 s
1892.39/64.01	c vivif2 --  cl tried     2441 cl shrink        3 lits rem          4 time: 0.00
1892.39/64.01	c vivif2 --  cl tried    14016 cl shrink        2 lits rem          2 time: 0.00
1892.39/64.09	c asymm  cl-useful: 19/2441/2441 lits-rem:20 time: 0.08
1892.39/64.10	c calculated reachability. Time: 0.00
1895.58/64.10	c  N dy   755    537393      2403      2441     32039     14016     41936    231545     16.41   no data
1911.55/64.61	c Finding binary XORs  T:     0.02 s  found:      33
1911.55/64.62	c Replacing       33 vars Replaced     5674 lits Time:     0.01 s 
1914.75/64.74	c  N dy   857    557488      2370      2441     41104     27909     41936    681301     16.87     17.87
1943.47/65.61	c  N dy   979    577553      2370      2441     42513     42632     41936   1268988     17.68     40.39
1972.18/66.51	c  N dy  1127    597871      2370      2441     42528     35530     41936    911980     18.57     19.84
1981.77/66.89	c Finding binary XORs  T:     0.02 s  found:       4
2007.28/67.66	c  N dy  1261    617927      2370      2441     42598     50605     41936   1607268     19.52     30.71
2030.26/68.34	c  N dy  1353    638529      2370      2441     42700     40156     41936    879574     19.83     21.19
2048.78/68.97	c  N dy  1400    660141      2370      2441     42705     27732     41936    408773     19.61     21.24
2051.96/69.02	c Finding binary XORs  T:     0.02 s  found:      65
2051.96/69.03	c Replacing       69 vars Replaced     9506 lits Time:     0.01 s 
2074.30/69.70	c Finding binary XORs  T:     0.02 s  found:       1
2083.88/70.10	c  N dy  1520    680164      2301      2441     65597     42555     41936   1115238     20.29     21.57
2112.60/70.93	c Finding binary XORs  T:     0.02 s  found:       3
2112.60/70.95	c  N dy  1593    700233      2301      2441     68209     28426     41936    470497     20.65     68.16
2132.38/71.55	c  N dy  1601    738111      2301      2441     68210     48093     41936    730639     19.84     21.21
2157.28/72.32	c Finding binary XORs  T:     0.02 s  found:      67
2157.28/72.33	c Replacing       71 vars Replaced    15984 lits Time:     0.01 s 
2163.67/72.51	c  N dy  1708    764370      2230      2441     73996     40220     41936    872892     20.13     21.42
2189.14/73.33	c  N dy  1791    784420      2230      2441     74044     55398     41936   1328193     20.25     39.88
2208.29/73.99	c Finding binary XORs  T:     0.02 s  found:       0
2211.48/74.09	c  N dy  1864    804467      2230      2441     90970     41669     41936    951019     20.47     21.57
2214.67/74.18	c  S st  1878    806089      2230      2441     90970     42884     41936    996038     20.50   no data
2217.86/74.22	c  S st  1878    806592      2230      2441     90973     43227     41936   1003101     20.50   no data
2217.86/74.28	c x-sub:   169 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   194 time:   0.05
2237.60/74.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    977 BRemL:  34184 BRemN:      2 P:  7.1M T:  0.60
2237.60/74.89	c Replacing       71 vars Replaced     6059 lits Time:     0.01 s 
2237.60/74.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2237.60/74.91	c bin-w-bin subsume rem        19970 bins  time:  0.01 s
2240.82/74.93	c subs with bin:       28  lits-rem:        67  v-fix:    0  time:  0.02 s
2240.82/74.94	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   2159 time:  0.01 s
2240.82/74.94	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2240.82/74.97	c lits-rem:         0  cl-subs:       26  v-elim:      5  v-fix:    0  time:  0.02 s
2243.37/75.04	c subs with bin:       42  lits-rem:       112  v-fix:    0  time:  0.02 s
2313.60/77.21	c lits-rem:      4721  cl-subs:    16039  v-elim:      0  v-fix:    0  time:  2.16 s
2313.60/77.21	c vivif2 --  cl tried     2402 cl shrink        8 lits rem         22 time: 0.00
2313.60/77.22	c vivif2 --  cl tried    27136 cl shrink       33 lits rem        142 time: 0.01
2316.79/77.33	c asymm  cl-useful: 16/2402/2402 lits-rem:16 time: 0.11
2316.79/77.34	c calculated reachability. Time: 0.00
2316.79/77.34	c  N dy  1878    806592      2154      2402     37748     27136     40856    664385     20.50   no data
2339.14/78.10	c  N dy  1947    828348      2154      2402     41294     43662     40856   1135468     20.55     21.74
2342.92/78.13	c Finding binary XORs  T:     0.02 s  found:       1
2367.85/78.90	c  N dy  1993    853967      2154      2402     41553     34245     40856    493343     20.47     22.23
2428.43/80.89	c  N dy  2041    924402      2154      2402     41555     47789     40856    722450     19.80     21.06
2448.21/81.51	c  N dy  2061    951464      2154      2402     41780     38499     40856    523147     19.48     20.78
2473.16/82.23	c  N dy  2157    973837      2154      2402     41787     54227     40856    966963     19.58     20.69
2527.46/83.92	c  N dy  2158   1031383      2154      2402     41789     29303     40856    397663     18.98     20.20
2537.06/84.28	c Finding binary XORs  T:     0.02 s  found:       8
2553.66/84.73	c  N dy  2248   1056636      2154      2402     47788     48087     40856    946907     19.07     20.13
2575.40/85.47	c  F st  2332   1071876      2154      2402     48379     59322     40856   1370877     19.25     14.45
2575.40/85.49	c Replacing        9 vars Replaced     2218 lits Time:     0.01 s 
2584.99/85.70	c Finding binary XORs  T:     0.02 s  found:       0
2584.99/85.77	c Decided on static restart strategy
2584.99/85.77	c  N st  2338   1077069      2145      2402     49908     63546     40856   1620627     19.25   no data
2604.16/86.35	c  N st  2342   1100178      2145      2402     49910     46532     40856   1139843     19.25   no data
2639.28/87.43	c  N st  2344   1136172      2145      2402     49914     38186     40856   1537593     19.25   no data
2680.82/88.76	c  N st  2345   1168564      2145      2402     50404     63559     40856   2591199     19.25   no data
2747.95/90.81	c  N st  2346   1209888      2145      2402     50410     56476     40856   2504979     19.25   no data
2747.95/90.81	c  S st  2346   1209888      2145      2402     50410     56476     40856   2504979     19.25   no data
2747.95/90.83	c Finding binary XORs  T:     0.02 s  found:       2
2747.95/90.87	c  S st  2346   1210389      2145      2402     50473     56769     40856   2510020     19.25   no data
2751.15/90.93	c x-sub:    78 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    32 time:   0.06
2767.76/91.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1464 BRemL:   8062 BRemN:      0 P:  6.4M T:  0.51
2767.76/91.45	c Replacing       18 vars Replaced     2896 lits Time:     0.02 s 
2767.76/91.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2767.76/91.46	c bin-w-bin subsume rem         4439 bins  time:  0.00 s
2767.76/91.49	c subs with bin:       17  lits-rem:        20  v-fix:    0  time:  0.02 s
2767.76/91.49	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:   2127 time:  0.01 s
2767.76/91.50	c Removed useless bin:       1  fixed:     0  props:   0.10M  time:  0.00 s
2770.36/91.54	c lits-rem:         0  cl-subs:        8  v-elim:      2  v-fix:    0  time:  0.05 s
2853.41/94.16	c subs with bin:     2551  lits-rem:         0  v-fix:    0  time:  2.48 s
4425.80/143.37	c lits-rem:     14102  cl-subs:    15756  v-elim:      0  v-fix:    0  time: 49.19 s
4425.80/143.37	c vivif2 --  cl tried     2376 cl shrink        2 lits rem          3 time: 0.00
4429.01/143.40	c vivif2 --  cl tried    38452 cl shrink       94 lits rem         95 time: 0.03
4432.23/143.51	c asymm  cl-useful: 14/2376/2376 lits-rem:14 time: 0.11
4432.23/143.52	c calculated reachability. Time: 0.00
4432.23/143.52	c  N st  2346   1210389      2125      2376     39414     38452     40401   1647318     19.25   no data
4544.07/147.05	c  N st  2347   1283272      2125      2376     39414     57046     40401   1914784     19.25   no data
4547.27/147.15	c Finding binary XORs  T:     0.02 s  found:     442
4553.67/147.32	c Replacing      442 vars Replaced   296884 lits Time:     0.16 s 
5103.32/164.53	c  N st  2348   1392596      1520      2316    119449     72820     34719   5349061     19.25   no data
5103.32/164.56	c Finding binary XORs  T:     0.02 s  found:      23
5106.52/164.66	c Replacing       23 vars Replaced    14547 lits Time:     0.09 s 
5640.22/181.35	c  N st  2349   1556581      1497      2316    125076     62311     34712   3871146     19.25   no data
5640.22/181.38	c Finding binary XORs  T:     0.02 s  found:       3
6205.85/199.04	c  N st  2350   1710389      1497      2316    126185     53482     34712   3243603     19.25   no data
6205.85/199.04	c  S st  2350   1710389      1497      2316    126185     53482     34712   3243603     19.25   no data
6205.85/199.10	c Finding binary XORs  T:     0.02 s  found:      57
6209.66/199.13	c Replacing       60 vars Replaced     6973 lits Time:     0.03 s 
6212.86/199.23	c  S st  2350   1710892      1372      2228     12264     52480     25571   2954427     19.25   no data
6212.86/199.29	c x-sub:   163 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
6215.45/199.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    139 BRemL:   3613 BRemN:      5 P:  1.1M T:  0.09
6218.61/199.42	c Replacing        4 vars Replaced      378 lits Time:     0.02 s 
6218.61/199.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6218.61/199.42	c bin-w-bin subsume rem         5485 bins  time:  0.00 s
6218.61/199.42	c subs with bin:       75  lits-rem:       129  v-fix:    0  time:  0.00 s
6218.61/199.43	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   1368 time:  0.00 s
6218.61/199.43	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
6218.61/199.49	c lits-rem:         2  cl-subs:      784  v-elim:     45  v-fix:    0  time:  0.07 s
6228.20/199.70	c subs with bin:       42  lits-rem:       305  v-fix:    0  time:  0.03 s
6732.11/242.79	c lits-rem:      2402  cl-subs:     3410  v-elim:      0  v-fix:    0  time: 43.08 s
6732.11/242.79	c vivif2 --  cl tried     1255 cl shrink        8 lits rem         17 time: 0.00
6732.31/242.83	c vivif2 --  cl tried    48962 cl shrink        0 lits rem          0 time: 0.03
6732.31/242.84	c asymm  cl-useful: 142/1254/1254 lits-rem:352 time: 0.02
6732.31/242.84	c calculated reachability. Time: 0.00
6732.31/242.84	c  N st  2350   1710892      1323      1254      2410     48962     17201   2719553     19.25   no data
6732.31/242.84	c Following stats are for *FIRST FINISHED THREAD ONLY*
6732.31/242.84	c num threads              : 32         
6732.31/242.84	c restarts                 : 4292       
6732.31/242.84	c dynamic restarts         : 4268       
6732.31/242.84	c static restarts          : 24         
6732.31/242.84	c full restarts            : 3          
6732.31/242.84	c total simplify time      : 2.29       
6732.31/242.84	c learnts DL2              : 0          
6732.31/242.84	c learnts size 2           : 538102     
6732.31/242.84	c learnts size 1           : 1012        (3.23      % of vars)
6732.31/242.84	c filedLit time            : 4.22        (1.77      % time)
6732.31/242.84	c v-elim SatELite          : 12294       (39.21     % vars)
6732.31/242.84	c SatELite time            : 0.63        (0.27      % time)
6732.31/242.84	c v-elim xor               : 0           (0.00      % vars)
6732.31/242.84	c xor elim time            : 0.04        (0.02      % time)
6732.31/242.84	c num binary xor trees     : 2591       
6732.31/242.84	c binxor trees' crown      : 14464       (5.58      leafs/tree)
6732.31/242.84	c bin xor find time        : 1.02       
6732.31/242.84	c OTF clause improved      : 74132       (0.08      clauses/conflict)
6732.31/242.84	c OTF impr. size diff      : 75642       (1.02       lits/clause)
6732.31/242.84	c OTF cl watch-shrink      : 254222      (0.26      clauses/conflict)
6732.31/242.84	c OTF cl watch-sh-lit      : 507235      (2.00       lits/clause)
6732.31/242.84	c tried to recurMin cls    : 393491      (39.96      % of conflicts)
6732.31/242.84	c updated cache            : 48242       (0.12       lits/tried recurMin)
6732.31/242.84	c unit cls recevied        : 111         (10.97     % of units)
6732.31/242.84	c unit cls sent            : 1015        (100.30    % of units)
6732.31/242.84	c bin cls recevied         : 416586     
6732.31/242.84	c bin cls sent             : 134494     
6732.31/242.84	c clauses over max glue    : 0           (0.00      % of all clauses)
6732.31/242.84	c conflicts                : 984717      (4128.73   / sec)
6732.31/242.84	c decisions                : 2422633     (11.21     % random)
6732.31/242.84	c bogo-props               : 8301819491  (34807921.49 / sec)
6732.31/242.84	c conflict literals        : 20649737    (10.84     % deleted)
6732.31/242.84	c Memory used              : 8311.03     MB
6732.31/242.84	c single-thread CPU time   : 238.50      s
6732.31/242.84	c all-threads sum CPU time : 6685.53     s
6732.31/242.84	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-3400634-1306258015/watcher-3400634-1306258015 -o /tmp/evaluation-result-3400634-1306258015/solver-3400634-1306258015 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400634-1306258015.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: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=338000 CPUtime=0.65 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 436 0 0 0 65 0 0 0 25 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 84500 376 297 95 0 79482 0
[pid=9790/tid=9791] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215542 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215528 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.11623 s]
/proc/loadavg: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=338000 CPUtime=3.12 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 466 0 0 0 312 0 0 0 25 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 84500 406 300 95 0 79482 0
[pid=9790/tid=9791] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 4 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=338000 CPUtime=0.07 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 7 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=338000 CPUtime=0.07 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=338000 CPUtime=0.09 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=338000 CPUtime=0.06 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215127 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215127 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215120 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 338000

[startup+0.203246 s]
/proc/loadavg: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=1184744 CPUtime=5.29 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) S 9788 9790 9700 0 -1 4202496 10731 0 0 0 450 79 0 0 17 0 32 0 737287987 1213177856 10585 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 296186 10589 335 95 0 291168 0
[pid=9790/tid=9791] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 395 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10590 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 460 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10598 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604503877074400 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=1184744 CPUtime=0.18 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 291 0 0 0 16 2 0 0 17 0 32 0 737287987 1213177856 10605 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604509921656288 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=1184744 CPUtime=0.18 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 294 0 0 0 16 2 0 0 17 0 32 0 737287987 1213177856 10611 268435456000 4194304 4580107 140736443243968 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 277 0 0 0 15 1 0 0 17 0 32 0 737287987 1213177856 10616 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604489445424608 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) D 9788 9790 9700 0 -1 4202560 287 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10624 268435456000 4194304 4580107 140736443243968 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 283 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10629 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604572910796256 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=1184744 CPUtime=0.14 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 270 0 0 0 12 2 0 0 18 0 32 0 737287987 1213177856 10640 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604504514854368 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=1184744 CPUtime=0.07 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 294 0 0 0 5 2 0 0 17 0 32 0 737287987 1213177856 10650 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=1184744 CPUtime=0.06 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 342 0 0 0 4 2 0 0 17 0 32 0 737287987 1213177856 10660 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 19 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=1184744 CPUtime=0.12 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 389 0 0 0 10 2 0 0 17 0 32 0 737287987 1213177856 10665 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604569936559584 0 0 -1 31 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 298 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10673 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604542854331872 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 300 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10686 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 277 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10694 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604503877074400 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=1184876 CPUtime=0.17 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 273 0 0 0 15 2 0 0 17 0 32 0 737287988 1213313024 10702 268435456000 4194304 4580107 140736443243968 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=1184876 CPUtime=0.12 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 389 0 0 0 10 2 0 0 17 0 32 0 737287988 1213313024 10733 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=1184876 CPUtime=0.15 cores=0-31

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

/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 2799038 0 0 0 668303 4688 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 4416041 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 2127623 1492429 379 95 0 2122605 0
[pid=9790/tid=9791] ppid=9788 vsize=8510492 CPUtime=209.41 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 132762 0 0 0 20782 159 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573744586208 0 0 -1 29 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=8510492 CPUtime=208.81 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 97768 0 0 0 20737 144 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604703133760992 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 101720 0 0 0 20654 151 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604481961950688 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=8510492 CPUtime=208.12 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 66730 0 0 0 20669 143 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604712329027040 0 0 -1 12 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=8510492 CPUtime=208.07 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90231 0 0 0 20657 150 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604701816569312 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=8510492 CPUtime=207.45 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 105467 0 0 0 20581 164 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476745104864 0 0 -1 19 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=8510492 CPUtime=208.15 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88205 0 0 0 20666 149 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604567742086624 0 0 -1 10 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=8510492 CPUtime=207.73 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 74316 0 0 0 20628 145 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604542854331872 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=8510492 CPUtime=207.78 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 82685 0 0 0 20621 157 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604566218489312 0 0 -1 30 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=8510492 CPUtime=207.98 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89617 0 0 0 20646 152 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569637101024 0 0 -1 25 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=8510492 CPUtime=218.78 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 84253 0 0 0 21723 155 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604482778430944 0 0 -1 18 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=8510492 CPUtime=206.86 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 115640 0 0 0 20525 161 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604709494734304 0 0 -1 19 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=8510492 CPUtime=208.37 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70405 0 0 0 20689 148 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604565238103520 0 0 -1 11 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=8510492 CPUtime=208.72 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 69911 0 0 0 20740 132 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604571924569568 0 0 -1 0 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=8510492 CPUtime=208.13 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78436 0 0 0 20662 151 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604509921656288 0 0 -1 21 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 73823 0 0 0 20687 146 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572313091552 0 0 -1 15 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72838 0 0 0 20666 137 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572910796256 0 0 -1 17 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70186 0 0 0 20662 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573169851872 0 0 -1 5 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=8510492 CPUtime=208.01 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 86749 0 0 0 20652 149 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604489445424608 0 0 -1 13 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=8510492 CPUtime=208.41 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89121 0 0 0 20699 142 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604702568316384 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72352 0 0 0 20658 145 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604504514854368 0 0 -1 9 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=8510492 CPUtime=206.47 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 124911 0 0 0 20480 167 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569936559584 0 0 -1 26 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=8510492 CPUtime=208.84 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 106215 0 0 0 20732 152 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604707246267872 0 0 -1 6 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=8510492 CPUtime=208.06 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 77591 0 0 0 20671 135 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573492780512 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=8510492 CPUtime=208.39 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 104364 0 0 0 20691 148 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604574507171296 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=8510492 CPUtime=208.4 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89387 0 0 0 20696 144 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476241395168 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 87558 0 0 0 20710 147 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569623797216 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=8510492 CPUtime=208.23 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88289 0 0 0 20673 150 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604575146638816 0 0 -1 24 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78839 0 0 0 20690 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446744071566928264 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90105 0 0 0 20718 139 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604503877074400 0 0 -1 23 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=8510492 CPUtime=238.01 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 32943 0 0 0 23725 76 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799190571 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6729.91
Current children cumulated vsize (KiB) 8510492

[startup+242.402 s]
/proc/loadavg: 20.36 28.07 29.78 3/445 9829
/proc/meminfo: memFree=249194168/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=8510492 CPUtime=6731.51 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 2799038 0 0 0 668463 4688 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 4416292 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 2127623 1492429 379 95 0 2122605 0
[pid=9790/tid=9791] ppid=9788 vsize=8510492 CPUtime=209.41 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 132762 0 0 0 20782 159 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573744586208 0 0 -1 29 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=8510492 CPUtime=208.81 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 97768 0 0 0 20737 144 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604703133760992 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 101720 0 0 0 20654 151 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604481961950688 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=8510492 CPUtime=208.12 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 66730 0 0 0 20669 143 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604712329027040 0 0 -1 12 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=8510492 CPUtime=208.07 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90231 0 0 0 20657 150 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604701816569312 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=8510492 CPUtime=207.45 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 105467 0 0 0 20581 164 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476745104864 0 0 -1 19 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=8510492 CPUtime=208.15 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88205 0 0 0 20666 149 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604567742086624 0 0 -1 10 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=8510492 CPUtime=207.73 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 74316 0 0 0 20628 145 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604542854331872 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=8510492 CPUtime=207.78 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 82685 0 0 0 20621 157 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604566218489312 0 0 -1 30 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=8510492 CPUtime=207.98 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89617 0 0 0 20646 152 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569637101024 0 0 -1 25 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=8510492 CPUtime=218.78 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 84253 0 0 0 21723 155 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604482778430944 0 0 -1 18 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=8510492 CPUtime=206.86 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 115640 0 0 0 20525 161 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604709494734304 0 0 -1 19 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=8510492 CPUtime=208.37 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70405 0 0 0 20689 148 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604565238103520 0 0 -1 11 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=8510492 CPUtime=208.72 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 69911 0 0 0 20740 132 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604571924569568 0 0 -1 0 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=8510492 CPUtime=208.13 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78436 0 0 0 20662 151 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604509921656288 0 0 -1 21 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 73823 0 0 0 20687 146 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572313091552 0 0 -1 15 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72838 0 0 0 20666 137 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572910796256 0 0 -1 17 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70186 0 0 0 20662 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573169851872 0 0 -1 5 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=8510492 CPUtime=208.01 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 86749 0 0 0 20652 149 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604489445424608 0 0 -1 13 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=8510492 CPUtime=208.41 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89121 0 0 0 20699 142 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604702568316384 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72352 0 0 0 20658 145 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604504514854368 0 0 -1 9 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=8510492 CPUtime=206.47 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 124911 0 0 0 20480 167 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569936559584 0 0 -1 26 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=8510492 CPUtime=208.84 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 106215 0 0 0 20732 152 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604707246267872 0 0 -1 6 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=8510492 CPUtime=208.06 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 77591 0 0 0 20671 135 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573492780512 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=8510492 CPUtime=208.39 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 104364 0 0 0 20691 148 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604574507171296 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=8510492 CPUtime=208.4 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89387 0 0 0 20696 144 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476241395168 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 87558 0 0 0 20710 147 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569623797216 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=8510492 CPUtime=208.23 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88289 0 0 0 20673 150 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604575146638816 0 0 -1 24 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78839 0 0 0 20690 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446744071566928264 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90105 0 0 0 20718 139 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604503877074400 0 0 -1 23 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=8510492 CPUtime=238.81 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 32943 0 0 0 23805 76 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799190724 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6731.51
Current children cumulated vsize (KiB) 8510492

[startup+243.216 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6732.81 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4728 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=208.94 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 184 0 0 18 0 2 0 737287988 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6732.81
Current children cumulated vsize (KiB) 0

[startup+243.401 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6732.99 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4746 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=209.13 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 203 0 0 18 0 2 0 737287988 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6732.99
Current children cumulated vsize (KiB) 0

[startup+243.501 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6733.09 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4756 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=209.23 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 213 0 0 18 0 2 0 737287988 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6733.09
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 243.598
CPU time (s): 6733.2
CPU user time (s): 6685.53
CPU system time (s): 47.6638
CPU usage (%): 2764.06
Max. virtual memory (cumulated for all children) (KiB): 8783888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6685.53
system time used= 47.6638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2799042
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= 1154567
involuntary context switches= 21206

runsolver used 1.41179 second user time and 5.45917 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 19:26:56
IDJOB=3400634
IDBENCH=20529
IDSOLVER=1886
FILE ID=node200/3400634-1306258015
RUNJOBID= node200-1306257797-9714
PBS_JOBID= 13411761
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400634-1306258015/watcher-3400634-1306258015 -o /tmp/evaluation-result-3400634-1306258015/solver-3400634-1306258015 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400634-1306258015.cnf

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

MD5SUM BENCH= 2bee695ce4278b72ee9295631ad94252
RANDOM SEED=1955390125

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:      255164788 kB
Buffers:        463780 kB
Cached:        8218376 kB
SwapCached:          0 kB
Active:        7770052 kB
Inactive:       981236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255164788 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8780 kB
Writeback:           0 kB
AnonPages:       68940 kB
Mapped:          14456 kB
Slab:           254696 kB
PageTables:       5064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191160 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-24 19:30:59