Trace number 3400905

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 46232.8 1561.86

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
MD5SUMf603f11fbfe855df381282b7bce010ea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46232.8
Satisfiable
(Un)Satisfiability was proved
Number of variables88289
Number of clauses4187694
Sum of the clauses size12410354
Maximum clause length341
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23770000
Number of clauses of size 3347602
Number of clauses of size 41622
Number of clauses of size 51351
Number of clauses of size over 567118

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
1.25/0.06	c This is CryptoMiniSat 3.0.0
1.25/0.06	c WARNING: for repeatability, setting FPU to use double precision
1.25/0.06	c Reading file 'HOME/instance-3400905-1307128733.cnf'
1.25/0.09	c -- header says num vars:          88289
1.25/0.09	c -- header says num clauses:     4187694
175.57/13.90	c -- clauses added:            0 learnts,      4187694 normals,            0 xors
175.57/13.90	c -- vars added      88289
175.57/13.90	c Parsing time:  3.16 s
175.57/13.90	c  N st     0         0     88289    417693   3770000         0  12410353         0   no data   no data
264.19/16.74	c asymm  cl-useful: 12/12/417692 lits-rem:718 time: 2.76
602.84/27.31	c Flit:  1199 Blit:     70 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 10.52
606.62/27.44	c Cleaning up after failed var search:     0.13 s 
615.29/27.71	c Replacing       10 vars Replaced      315 lits Time:     0.27 s 
710.38/34.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
729.36/35.23	c bin-w-bin subsume rem           20 bins  time:  0.54 s
1044.77/45.14	c subs with bin:        0  lits-rem:      8260  v-fix:    0  time:  9.91 s
1100.80/46.93	c Subs w/ non-existent bins:    102 l-rem:    235 v-fix:    23 done:  45653 time:  1.62 s
1114.18/47.35	c Removed useless bin:      98  fixed:     0  props:  20.01M  time:  0.42 s
1812.49/69.57	c lits-rem:       269  cl-subs:     2944  v-elim:  10576  v-fix:    0  time: 21.60 s
1815.60/69.68	c Finding binary XORs  T:     0.11 s  found:      13
1824.93/69.98	c Replacing       13 vars Replaced     2611 lits Time:     0.29 s 
1847.06/70.67	c Finding non-binary XORs:     0.54 s (found:       0, avg size: nan)
1847.06/70.67	c calculated reachability. Time: 0.00
1850.23/70.79	c Calc default polars -  time:   0.12 s pos:    3442 undec:   11948 neg:   72899
1850.23/70.79	c =========================================================================================
1850.23/70.79	c types(t): F = full restart, N = normal restart
1850.23/70.79	c types(t): S = simplification begin/end, E = solution found
1850.23/70.79	c restart types(rt): st = static, dy = dynamic
1850.23/70.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1850.23/70.79	c  B st     0         0     76385    443761   3541060         0  11976021         0   no data   no data
1983.81/74.96	c  N dy    16      4104     76374    443761   3541191      3894  11976015    345657     34.26     37.38
2130.63/79.55	c  N dy    45      8122     76299    443761   3543624      7746  11976015    682481     35.16     49.64
2277.43/84.14	c  N dy    74     12618     76207    443761   3548368     12082  11976015   1097933     35.83     37.88
2440.21/89.28	c  N dy   101     17273     76185    443761   3548469     16551  11976015   1456547     35.33     37.19
2571.06/93.42	c  N dy   125     21324     76079    443761   3552310     10821  11975999    485683     35.16     46.89
2692.44/97.17	c  F st   147     25001     75988    443761   3555893     14337  11975980    807072     35.40     37.99
2737.20/98.53	c  N st   149     25626     75982    443288   3482072     14947  11813213    874566     35.40   no data
2845.87/101.94	c  N dy   153     30002     75982    443288   3482107     19234  11813212   1483821     35.40   no data
2845.87/101.94	c  S st   153     30002     75982    443288   3482107     19234  11813212   1483821     35.40   no data
2884.23/103.18	c  S st   153     30502     75979    443288   3482254     19580  11813211   1493044     35.40   no data
2891.21/103.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
3277.83/115.45	c Flit:  1353 Blit:    431 bXBeca:    0 bXProp:    6 Bins: 424318 BRemL:   2948 BRemN:      0 P: 200.0M T: 12.06
3283.62/115.60	c Cleaning up after failed var search:     0.15 s 
3290.01/115.89	c Replacing        6 vars Replaced     3240 lits Time:     0.28 s 
3325.13/116.97	c blocked clauses removed:     2054 vars:   1850 tried:       89363 T: 0.61 s
3341.11/117.44	c bin-w-bin subsume rem          249 bins  time:  0.47 s
3618.98/126.18	c subs with bin:     3755  lits-rem:     93880  v-fix:    0  time:  8.74 s
3730.81/129.64	c Subs w/ non-existent bins:     80 l-rem:    816 v-fix:     0 done:  27902 time:  3.43 s
3743.57/130.01	c Removed useless bin:    1054  fixed:     0  props:  20.00M  time:  0.31 s
3916.16/135.40	c lits-rem:      2418  cl-subs:      309  v-elim:   1285  v-fix:    0  time:  5.38 s
3983.90/137.52	c subs with bin:        5  lits-rem:      1249  v-fix:    0  time:  1.87 s
4059.98/139.90	c lits-rem:      3005  cl-subs:      565  v-elim:      0  v-fix:    0  time:  2.00 s
4095.14/141.01	c asymm  cl-useful: 181/186/441991 lits-rem:3674 time: 1.10
4098.33/141.14	c calculated reachability. Time: 0.01
4098.33/141.14	c  N dy   153     30502     71041    441991   3501881     18459  11188814   2079956     35.40   no data
4101.53/141.25	c Finding binary XORs  T:     0.11 s  found:      38
4225.48/146.89	c  N dy   178     34923     70680    441991   3519092     22720  11188804   2465013     35.25     37.74
4485.94/169.56	c  N dy   195     39045     70656    441991   3524197     26720  11188798   2775644     35.02     37.15
4540.04/173.09	c  N dy   220     43095     70656    441991   3524221     16093  11188794   1368324     35.01     36.96
4678.59/185.33	c Finding binary XORs  T:     0.11 s  found:      28
4696.66/186.75	c  S st   237     45756     69279    441430   3514619     18646  10642678   2000307     34.97     38.39
4708.68/187.71	c  S st   237     46256     69273    441430   3514734     19023  10642676   2006512     34.97   no data
4710.88/187.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
4798.69/197.26	c Flit:   355 Blit:    166 bXBeca:    0 bXProp:    5 Bins: 165747 BRemL:   7439 BRemN:     83 P: 200.0M T:  9.34
4798.69/197.26	c Cleaning up after failed var search:     0.00 s 
4802.13/197.73	c Replacing       71 vars Replaced    22375 lits Time:     0.46 s 
4805.78/198.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4808.98/198.67	c bin-w-bin subsume rem         7866 bins  time:  0.44 s
4866.28/206.17	c subs with bin:     1108  lits-rem:     68509  v-fix:    0  time:  7.49 s
4883.44/208.32	c Subs w/ non-existent bins:     41 l-rem:    298 v-fix:     0 done:  27261 time:  2.11 s
4885.29/208.64	c Removed useless bin:     838  fixed:     0  props:  20.01M  time:  0.31 s
4922.42/213.08	c lits-rem:      1526  cl-subs:      358  v-elim:   2086  v-fix:    0  time:  4.44 s
4942.15/214.89	c subs with bin:        5  lits-rem:      1110  v-fix:    0  time:  1.64 s
4959.87/216.48	c lits-rem:      4269  cl-subs:      327  v-elim:      0  v-fix:    0  time:  1.23 s
4966.05/217.03	c asymm  cl-useful: 348/348/437430 lits-rem:5661 time: 0.56
4967.15/217.17	c calculated reachability. Time: 0.01
4967.15/217.17	c  N dy   237     46256     66571    437430   3440161     18590  10018571   2189679     34.97   no data
5000.99/220.72	c  N dy   251     53560     66571    437430   3440254     25654  10018555   2653833     32.89     34.83
5119.33/228.80	c Finding binary XORs  T:     0.12 s  found:      25
5262.99/233.52	c  N dy   271     57730     65905    437205   3497363     29685   9866324   3226897     32.71     34.58
5386.72/237.49	c  N dy   299     61778     65901    437205   3501165     33608   9866298   3570655     33.00     35.72
5501.75/241.03	c  N dy   318     65813     65901    437205   3501197     19707   9866282   2266085     32.81     35.43
5620.01/244.79	c  S st   341     69392     65889    437205   3502937     23192   9866273   2569449     32.83   no data
5667.95/246.26	c  S st   341     69892     65887    437205   3503040     23586   9866271   2576024     32.83   no data
5674.97/246.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
6208.08/263.17	c Flit:   119 Blit:     71 bXBeca:    0 bXProp:   11 Bins: 466442 BRemL:   9464 BRemN:    234 P: 200.0M T: 16.70
6208.08/263.17	c Cleaning up after failed var search:     0.00 s 
6224.04/263.63	c Replacing       36 vars Replaced    15725 lits Time:     0.45 s 
6237.45/264.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6252.80/264.59	c bin-w-bin subsume rem         6197 bins  time:  0.50 s
6524.41/273.05	c subs with bin:     1450  lits-rem:     33824  v-fix:    0  time:  8.46 s
6600.89/275.43	c Subs w/ non-existent bins:    136 l-rem:   1755 v-fix:     2 done:  16453 time:  2.33 s
6613.68/275.85	c Removed useless bin:    3291  fixed:     0  props:  20.00M  time:  0.42 s
6719.15/279.15	c lits-rem:      2517  cl-subs:      112  v-elim:    188  v-fix:    0  time:  3.30 s
6783.06/281.16	c subs with bin:       19  lits-rem:       527  v-fix:    0  time:  1.78 s
6818.21/282.29	c lits-rem:      6309  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.81 s
6850.17/283.27	c asymm  cl-useful: 312/312/434986 lits-rem:7772 time: 0.98
6856.57/283.41	c calculated reachability. Time: 0.00
6856.57/283.42	c  N dy   341     69892     65463    434980   3894559     23078   9706899   3411020     32.83   no data
6859.76/283.53	c Finding binary XORs  T:     0.12 s  found:       9
7002.67/288.62	c  N dy   373     74379     65164    434980   3908986     27418   9706886   3802208     32.91     43.31
7326.30/307.06	c  N dy   399     81225     65044    434980   3920462     34087   9706875   4355021     32.38     34.21
7479.89/312.69	c Finding binary XORs  T:     0.12 s  found:      17
7541.13/314.69	c  N dy   431     86854     64941    434150   3913064     39584   9577993   4928170     32.43     34.24
7567.99/315.61	c  F st   437     87500     64941    434150   3913065     20205   9577993   3098328     32.45   no data
7580.71/315.90	c Replacing       26 vars Replaced     7568 lits Time:     0.29 s 
7736.72/321.08	c  N dy   443     92694     64852    434127   3917626     25294   9577866   3687724     32.45   no data
7932.84/327.28	c  N dy   473     98673     64812    434127   3926787     31062   9577846   4156001     32.38     37.03
8113.51/332.95	c  S st   509    104838     64798    434127   3929573     37067   9577817   4636292     32.42   no data
8158.84/334.37	c  S st   509    105338     64798    434127   3929615     37523   9577816   4644779     32.42   no data
8164.63/334.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
8714.26/351.71	c Flit:    37 Blit:      0 bXBeca:    0 bXProp:   57 Bins:  29663 BRemL:   6394 BRemN:    111 P: 200.0M T: 17.12
8727.04/352.16	c Replacing       57 vars Replaced    17938 lits Time:     0.44 s 
8743.00/352.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8756.37/353.10	c bin-w-bin subsume rem        14312 bins  time:  0.49 s
9021.09/361.30	c subs with bin:     2881  lits-rem:     88737  v-fix:    0  time:  8.21 s
9094.60/363.62	c Subs w/ non-existent bins:     99 l-rem:    603 v-fix:     0 done:  41938 time:  2.32 s
9107.98/364.05	c Removed useless bin:    5551  fixed:     0  props:  20.00M  time:  0.41 s
9184.09/366.47	c lits-rem:       266  cl-subs:      270  v-elim:   2650  v-fix:    0  time:  2.41 s
9254.41/368.65	c subs with bin:       26  lits-rem:       125  v-fix:    0  time:  1.90 s
9308.76/370.38	c lits-rem:     18313  cl-subs:      738  v-elim:      0  v-fix:    0  time:  1.42 s
9347.12/371.53	c asymm  cl-useful: 288/289/428233 lits-rem:1527 time: 1.14
9350.32/371.67	c calculated reachability. Time: 0.00
9350.32/371.67	c  N dy   509    105338     62054    428233   3740419     36224   9049632   4400134     32.42   no data
9526.09/377.15	c Finding binary XORs  T:     0.11 s  found:      12
9558.06/378.11	c  N dy   551    112068     62033    428216   3745881     42741   9044524   4935458     32.40     46.48
9772.18/384.89	c  N dy   602    119322     62033    428216   3747038     28464   9044489   3624480     32.56     34.35
9992.70/391.76	c  N dy   644    127007     62033    428216   3747397     35923   9044446   4192762     32.48     36.63
10152.53/396.78	c  N dy   654    135155     62023    428216   3756415     43938   9044443   4938232     31.64     33.51
10286.76/400.92	c Finding binary XORs  T:     0.11 s  found:      23
10373.63/403.63	c  N dy   685    143866     62022    428216   3833156     29578   9040530   3606233     31.26     37.87
10650.97/412.41	c  N dy   746    153100     62018    428216   3880685     38654   9040462   4507336     31.59     34.95
10798.59/416.95	c  S st   775    158008     62018    428216   3880700     43474   9040444   4941474     31.60     26.16
10845.90/418.45	c  S st   775    158508     62018    428216   3882117     43949   9040442   4954905     31.60   no data
10852.30/418.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
11478.70/438.23	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    2 Bins: 174113 BRemL:   9583 BRemN:     70 P: 200.0M T: 19.56
11494.65/438.73	c Replacing       38 vars Replaced    89780 lits Time:     0.50 s 
11507.43/439.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11523.41/439.69	c bin-w-bin subsume rem        10791 bins  time:  0.52 s
11788.48/447.94	c subs with bin:     2888  lits-rem:     57885  v-fix:    0  time:  8.25 s
11861.91/450.28	c Subs w/ non-existent bins:    209 l-rem:    753 v-fix:     0 done:  22608 time:  2.31 s
11874.70/450.67	c Removed useless bin:    5122  fixed:     0  props:  20.00M  time:  0.40 s
11941.81/452.78	c lits-rem:        77  cl-subs:      379  v-elim:    558  v-fix:    0  time:  2.09 s
12008.92/454.80	c subs with bin:      350  lits-rem:      2352  v-fix:    0  time:  1.73 s
12063.07/456.58	c lits-rem:      7135  cl-subs:      982  v-elim:      0  v-fix:    0  time:  1.48 s
12100.75/457.71	c asymm  cl-useful: 189/192/424272 lits-rem:3046 time: 1.13
12103.93/457.86	c calculated reachability. Time: 0.00
12103.93/457.86	c  N dy   775    158508     61419    424272   3982605     42547   8825638   5146372     31.60   no data
12107.14/457.98	c Finding binary XORs  T:     0.12 s  found:       3
12379.43/466.42	c  N dy   807    172009     61419    424272   3982619     31685   8825630   4122487     30.91     34.19
12653.87/475.68	c  N dy   863    183088     61069    424272   4044113     42555   8825598   5212586     30.83     33.18
12880.79/482.80	c Finding binary XORs  T:     0.12 s  found:      17
12999.01/486.46	c  N dy   935    194795     61069    421669   3962838     28054   8670467   3873016     30.89     34.78
13309.61/496.18	c  N dy   987    207338     61069    421669   3963452     40445   8670459   4814579     30.58     32.44
13679.69/507.74	c  N dy  1038    221565     61069    421669   3963825     28339   8670444   3726443     30.31     34.32
14027.99/518.67	c  N dy  1080    237762     61069    421669   3964267     44339   8670435   4948167     29.63     10.89
14027.99/518.67	c  S st  1080    237762     61069    421669   3964267     44339   8670435   4948167     29.63     10.89
14069.54/519.98	c  S st  1080    238265     61069    421669   3964545     44820   8670432   4960483     29.63   no data
14075.93/520.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
14576.93/536.65	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    1 Bins:  30114 BRemL:   8396 BRemN:    626 P: 200.1M T: 16.45
14585.78/537.15	c Replacing       21 vars Replaced    32180 lits Time:     0.49 s 
14591.99/537.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14599.13/538.02	c bin-w-bin subsume rem         5854 bins  time:  0.45 s
14665.57/544.77	c subs with bin:      474  lits-rem:      1817  v-fix:    0  time:  6.75 s
14683.58/546.70	c Subs w/ non-existent bins:    135 l-rem:    693 v-fix:     0 done:  21909 time:  1.86 s
14688.80/547.14	c Removed useless bin:   13299  fixed:     0  props:  20.00M  time:  0.44 s
14710.91/549.25	c lits-rem:      1786  cl-subs:     1125  v-elim:   2798  v-fix:    0  time:  2.10 s
14727.30/550.99	c subs with bin:       50  lits-rem:       348  v-fix:    0  time:  1.57 s
14740.69/552.47	c lits-rem:     14406  cl-subs:      809  v-elim:      0  v-fix:    0  time:  1.20 s
14746.02/552.99	c asymm  cl-useful: 221/222/421275 lits-rem:3145 time: 0.51
14748.01/553.12	c calculated reachability. Time: 0.00
14748.01/553.12	c  N dy  1080    238265     58249    421275   3829263     31969   8354740   4032775     29.63   no data
14790.36/557.05	c Finding binary XORs  T:     0.11 s  found:       1
15033.17/565.45	c  N dy  1127    255788     58248    421275   4281299     27900   8354731   4566328     29.04     30.89
15042.16/565.74	c Finding binary XORs  T:     0.12 s  found:      13
15515.05/580.51	c  N dy  1237    272126     57048    417508   3911097     43666   7742732   5626991     29.20     31.21
16017.40/596.23	c  N dy  1336    294378     57047    417508   3912204     40246   7742684   5073029     28.89     30.83
16355.57/606.89	c  F st  1407    306250     57046    417508   3912642     51957   7742678   5973191     28.90   no data
16371.54/607.39	c Replacing       14 vars Replaced    46142 lits Time:     0.35 s 
16547.27/612.80	c  N dy  1425    313294     57032    417507   3912648     30998   7741949   4515438     28.91     31.44
17132.08/631.13	c  N dy  1560    336115     57032    417507   3913286     53558   7741924   6270817     28.95     31.84
17423.52/640.29	c Finding binary XORs  T:     0.12 s  found:      46
17723.31/649.67	c  N dy  1684    356167     56131    414606   3837920     42067   7539177   5264461     29.03     37.30
17758.46/650.71	c  S st  1695    357397     56131    414606   3837920     43273   7539167   5356902     29.06     21.47
17800.01/652.04	c  S st  1695    357898     56131    414606   3837932     43757   7539163   5369280     29.06   no data
17807.02/652.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
18375.07/670.00	c Flit:    13 Blit:      0 bXBeca:    0 bXProp:   31 Bins: 131576 BRemL:  26790 BRemN:     95 P: 200.0M T: 17.28
18394.25/670.65	c Replacing       77 vars Replaced   179049 lits Time:     0.64 s 
18407.65/671.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18422.98/671.57	c bin-w-bin subsume rem        11819 bins  time:  0.51 s
18672.28/679.38	c subs with bin:     1515  lits-rem:      7931  v-fix:    0  time:  7.80 s
18704.22/680.30	c Subs w/ non-existent bins:     42 l-rem:    179 v-fix:     0 done:   4956 time:  0.87 s
18717.01/680.79	c Removed useless bin:   13203  fixed:     0  props:  20.00M  time:  0.49 s
18864.59/685.39	c lits-rem:      2563  cl-subs:     6734  v-elim:   3393  v-fix:    0  time:  4.58 s
18934.89/687.53	c subs with bin:      192  lits-rem:      1507  v-fix:    0  time:  1.96 s
18970.05/688.67	c lits-rem:     16865  cl-subs:      574  v-elim:      0  v-fix:    0  time:  0.89 s
18995.00/689.43	c vivif2 --  cl tried   408026 cl shrink     3036 lits rem      15123 time: 0.75
19007.81/689.84	c vivif2 --  cl tried    34515 cl shrink     5644 lits rem      81891 time: 0.41
19033.35/690.68	c asymm  cl-useful: 200/913/407986 lits-rem:1044 time: 0.84
19049.32/691.11	c calculated reachability. Time: 0.30
19049.32/691.12	c  N dy  1695    357898     52646    407986   3660428     34342   6928299   4642660     29.06   no data
19078.07/692.09	c Finding binary XORs  T:     0.97 s  found:      11
19576.61/707.64	c  N dy  1748    377972     52646    407986   3676333     28136   6928284   4234188     28.57     30.78
19705.03/711.63	c Finding binary XORs  T:     0.87 s  found:      15
20200.31/727.20	c  N dy  1758    407689     52642    407986   3781319     57286   6926887   5838820     27.43     29.23
20787.74/745.51	c  N dy  1813    432163     52639    407986   3789563     51569   6926875   5784309     26.91     28.45
21126.54/756.13	c Finding binary XORs  T:     0.90 s  found:       3
21325.29/762.37	c  N dy  1856    452644     52635    407963   3848030     39731   6925954   4984627     26.60     28.83
21779.11/776.54	c  N dy  1885    472854     52469    407963   3850007     59652   6925931   6107927     26.20     27.59
22225.89/790.54	c  N dy  1920    494109     52468    407963   3850324     46931   6925922   5252161     25.80     28.34
22670.12/804.48	c  N dy  1944    515138     52467    407963   3850885     67754   6925906   6519741     25.47     27.10
22705.28/805.59	c Finding binary XORs  T:     0.92 s  found:      13
23127.18/818.80	c  N dy  1961    535528     52463    407528   3817723     52274   6865311   5691223     25.09     26.63
23155.94/819.67	c  S st  1962    536849     52463    407528   3817728     53567   6865311   5762508     25.07     10.82
23197.50/820.98	c  S st  1962    537350     52463    407528   3817943     54059   6865309   5775472     25.07   no data
23203.90/821.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
23760.01/838.52	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    3 Bins: 193431 BRemL:  18189 BRemN:   1694 P: 200.0M T: 17.14
23776.00/839.10	c Replacing       45 vars Replaced   120088 lits Time:     0.57 s 
23788.78/839.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23807.96/840.09	c bin-w-bin subsume rem        24205 bins  time:  0.61 s
24038.07/847.24	c subs with bin:     1315  lits-rem:      4103  v-fix:    0  time:  7.14 s
24067.44/848.18	c Subs w/ non-existent bins:     12 l-rem:     58 v-fix:     0 done:   9847 time:  0.91 s
24082.82/848.69	c Removed useless bin:   13820  fixed:     0  props:  20.00M  time:  0.50 s
24185.06/851.87	c lits-rem:      1843  cl-subs:      433  v-elim:     42  v-fix:    0  time:  3.18 s
24252.18/853.90	c subs with bin:      366  lits-rem:      1155  v-fix:    0  time:  1.84 s
24303.29/855.50	c lits-rem:      5205  cl-subs:     1298  v-elim:      0  v-fix:    0  time:  1.35 s
24325.64/856.28	c vivif2 --  cl tried   405845 cl shrink      478 lits rem       1868 time: 0.78
24345.39/856.91	c vivif2 --  cl tried    43901 cl shrink     4643 lits rem      22973 time: 0.62
24380.55/857.92	c asymm  cl-useful: 97/1191/405842 lits-rem:313 time: 1.02
24399.13/858.58	c calculated reachability. Time: 0.52
24399.13/858.58	c  N dy  1962    537350     52376    405842   3935469     43756   6782581   5318732     25.07   no data
24450.86/860.13	c Finding binary XORs  T:     1.54 s  found:       5
24895.76/874.81	c  N dy  1969    560505     52344    405842   3944948     34799   6782576   4918536     24.57     25.87
25378.77/889.93	c  N dy  1984    585508     52342    405842   3960811     59486   6782572   6605002     24.10     25.80
26163.57/914.58	c Finding binary XORs  T:     1.53 s  found:      54
26227.46/916.52	c  N dy  2001    626471     52328    405387   3942411     64357   6763642   6411972     23.37     24.80
26749.96/932.97	c  N dy  2060    646527     51874    405387   3991763     46953   6763626   5581878     23.16     27.95
27091.59/943.67	c Finding binary XORs  T:     1.52 s  found:      23
27350.34/951.77	c  N dy  2111    669331     51689    402426   3848787     61521   6668921   6236976     22.92     24.23
27880.74/968.39	c  N dy  2150    694467     51679    402426   3855604     51416   6668897   5322947     22.64     23.85
28283.31/980.97	c  N dy  2158    714723     51673    402426   3861317     71439   6668893   6418704     22.41     24.13
28769.08/996.19	c  N dy  2208    736340     51655    402426   3866237     54759   6668874   5731636     22.24     23.52
29219.75/1010.24	c  N dy  2262    756612     51645    402426   3867574     74807   6668857   6809924     22.10     23.45
29699.80/1025.29	c Finding binary XORs  T:     1.48 s  found:     119
29724.77/1026.01	c  N dy  2312    776652     51631    401804   3815694     53949   6612785   5440925     21.98     57.83
30124.26/1038.50	c  N dy  2333    796693     51618    401804   3816170     73719   6612778   6370369     21.78     49.55
30338.39/1045.23	c  S st  2356    806025     51613    401804   3816326     82961   6612775   6916851     21.72     10.13
30383.14/1046.62	c  S st  2356    806525     51613    401804   3816332     83452   6612773   6928547     21.72   no data
30389.55/1046.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
30891.85/1062.61	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   11 Bins:  28946 BRemL:  19217 BRemN:   3735 P: 200.0M T: 15.71
30910.44/1063.19	c Replacing      212 vars Replaced   148425 lits Time:     0.58 s 
30923.23/1063.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30942.40/1064.10	c bin-w-bin subsume rem        43383 bins  time:  0.54 s
31150.17/1070.68	c subs with bin:      667  lits-rem:     11828  v-fix:    0  time:  6.58 s
31178.92/1071.56	c Subs w/ non-existent bins:     37 l-rem:     34 v-fix:     0 done:  11001 time:  0.88 s
31194.91/1072.08	c Removed useless bin:   14873  fixed:     0  props:  20.00M  time:  0.52 s
31284.40/1074.83	c lits-rem:      2736  cl-subs:     3021  v-elim:   2885  v-fix:    0  time:  2.75 s
31357.93/1077.12	c subs with bin:       19  lits-rem:       949  v-fix:    0  time:  2.00 s
31450.64/1080.05	c lits-rem:     10359  cl-subs:     4640  v-elim:      0  v-fix:    0  time:  2.69 s
31472.78/1080.75	c vivif2 --  cl tried   398384 cl shrink     1009 lits rem       5909 time: 0.70
31520.25/1082.25	c vivif2 --  cl tried    67410 cl shrink    19843 lits rem     186780 time: 1.50
31552.21/1083.26	c asymm  cl-useful: 56/1191/398372 lits-rem:284 time: 1.00
31574.58/1083.96	c calculated reachability. Time: 0.57
31574.58/1083.96	c  N dy  2356    806525     48516    398372   3522097     67254   6188773   5647351     21.72   no data
31763.15/1089.82	c Finding binary XORs  T:     1.84 s  found:      21
32197.83/1103.50	c  N dy  2439    828317     48442    397809   3657432     52562   6172207   5658396     21.62     23.05
32527.05/1113.71	c  N dy  2442    848422     48435    397809   3657607     72415   6172204   6940840     21.44     22.75
33264.63/1136.86	c Finding binary XORs  T:     1.63 s  found:      11
33274.19/1137.13	c  N dy  2460    885437     47941    395898   3626734     53311   6116470   5189515     21.06     22.75
33733.42/1151.52	c  N dy  2511    905463     47934    395898   3650766     38232   6116455   4807310     20.93     26.32
33911.01/1158.09	c Finding binary XORs  T:     1.65 s  found:       2
34419.21/1173.96	c  N dy  2645    925515     47901    395898   3878611     58006   6113398   6538637     20.99     28.96
34876.33/1188.24	c  N dy  2682    946591     47874    395898   3879147     78685   6113390   7754134     20.87     22.78
35378.16/1203.95	c  N dy  2702    971153     47689    395898   3879300     62311   6113385   6193877     20.66     22.77
35435.69/1205.74	c Finding binary XORs  T:     1.62 s  found:      16
35953.53/1221.93	c  N dy  2776    993632     47287    394701   3716306     77022   6041147   6699913     20.58     21.70
36382.45/1235.38	c  N dy  2810   1013707     47083    394701   3725278     56465   6041142   5546500     20.45     22.36
36810.15/1248.77	c  N dy  2872   1034073     47062    394701   3726331     76575   6041139   6532771     20.38     21.70
37334.34/1265.12	c  N dy  2976   1054282     46903    394701   3726653     52387   6041122   5420207     20.40     22.08
37801.04/1279.70	c  F st  3079   1071877     46887    394701   3727243     69807   6041114   6459807     20.44     17.50
37817.03/1280.25	c Replacing       50 vars Replaced    67548 lits Time:     0.39 s 
37906.51/1283.06	c  N st  3084   1075176     46837    391853   3472748     70330   5983026   6095412     20.44   no data
38313.01/1295.76	c  N dy  3107   1095532     46783    391853   3473617     90431   5983021   7106487     20.31     21.91
38539.35/1302.88	c Finding binary XORs  T:     1.55 s  found:      22
38855.80/1312.74	c  N dy  3176   1116604     46557    391629   3269295     65666   5955126   5007622     20.24     21.77
39258.57/1325.30	c  N dy  3193   1137761     46368    391629   3269735     86393   5955113   5812147     20.07     21.35
39728.44/1340.07	c  N dy  3224   1162557     45990    390557   3089701     62323   5898820   4387355     19.93     22.16
40278.18/1357.28	c  N dy  3235   1191030     45986    390557   3090173     90330   5898815   5478188     19.73     20.82
40661.61/1369.27	c  S st  3254   1209788     45814    390557   3091537     59643   5898813   4303248     19.62     10.86
40696.78/1370.38	c  S st  3254   1210289     45814    390557   3091539     60140   5898811   4315617     19.62   no data
40703.75/1370.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
41246.37/1387.55	c Flit:    44 Blit:     61 bXBeca:    0 bXProp:   34 Bins:   5530 BRemL:  40693 BRemN:   1748 P: 200.0M T: 16.79
41246.37/1387.55	c Cleaning up after failed var search:     0.00 s 
41259.17/1387.96	c Replacing       56 vars Replaced    59490 lits Time:     0.40 s 
41271.94/1388.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41281.54/1388.68	c bin-w-bin subsume rem        19109 bins  time:  0.37 s
41447.74/1393.84	c subs with bin:     1409  lits-rem:     14489  v-fix:    0  time:  5.16 s
41470.12/1394.54	c Subs w/ non-existent bins:     91 l-rem:    173 v-fix:     0 done:  13775 time:  0.68 s
41486.10/1395.05	c Removed useless bin:    7884  fixed:     0  props:  20.00M  time:  0.51 s
41601.17/1398.68	c lits-rem:     10835  cl-subs:     3265  v-elim:   4500  v-fix:    0  time:  3.61 s
41665.05/1400.67	c subs with bin:      607  lits-rem:     15564  v-fix:    0  time:  1.85 s
41706.60/1401.97	c lits-rem:      5836  cl-subs:     2063  v-elim:      0  v-fix:    0  time:  1.08 s
41723.17/1402.48	c vivif2 --  cl tried   384491 cl shrink     1591 lits rem       8215 time: 0.51
41738.56/1402.94	c vivif2 --  cl tried    46658 cl shrink     5486 lits rem      35421 time: 0.46
41770.47/1403.91	c asymm  cl-useful: 30/1556/384454 lits-rem:117 time: 0.97
41786.47/1404.43	c calculated reachability. Time: 0.42
41786.47/1404.43	c  N dy  3254   1210289     41002    384454   2405748     46527   5295354   2934817     19.62   no data
41840.76/1406.16	c Finding binary XORs  T:     1.73 s  found:       4
42339.07/1421.72	c Finding binary XORs  T:     1.39 s  found:      77
42351.86/1422.18	c  N dy  3343   1230559     40599    381825   2358771     56124   5245542   3540080     19.59     21.78
42742.31/1434.35	c  N dy  3364   1252876     40499    381825   2387727     78141   5245537   4556834     19.45     20.96
43144.41/1446.96	c Finding binary XORs  T:     1.39 s  found:      10
43185.97/1448.25	c  N dy  3406   1272911     40469    381545   2433263     57963   5231586   3540375     19.37     20.50
43569.29/1460.25	c  N dy  3445   1293311     40455    381545   2452480     78163   5231580   4509284     19.28     20.30
43713.12/1464.78	c Finding binary XORs  T:     1.39 s  found:       2
44023.17/1474.49	c  N dy  3497   1313856     40358    381545   2469018     51711   5230454   3126621     19.22     20.63
44547.37/1490.85	c  N dy  3573   1339030     40188    381545   2471432     76666   5230448   4446128     19.15     20.31
44972.53/1504.10	c  N dy  3600   1363872     40164    381545   2472956     50664   5230445   2959953     19.05     20.08
45379.07/1516.89	c  N dy  3644   1386948     40135    381545   2473256     73549   5230426   4086424     18.98     20.05
45947.44/1534.62	c  N dy  3651   1419922     39210    377950   2149067     50982   5126417   2356902     18.82     19.88
46230.35/1559.54	c Following stats are for *FIRST FINISHED THREAD ONLY*
46230.35/1559.54	c num threads              : 32         
46230.35/1559.54	c restarts                 : 4976       
46230.35/1559.54	c dynamic restarts         : 4946       
46230.35/1559.54	c static restarts          : 30         
46230.35/1559.54	c full restarts            : 4          
46230.35/1559.54	c total simplify time      : 14.42      
46230.35/1559.54	c learnts DL2              : 0          
46230.35/1559.54	c learnts size 2           : 7935338    
46230.35/1559.54	c learnts size 1           : 21347       (24.18     % of vars)
46230.35/1559.54	c filedLit time            : 60.79       (4.17      % time)
46230.35/1559.54	c v-elim SatELite          : 31024       (35.14     % vars)
46230.35/1559.54	c SatELite time            : 54.28       (3.72      % time)
46230.35/1559.54	c v-elim xor               : 0           (0.00      % vars)
46230.35/1559.54	c xor elim time            : 0.65        (0.04      % time)
46230.35/1559.54	c num binary xor trees     : 708        
46230.35/1559.54	c binxor trees' crown      : 818         (1.16      leafs/tree)
46230.35/1559.54	c bin xor find time        : 8.06       
46230.35/1559.54	c OTF clause improved      : 19889       (0.01      clauses/conflict)
46230.35/1559.54	c OTF impr. size diff      : 40421       (2.03       lits/clause)
46230.35/1559.54	c OTF cl watch-shrink      : 1013131     (0.70      clauses/conflict)
46230.35/1559.54	c OTF cl watch-sh-lit      : 15971048    (15.76      lits/clause)
46230.35/1559.54	c tried to recurMin cls    : 229942      (15.81      % of conflicts)
46230.35/1559.54	c updated cache            : 22143       (0.10       lits/tried recurMin)
46230.35/1559.54	c unit cls recevied        : 6661        (31.20     % of units)
46230.35/1559.54	c unit cls sent            : 163         (0.76      % of units)
46230.35/1559.54	c bin cls recevied         : 4118694    
46230.35/1559.54	c bin cls sent             : 34816      
46230.35/1559.54	c clauses over max glue    : 0           (0.00      % of all clauses)
46230.35/1559.54	c conflicts                : 1454234     (996.55    / sec)
46230.35/1559.54	c decisions                : 28756477    (0.27      % random)
46230.35/1559.54	c bogo-props               : 25920628424 (17762758.89 / sec)
46230.35/1559.54	c conflict literals        : 93570377    (38.95     % deleted)
46230.35/1559.54	c Memory used              : 39408.57    MB
46230.35/1559.54	c single-thread CPU time   : 1459.27     s
46230.35/1559.54	c all-threads sum CPU time : 46063.78    s
46230.35/1559.54	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.04 8.82 6.04 1/413 17368
/proc/meminfo: memFree=262728880/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=338000 CPUtime=0.85 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) R 17366 17368 17342 0 -1 4202496 469 0 0 0 85 0 0 0 25 0 32 0 18786022 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17368/statm: 84500 408 300 95 0 79482 0
[pid=17368/tid=17369] ppid=17366 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17368/task/17369/stat : 17369 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17368/tid=17370] ppid=17366 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17368/task/17370/stat : 17370 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17368/task/17371/stat : 17371 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=338000 CPUtime=0 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17373/stat : 17373 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17374/stat : 17374 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17375/stat : 17375 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17376/stat : 17376 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954064 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17377/stat : 17377 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17378/stat : 17378 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17379/stat : 17379 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=338000 CPUtime=0 cores=0-31
/proc/17368/task/17380/stat : 17380 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954486 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17368/tid=17381] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17381/stat : 17381 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17368/tid=17382] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17382/stat : 17382 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17368/tid=17383] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17383/stat : 17383 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17368/tid=17384] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17384/stat : 17384 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954071 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17385/stat : 17385 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17368/tid=17386] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17386/stat : 17386 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17368/tid=17387] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17387/stat : 17387 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17368/tid=17388] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17388/stat : 17388 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17368/tid=17389] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17389/stat : 17389 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17368/tid=17390] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17390/stat : 17390 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17368/tid=17391] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17391/stat : 17391 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17368/tid=17392] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17392/stat : 17392 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17368/tid=17393] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17393/stat : 17393 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17394/stat : 17394 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17368/tid=17395] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17395/stat : 17395 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17368/tid=17396] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17396/stat : 17396 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954067 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17368/tid=17397] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17397/stat : 17397 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954077 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17368/tid=17398] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17398/stat : 17398 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17368/tid=17399] ppid=17366 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17368/task/17399/stat : 17399 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 18786023 346112000 408 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954073 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0522459 s]
/proc/loadavg: 6.04 8.82 6.04 1/413 17368
/proc/meminfo: memFree=262728880/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=665868 CPUtime=1.25 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) S 17366 17368 17342 0 -1 4202496 980 0 0 0 122 3 0 0 25 0 32 0 18786022 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17368/statm: 166467 844 315 95 0 161449 0
[pid=17368/tid=17369] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17369/stat : 17369 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 5 0 0 0 4 0 0 0 24 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604444248128992 0 0 -1 1 0 0 0
[pid=17368/tid=17370] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17370/stat : 17370 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604504056438240 0 0 -1 2 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17371/stat : 17371 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=665868 CPUtime=0.01 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 6 0 0 0 1 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604485914533344 0 0 -1 30 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17373/stat : 17373 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 20 0 0 0 4 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17374/stat : 17374 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566931624 0 0 -1 0 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17375/stat : 17375 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604568056167904 0 0 -1 24 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17376/stat : 17376 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604499347463648 0 0 -1 20 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17377/stat : 17377 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604444248120800 0 0 -1 5 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17378/stat : 17378 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 18 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17379/stat : 17379 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 43 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=665868 CPUtime=0 cores=0-31
/proc/17368/task/17380/stat : 17380 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17368/tid=17381] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17381/stat : 17381 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 6 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17368/tid=17382] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17382/stat : 17382 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 50 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17368/tid=17383] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17383/stat : 17383 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 41 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17368/tid=17384] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17384/stat : 17384 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 8 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17385/stat : 17385 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 8 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17368/tid=17386] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17386/stat : 17386 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604487457037792 0 0 -1 3 0 0 0
[pid=17368/tid=17387] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17387/stat : 17387 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 18 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17368/tid=17388] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17388/stat : 17388 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 18 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17368/tid=17389] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17389/stat : 17389 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 57 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17368/tid=17390] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17390/stat : 17390 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 43 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17368/tid=17391] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17391/stat : 17391 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 47 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17368/tid=17392] ppid=17366 vsize=665868 CPUtime=0.04 cores=0-31
/proc/17368/task/17392/stat : 17392 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 13 0 0 0 4 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17368/tid=17393] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17393/stat : 17393 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 24 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17394/stat : 17394 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 51 0 0 0 3 0 0 0 18 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17368/tid=17395] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17395/stat : 17395 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604474784046560 0 0 -1 15 0 0 0
[pid=17368/tid=17396] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17396/stat : 17396 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604485914541536 0 0 -1 25 0 0 0
[pid=17368/tid=17397] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17397/stat : 17397 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604499347471840 0 0 -1 26 0 0 0
[pid=17368/tid=17398] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17398/stat : 17398 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604502088809952 0 0 -1 19 0 0 0
[pid=17368/tid=17399] ppid=17366 vsize=665868 CPUtime=0.03 cores=0-31
/proc/17368/task/17399/stat : 17399 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 18786023 681848832 844 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 665868

[startup+0.1032 s]
/proc/loadavg: 6.04 8.82 6.04 1/413 17368
/proc/meminfo: memFree=262728880/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=1257912 CPUtime=2.12 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) S 17366 17368 17342 0 -1 4202496 10334 0 0 0 127 85 0 0 17 0 32 0 18786022 1288101888 10189 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17368/statm: 314478 10197 334 95 0 309460 0
[pid=17368/tid=17369] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17369/stat : 17369 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 281 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10199 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 1 0 0 0
[pid=17368/tid=17370] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17370/stat : 17370 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 307 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10209 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604444248120800 0 0 -1 2 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17371/stat : 17371 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10215 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1257912 CPUtime=0.03 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 316 0 0 0 1 2 0 0 17 0 32 0 18786023 1288101888 10223 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17373/stat : 17373 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 277 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10229 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604498546646496 0 0 -1 23 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17374/stat : 17374 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 339 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10235 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604503603125728 0 0 -1 0 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17375/stat : 17375 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 336 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10238 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566928424 0 0 -1 24 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17376/stat : 17376 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 279 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10244 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604501182250464 0 0 -1 20 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17377/stat : 17377 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 288 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10252 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566928424 0 0 -1 5 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17378/stat : 17378 (strangenight2-m) D 17366 17368 17342 0 -1 4202560 358 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10257 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1257912 CPUtime=0.05 cores=0-31
/proc/17368/task/17379/stat : 17379 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 18786023 1288101888 10262 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1257912 CPUtime=0.02 cores=0-31
/proc/17368/task/17380/stat : 17380 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 269 0 0 0 0 2 0 0 17 0 32 0 18786023 1288101888 10273 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 31 0 0 0
[pid=17368/tid=17381] ppid=17366 vsize=1257912 CPUtime=0.05 cores=0-31
/proc/17368/task/17381/stat : 17381 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 289 0 0 0 3 2 0 0 17 0 32 0 18786023 1288101888 10296 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604471081860576 0 0 -1 27 0 0 0
[pid=17368/tid=17382] ppid=17366 vsize=1257912 CPUtime=0.05 cores=0-31
/proc/17368/task/17382/stat : 17382 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 323 0 0 0 3 2 0 0 17 0 32 0 18786023 1288101888 10297 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604487457037792 0 0 -1 28 0 0 0
[pid=17368/tid=17383] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17383/stat : 17383 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 317 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10301 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446744071566933784 0 0 -1 12 0 0 0
[pid=17368/tid=17384] ppid=17366 vsize=1257912 CPUtime=0.06 cores=0-31
/proc/17368/task/17384/stat : 17384 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 303 0 0 0 4 2 0 0 17 0 32 0 18786023 1288101888 10304 268435456000 4194304 4580107 140733624034032 18446744073709551615 258651060958 0 0 4096 2 18446604458783702496 0 0 -1 9 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=1258044 CPUtime=0.06 cores=0-31

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

[pid=17368/tid=17379] ppid=17366 vsize=40354372 CPUtime=1441.65 cores=0-31
/proc/17368/task/17379/stat : 17379 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 361541 0 0 0 143697 468 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604471081860576 0 0 -1 0 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=40354372 CPUtime=1459.54 cores=0-31
/proc/17368/task/17380/stat : 17380 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 362755 0 0 0 145482 472 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133929515 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17368/tid=17381] ppid=17366 vsize=40354372 CPUtime=1452.39 cores=0-31
/proc/17368/task/17381/stat : 17381 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 401551 0 0 0 144722 517 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604441859759584 0 0 -1 21 0 0 0
[pid=17368/tid=17382] ppid=17366 vsize=40354372 CPUtime=1454.52 cores=0-31
/proc/17368/task/17382/stat : 17382 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 362821 0 0 0 144965 487 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604501182250464 0 0 -1 19 0 0 0
[pid=17368/tid=17383] ppid=17366 vsize=40354372 CPUtime=1428.22 cores=0-31
/proc/17368/task/17383/stat : 17383 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 440209 0 0 0 142276 546 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458052107744 0 0 -1 29 0 0 0
[pid=17368/tid=17384] ppid=17366 vsize=40354372 CPUtime=1443.91 cores=0-31
/proc/17368/task/17384/stat : 17384 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 353434 0 0 0 143939 452 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604441859767776 0 0 -1 4 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=40354372 CPUtime=1441.97 cores=0-31
/proc/17368/task/17385/stat : 17385 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 473588 0 0 0 143637 560 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458783702496 0 0 -1 16 0 0 0
[pid=17368/tid=17386] ppid=17366 vsize=40354372 CPUtime=1454.89 cores=0-31
/proc/17368/task/17386/stat : 17386 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 438385 0 0 0 144939 550 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604504056446432 0 0 -1 13 0 0 0
[pid=17368/tid=17387] ppid=17366 vsize=40354372 CPUtime=1451.67 cores=0-31
/proc/17368/task/17387/stat : 17387 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 440192 0 0 0 144634 533 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604568056167904 0 0 -1 28 0 0 0
[pid=17368/tid=17388] ppid=17366 vsize=40354372 CPUtime=1434.46 cores=0-31
/proc/17368/task/17388/stat : 17388 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 472304 0 0 0 142905 541 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604485914541536 0 0 -1 5 0 0 0
[pid=17368/tid=17389] ppid=17366 vsize=40354372 CPUtime=1431.38 cores=0-31
/proc/17368/task/17389/stat : 17389 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 453665 0 0 0 142593 545 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604487457045984 0 0 -1 9 0 0 0
[pid=17368/tid=17390] ppid=17366 vsize=40354372 CPUtime=1424.74 cores=0-31
/proc/17368/task/17390/stat : 17390 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 448363 0 0 0 141948 526 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458783694304 0 0 -1 17 0 0 0
[pid=17368/tid=17391] ppid=17366 vsize=40354372 CPUtime=1443.1 cores=0-31
/proc/17368/task/17391/stat : 17391 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 433122 0 0 0 143811 499 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604486207413728 0 0 -1 26 0 0 0
[pid=17368/tid=17392] ppid=17366 vsize=40354372 CPUtime=1440.55 cores=0-31
/proc/17368/task/17392/stat : 17392 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 470153 0 0 0 143519 536 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604499347463648 0 0 -1 11 0 0 0
[pid=17368/tid=17393] ppid=17366 vsize=40354372 CPUtime=1431.03 cores=0-31
/proc/17368/task/17393/stat : 17393 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 426778 0 0 0 142563 540 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604498546654688 0 0 -1 3 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=40354372 CPUtime=1448.43 cores=0-31
/proc/17368/task/17394/stat : 17394 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 445045 0 0 0 144289 554 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604459542355424 0 0 -1 7 0 0 0
[pid=17368/tid=17395] ppid=17366 vsize=40354372 CPUtime=1434.07 cores=0-31
/proc/17368/task/17395/stat : 17395 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 448015 0 0 0 142866 541 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604444248128992 0 0 -1 15 0 0 0
[pid=17368/tid=17396] ppid=17366 vsize=40354372 CPUtime=1416.69 cores=0-31
/proc/17368/task/17396/stat : 17396 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 445331 0 0 0 141143 526 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458052099552 0 0 -1 2 0 0 0
[pid=17368/tid=17397] ppid=17366 vsize=40354372 CPUtime=1442.25 cores=0-31
/proc/17368/task/17397/stat : 17397 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 446460 0 0 0 143708 517 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604486207421920 0 0 -1 23 0 0 0
[pid=17368/tid=17398] ppid=17366 vsize=40354372 CPUtime=1425.24 cores=0-31
/proc/17368/task/17398/stat : 17398 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 434331 0 0 0 141977 547 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446744071566926824 0 0 -1 12 0 0 0
[pid=17368/tid=17399] ppid=17366 vsize=40354372 CPUtime=1440.94 cores=0-31
/proc/17368/task/17399/stat : 17399 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 431557 0 0 0 143654 440 0 0 25 0 32 0 18786023 41322876928 8711578 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604504056438240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46221.6
Current children cumulated vsize (KiB) 40354372

[startup+1558.3 s]
/proc/loadavg: 25.61 30.34 25.89 3/445 17445
/proc/meminfo: memFree=227811372/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=40354372 CPUtime=46227.9 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) S 17366 17368 17342 0 -1 4202496 13919098 0 0 0 4606130 16665 0 0 25 0 32 0 18786022 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 10088593 8711682 382 95 0 10083575 0
[pid=17368/tid=17369] ppid=17366 vsize=40354372 CPUtime=1433.02 cores=0-31
/proc/17368/task/17369/stat : 17369 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 464499 0 0 0 142739 563 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604474784046560 0 0 -1 18 0 0 0
[pid=17368/tid=17370] ppid=17366 vsize=40354372 CPUtime=1458.89 cores=0-31
/proc/17368/task/17370/stat : 17370 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 418678 0 0 0 145376 513 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604503603125728 0 0 -1 8 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=40354372 CPUtime=1461.71 cores=0-31
/proc/17368/task/17371/stat : 17371 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 498126 0 0 0 145618 553 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604502088801760 0 0 -1 14 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=40354372 CPUtime=1457.42 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 459027 0 0 0 145201 541 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604491203091936 0 0 -1 1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=40354372 CPUtime=1457.75 cores=0-31
/proc/17368/task/17373/stat : 17373 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 443830 0 0 0 145253 522 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604474784054752 0 0 -1 30 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=40354372 CPUtime=1466.3 cores=0-31
/proc/17368/task/17374/stat : 17374 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 496369 0 0 0 146128 502 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604499347471840 0 0 -1 6 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=40354372 CPUtime=1431.84 cores=0-31
/proc/17368/task/17375/stat : 17375 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 386818 0 0 0 142697 487 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604491203100128 0 0 -1 25 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=40354372 CPUtime=1457.99 cores=0-31
/proc/17368/task/17376/stat : 17376 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 466749 0 0 0 145249 550 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604471081852384 0 0 -1 20 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=40354372 CPUtime=1445.07 cores=0-31
/proc/17368/task/17377/stat : 17377 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 380004 0 0 0 144040 467 0 0 25 0 32 0 18786023 41322876928 8711672 268435456000 4194304 4580107 140733624034032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=40354372 CPUtime=1442.3 cores=0-31
/proc/17368/task/17378/stat : 17378 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 404694 0 0 0 143756 474 0 0 25 0 32 0 18786023 41322876928 8711672 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604485914533344 0 0 -1 10 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=40354372 CPUtime=1441.65 cores=0-31
/proc/17368/task/17379/stat : 17379 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 361541 0 0 0 143697 468 0 0 25 0 32 0 18786023 41322876928 8711672 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604471081860576 0 0 -1 0 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=40354372 CPUtime=1462.74 cores=0-31
/proc/17368/task/17380/stat : 17380 (strangenight2-m) R 17366 17368 17342 0 -1 4202560 362755 0 0 0 145802 472 0 0 25 0 32 0 18786023 41322876928 8711672 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133929668 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17368/tid=17381] ppid=17366 vsize=40354372 CPUtime=1452.39 cores=0-31
/proc/17368/task/17381/stat : 17381 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 401551 0 0 0 144722 517 0 0 25 0 32 0 18786023 41322876928 8711680 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604441859759584 0 0 -1 21 0 0 0
[pid=17368/tid=17382] ppid=17366 vsize=40354372 CPUtime=1454.52 cores=0-31
/proc/17368/task/17382/stat : 17382 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 362821 0 0 0 144965 487 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604501182250464 0 0 -1 19 0 0 0
[pid=17368/tid=17383] ppid=17366 vsize=40354372 CPUtime=1428.22 cores=0-31
/proc/17368/task/17383/stat : 17383 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 440209 0 0 0 142276 546 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458052107744 0 0 -1 29 0 0 0
[pid=17368/tid=17384] ppid=17366 vsize=40354372 CPUtime=1443.91 cores=0-31
/proc/17368/task/17384/stat : 17384 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 353434 0 0 0 143939 452 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604441859767776 0 0 -1 4 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=40354372 CPUtime=1441.97 cores=0-31
/proc/17368/task/17385/stat : 17385 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 473588 0 0 0 143637 560 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458783702496 0 0 -1 16 0 0 0
[pid=17368/tid=17386] ppid=17366 vsize=40354372 CPUtime=1454.89 cores=0-31
/proc/17368/task/17386/stat : 17386 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 438385 0 0 0 144939 550 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604504056446432 0 0 -1 13 0 0 0
[pid=17368/tid=17387] ppid=17366 vsize=40354372 CPUtime=1451.67 cores=0-31
/proc/17368/task/17387/stat : 17387 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 440192 0 0 0 144634 533 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604568056167904 0 0 -1 28 0 0 0
[pid=17368/tid=17388] ppid=17366 vsize=40354372 CPUtime=1434.46 cores=0-31
/proc/17368/task/17388/stat : 17388 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 472304 0 0 0 142905 541 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604485914541536 0 0 -1 5 0 0 0
[pid=17368/tid=17389] ppid=17366 vsize=40354372 CPUtime=1431.38 cores=0-31
/proc/17368/task/17389/stat : 17389 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 453665 0 0 0 142593 545 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604487457045984 0 0 -1 9 0 0 0
[pid=17368/tid=17390] ppid=17366 vsize=40354372 CPUtime=1424.74 cores=0-31
/proc/17368/task/17390/stat : 17390 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 448363 0 0 0 141948 526 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458783694304 0 0 -1 17 0 0 0
[pid=17368/tid=17391] ppid=17366 vsize=40354372 CPUtime=1443.1 cores=0-31
/proc/17368/task/17391/stat : 17391 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 433122 0 0 0 143811 499 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604486207413728 0 0 -1 26 0 0 0
[pid=17368/tid=17392] ppid=17366 vsize=40354372 CPUtime=1440.55 cores=0-31
/proc/17368/task/17392/stat : 17392 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 470153 0 0 0 143519 536 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604499347463648 0 0 -1 11 0 0 0
[pid=17368/tid=17393] ppid=17366 vsize=40354372 CPUtime=1431.03 cores=0-31
/proc/17368/task/17393/stat : 17393 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 426778 0 0 0 142563 540 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604498546654688 0 0 -1 3 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=40354372 CPUtime=1448.43 cores=0-31
/proc/17368/task/17394/stat : 17394 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 445045 0 0 0 144289 554 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604459542355424 0 0 -1 7 0 0 0
[pid=17368/tid=17395] ppid=17366 vsize=40354372 CPUtime=1434.07 cores=0-31
/proc/17368/task/17395/stat : 17395 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 448015 0 0 0 142866 541 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604444248128992 0 0 -1 15 0 0 0
[pid=17368/tid=17396] ppid=17366 vsize=40354372 CPUtime=1416.69 cores=0-31
/proc/17368/task/17396/stat : 17396 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 445331 0 0 0 141143 526 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604458052099552 0 0 -1 2 0 0 0
[pid=17368/tid=17397] ppid=17366 vsize=40354372 CPUtime=1442.25 cores=0-31
/proc/17368/task/17397/stat : 17397 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 446460 0 0 0 143708 517 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604486207421920 0 0 -1 23 0 0 0
[pid=17368/tid=17398] ppid=17366 vsize=40354372 CPUtime=1425.24 cores=0-31
/proc/17368/task/17398/stat : 17398 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 434331 0 0 0 141977 547 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446744071566926824 0 0 -1 12 0 0 0
[pid=17368/tid=17399] ppid=17366 vsize=40354372 CPUtime=1440.94 cores=0-31
/proc/17368/task/17399/stat : 17399 (strangenight2-m) S 17366 17368 17342 0 -1 4202560 431557 0 0 0 143654 440 0 0 25 0 32 0 18786023 41322876928 8711682 268435456000 4194304 4580107 140733624034032 18446744073709551615 47038133954100 0 0 4096 2 18446604504056438240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46227.9
Current children cumulated vsize (KiB) 40354372

[startup+1559.9 s]
/proc/loadavg: 23.72 29.86 25.77 2/415 17445
/proc/meminfo: memFree=229108736/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=46230.8 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) Z 17366 17368 17342 0 -1 4203548 13919505 0 0 0 4606378 16704 0 0 18 0 2 0 18786022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=0 CPUtime=1457.78 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4203588 459027 0 0 0 145201 577 0 0 18 0 2 0 18786023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46230.8
Current children cumulated vsize (KiB) 0

[startup+1560.7 s]
/proc/loadavg: 23.72 29.86 25.77 2/415 17445
/proc/meminfo: memFree=229108736/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=46231.6 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) Z 17366 17368 17342 0 -1 4203548 13919505 0 0 0 4606378 16784 0 0 18 0 2 0 18786022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=0 CPUtime=1458.58 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4203588 459027 0 0 0 145201 657 0 0 19 0 2 0 18786023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46231.6
Current children cumulated vsize (KiB) 0

[startup+1561.5 s]
/proc/loadavg: 23.72 29.86 25.77 2/415 17445
/proc/meminfo: memFree=240900552/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=46232.4 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) Z 17366 17368 17342 0 -1 4203548 13919505 0 0 0 4606378 16864 0 0 18 0 2 0 18786022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=0 CPUtime=1459.38 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4203588 459027 0 0 0 145201 737 0 0 21 0 2 0 18786023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46232.4
Current children cumulated vsize (KiB) 0

[startup+1561.7 s]
/proc/loadavg: 23.72 29.86 25.77 2/415 17445
/proc/meminfo: memFree=240900552/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=46232.6 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) Z 17366 17368 17342 0 -1 4203548 13919505 0 0 0 4606378 16884 0 0 18 0 2 0 18786022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=0 CPUtime=1459.58 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4203588 459027 0 0 0 145201 757 0 0 21 0 2 0 18786023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46232.6
Current children cumulated vsize (KiB) 0

[startup+1561.8 s]
/proc/loadavg: 23.72 29.86 25.77 2/415 17445
/proc/meminfo: memFree=240900552/264257624 swapFree=67054988/67111528
[pid=17368] ppid=17366 vsize=0 CPUtime=46232.7 cores=0-31
/proc/17368/stat : 17368 (strangenight2-m) Z 17366 17368 17342 0 -1 4203548 13919505 0 0 0 4606378 16894 0 0 18 0 2 0 18786022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17368/statm: 0 0 0 0 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=0 CPUtime=1459.68 cores=0-31
/proc/17368/task/17372/stat : 17372 (strangenight2-m) R 17366 17368 17342 0 -1 4203588 459027 0 0 0 145201 767 0 0 21 0 2 0 18786023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46232.7
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1561.86
CPU time (s): 46232.8
CPU user time (s): 46063.8
CPU system time (s): 168.997
CPU usage (%): 2960.11
Max. virtual memory (cumulated for all children) (KiB): 40354372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46063.8
system time used= 168.997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13919505
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= 5666550
involuntary context switches= 142571

runsolver used 8.48471 second user time and 35.2656 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 21:18:56
IDJOB=3400905
IDBENCH=88163
IDSOLVER=1886
FILE ID=node200/3400905-1307128733
RUNJOBID= node200-1307128733-17356
PBS_JOBID= 13498417
Free space on /tmp= 61664 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_11_ooo.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400905-1307128733/watcher-3400905-1307128733 -o /tmp/evaluation-result-3400905-1307128733/solver-3400905-1307128733 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400905-1307128733.cnf

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

MD5SUM BENCH= f603f11fbfe855df381282b7bce010ea
RANDOM SEED=620836045

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262729540 kB
Buffers:        132824 kB
Cached:        1200880 kB
SwapCached:       8472 kB
Active:         197828 kB
Inactive:      1154024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262729540 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           87580 kB
Writeback:           0 kB
AnonPages:       15444 kB
Mapped:           8472 kB
Slab:            94672 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173556 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= 61660 MiB
End job on node200 at 2011-06-03 21:44:58