Trace number 3400648

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 9796.03 335.49

General information on the benchmark

Namemanol-pipe-f7nidw.cnf
MD5SUMb950ebec64dc35544d8f8bf6957e7bc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark895.205
Satisfiable
(Un)Satisfiability was proved
Number of variables310434
Number of clauses923497
Sum of the clauses size2154825
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2615664
Number of clauses of size 3307832
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400648-1306270351.cnf'
0.00/0.08	c -- header says num vars:         310434
0.00/0.08	c -- header says num clauses:      923497
110.95/8.53	c -- clauses added:            0 learnts,       923497 normals,            0 xors
110.95/8.53	c -- vars added     310434
110.95/8.53	c Parsing time:  1.39 s
110.95/8.53	c  N st     0         0    310434    307832    615664         0   2154824         0   no data   no data
156.83/10.27	c asymm  cl-useful: 0/31165/307831 lits-rem:0 time: 1.70
1112.50/40.16	c Flit:  2033 Blit:  13912 bXBeca:    0 bXProp: 20972 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 29.87
1115.69/40.25	c Cleaning up after failed var search:     0.09 s 
1122.09/40.45	c Replacing    20972 vars Replaced   358715 lits Time:     0.18 s 
1129.10/40.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1134.80/40.80	c bin-w-bin subsume rem         1071 bins  time:  0.10 s
1141.11/41.06	c subs with bin:       13  lits-rem:        13  v-fix:    0  time:  0.25 s
1171.74/42.05	c Subs w/ non-existent bins:      3 l-rem:      3 v-fix:     0 done: 133828 time:  0.92 s
1183.34/42.44	c Removed useless bin:      80  fixed:     0  props:  20.00M  time:  0.39 s
1252.53/44.80	c lits-rem:         8  cl-subs:      205  v-elim:  90965  v-fix:    0  time:  1.64 s
1255.34/44.93	c Finding binary XORs  T:     0.12 s  found:    1278
1258.28/45.06	c Replacing     1278 vars Replaced    23192 lits Time:     0.11 s 
1265.33/45.38	c Finding non-binary XORs:     0.15 s (found:    6530, avg size: 3.0)
1265.33/45.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     6 time:   0.11
1267.89/45.43	c calculated reachability. Time: 0.01
1270.35/45.50	c Calc default polars -  time:   0.06 s pos:   63703 undec:  130027 neg:  116704
1270.35/45.50	c =========================================================================================
1270.35/45.50	c types(t): F = full restart, N = normal restart
1270.35/45.50	c types(t): S = simplification begin/end, E = solution found
1270.35/45.50	c restart types(rt): st = static, dy = dynamic
1270.35/45.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1270.35/45.50	c  B st     0         0    180647    209677    375756         0   1506191         0   no data   no data
1448.31/52.03	c  N dy    16      4207    180646    209677    375873      3595   1506190     42216      5.84      6.16
1608.13/57.03	c  N dy    44      8311    180646    209677    376146      7071   1506190     89912      6.50      6.94
1796.72/62.92	c  N dy    71     12323    180640    209677    376208     10592   1506189    140596      6.72      9.96
1994.88/69.20	c  N dy    96     16362    180406    209677    378290     14041   1506189    192233      6.89      7.44
2186.65/75.11	c  N dy   119     20439    180388    209677    378999      9036   1506189     58626      6.98      7.36
2407.21/82.03	c  N dy   141     24636    180187    209677    379014     12850   1506189    109838      6.99      7.36
2429.58/82.76	c  F st   144     25000    180185    209677    380418     13191   1506189    116875      6.98   no data
2435.97/82.92	c Replacing       12 vars Replaced      154 lits Time:     0.11 s 
3135.93/104.91	c Finding binary XORs  T:     0.14 s  found:     956
3231.53/107.95	c  N dy   150     30000    180080    207002    378088     17736   1488931    217377      6.98   no data
3231.53/107.96	c  S st   150     30000    180080    207002    378088     17736   1488931    217377      6.98   no data
3269.86/109.14	c  S st   150     30505    180079    207002    378108     18214   1488931    223616      6.98   no data
3273.07/109.25	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:    226 locsubst:     0 time:   0.11
4248.57/139.76	c Flit:   127 Blit:    270 bXBeca:    0 bXProp: 2162 Bins: 122747 BRemL:   4340 BRemN:     50 P: 200.0M T: 30.48
4248.57/139.77	c Cleaning up after failed var search:     0.00 s 
4257.52/140.00	c Replacing     3118 vars Replaced   217125 lits Time:     0.22 s 
4260.72/140.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4263.93/140.26	c bin-w-bin subsume rem        21141 bins  time:  0.11 s
4270.32/140.46	c subs with bin:      520  lits-rem:      1503  v-fix:    0  time:  0.20 s
4299.08/141.31	c Subs w/ non-existent bins:     55 l-rem:    488 v-fix:     0 done: 142121 time:  0.84 s
4315.69/141.85	c Removed useless bin:     304  fixed:     0  props:  20.00M  time:  0.54 s
4375.77/143.73	c lits-rem:       153  cl-subs:      685  v-elim: 117240  v-fix:    0  time:  1.54 s
4378.97/143.83	c subs with bin:      575  lits-rem:      3980  v-fix:    0  time:  0.06 s
4385.98/144.04	c lits-rem:       646  cl-subs:      655  v-elim:      0  v-fix:    0  time:  0.13 s
4410.93/144.87	c asymm  cl-useful: 497/33965/234215 lits-rem:536 time: 0.84
4414.13/144.91	c calculated reachability. Time: 0.00
4414.13/144.91	c  N dy   150     30505     58621    234206     97186      9740   1130771    134906      6.98   no data
4414.13/144.97	c Finding binary XORs  T:     0.06 s  found:      45
4487.65/147.23	c  N dy   173     34528     58575    234206     98816     13094   1130770    182137      6.97      8.45
4565.00/149.69	c  N dy   203     38889     58575    234206    127471     16734   1130770    292193      7.06      7.50
4577.14/150.05	c Finding binary XORs  T:     0.06 s  found:     145
4653.87/152.50	c  N dy   226     42985     58575    233252    127092     10425   1125397    165220      7.07     10.35
4692.19/153.68	c Finding binary XORs  T:     0.06 s  found:       1
4711.40/154.25	c  S st   247     45757     58572    233230    151984     12783   1125203    253661      7.13   no data
4724.14/154.63	c  S st   247     46258     58572    233230    151996     13254   1125202    259013      7.13   no data
4727.29/154.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     31 locsubst:    14 time:   0.07
4948.06/161.66	c Flit:    26 Blit:     15 bXBeca:    0 bXProp:  342 Bins: 135682 BRemL:  16826 BRemN:    120 P: 57.1M T:  6.89
4953.81/161.81	c Replacing      540 vars Replaced   140556 lits Time:     0.14 s 
4957.00/161.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4963.41/162.13	c bin-w-bin subsume rem        73046 bins  time:  0.18 s
4966.60/162.26	c subs with bin:     1055  lits-rem:      2760  v-fix:    0  time:  0.13 s
4973.03/162.43	c Subs w/ non-existent bins:    271 l-rem:   1644 v-fix:     0 done:  57938 time:  0.17 s
4976.19/162.53	c Removed useless bin:     285  fixed:     0  props:   2.29M  time:  0.10 s
4995.33/163.12	c lits-rem:       151  cl-subs:     1031  v-elim:  12465  v-fix:    0  time:  0.56 s
4998.52/163.22	c subs with bin:      212  lits-rem:      2176  v-fix:    0  time:  0.06 s
5004.90/163.43	c lits-rem:       238  cl-subs:      361  v-elim:      0  v-fix:    0  time:  0.12 s
5011.24/163.61	c vivif2 --  cl tried   213647 cl shrink     3216 lits rem       7000 time: 0.18
5011.24/163.65	c vivif2 --  cl tried    11476 cl shrink     1879 lits rem       4085 time: 0.04
5036.80/164.43	c asymm  cl-useful: 75/34540/213312 lits-rem:78 time: 0.78
5036.80/164.49	c calculated reachability. Time: 0.03
5036.80/164.49	c  N dy   247     46258     45473    213311    115205     11357   1026172    216031      7.13   no data
5043.20/164.64	c Finding binary XORs  T:     0.15 s  found:      79
5103.93/166.53	c  N dy   261     50348     45461    213311    131728     14871   1026172    300186      7.06      8.33
5139.07/167.64	c Finding binary XORs  T:     0.12 s  found:      17
5180.45/169.00	c  N dy   278     54422     45461    213176    131218     18290   1025285    351079      7.04      7.61
5234.09/170.66	c Finding binary XORs  T:     0.12 s  found:       3
5253.06/171.28	c  N dy   294     58446     45460    213119    180120     21618   1025060    494872      7.00      7.40
5348.49/174.39	c Finding binary XORs  T:     0.13 s  found:       0
5361.21/174.79	c  N dy   311     62618     45460    213119    218879     25087   1025060    624193      6.97      7.46
5443.26/177.30	c  N dy   325     66797     45457    213119    218900     15264   1025059    432899      6.93      7.54
5494.42/178.91	c  S st   341     69387     45453    213119    236001     17430   1025059    498978      6.95      4.80
5504.57/179.28	c  S st   341     69889     45453    213119    236020     17896   1025059    504022      6.95   no data
5507.77/179.35	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:    102 locsubst:     0 time:   0.07
5639.78/183.58	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:   27 Bins:  15504 BRemL:  38403 BRemN:     56 P: 40.1M T:  4.22
5643.61/183.71	c Replacing      126 vars Replaced     8876 lits Time:     0.12 s 
5649.39/183.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5655.76/184.01	c bin-w-bin subsume rem        91311 bins  time:  0.17 s
5658.96/184.12	c subs with bin:     1334  lits-rem:       383  v-fix:    0  time:  0.11 s
5662.16/184.24	c Subs w/ non-existent bins:    178 l-rem:     19 v-fix:     0 done:  45202 time:  0.11 s
5665.31/184.31	c Removed useless bin:      93  fixed:     0  props:   1.08M  time:  0.07 s
5671.63/184.58	c lits-rem:        49  cl-subs:      312  v-elim:    748  v-fix:    0  time:  0.27 s
5674.83/184.69	c subs with bin:      181  lits-rem:       854  v-fix:    0  time:  0.07 s
5684.41/184.90	c lits-rem:       308  cl-subs:      522  v-elim:      0  v-fix:    0  time:  0.14 s
5687.60/185.05	c vivif2 --  cl tried   208638 cl shrink      693 lits rem       1348 time: 0.15
5687.60/185.10	c vivif2 --  cl tried    16937 cl shrink     1069 lits rem       2807 time: 0.04
5713.75/185.83	c asymm  cl-useful: 60/19081/208556 lits-rem:180 time: 0.74
5713.75/185.89	c calculated reachability. Time: 0.03
5713.75/185.90	c  N dy   341     69889     44454    208496    104823     16894   1000876    230897      6.95   no data
5719.57/186.02	c Finding binary XORs  T:     0.12 s  found:       3
5824.62/189.36	c  N dy   365     74362     44454    208496    112191     20706   1000876    303971      6.96      7.46
5920.53/192.38	c Finding binary XORs  T:     0.12 s  found:       1
5927.45/192.57	c  N dy   391     79156     44454    208496    112208     24694   1000876    362296      6.95      7.36
6035.38/195.99	c  N dy   416     84215     44451    208496    123964     28933   1000876    451830      6.95      7.45
6073.75/197.15	c Finding binary XORs  T:     0.12 s  found:     135
6121.70/198.62	c  F st   434     87500     44434    208096    116632     31397    999062    475567      6.95   no data
6124.90/198.74	c Replacing      148 vars Replaced    21790 lits Time:     0.08 s 
6128.10/198.85	c Replacing        7 vars Replaced      199 lits Time:     0.07 s 
6198.42/201.02	c  N st   439     90798     44268    207978    115080     18245    998234    259708      6.95   no data
6314.01/204.65	c  N dy   460     96748     43595    199243     67725     20347    955110    224350      6.94      7.42
6345.93/205.69	c Finding binary XORs  T:     0.12 s  found:    1177
6349.17/205.80	c Replacing     1409 vars Replaced    81141 lits Time:     0.10 s 
6463.60/209.40	c  N dy   500    102965     42159    198142     72637     25182    945259    308362      6.97      7.35
6501.93/210.55	c Finding binary XORs  T:     0.11 s  found:     276
6508.32/210.72	c  S st   515    104834     42159    197972     77105     26729    943930    343529      6.99   no data
6521.71/211.15	c  S st   515    105337     42159    197972     77126     27174    943930    348556      6.99   no data
6524.94/211.22	c x-sub:   127 x-cut:      0 vfix:      0 v-elim:    208 locsubst:   704 time:   0.07
6648.80/215.15	c Flit:    57 Blit:    166 bXBeca:    0 bXProp:  976 Bins:  62439 BRemL:  31894 BRemN:    100 P: 33.2M T:  3.90
6648.80/215.15	c Cleaning up after failed var search:     0.00 s 
6655.19/215.32	c Replacing     1377 vars Replaced   149346 lits Time:     0.16 s 
6658.39/215.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6658.39/215.49	c bin-w-bin subsume rem        26167 bins  time:  0.05 s
6662.17/215.59	c subs with bin:     2639  lits-rem:      3215  v-fix:    0  time:  0.09 s
6667.97/215.70	c Subs w/ non-existent bins:    173 l-rem:    887 v-fix:     1 done:  40282 time:  0.11 s
6667.97/215.77	c Removed useless bin:     217  fixed:     0  props:   1.10M  time:  0.07 s
6680.75/216.19	c lits-rem:       255  cl-subs:     4584  v-elim:   2328  v-fix:    0  time:  0.41 s
6687.14/216.34	c subs with bin:      687  lits-rem:      8991  v-fix:    0  time:  0.08 s
6693.55/216.58	c lits-rem:      1646  cl-subs:     2508  v-elim:      0  v-fix:    0  time:  0.17 s
6697.37/216.70	c vivif2 --  cl tried   177425 cl shrink     1880 lits rem       3592 time: 0.12
6700.56/216.75	c vivif2 --  cl tried    20509 cl shrink     2337 lits rem       5557 time: 0.05
6725.50/217.53	c asymm  cl-useful: 37/21803/177168 lits-rem:111 time: 0.78
6725.50/217.57	c calculated reachability. Time: 0.02
6725.50/217.58	c  N dy   515    105337     37953    177131     69065     20431    851577    264426      6.99   no data
6728.71/217.71	c Finding binary XORs  T:     0.13 s  found:      32
6878.92/222.38	c  N dy   550    112447     37948    177131     93103     26407    851575    400932      6.99      7.37
6885.32/222.59	c Finding binary XORs  T:     0.12 s  found:     332
7035.19/227.28	c Finding binary XORs  T:     0.13 s  found:     129
7038.38/227.37	c Replacing      493 vars Replaced    19318 lits Time:     0.08 s 
7057.55/227.95	c  N dy   595    119814     37441    176648    167329     17984    848653    376531      7.03      7.42
7206.84/232.62	c  N dy   641    127518     37439    176648    175738     24572    848653    494631      7.05      7.74
7280.34/234.98	c Finding binary XORs  T:     0.13 s  found:     247
7385.77/238.28	c  N dy   694    135813     37426    176539    182312     31500    848011    623848      7.11      7.83
7529.22/242.77	c Finding binary XORs  T:     0.13 s  found:     222
7532.43/242.86	c Replacing      469 vars Replaced    62260 lits Time:     0.09 s 
7583.53/244.46	c  N dy   749    144623     36938    176057    182337     20969    845026    420283      7.14      7.65
7806.15/251.46	c  N dy   811    154051     36914    176057    185131     29053    845023    555602      7.16      7.65
7886.04/254.00	c  S st   838    158005     36913    176057    185156     32505    845022    618063      7.20   no data
7902.00/254.48	c  S st   838    158505     36912    176057    185168     32939    845022    622258      7.20   no data
7905.19/254.56	c x-sub:   463 x-cut:      0 vfix:      0 v-elim:     13 locsubst:    82 time:   0.08
8077.56/259.92	c Flit:    47 Blit:     90 bXBeca:    0 bXProp:  689 Bins:  24902 BRemL:  19442 BRemN:     10 P: 62.9M T:  5.35
8077.56/259.93	c Cleaning up after failed var search:     0.00 s 
8083.95/260.10	c Replacing      726 vars Replaced   188516 lits Time:     0.17 s 
8087.15/260.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8106.32/260.83	c bin-w-bin subsume rem        91119 bins  time:  0.63 s
8109.52/260.93	c subs with bin:     1828  lits-rem:      3079  v-fix:    0  time:  0.10 s
8112.72/261.08	c Subs w/ non-existent bins:    343 l-rem:    422 v-fix:     0 done:  35898 time:  0.14 s
8115.92/261.14	c Removed useless bin:     255  fixed:     0  props:   1.36M  time:  0.07 s
8125.51/261.48	c lits-rem:       458  cl-subs:     4310  v-elim:   1730  v-fix:    0  time:  0.33 s
8131.91/261.65	c subs with bin:      733  lits-rem:      7391  v-fix:    0  time:  0.11 s
8141.48/261.92	c lits-rem:      1193  cl-subs:     1809  v-elim:      0  v-fix:    0  time:  0.20 s
8144.68/262.08	c vivif2 --  cl tried   159385 cl shrink     1438 lits rem       2336 time: 0.15
8147.88/262.16	c vivif2 --  cl tried    27783 cl shrink     3219 lits rem      10076 time: 0.09
8174.00/262.94	c asymm  cl-useful: 24/16573/159130 lits-rem:72 time: 0.78
8174.00/262.99	c calculated reachability. Time: 0.03
8174.00/262.99	c  N dy   838    158505     34168    159106     71498     27664    763747    336558      7.20   no data
8179.76/263.15	c Finding binary XORs  T:     0.16 s  found:      45
8230.91/264.80	c Finding binary XORs  T:     0.14 s  found:     311
8234.11/264.88	c Replacing      356 vars Replaced    31401 lits Time:     0.08 s 
8379.55/269.49	c Finding binary XORs  T:     0.14 s  found:      76
8404.41/270.25	c  N dy   919    168652     33798    158895    152938     36288    762070    653924      7.28     11.96
8496.96/273.23	c Finding binary XORs  T:     0.14 s  found:      86
8621.82/277.18	c  N dy   997    179457     33705    158839    184148     27537    761636    532848      7.34      8.12
8681.93/279.08	c Finding binary XORs  T:     0.14 s  found:     769
8685.13/279.17	c Replacing      991 vars Replaced    66356 lits Time:     0.09 s 
8825.72/283.60	c Finding binary XORs  T:     0.14 s  found:     594
8828.92/283.68	c Replacing      594 vars Replaced    43264 lits Time:     0.08 s 
8832.73/283.74	c  N dy  1067    191042     31760    150221     72156     34066    711172    441854      7.36      7.80
9046.89/290.43	c  N dy  1142    203509     31754    150221     74083     26047    711172    275490      7.38      8.09
9190.04/294.98	c Finding binary XORs  T:     0.14 s  found:     461
9193.24/295.07	c Replacing      463 vars Replaced    67937 lits Time:     0.08 s 
9273.13/297.52	c  N dy  1215    216652     31209    148853    116024     36827    703209    541555      7.42      7.88
9314.69/298.83	c Finding binary XORs  T:     0.14 s  found:      90
9474.44/303.83	c  N dy  1304    230647     31170    148845    120587     29250    703171    380226      7.47      7.93
9567.12/306.80	c Finding binary XORs  T:     0.14 s  found:     240
9570.91/306.89	c Replacing      331 vars Replaced    26491 lits Time:     0.08 s 
9592.69/307.52	c  S st  1356    237758     30831    148162    120022     35028    698570    481812      7.50   no data
9606.07/307.92	c  S st  1356    238258     30831    148162    120040     35470    698570    486948      7.50   no data
9606.07/307.98	c x-sub:   344 x-cut:      0 vfix:      0 v-elim:     80 locsubst:   164 time:   0.06
9688.57/310.59	c Flit:    26 Blit:     24 bXBeca:    0 bXProp:  128 Bins:  21096 BRemL:  30108 BRemN:     66 P: 20.9M T:  2.60
9694.97/310.71	c Replacing      209 vars Replaced    23628 lits Time:     0.11 s 
9698.17/310.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9703.44/311.08	c bin-w-bin subsume rem        53405 bins  time:  0.27 s
9704.15/311.15	c subs with bin:     1416  lits-rem:      2194  v-fix:    0  time:  0.06 s
9704.98/311.23	c Subs w/ non-existent bins:    133 l-rem:    146 v-fix:     0 done:  30488 time:  0.07 s
9704.98/311.27	c Removed useless bin:     208  fixed:     0  props:   0.85M  time:  0.05 s
9707.66/311.67	c lits-rem:       457  cl-subs:     7713  v-elim:   2787  v-fix:    0  time:  0.40 s
9709.05/311.81	c subs with bin:      807  lits-rem:      7348  v-fix:    0  time:  0.07 s
9709.75/311.98	c lits-rem:      2476  cl-subs:     2304  v-elim:      0  v-fix:    0  time:  0.13 s
9710.45/312.04	c vivif2 --  cl tried   128247 cl shrink      703 lits rem        864 time: 0.06
9710.45/312.08	c vivif2 --  cl tried    29253 cl shrink     2141 lits rem       5506 time: 0.03
9713.95/312.58	c asymm  cl-useful: 670/13547/128162 lits-rem:2026 time: 0.51
9714.65/312.62	c calculated reachability. Time: 0.01
9714.65/312.62	c  N dy  1356    238258     27701    128116     48655     29229    609196    271676      7.50   no data
9794.79/334.39	c Following stats are for *FIRST FINISHED THREAD ONLY*
9794.79/334.39	c num threads              : 32         
9794.79/334.39	c restarts                 : 1064       
9794.79/334.39	c dynamic restarts         : 1046       
9794.79/334.39	c static restarts          : 18         
9794.79/334.39	c full restarts            : 2          
9794.79/334.39	c total simplify time      : 4.18       
9794.79/334.39	c learnts DL2              : 0          
9794.79/334.39	c learnts size 2           : 2112726    
9794.79/334.39	c learnts size 1           : 26056       (8.39      % of vars)
9794.79/334.39	c filedLit time            : 69.68       (21.80     % time)
9794.79/334.39	c v-elim SatELite          : 197547      (63.64     % vars)
9794.79/334.39	c SatELite time            : 5.14        (1.61      % time)
9794.79/334.39	c v-elim xor               : 440         (0.14      % vars)
9794.79/334.39	c xor elim time            : 0.23        (0.07      % time)
9794.79/334.39	c num binary xor trees     : 8268       
9794.79/334.39	c binxor trees' crown      : 45447       (5.50      leafs/tree)
9794.79/334.39	c bin xor find time        : 1.66       
9794.79/334.39	c OTF clause improved      : 18068       (0.10      clauses/conflict)
9794.79/334.39	c OTF impr. size diff      : 19067       (1.06       lits/clause)
9794.79/334.39	c OTF cl watch-shrink      : 64996       (0.36      clauses/conflict)
9794.79/334.39	c OTF cl watch-sh-lit      : 185616      (2.86       lits/clause)
9794.79/334.39	c tried to recurMin cls    : 0           (0.00       % of conflicts)
9794.79/334.39	c updated cache            : 0           (nan        lits/tried recurMin)
9794.79/334.39	c unit cls recevied        : 971         (3.73      % of units)
9794.79/334.39	c unit cls sent            : 2022        (7.76      % of units)
9794.79/334.39	c bin cls recevied         : 1221089    
9794.79/334.39	c bin cls sent             : 159219     
9794.79/334.39	c clauses over max glue    : 0           (0.00      % of all clauses)
9794.79/334.39	c conflicts                : 182160      (569.87    / sec)
9794.79/334.39	c decisions                : 2985756     (3.46      % random)
9794.79/334.39	c bogo-props               : 2727471314  (8532562.89 / sec)
9794.79/334.39	c conflict literals        : 3105104     (21.55     % deleted)
9794.79/334.39	c Memory used              : 10906.47    MB
9794.79/334.39	c single-thread CPU time   : 319.65      s
9794.79/334.39	c all-threads sum CPU time : 9570.81     s
9794.79/334.39	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-3400648-1306270351/watcher-3400648-1306270351 -o /tmp/evaluation-result-3400648-1306270351/solver-3400648-1306270351 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400648-1306270351.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: 24.55 28.39 30.15 1/413 11143
/proc/meminfo: memFree=255151480/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=338000 CPUtime=0.75 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) R 11141 11143 11117 0 -1 4202496 436 0 0 0 75 0 0 0 25 0 32 0 738521645 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227952 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11143/statm: 84500 377 297 95 0 79482 0
[pid=11143/tid=11144] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11144/stat : 11144 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11143/tid=11145] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11145/stat : 11145 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11143/tid=11146] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11146/stat : 11146 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227944 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11143/tid=11147] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11147/stat : 11147 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227948 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11143/tid=11148] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11148/stat : 11148 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11143/tid=11149] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11149/stat : 11149 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11143/tid=11150] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11150/stat : 11150 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11143/tid=11151] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11151/stat : 11151 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11143/tid=11152] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11152/stat : 11152 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11143/tid=11153] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11153/stat : 11153 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227952 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11143/tid=11154] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11154/stat : 11154 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11143/tid=11155] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11155/stat : 11155 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11143/tid=11157] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11157/stat : 11157 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227948 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11143/tid=11158] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11158/stat : 11158 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11143/tid=11159] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11159/stat : 11159 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227952 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11143/tid=11160] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11160/stat : 11160 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11143/tid=11161] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11161/stat : 11161 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11143/tid=11162] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11162/stat : 11162 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11143/tid=11163] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11163/stat : 11163 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11143/tid=11164] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11164/stat : 11164 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11143/tid=11165] ppid=11141 vsize=338000 CPUtime=0 cores=0-31
/proc/11143/task/11165/stat : 11165 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11143/tid=11166] ppid=11141 vsize=338000 CPUtime=0 cores=0-31
/proc/11143/task/11166/stat : 11166 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11143/tid=11167] ppid=11141 vsize=338000 CPUtime=0 cores=0-31
/proc/11143/task/11167/stat : 11167 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11143/tid=11168] ppid=11141 vsize=338000 CPUtime=0.01 cores=0-31
/proc/11143/task/11168/stat : 11168 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11143/tid=11169] ppid=11141 vsize=338000 CPUtime=0.01 cores=0-31
/proc/11143/task/11169/stat : 11169 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11143/tid=11170] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11170/stat : 11170 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227948 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11143/tid=11171] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11171/stat : 11171 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11143/tid=11172] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11172/stat : 11172 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11143/tid=11173] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11173/stat : 11173 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11143/tid=11174] ppid=11141 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11143/task/11174/stat : 11174 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738521646 346112000 377 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227954 0 0 4096 2 0 0 0 -1 22 0 0 0

[startup+0.0999539 s]
/proc/loadavg: 24.55 28.39 30.15 1/413 11143
/proc/meminfo: memFree=255151480/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=1257524 CPUtime=1.97 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) D 11141 11143 11117 0 -1 4202496 10196 0 0 0 117 80 0 0 17 0 32 0 738521645 1287704576 10032 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11143/statm: 314381 10047 334 95 0 309363 0
[pid=11143/tid=11144] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11144/stat : 11144 (strangenight2-m) D 11141 11143 11117 0 -1 4202560 276 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10047 268435456000 4194304 4580107 140737176345952 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11143/tid=11145] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11145/stat : 11145 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 296 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10065 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501985410528 0 0 -1 2 0 0 0
[pid=11143/tid=11146] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11146/stat : 11146 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 300 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10075 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11143/tid=11147] ppid=11141 vsize=1257524 CPUtime=0.05 cores=0-31
/proc/11143/task/11147/stat : 11147 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 738521646 1287704576 10104 268435456000 4194304 4580107 140737176345952 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11143/tid=11148] ppid=11141 vsize=1257524 CPUtime=0.05 cores=0-31
/proc/11143/task/11148/stat : 11148 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 738521646 1287704576 10113 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 28 0 0 0
[pid=11143/tid=11149] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11149/stat : 11149 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 328 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10115 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604484847951328 0 0 -1 12 0 0 0
[pid=11143/tid=11150] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11150/stat : 11150 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 290 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10122 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11143/tid=11151] ppid=11141 vsize=1257524 CPUtime=0.06 cores=0-31
/proc/11143/task/11151/stat : 11151 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 305 0 0 0 4 2 0 0 17 0 32 0 738521646 1287704576 10123 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501654117856 0 0 -1 6 0 0 0
[pid=11143/tid=11152] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11152/stat : 11152 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 301 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10138 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604481138843104 0 0 -1 3 0 0 0
[pid=11143/tid=11153] ppid=11141 vsize=1257668 CPUtime=0.06 cores=0-31
/proc/11143/task/11153/stat : 11153 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 327 0 0 0 4 2 0 0 17 0 32 0 738521646 1287852032 10155 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11143/tid=11154] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11154/stat : 11154 (strangenight2-m) D 11141 11143 11117 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10176 268435456000 4194304 4580107 140737176345952 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11143/tid=11155] ppid=11141 vsize=1257668 CPUtime=0.06 cores=0-31
/proc/11143/task/11155/stat : 11155 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 323 0 0 0 4 2 0 0 17 0 32 0 738521646 1287852032 10193 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=1257668 CPUtime=0.06 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 313 0 0 0 4 2 0 0 17 0 32 0 738521646 1287852032 10193 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11143/tid=11157] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11157/stat : 11157 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 278 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10204 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604565545803232 0 0 -1 13 0 0 0
[pid=11143/tid=11158] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11158/stat : 11158 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 307 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10220 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604477671923168 0 0 -1 14 0 0 0
[pid=11143/tid=11159] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11159/stat : 11159 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 320 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10233 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566928144 0 0 -1 11 0 0 0
[pid=11143/tid=11160] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11160/stat : 11160 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 313 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10238 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501985410528 0 0 -1 17 0 0 0
[pid=11143/tid=11161] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11161/stat : 11161 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 280 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10243 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501654117856 0 0 -1 18 0 0 0
[pid=11143/tid=11162] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11162/stat : 11162 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 327 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10250 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604476486098400 0 0 -1 15 0 0 0
[pid=11143/tid=11163] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11163/stat : 11163 (strangenight2-m) D 11141 11143 11117 0 -1 4202560 324 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10251 268435456000 4194304 4580107 140737176345952 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11143/tid=11164] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11164/stat : 11164 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 296 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10256 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604478796357088 0 0 -1 24 0 0 0
[pid=11143/tid=11165] ppid=11141 vsize=1257668 CPUtime=0.02 cores=0-31
/proc/11143/task/11165/stat : 11165 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 293 0 0 0 0 2 0 0 17 0 32 0 738521646 1287852032 10268 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604505570827744 0 0 -1 31 0 0 0
[pid=11143/tid=11166] ppid=11141 vsize=1257668 CPUtime=0.03 cores=0-31
/proc/11143/task/11166/stat : 11166 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 366 0 0 0 1 2 0 0 17 0 32 0 738521646 1287852032 10290 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604478701395424 0 0 -1 29 0 0 0
[pid=11143/tid=11167] ppid=11141 vsize=1257668 CPUtime=0.04 cores=0-31
/proc/11143/task/11167/stat : 11167 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 312 0 0 0 2 2 0 0 17 0 32 0 738521646 1287852032 10314 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604504720203232 0 0 -1 26 0 0 0
[pid=11143/tid=11168] ppid=11141 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/11143/task/11168/stat : 11168 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 295 0 0 0 3 2 0 0 17 0 32 0 738521646 1287852032 10316 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604505570827744 0 0 -1 23 0 0 0
[pid=11143/tid=11169] ppid=11141 vsize=1257668 CPUtime=0.04 cores=0-31
/proc/11143/task/11169/stat : 11169 (strangenight2-m) D 11141 11143 11117 0 -1 4202560 308 0 0 0 2 2 0 0 17 0 32 0 738521646 1287852032 10324 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11143/tid=11170] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11170/stat : 11170 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 312 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10357 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501654117856 0 0 -1 30 0 0 0
[pid=11143/tid=11171] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11171/stat : 11171 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 349 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10360 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650624481 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11143/tid=11172] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11172/stat : 11172 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 275 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10375 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604482780102112 0 0 -1 19 0 0 0
[pid=11143/tid=11173] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11173/stat : 11173 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 279 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10394 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604484847951328 0 0 -1 25 0 0 0
[pid=11143/tid=11174] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11174/stat : 11174 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 322 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10397 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 1257524

[startup+0.104997 s]
/proc/loadavg: 24.55 28.39 30.15 1/413 11143
/proc/meminfo: memFree=255151480/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=1257820 CPUtime=2.02 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) R 11141 11143 11117 0 -1 4202496 10714 0 0 0 119 83 0 0 17 0 32 0 738521645 1288007680 10552 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11143/statm: 314455 10554 334 95 0 309437 0
[pid=11143/tid=11144] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11144/stat : 11144 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 285 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10557 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604481138843104 0 0 -1 1 0 0 0
[pid=11143/tid=11145] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11145/stat : 11145 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 301 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10576 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604484847951328 0 0 -1 2 0 0 0
[pid=11143/tid=11146] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11146/stat : 11146 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 310 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10595 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11143/tid=11147] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11147/stat : 11147 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 342 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10596 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604505570827744 0 0 -1 20 0 0 0
[pid=11143/tid=11148] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11148/stat : 11148 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 368 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10599 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604506038509024 0 0 -1 28 0 0 0
[pid=11143/tid=11149] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11149/stat : 11149 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 348 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10600 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566929344 0 0 -1 12 0 0 0
[pid=11143/tid=11150] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11150/stat : 11150 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 295 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10610 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 5 0 0 0
[pid=11143/tid=11151] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11151/stat : 11151 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 317 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10627 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566928664 0 0 -1 6 0 0 0
[pid=11143/tid=11152] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11152/stat : 11152 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 306 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10636 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11143/tid=11153] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11153/stat : 11153 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 343 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10639 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 9 0 0 0
[pid=11143/tid=11154] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11154/stat : 11154 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 357 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10639 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604478796357088 0 0 -1 10 0 0 0
[pid=11143/tid=11155] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11155/stat : 11155 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 356 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10658 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=1257820 CPUtime=0.06 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 340 0 0 0 4 2 0 0 17 0 32 0 738521646 1288007680 10669 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11143/tid=11157] ppid=11141 vsize=1257820 CPUtime=0.05 cores=0-31
/proc/11143/task/11157/stat : 11157 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 286 0 0 0 3 2 0 0 17 0 32 0 738521646 1288007680 10689 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604478962064864 0 0 -1 13 0 0 0
[pid=11143/tid=11158] ppid=11141 vsize=1257968 CPUtime=0.05 cores=0-31
/proc/11143/task/11158/stat : 11158 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 738521646 1288159232 10711 268435456000 4194304 4580107 140737176345952 18446744073709551615 258651060958 0 0 4096 2 18446604501267488224 0 0 -1 14 0 0 0
[pid=11143/tid=11159] ppid=11141 vsize=1257968 CPUtime=0.06 cores=0-31
/proc/11143/task/11159/stat : 11159 (strangenight2-m) D 11141 11143 11117 0 -1 4202560 348 0 0 0 4 2 0 0 17 0 32 0 738521646 1288159232 10715 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11143/tid=11160] ppid=11141 vsize=1257968 CPUtime=0.05 cores=0-31

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

/proc/11143/stat : 11143 (strangenight2-m) S 11141 11143 11117 0 -1 4202496 34238680 0 0 0 956743 22410 0 0 25 0 32 0 738521645 11373588480 2241554 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11143/statm: 2776755 2241556 378 95 0 2771737 0
[pid=11143/tid=11144] ppid=11141 vsize=11107020 CPUtime=302.37 cores=0-31
/proc/11143/task/11144/stat : 11144 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 735379 0 0 0 29515 722 0 0 25 0 32 0 738521646 11373588480 2241556 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478962064864 0 0 -1 10 0 0 0
[pid=11143/tid=11145] ppid=11141 vsize=11107020 CPUtime=303.42 cores=0-31
/proc/11143/task/11145/stat : 11145 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 996877 0 0 0 29576 766 0 0 25 0 32 0 738521646 11373588480 2241557 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604481138843104 0 0 -1 26 0 0 0
[pid=11143/tid=11146] ppid=11141 vsize=11107020 CPUtime=304.07 cores=0-31
/proc/11143/task/11146/stat : 11146 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 537990 0 0 0 29867 540 0 0 25 0 32 0 738521646 11373588480 2241557 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604476844531168 0 0 -1 18 0 0 0
[pid=11143/tid=11147] ppid=11141 vsize=11107020 CPUtime=302.13 cores=0-31
/proc/11143/task/11147/stat : 11147 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 449946 0 0 0 29683 530 0 0 25 0 32 0 738521646 11373588480 2241557 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604495778708960 0 0 -1 15 0 0 0
[pid=11143/tid=11148] ppid=11141 vsize=11107020 CPUtime=307.15 cores=0-31
/proc/11143/task/11148/stat : 11148 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 920331 0 0 0 29989 726 0 0 25 0 32 0 738521646 11373588480 2241558 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604565545803232 0 0 -1 19 0 0 0
[pid=11143/tid=11149] ppid=11141 vsize=11107020 CPUtime=303.03 cores=0-31
/proc/11143/task/11149/stat : 11149 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 569541 0 0 0 29709 594 0 0 25 0 32 0 738521646 11373588480 2241559 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446744071566926664 0 0 -1 25 0 0 0
[pid=11143/tid=11150] ppid=11141 vsize=11107020 CPUtime=303.77 cores=0-31
/proc/11143/task/11150/stat : 11150 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 484908 0 0 0 29806 571 0 0 25 0 32 0 738521646 11373588480 2241560 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604479442255328 0 0 -1 12 0 0 0
[pid=11143/tid=11151] ppid=11141 vsize=11107020 CPUtime=325.13 cores=0-31
/proc/11143/task/11151/stat : 11151 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 980140 0 0 0 31795 718 0 0 25 0 32 0 738521646 11373588480 2241561 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493203140 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11143/tid=11152] ppid=11141 vsize=11107020 CPUtime=303.98 cores=0-31
/proc/11143/task/11152/stat : 11152 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 427263 0 0 0 29906 492 0 0 25 0 32 0 738521646 11373588480 2241562 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604480916856288 0 0 -1 9 0 0 0
[pid=11143/tid=11153] ppid=11141 vsize=11107020 CPUtime=322.23 cores=0-31
/proc/11143/task/11153/stat : 11153 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1245342 0 0 0 31411 812 0 0 25 0 32 0 738521646 11373588480 2241563 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604503845912032 0 0 -1 23 0 0 0
[pid=11143/tid=11154] ppid=11141 vsize=11107020 CPUtime=314.06 cores=0-31
/proc/11143/task/11154/stat : 11154 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1234954 0 0 0 30636 770 0 0 25 0 32 0 738521646 11373588480 2241564 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604477671923168 0 0 -1 16 0 0 0
[pid=11143/tid=11155] ppid=11141 vsize=11107020 CPUtime=324.63 cores=0-31
/proc/11143/task/11155/stat : 11155 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 1426415 0 0 0 31610 853 0 0 25 0 32 0 738521646 11373588480 2241565 268435456000 4194304 4580107 140737176345952 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=11107020 CPUtime=313.12 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1230751 0 0 0 30638 674 0 0 25 0 32 0 738521646 11373588480 2241566 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501267488224 0 0 -1 16 0 0 0
[pid=11143/tid=11157] ppid=11141 vsize=11107020 CPUtime=303.26 cores=0-31
/proc/11143/task/11157/stat : 11157 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1333119 0 0 0 29508 818 0 0 25 0 32 0 738521646 11373588480 2241567 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604506038509024 0 0 -1 27 0 0 0
[pid=11143/tid=11158] ppid=11141 vsize=11107020 CPUtime=302.74 cores=0-31
/proc/11143/task/11158/stat : 11158 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1204735 0 0 0 29617 657 0 0 25 0 32 0 738521646 11373588480 2241569 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604498486271456 0 0 -1 13 0 0 0
[pid=11143/tid=11159] ppid=11141 vsize=11107020 CPUtime=303.03 cores=0-31
/proc/11143/task/11159/stat : 11159 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1242115 0 0 0 29534 769 0 0 25 0 32 0 738521646 11373588480 2241570 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478796357088 0 0 -1 22 0 0 0
[pid=11143/tid=11160] ppid=11141 vsize=11107020 CPUtime=304 cores=0-31
/proc/11143/task/11160/stat : 11160 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1442830 0 0 0 29604 796 0 0 25 0 32 0 738521646 11373588480 2241570 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484787535328 0 0 -1 5 0 0 0
[pid=11143/tid=11161] ppid=11141 vsize=11107020 CPUtime=303.39 cores=0-31
/proc/11143/task/11161/stat : 11161 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 956677 0 0 0 29686 653 0 0 25 0 32 0 738521646 11373588480 2241570 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501985410528 0 0 -1 2 0 0 0
[pid=11143/tid=11162] ppid=11141 vsize=11107020 CPUtime=302.9 cores=0-31
/proc/11143/task/11162/stat : 11162 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1056905 0 0 0 29608 682 0 0 25 0 32 0 738521646 11373588480 2241570 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604482342608352 0 0 -1 28 0 0 0
[pid=11143/tid=11163] ppid=11141 vsize=11107020 CPUtime=302.78 cores=0-31
/proc/11143/task/11163/stat : 11163 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1351435 0 0 0 29545 733 0 0 25 0 32 0 738521646 11373588480 2241572 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604503859158496 0 0 -1 31 0 0 0
[pid=11143/tid=11164] ppid=11141 vsize=11107020 CPUtime=303.88 cores=0-31
/proc/11143/task/11164/stat : 11164 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1454527 0 0 0 29642 746 0 0 25 0 32 0 738521646 11373588480 2241573 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484445437408 0 0 -1 24 0 0 0
[pid=11143/tid=11165] ppid=11141 vsize=11107020 CPUtime=303.16 cores=0-31
/proc/11143/task/11165/stat : 11165 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1187773 0 0 0 29659 657 0 0 25 0 32 0 738521646 11373588480 2241573 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604476486098400 0 0 -1 11 0 0 0
[pid=11143/tid=11166] ppid=11141 vsize=11107020 CPUtime=304.08 cores=0-31
/proc/11143/task/11166/stat : 11166 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1416189 0 0 0 29583 825 0 0 25 0 32 0 738521646 11373588480 2241574 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604505243467232 0 0 -1 29 0 0 0
[pid=11143/tid=11167] ppid=11141 vsize=11107020 CPUtime=302.54 cores=0-31
/proc/11143/task/11167/stat : 11167 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1433163 0 0 0 29420 834 0 0 25 0 32 0 738521646 11373588480 2241575 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484847951328 0 0 -1 20 0 0 0
[pid=11143/tid=11168] ppid=11141 vsize=11107020 CPUtime=302.05 cores=0-31
/proc/11143/task/11168/stat : 11168 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1330456 0 0 0 29437 768 0 0 25 0 32 0 738521646 11373588480 2241576 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604504913894880 0 0 -1 0 0 0 0
[pid=11143/tid=11169] ppid=11141 vsize=11107020 CPUtime=303.53 cores=0-31
/proc/11143/task/11169/stat : 11169 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1198510 0 0 0 29631 722 0 0 25 0 32 0 738521646 11373588480 2241578 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604498484674016 0 0 -1 21 0 0 0
[pid=11143/tid=11170] ppid=11141 vsize=11107020 CPUtime=302.73 cores=0-31
/proc/11143/task/11170/stat : 11170 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1345783 0 0 0 29495 778 0 0 25 0 32 0 738521646 11373588480 2241578 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501654117856 0 0 -1 1 0 0 0
[pid=11143/tid=11171] ppid=11141 vsize=11107020 CPUtime=303.93 cores=0-31
/proc/11143/task/11171/stat : 11171 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1033355 0 0 0 29776 617 0 0 25 0 32 0 738521646 11373588480 2241579 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604482780102112 0 0 -1 8 0 0 0
[pid=11143/tid=11172] ppid=11141 vsize=11107020 CPUtime=300.74 cores=0-31
/proc/11143/task/11172/stat : 11172 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1410960 0 0 0 29239 835 0 0 25 0 32 0 738521646 11373588480 2241580 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478412357088 0 0 -1 17 0 0 0
[pid=11143/tid=11173] ppid=11141 vsize=11107020 CPUtime=303.19 cores=0-31
/proc/11143/task/11173/stat : 11173 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1402271 0 0 0 29516 803 0 0 25 0 32 0 738521646 11373588480 2241581 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604504720203232 0 0 -1 14 0 0 0
[pid=11143/tid=11174] ppid=11141 vsize=11107020 CPUtime=304.6 cores=0-31
/proc/11143/task/11174/stat : 11174 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 61040 0 0 0 30193 267 0 0 18 0 32 0 738521646 11373588480 2241582 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604481184013792 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 9791.53
Current children cumulated vsize (KiB) 11107020

[startup+334.303 s]
/proc/loadavg: 23.84 28.87 30.02 3/445 11185
/proc/meminfo: memFree=246148188/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=11168224 CPUtime=9794.79 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) S 11141 11143 11117 0 -1 4202496 34249674 0 0 0 957067 22412 0 0 25 0 32 0 738521645 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11143/statm: 2792056 2247754 378 95 0 2787038 0
[pid=11143/tid=11144] ppid=11141 vsize=11168224 CPUtime=302.37 cores=0-31
/proc/11143/task/11144/stat : 11144 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 735379 0 0 0 29515 722 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478962064864 0 0 -1 10 0 0 0
[pid=11143/tid=11145] ppid=11141 vsize=11168224 CPUtime=303.42 cores=0-31
/proc/11143/task/11145/stat : 11145 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 996877 0 0 0 29576 766 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604481138843104 0 0 -1 26 0 0 0
[pid=11143/tid=11146] ppid=11141 vsize=11168224 CPUtime=304.07 cores=0-31
/proc/11143/task/11146/stat : 11146 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 537990 0 0 0 29867 540 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604476844531168 0 0 -1 18 0 0 0
[pid=11143/tid=11147] ppid=11141 vsize=11168224 CPUtime=302.13 cores=0-31
/proc/11143/task/11147/stat : 11147 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 449946 0 0 0 29683 530 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604495778708960 0 0 -1 15 0 0 0
[pid=11143/tid=11148] ppid=11141 vsize=11168224 CPUtime=307.15 cores=0-31
/proc/11143/task/11148/stat : 11148 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 920331 0 0 0 29989 726 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604565545803232 0 0 -1 19 0 0 0
[pid=11143/tid=11149] ppid=11141 vsize=11168224 CPUtime=303.03 cores=0-31
/proc/11143/task/11149/stat : 11149 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 569541 0 0 0 29709 594 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446744071566926664 0 0 -1 25 0 0 0
[pid=11143/tid=11150] ppid=11141 vsize=11168224 CPUtime=303.77 cores=0-31
/proc/11143/task/11150/stat : 11150 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 484908 0 0 0 29806 571 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604479442255328 0 0 -1 12 0 0 0
[pid=11143/tid=11151] ppid=11141 vsize=11168224 CPUtime=326.77 cores=0-31
/proc/11143/task/11151/stat : 11151 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 980140 0 0 0 31959 718 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493203140 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11143/tid=11152] ppid=11141 vsize=11168224 CPUtime=303.98 cores=0-31
/proc/11143/task/11152/stat : 11152 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 427263 0 0 0 29906 492 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604480916856288 0 0 -1 9 0 0 0
[pid=11143/tid=11153] ppid=11141 vsize=11168224 CPUtime=322.23 cores=0-31
/proc/11143/task/11153/stat : 11153 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1245342 0 0 0 31411 812 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604503845912032 0 0 -1 23 0 0 0
[pid=11143/tid=11154] ppid=11141 vsize=11168224 CPUtime=314.06 cores=0-31
/proc/11143/task/11154/stat : 11154 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1234954 0 0 0 30636 770 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604477671923168 0 0 -1 16 0 0 0
[pid=11143/tid=11155] ppid=11141 vsize=11168224 CPUtime=326.25 cores=0-31
/proc/11143/task/11155/stat : 11155 (strangenight2-m) R 11141 11143 11117 0 -1 4202560 1437398 0 0 0 31771 854 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=11168224 CPUtime=313.12 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1230751 0 0 0 30638 674 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501267488224 0 0 -1 16 0 0 0
[pid=11143/tid=11157] ppid=11141 vsize=11168224 CPUtime=303.26 cores=0-31
/proc/11143/task/11157/stat : 11157 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1333119 0 0 0 29508 818 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604506038509024 0 0 -1 27 0 0 0
[pid=11143/tid=11158] ppid=11141 vsize=11168224 CPUtime=302.74 cores=0-31
/proc/11143/task/11158/stat : 11158 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1204735 0 0 0 29617 657 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604498486271456 0 0 -1 13 0 0 0
[pid=11143/tid=11159] ppid=11141 vsize=11168224 CPUtime=303.03 cores=0-31
/proc/11143/task/11159/stat : 11159 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1242115 0 0 0 29534 769 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478796357088 0 0 -1 22 0 0 0
[pid=11143/tid=11160] ppid=11141 vsize=11168224 CPUtime=304 cores=0-31
/proc/11143/task/11160/stat : 11160 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1442830 0 0 0 29604 796 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484787535328 0 0 -1 5 0 0 0
[pid=11143/tid=11161] ppid=11141 vsize=11168224 CPUtime=303.39 cores=0-31
/proc/11143/task/11161/stat : 11161 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 956677 0 0 0 29686 653 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501985410528 0 0 -1 2 0 0 0
[pid=11143/tid=11162] ppid=11141 vsize=11168224 CPUtime=302.9 cores=0-31
/proc/11143/task/11162/stat : 11162 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1056905 0 0 0 29608 682 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604482342608352 0 0 -1 28 0 0 0
[pid=11143/tid=11163] ppid=11141 vsize=11168224 CPUtime=302.78 cores=0-31
/proc/11143/task/11163/stat : 11163 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1351435 0 0 0 29545 733 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604503859158496 0 0 -1 31 0 0 0
[pid=11143/tid=11164] ppid=11141 vsize=11168224 CPUtime=303.88 cores=0-31
/proc/11143/task/11164/stat : 11164 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1454527 0 0 0 29642 746 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484445437408 0 0 -1 24 0 0 0
[pid=11143/tid=11165] ppid=11141 vsize=11168224 CPUtime=303.16 cores=0-31
/proc/11143/task/11165/stat : 11165 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1187773 0 0 0 29659 657 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604476486098400 0 0 -1 11 0 0 0
[pid=11143/tid=11166] ppid=11141 vsize=11168224 CPUtime=304.08 cores=0-31
/proc/11143/task/11166/stat : 11166 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1416189 0 0 0 29583 825 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604505243467232 0 0 -1 29 0 0 0
[pid=11143/tid=11167] ppid=11141 vsize=11168224 CPUtime=302.54 cores=0-31
/proc/11143/task/11167/stat : 11167 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1433163 0 0 0 29420 834 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604484847951328 0 0 -1 20 0 0 0
[pid=11143/tid=11168] ppid=11141 vsize=11168224 CPUtime=302.05 cores=0-31
/proc/11143/task/11168/stat : 11168 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1330456 0 0 0 29437 768 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604504913894880 0 0 -1 0 0 0 0
[pid=11143/tid=11169] ppid=11141 vsize=11168224 CPUtime=303.53 cores=0-31
/proc/11143/task/11169/stat : 11169 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1198510 0 0 0 29631 722 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604498484674016 0 0 -1 21 0 0 0
[pid=11143/tid=11170] ppid=11141 vsize=11168224 CPUtime=302.73 cores=0-31
/proc/11143/task/11170/stat : 11170 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1345783 0 0 0 29495 778 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604501654117856 0 0 -1 1 0 0 0
[pid=11143/tid=11171] ppid=11141 vsize=11168224 CPUtime=303.93 cores=0-31
/proc/11143/task/11171/stat : 11171 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1033355 0 0 0 29776 617 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604482780102112 0 0 -1 8 0 0 0
[pid=11143/tid=11172] ppid=11141 vsize=11168224 CPUtime=300.74 cores=0-31
/proc/11143/task/11172/stat : 11172 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1410960 0 0 0 29239 835 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604478412357088 0 0 -1 17 0 0 0
[pid=11143/tid=11173] ppid=11141 vsize=11168224 CPUtime=303.19 cores=0-31
/proc/11143/task/11173/stat : 11173 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 1402271 0 0 0 29516 803 0 0 25 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604504720203232 0 0 -1 14 0 0 0
[pid=11143/tid=11174] ppid=11141 vsize=11168224 CPUtime=304.6 cores=0-31
/proc/11143/task/11174/stat : 11174 (strangenight2-m) S 11141 11143 11117 0 -1 4202560 61040 0 0 0 30193 267 0 0 18 0 32 0 738521646 11436261376 2247754 268435456000 4194304 4580107 140737176345952 18446744073709551615 47500493227572 0 0 4096 2 18446604481184013792 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 9794.79
Current children cumulated vsize (KiB) 11168224

[startup+335.101 s]
/proc/loadavg: 23.84 28.87 30.02 3/445 11185
/proc/meminfo: memFree=246148188/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=0 CPUtime=9795.64 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) Z 11141 11143 11117 0 -1 4203548 34249679 0 0 0 957080 22484 0 0 18 0 2 0 738521645 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/11143/statm: 0 0 0 0 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=0 CPUtime=313.82 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4203588 1230751 0 0 0 30638 744 0 0 18 0 2 0 738521646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 9795.64
Current children cumulated vsize (KiB) 0

[startup+335.301 s]
/proc/loadavg: 23.84 28.87 30.02 3/445 11185
/proc/meminfo: memFree=246148188/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=0 CPUtime=9795.84 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) Z 11141 11143 11117 0 -1 4203548 34249679 0 0 0 957080 22504 0 0 18 0 2 0 738521645 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/11143/statm: 0 0 0 0 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=0 CPUtime=314.02 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4203588 1230751 0 0 0 30638 764 0 0 19 0 2 0 738521646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 9795.84
Current children cumulated vsize (KiB) 0

[startup+335.401 s]
/proc/loadavg: 23.84 28.87 30.02 2/415 11185
/proc/meminfo: memFree=254052592/264257624 swapFree=67111528/67111528
[pid=11143] ppid=11141 vsize=0 CPUtime=9795.97 cores=0-31
/proc/11143/stat : 11143 (strangenight2-m) Z 11141 11143 11117 0 -1 4203548 34249679 0 0 0 957080 22517 0 0 18 0 2 0 738521645 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/11143/statm: 0 0 0 0 0 0 0
[pid=11143/tid=11156] ppid=11141 vsize=0 CPUtime=314.15 cores=0-31
/proc/11143/task/11156/stat : 11156 (strangenight2-m) R 11141 11143 11117 0 -1 4203588 1230751 0 0 0 30638 777 0 0 19 0 2 0 738521646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 9795.97
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 335.49
CPU time (s): 9796.03
CPU user time (s): 9570.81
CPU system time (s): 225.23
CPU usage (%): 2919.92
Max. virtual memory (cumulated for all children) (KiB): 11233760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9570.81
system time used= 225.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34249679
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= 3144449
involuntary context switches= 89497

runsolver used 2.11468 second user time and 7.84681 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 22:52:32
IDJOB=3400648
IDBENCH=69619
IDSOLVER=1886
FILE ID=node200/3400648-1306270351
RUNJOBID= node200-1306270351-11131
PBS_JOBID= 13411769
Free space on /tmp= 62032 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400648-1306270351/watcher-3400648-1306270351 -o /tmp/evaluation-result-3400648-1306270351/solver-3400648-1306270351 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400648-1306270351.cnf

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1275967518

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:      255151760 kB
Buffers:        465256 kB
Cached:        8234872 kB
SwapCached:          0 kB
Active:        7785396 kB
Inactive:       984324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255151760 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21572 kB
Writeback:           0 kB
AnonPages:       69648 kB
Mapped:          14176 kB
Slab:           255876 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177388 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= 62024 MiB
End job on node200 at 2011-05-24 22:58:08