Trace number 3400633

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 6444.1 217.544

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
MD5SUM8a76c8add64173ae39149aae572a02d9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6444.1
Satisfiable
(Un)Satisfiability was proved
Number of variables37432
Number of clauses147345
Sum of the clauses size401667
Maximum clause length37
Minimum clause length1
Number of clauses of size 1603
Number of clauses of size 269621
Number of clauses of size 371450
Number of clauses of size 4266
Number of clauses of size 5505
Number of clauses of size over 54900

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400633-1306257797.cnf'
0.00/0.07	c -- header says num vars:          37432
0.00/0.07	c -- header says num clauses:      147345
22.92/1.29	c -- clauses added:            0 learnts,       147345 normals,            0 xors
22.92/1.29	c -- vars added      37432
22.92/1.29	c Parsing time:  0.24 s
22.92/1.29	c  N st     0         0     37432     77121     69621         0    401064         0   no data   no data
70.86/2.88	c asymm  cl-useful: 55/3644/76971 lits-rem:108 time: 1.56
337.25/16.25	c Flit:    79 Blit:      3 bXBeca:    0 bXProp: 7905 Bins:      0 BRemL:      0 BRemN:      0 P: 72.9M T:  7.56
340.41/16.32	c Replacing     7905 vars Replaced   205687 lits Time:     0.04 s 
345.48/16.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.48/16.56	c bin-w-bin subsume rem            6 bins  time:  0.01 s
345.48/16.58	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.02 s
353.16/17.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28836 time:  0.43 s
361.01/17.36	c Removed useless bin:       3  fixed:     0  props:  20.02M  time:  0.31 s
376.23/17.86	c lits-rem:        13  cl-subs:       68  v-elim:   9612  v-fix:    0  time:  0.34 s
382.17/18.02	c Finding binary XORs  T:     0.16 s  found:     913
382.17/18.05	c Replacing      913 vars Replaced    20428 lits Time:     0.02 s 
384.85/18.17	c Finding non-binary XORs:     0.06 s (found:   12105, avg size: 3.1)
384.85/18.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5172 locsubst: 11477 time:   0.04
384.85/18.18	c Replacing      285 vars Replaced     3361 lits Time:     0.01 s 
387.71/18.22	c calculated reachability. Time: 0.03
387.71/18.22	c Calc default polars -  time:   0.01 s pos:    3253 undec:   25360 neg:    8819
387.71/18.22	c =========================================================================================
387.71/18.22	c types(t): F = full restart, N = normal restart
387.71/18.22	c types(t): S = simplification begin/end, E = solution found
387.71/18.22	c restart types(rt): st = static, dy = dynamic
387.71/18.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
387.71/18.22	c  B st     0         0     12854     22298     33475         0    223838         0   no data   no data
403.27/18.80	c  N dy    19      4068     12854     22298     33520      3436    223835    156002     10.86     40.02
418.37/19.26	c  N dy    40      8216     12852     22298     34510      6834    223835    254134     13.32     14.18
431.14/19.70	c  N dy    58     12352     12852     22298     34549     10100    223833    339730     12.56     13.55
450.30/20.26	c Finding binary XORs  T:     0.12 s  found:     370
450.30/20.30	c Replacing      370 vars Replaced    28456 lits Time:     0.03 s 
453.50/20.34	c  N dy    75     16575     12481     22248     34901     12709    223612    434566     12.31     12.98
466.28/20.77	c  N dy    92     20805     12481     22248     36704      8350    223611    116537     11.97     12.88
479.02/21.19	c  F st   113     25001     12480     22248     37737     11864    223610    205653     11.95      9.19
482.22/21.22	c  N st   113     25001     12480     22239     37737     11864    223572    205601     11.95      9.19
501.40/21.81	c Finding binary XORs  T:     0.12 s  found:     496
501.40/21.84	c Replacing      496 vars Replaced    23923 lits Time:     0.03 s 
514.17/22.29	c  N dy   119     30000     11984     22153     36312     14664    223226    464956     11.95   no data
514.17/22.29	c  S st   119     30000     11984     22153     36312     14664    223226    464956     11.95   no data
520.57/22.40	c  S st   119     30502     11984     22153     36322     15091    223226    471769     11.95   no data
520.57/22.44	c x-sub:   811 x-cut:      0 vfix:      0 v-elim:   2355 locsubst:  2877 time:   0.04
657.97/26.76	c Flit:    16 Blit:      5 bXBeca:    1 bXProp: 2358 Bins:  61925 BRemL:  12386 BRemN:      0 P: 68.4M T:  4.30
661.17/26.81	c Replacing     2463 vars Replaced   224853 lits Time:     0.05 s 
661.17/26.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
661.17/26.86	c bin-w-bin subsume rem        53590 bins  time:  0.04 s
664.37/26.94	c subs with bin:     7600  lits-rem:     16189  v-fix:    0  time:  0.08 s
664.37/26.98	c Subs w/ non-existent bins:   2215 l-rem:   2028 v-fix:     0 done:   7141 time:  0.04 s
664.37/26.99	c Removed useless bin:    1426  fixed:     0  props:   0.80M  time:  0.01 s
667.56/27.03	c lits-rem:       240  cl-subs:     3684  v-elim:    106  v-fix:    0  time:  0.04 s
667.56/27.05	c subs with bin:       78  lits-rem:      3836  v-fix:    0  time:  0.01 s
667.56/27.07	c lits-rem:       100  cl-subs:      293  v-elim:      0  v-fix:    0  time:  0.01 s
673.96/27.24	c asymm  cl-useful: 413/4720/8364 lits-rem:413 time: 0.17
673.96/27.25	c calculated reachability. Time: 0.01
673.96/27.25	c  N dy   119     30502      7035      8364     27506      1650    100241     40346     11.95   no data
677.15/27.33	c Finding binary XORs  T:     0.08 s  found:      22
687.37/27.68	c  N dy   146     34766      7035      8364     32141      5179    100240    146829     12.94     13.77
709.06/28.35	c Finding binary XORs  T:     0.07 s  found:     717
709.06/28.38	c Replacing      739 vars Replaced    38453 lits Time:     0.02 s 
712.23/28.44	c  N dy   159     38812      6296      7773     82850      8490     97019    334506     13.01     14.04
719.03/28.62	c  N dy   169     42896      6296      7773     82851      6447     97017    205932     12.83     18.11
724.71/28.90	c  S st   172     45754      6296      7773     88322      8563     97017    247025     12.57      8.48
727.87/28.95	c  S st   172     46258      6296      7773     88324      8968     97017    250982     12.57   no data
731.07/29.00	c x-sub:   451 x-cut:      0 vfix:      0 v-elim:    938 locsubst:  1196 time:   0.05
740.63/29.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   51 Bins:   4271 BRemL:  32348 BRemN:   1296 P:  5.4M T:  0.39
740.63/29.40	c Replacing      140 vars Replaced     3420 lits Time:     0.01 s 
743.83/29.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
743.83/29.43	c bin-w-bin subsume rem        37691 bins  time:  0.02 s
743.83/29.44	c subs with bin:      861  lits-rem:         9  v-fix:    0  time:  0.02 s
743.83/29.46	c Subs w/ non-existent bins:     92 l-rem:     30 v-fix:     0 done:   5218 time:  0.01 s
743.83/29.47	c Removed useless bin:     204  fixed:     0  props:   0.94M  time:  0.01 s
743.83/29.48	c lits-rem:         3  cl-subs:     1068  v-elim:     39  v-fix:    0  time:  0.01 s
743.83/29.49	c subs with bin:        6  lits-rem:       106  v-fix:    0  time:  0.00 s
743.83/29.50	c lits-rem:        72  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.01 s
747.02/29.50	c vivif2 --  cl tried     5879 cl shrink       53 lits rem        123 time: 0.00
747.02/29.50	c vivif2 --  cl tried     1323 cl shrink       20 lits rem         28 time: 0.00
750.22/29.64	c asymm  cl-useful: 288/5879/5879 lits-rem:357 time: 0.14
750.22/29.65	c calculated reachability. Time: 0.00
750.22/29.65	c  N dy   172     46258      5179      5876     20272      1322     78416     24850     12.57   no data
754.00/29.72	c Finding binary XORs  T:     0.07 s  found:       0
757.24/29.86	c  N dy   186     50722      5179      5876     28484      4175     78414    108297     12.80     13.61
763.03/30.04	c  N dy   206     54732      5179      5876     28485      6945     78413    189691     13.36     14.96
769.39/30.24	c  N dy   230     58793      5179      5876     31970     10063     78411    291967     13.98     17.65
772.59/30.33	c Finding binary XORs  T:     0.06 s  found:     136
772.59/30.35	c Replacing      136 vars Replaced     8127 lits Time:     0.01 s 
775.79/30.48	c  N dy   251     62837      5043      5742     32462     12926     77745    360751     14.17     52.72
785.38/30.71	c  N dy   277     67042      5043      5742     32462      9336     77740    175864     14.62     15.60
789.17/30.85	c  S st   293     69387      5043      5742     32525     11114     77739    235841     14.93   no data
789.17/30.90	c  S st   293     69888      5043      5742     32527     11535     77739    241043     14.93   no data
792.39/30.95	c x-sub:   132 x-cut:      0 vfix:      0 v-elim:    164 locsubst:   783 time:   0.05
798.15/31.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   61 Bins:   1090 BRemL:  14758 BRemN:     88 P:  3.8M T:  0.23
798.15/31.19	c Replacing      138 vars Replaced     4062 lits Time:     0.01 s 
798.15/31.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
798.15/31.20	c bin-w-bin subsume rem         2943 bins  time:  0.00 s
801.34/31.21	c subs with bin:      478  lits-rem:         0  v-fix:    0  time:  0.01 s
801.34/31.22	c Subs w/ non-existent bins:     55 l-rem:      0 v-fix:     0 done:   4741 time:  0.01 s
801.34/31.23	c Removed useless bin:      93  fixed:     0  props:   0.47M  time:  0.00 s
801.34/31.24	c lits-rem:         2  cl-subs:      362  v-elim:     46  v-fix:    0  time:  0.01 s
801.34/31.25	c subs with bin:       13  lits-rem:       210  v-fix:    0  time:  0.00 s
801.34/31.27	c lits-rem:       612  cl-subs:     2043  v-elim:      0  v-fix:    0  time:  0.02 s
801.34/31.28	c vivif2 --  cl tried     5024 cl shrink       45 lits rem         89 time: 0.00
801.34/31.28	c vivif2 --  cl tried     3479 cl shrink       30 lits rem         34 time: 0.00
804.54/31.38	c asymm  cl-useful: 651/5024/5024 lits-rem:1861 time: 0.10
804.54/31.39	c calculated reachability. Time: 0.00
804.54/31.39	c  N dy   293     69888      4695      4528     15687      3479     71839     41098     14.93   no data
810.93/31.60	c  N dy   318     74575      4695      4528     15702      7057     71836    148249     15.36     16.78
817.33/31.75	c Finding binary XORs  T:     0.08 s  found:     132
817.33/31.76	c Replacing      132 vars Replaced     5511 lits Time:     0.01 s 
820.53/31.91	c  N dy   343     80221      4563      4425     18818     11149     71074    268301     15.65     17.44
827.55/32.10	c  N dy   372     85741      4563      4425     19602     14824     71073    355594     15.74     16.72
833.30/32.23	c  F st   386     87500      4563      4425     19635     16226     71073    419739     16.11   no data
842.90/32.53	c Decided on static restart strategy
842.90/32.53	c  N st   392     92692      4563      4425     19636     11946     71073    266876     16.11   no data
865.25/33.21	c  N st   394     99803      4563      4425     20047     18022     71073    732475     16.11   no data
865.25/33.29	c Finding binary XORs  T:     0.06 s  found:     112
868.45/33.32	c Replacing      122 vars Replaced    16234 lits Time:     0.03 s 
900.41/34.38	c  S st   395    104832      4428      4322     25902     22469     70046   1344972     16.11   no data
903.59/34.43	c  S st   395    105334      4428      4322     25903     22845     70046   1349698     16.11   no data
903.59/34.49	c x-sub:    97 x-cut:      0 vfix:      0 v-elim:     94 locsubst:  2808 time:   0.06
913.18/34.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   4593 BRemL:  12356 BRemN:    157 P:  3.1M T:  0.21
913.18/34.72	c Replacing      214 vars Replaced     8317 lits Time:     0.01 s 
913.18/34.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
913.18/34.72	c bin-w-bin subsume rem         1785 bins  time:  0.00 s
913.18/34.74	c subs with bin:      176  lits-rem:         7  v-fix:    0  time:  0.01 s
913.18/34.75	c Subs w/ non-existent bins:     50 l-rem:      0 v-fix:     0 done:   4120 time:  0.01 s
913.18/34.75	c Removed useless bin:      48  fixed:     0  props:   0.29M  time:  0.00 s
913.18/34.77	c lits-rem:         1  cl-subs:      397  v-elim:     76  v-fix:    0  time:  0.01 s
913.18/34.78	c subs with bin:       18  lits-rem:       201  v-fix:    0  time:  0.01 s
916.38/34.85	c lits-rem:       848  cl-subs:     1654  v-elim:      0  v-fix:    0  time:  0.07 s
916.38/34.86	c vivif2 --  cl tried     4032 cl shrink       50 lits rem         88 time: 0.00
916.38/34.86	c vivif2 --  cl tried     5883 cl shrink       22 lits rem         23 time: 0.00
919.58/34.93	c asymm  cl-useful: 458/4032/4032 lits-rem:1413 time: 0.06
919.58/34.93	c calculated reachability. Time: 0.00
919.58/34.93	c  N st   395    105334      4044      3672     15858      5882     64976    138875     16.11   no data
964.91/36.36	c  N st   396    114933      4044      3672     15858      7987     64976    689924     16.11   no data
968.13/36.46	c Finding binary XORs  T:     0.08 s  found:     181
970.69/36.50	c Replacing      191 vars Replaced    20461 lits Time:     0.04 s 
1050.59/39.03	c  N st   397    129330      3814      3525     31610     21012     62718   2114186     16.11   no data
1053.79/39.11	c Finding binary XORs  T:     0.05 s  found:     206
1056.98/39.21	c Replacing      246 vars Replaced    23102 lits Time:     0.09 s 
1124.06/41.35	c  N st   398    150925      3470      3428     37124     25106     58451   1945910     16.11   no data
1127.26/41.43	c Finding binary XORs  T:     0.05 s  found:     135
1127.26/41.47	c Replacing      135 vars Replaced    15892 lits Time:     0.04 s 
1162.40/42.52	c  S st   399    158002      3293      3391     42792     31369     56712   2559647     16.11   no data
1162.40/42.59	c Finding binary XORs  T:     0.05 s  found:      57
1165.60/42.61	c Replacing       57 vars Replaced    11922 lits Time:     0.02 s 
1165.60/42.66	c  S st   399    158505      3236      3389     59832     31720     56703   2601294     16.11   no data
1168.79/42.73	c x-sub:   378 x-cut:      0 vfix:      0 v-elim:     55 locsubst:    33 time:   0.06
1175.78/43.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    587 BRemL:  29555 BRemN:     88 P:  3.6M T:  0.29
1179.01/43.03	c Replacing        7 vars Replaced      770 lits Time:     0.01 s 
1179.01/43.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1179.01/43.04	c bin-w-bin subsume rem         6153 bins  time:  0.00 s
1179.01/43.06	c subs with bin:      176  lits-rem:       205  v-fix:    0  time:  0.02 s
1179.01/43.07	c Subs w/ non-existent bins:     41 l-rem:      0 v-fix:     0 done:   3174 time:  0.01 s
1179.01/43.07	c Removed useless bin:      35  fixed:     0  props:   0.22M  time:  0.00 s
1181.57/43.10	c lits-rem:         1  cl-subs:      361  v-elim:    136  v-fix:    0  time:  0.03 s
1181.57/43.17	c subs with bin:       24  lits-rem:      2615  v-fix:    0  time:  0.01 s
1246.07/45.21	c lits-rem:      1336  cl-subs:     1313  v-elim:      0  v-fix:    0  time:  2.04 s
1246.07/45.22	c vivif2 --  cl tried     3282 cl shrink       49 lits rem         95 time: 0.00
1249.31/45.24	c vivif2 --  cl tried    14507 cl shrink       69 lits rem         89 time: 0.02
1249.31/45.30	c asymm  cl-useful: 645/3282/3282 lits-rem:2158 time: 0.05
1251.86/45.30	c calculated reachability. Time: 0.00
1251.86/45.30	c  N st   399    158505      3038      2698     24138     14507     45768    930526     16.11   no data
1465.99/52.09	c  N st   400    207094      3038      2698     24139     27771     45768   1556296     16.11   no data
1469.20/52.17	c Finding binary XORs  T:     0.07 s  found:      50
1469.20/52.20	c Replacing       50 vars Replaced    12090 lits Time:     0.02 s 
1492.20/52.84	c  N st   401    237758      2988      2695     46026     27998     45750   1180892     16.11   no data
1492.20/52.84	c  S st   401    237758      2988      2695     46026     27998     45750   1180892     16.11   no data
1492.20/52.89	c Finding binary XORs  T:     0.03 s  found:      45
1492.20/52.90	c Replacing       45 vars Replaced     9007 lits Time:     0.01 s 
1495.40/52.93	c  S st   401    238258      2943      2695     53658     28337     45750   1205291     16.11   no data
1495.40/52.97	c x-sub:    59 x-cut:      0 vfix:      0 v-elim:      8 locsubst:   268 time:   0.04
1510.75/53.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   4828 BRemL:  20633 BRemN:    110 P:  5.1M T:  0.48
1510.75/53.46	c Replacing       81 vars Replaced     7916 lits Time:     0.01 s 
1510.75/53.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1510.75/53.47	c bin-w-bin subsume rem         7557 bins  time:  0.00 s
1510.75/53.49	c subs with bin:       91  lits-rem:        47  v-fix:    0  time:  0.02 s
1513.94/53.50	c Subs w/ non-existent bins:     32 l-rem:      0 v-fix:     0 done:   2854 time:  0.01 s
1513.94/53.50	c Removed useless bin:      10  fixed:     0  props:   0.15M  time:  0.00 s
1513.94/53.53	c lits-rem:         0  cl-subs:       20  v-elim:     65  v-fix:    0  time:  0.03 s
1513.94/53.59	c subs with bin:        2  lits-rem:       353  v-fix:    0  time:  0.01 s
1846.98/63.96	c lits-rem:       783  cl-subs:     4775  v-elim:      0  v-fix:    0  time: 10.36 s
1846.98/63.96	c vivif2 --  cl tried     2770 cl shrink       11 lits rem         26 time: 0.00
1846.98/63.98	c vivif2 --  cl tried    23341 cl shrink        2 lits rem          2 time: 0.02
1849.51/64.05	c asymm  cl-useful: 266/2769/2769 lits-rem:796 time: 0.07
1849.51/64.05	c calculated reachability. Time: 0.00
1849.51/64.05	c  N st   401    238258      2789      2537     29953     23341     43005    953861     16.11   no data
1914.08/66.02	c  F st   402    306251      2789      2537     29953     32919     43005   1306112     16.11   no data
1914.08/66.02	c  N st   402    306251      2789      2537     29953     32919     43005   1306112     16.11   no data
1914.08/66.09	c Finding binary XORs  T:     0.04 s  found:     161
1914.08/66.10	c Replacing      161 vars Replaced    28538 lits Time:     0.01 s 
1954.98/67.33	c  N dy   491    340541      2628      2537     72809     35518     43005    892347     16.89     18.03
1984.38/68.26	c  S st   615    357387      2628      2537     72959     27379     43005    694311     19.42     19.55
1984.38/68.28	c  S st   615    357887      2628      2537     72961     27699     43005    700345     19.42   no data
1987.61/68.32	c x-sub:   213 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   176 time:   0.04
2002.92/68.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   8656 BRemL:  28202 BRemN:     23 P:  6.6M T:  0.57
2002.92/68.90	c Replacing       57 vars Replaced     3187 lits Time:     0.01 s 
2006.13/68.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2006.13/68.91	c bin-w-bin subsume rem        17331 bins  time:  0.01 s
2006.13/68.93	c subs with bin:       70  lits-rem:        44  v-fix:    0  time:  0.02 s
2006.13/68.94	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:   2571 time:  0.01 s
2006.13/68.94	c Removed useless bin:      22  fixed:     0  props:   0.12M  time:  0.00 s
2006.13/68.96	c lits-rem:         0  cl-subs:       55  v-elim:     11  v-fix:    0  time:  0.02 s
2009.32/69.01	c subs with bin:       18  lits-rem:        91  v-fix:    0  time:  0.02 s
2073.25/71.04	c lits-rem:      8444  cl-subs:     7854  v-elim:      0  v-fix:    0  time:  2.02 s
2073.25/71.04	c vivif2 --  cl tried     2430 cl shrink        3 lits rem          7 time: 0.00
2073.25/71.05	c vivif2 --  cl tried    19803 cl shrink       36 lits rem        132 time: 0.01
2076.45/71.14	c asymm  cl-useful: 39/2430/2430 lits-rem:123 time: 0.09
2076.45/71.15	c calculated reachability. Time: 0.00
2076.45/71.15	c  N dy   615    357887      2560      2415     35978     19803     40943    484215     19.42   no data
2076.45/71.18	c Finding binary XORs  T:     0.03 s  found:       0
2089.86/71.55	c Finding binary XORs  T:     0.03 s  found:       8
2098.82/71.86	c  N dy   699    378186      2560      2415     44000     34102     40943   1042004     20.65     21.76
2133.97/72.98	c  N dy   817    406905      2560      2415     52091     31989     40942    662884     21.61     22.78
2137.17/73.03	c Finding binary XORs  T:     0.03 s  found:      55
2137.17/73.04	c Replacing       63 vars Replaced    13651 lits Time:     0.01 s 
2169.14/74.02	c  N dy   911    426993      2497      2415     52520     23932     40942    467255     22.69     26.55
2198.54/74.94	c  N dy  1033    447032      2497      2415     52567     39261     40942   1168312     23.85     80.33
2207.49/75.29	c Finding binary XORs  T:     0.03 s  found:       3
2217.09/75.53	c  N dy  1076    467081      2497      2415     54508     29990     40942    582979     23.56     75.76
2236.25/76.17	c  N dy  1135    487245      2497      2415     61133     44031     40942   1084667     23.74     25.31
2239.45/76.23	c Finding binary XORs  T:     0.03 s  found:      11
2271.41/77.22	c  N dy  1241    507948      2497      2415     73023     34667     40942    878230     24.29     25.68
2271.41/77.25	c Finding binary XORs  T:     0.03 s  found:     101
2271.41/77.26	c Replacing      115 vars Replaced    32567 lits Time:     0.01 s 
2309.71/78.40	c  N dy  1314    536830      2382      2414     72919     30058     40934    541668     24.30     17.88
2309.71/78.40	c  S st  1314    536830      2382      2414     72919     30058     40934    541668     24.30     17.88
2309.71/78.45	c  S st  1314    537332      2382      2414     74963     30414     40934    557461     24.30   no data
2309.71/78.49	c x-sub:   182 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   134 time:   0.04
2328.91/79.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   27 Bins:   1426 BRemL:  28973 BRemN:     51 P:  7.4M T:  0.52
2328.91/79.03	c Replacing       81 vars Replaced     5514 lits Time:     0.01 s 
2328.91/79.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2328.91/79.04	c bin-w-bin subsume rem        18375 bins  time:  0.01 s
2328.91/79.06	c subs with bin:       22  lits-rem:        79  v-fix:    0  time:  0.02 s
2328.91/79.07	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   2301 time:  0.01 s
2328.91/79.07	c Removed useless bin:       1  fixed:     0  props:   0.12M  time:  0.00 s
2328.91/79.09	c lits-rem:         0  cl-subs:       48  v-elim:      5  v-fix:    0  time:  0.02 s
2332.11/79.13	c subs with bin:        4  lits-rem:       398  v-fix:    0  time:  0.02 s
2360.86/80.07	c lits-rem:      3865  cl-subs:     7826  v-elim:      0  v-fix:    0  time:  0.93 s
2360.86/80.07	c vivif2 --  cl tried     2358 cl shrink        2 lits rem          3 time: 0.00
2360.86/80.08	c vivif2 --  cl tried    22582 cl shrink       40 lits rem         92 time: 0.01
2364.06/80.19	c asymm  cl-useful: 23/2358/2358 lits-rem:23 time: 0.11
2364.06/80.20	c calculated reachability. Time: 0.00
2367.26/80.20	c  N dy  1314    537332      2296      2358     28893     22582     38735    362625     24.30   no data
2367.26/80.31	c Finding binary XORs  T:     0.03 s  found:       0
2380.03/80.66	c Finding binary XORs  T:     0.03 s  found:       5
2402.42/81.36	c  N dy  1341    566804      2296      2358     35823     44072     38735    944725     23.83     25.15
2402.42/81.39	c Finding binary XORs  T:     0.03 s  found:       5
2447.16/82.71	c  N dy  1357    604002      2296      2358     38736     45703     38735    779434     22.88     24.31
2447.16/82.74	c Finding binary XORs  T:     0.03 s  found:       4
2517.48/84.99	c  N dy  1379    656241      2296      2358     39950     27305     38735    420969     22.12     23.53
2520.67/85.03	c Finding binary XORs  T:     0.03 s  found:       8
2546.84/85.91	c  N dy  1465    680700      2296      2358     56076     45482     38735   1101608     22.41     24.79
2610.14/87.88	c  N dy  1502    738527      2296      2358     56323     56337     38735   1153205     22.02     23.22
2613.33/87.91	c Finding binary XORs  T:     0.03 s  found:      47
2613.33/87.92	c Replacing       69 vars Replaced    13736 lits Time:     0.01 s 
2645.30/88.95	c  N dy  1566    758580      2227      2358     58687     42185     38735    946142     22.21     25.80
2680.45/90.05	c  N dy  1651    778583      2227      2358     58704     57190     38735   1545616     22.49     85.85
2722.62/91.37	c  N dy  1777    801911      2227      2358     58910     44905     38735   1073170     22.93     24.75
2734.78/91.70	c  S st  1806    805999      2227      2358     58927     48099     38735   1279952     23.12     22.09
2734.78/91.76	c  S st  1806    806502      2227      2358     58927     48480     38735   1295147     23.12   no data
2737.97/91.80	c x-sub:    67 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2750.76/92.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   28 Bins:   1634 BRemL:  19727 BRemN:     47 P:  5.9M T:  0.44
2750.76/92.27	c Replacing       28 vars Replaced     3751 lits Time:     0.02 s 
2750.76/92.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2750.76/92.28	c bin-w-bin subsume rem        16280 bins  time:  0.01 s
2750.76/92.30	c subs with bin:       20  lits-rem:        47  v-fix:    0  time:  0.02 s
2753.95/92.30	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   2199 time:  0.01 s
2753.95/92.31	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
2753.95/92.33	c lits-rem:         0  cl-subs:       63  v-elim:      9  v-fix:    0  time:  0.03 s
2757.77/92.45	c subs with bin:        6  lits-rem:       764  v-fix:    0  time:  0.04 s
2901.60/96.95	c lits-rem:      5340  cl-subs:     8080  v-elim:      0  v-fix:    0  time:  4.50 s
2901.60/96.96	c vivif2 --  cl tried     2288 cl shrink       16 lits rem         19 time: 0.00
2901.60/96.98	c vivif2 --  cl tried    40387 cl shrink      153 lits rem        545 time: 0.02
2904.15/97.09	c asymm  cl-useful: 50/2288/2288 lits-rem:53 time: 0.11
2904.15/97.10	c calculated reachability. Time: 0.00
2904.15/97.10	c  N dy  1806    806502      2190      2288     24373     40387     36467   1061364     23.12   no data
2907.36/97.13	c Finding binary XORs  T:     0.03 s  found:       0
3044.79/101.46	c  N dy  1808    937793      2190      2288     24373     42376     36467    759854     22.32     23.69
3047.99/101.50	c Finding binary XORs  T:     0.03 s  found:      42
3047.99/101.51	c Replacing       42 vars Replaced     7364 lits Time:     0.01 s 
3092.74/102.97	c  N dy  1943    957811      2148      2288     33637     58333     36467   1658404     22.88     83.11
3095.93/103.01	c Finding binary XORs  T:     0.03 s  found:      31
3095.93/103.02	c Replacing       31 vars Replaced     5454 lits Time:     0.01 s 
3144.51/104.54	c  N dy  2013    984330      2117      2288     34876     45041     36467    885198     23.07     24.77
3144.51/104.57	c Finding binary XORs  T:     0.03 s  found:       3
3246.18/107.74	c  F st  2022   1071876      2117      2288     34994     36707     36467    563320     22.60     18.66
3246.18/107.75	c Replacing        3 vars Replaced      425 lits Time:     0.01 s 
3246.18/107.75	c  N st  2022   1071876      2114      2288     34984     36707     36467    563300     22.60     18.66
3246.18/107.78	c Finding binary XORs  T:     0.03 s  found:      38
3246.18/107.79	c Replacing       38 vars Replaced     5209 lits Time:     0.01 s 
3290.91/109.15	c Finding binary XORs  T:     0.03 s  found:      41
3290.91/109.16	c Replacing       51 vars Replaced    14307 lits Time:     0.02 s 
3297.30/109.30	c  N dy  2141   1091950      1918      2230     27535     52643     31539   1486224     23.01     24.43
3320.31/110.08	c  N dy  2160   1112317      1918      2230     27535     67640     31539   1844371     22.91     24.57
3320.31/110.11	c Finding binary XORs  T:     0.03 s  found:      20
3323.51/110.13	c Replacing       20 vars Replaced     7557 lits Time:     0.01 s 
3412.37/112.95	c  N dy  2208   1209753      1898      2230     29550     57172     31539    893644     22.49     15.44
3412.37/112.95	c  S st  2208   1209753      1898      2230     29550     57172     31539    893644     22.49     15.44
3412.37/112.99	c Finding binary XORs  T:     0.03 s  found:      79
3415.53/113.01	c Replacing       79 vars Replaced    31936 lits Time:     0.01 s 
3415.53/113.09	c  S st  2208   1210254      1819      2230     46429     57542     31534    937200     22.49   no data
3418.76/113.13	c x-sub:    45 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3425.75/113.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:    473 BRemL:  19749 BRemN:      6 P:  3.0M T:  0.21
3425.75/113.34	c Replacing       38 vars Replaced    10398 lits Time:     0.01 s 
3425.75/113.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3425.75/113.36	c bin-w-bin subsume rem        19172 bins  time:  0.01 s
3425.75/113.37	c subs with bin:       25  lits-rem:       665  v-fix:    0  time:  0.01 s
3425.75/113.37	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1781 time:  0.00 s
3425.75/113.37	c Removed useless bin:      24  fixed:     0  props:   0.06M  time:  0.00 s
3425.75/113.39	c lits-rem:         0  cl-subs:      122  v-elim:      2  v-fix:    0  time:  0.02 s
3428.98/113.45	c subs with bin:       55  lits-rem:      1806  v-fix:    0  time:  0.01 s
3707.00/122.21	c lits-rem:      1231  cl-subs:    23953  v-elim:      0  v-fix:    0  time:  8.75 s
3707.00/122.21	c vivif2 --  cl tried     2086 cl shrink        6 lits rem         19 time: 0.00
3710.23/122.22	c vivif2 --  cl tried    33502 cl shrink      106 lits rem        241 time: 0.01
3710.23/122.30	c asymm  cl-useful: 412/2086/2086 lits-rem:1326 time: 0.07
3712.75/122.30	c calculated reachability. Time: 0.00
3712.75/122.30	c  N dy  2208   1210254      1779      2083      7761     33502     24519    445197     22.49   no data
3725.54/122.74	c Finding binary XORs  T:     0.03 s  found:      33
3725.54/122.75	c Replacing       33 vars Replaced     8317 lits Time:     0.01 s 
3757.47/123.79	c  N dy  2310   1242841      1746      2079     19711     57987     24478   1504303     22.80     24.61
3760.68/123.83	c Finding binary XORs  T:     0.03 s  found:       8
3802.23/125.10	c Finding binary XORs  T:     0.03 s  found:       0
3805.43/125.25	c  N dy  2446   1263417      1746      2079     22594     43197     24478   1085447     23.22     25.39
3837.39/126.20	c  N dy  2496   1283936      1746      2079     22949     58323     24478   1605377     23.28     25.05
3888.53/127.86	c Finding binary XORs  T:     0.03 s  found:       2
3901.32/128.22	c  N dy  2623   1305457      1746      2079     23124     40008     24478    743015     23.64     24.99
3953.10/129.85	c  N dy  2750   1337573      1746      2079     23965     64042     24478   1828508     23.96     25.38
3953.10/129.88	c Finding binary XORs  T:     0.03 s  found:       1
3984.43/130.90	c  N dy  2780   1368100      1746      2079     23976     47482     24478    739613     23.89     25.29
4425.46/144.62	c  N dy  2823   1710254      1746      2079     23976     48091     24478    774717     22.66     18.48
4425.46/144.62	c  S st  2823   1710254      1746      2079     23976     48091     24478    774717     22.66     18.48
4425.46/144.66	c Finding binary XORs  T:     0.03 s  found:      22
4425.46/144.67	c Replacing       33 vars Replaced     5060 lits Time:     0.01 s 
4428.65/144.73	c  S st  2823   1710756      1645      1542      3693     47902     18211    737256     22.66   no data
4428.65/144.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.04
4431.85/144.82	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    5 Bins:     21 BRemL:    693 BRemN:      1 P:  0.8M T:  0.05
4431.85/144.84	c Replacing        5 vars Replaced      411 lits Time:     0.02 s 
4431.85/144.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4431.85/144.84	c bin-w-bin subsume rem          893 bins  time:  0.00 s
4431.85/144.84	c subs with bin:        7  lits-rem:        21  v-fix:    0  time:  0.00 s
4431.85/144.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1632 time:  0.00 s
4431.85/144.85	c Removed useless bin:       4  fixed:     0  props:   0.04M  time:  0.00 s
4431.85/144.87	c lits-rem:        11  cl-subs:      409  v-elim:     12  v-fix:    0  time:  0.02 s
4435.05/144.91	c subs with bin:        3  lits-rem:        17  v-fix:    0  time:  0.00 s
4601.26/150.19	c lits-rem:      2728  cl-subs:     3535  v-elim:      0  v-fix:    0  time:  5.28 s
4601.26/150.20	c vivif2 --  cl tried     1115 cl shrink        1 lits rem          2 time: 0.00
4604.46/150.21	c vivif2 --  cl tried    44013 cl shrink        0 lits rem          0 time: 0.01
4604.46/150.22	c asymm  cl-useful: 84/1115/1115 lits-rem:154 time: 0.01
4604.46/150.23	c calculated reachability. Time: 0.00
4604.46/150.23	c  N dy  2823   1710756      1620      1115      1804     44013     14883    657435     22.66   no data
4652.41/151.73	c  N dy  2895   1746601      1619      1115      1853     70090     14883   1567845     22.71     24.37
4661.98/152.02	c Finding binary XORs  T:     0.03 s  found:       0
4754.68/154.90	c  N dy  3045   1772387      1619      1104      1860     49260     14832    662015     23.04     24.71
4828.20/157.24	c  N dy  3160   1792394      1619      1104      1861     65678     14832   1698169     23.38     24.62
4898.52/159.44	c  N dy  3265   1814784      1619      1104      1863     83302     14832   2622352     23.60     26.74
4997.58/162.59	c  N dy  3433   1834869      1619      1104      1868     54824     14832   1181323     24.00     47.65
5046.16/164.10	c Finding binary XORs  T:     0.03 s  found:       0
5096.68/165.64	c  N dy  3605   1854955      1619      1104      1911     72326     14832   2541578     24.51     72.62
5116.44/166.28	c  N dy  3612   1876558      1619      1104      1911     87232     14832   2872927     24.38     25.87
5163.76/167.73	c Finding binary XORs  T:     0.03 s  found:       1
5227.66/169.76	c  N dy  3783   1896620      1619      1104      1969     55953     14832   1180365     24.82     72.91
5304.32/172.11	c  N dy  3906   1919808      1619      1104      1991     74221     14832   2201425     25.07     26.41
5371.45/174.29	c Finding binary XORs  T:     0.03 s  found:       1
5409.75/175.48	c  N dy  4070   1940562      1619      1104      2039     91871     14832   3504007     25.48     26.83
5480.07/177.70	c Finding binary XORs  T:     0.03 s  found:       1
5540.78/179.56	c  N dy  4248   1966323      1619      1104      2097     62603     14832   1244464     25.85     27.46
5630.30/182.37	c Finding binary XORs  T:     0.03 s  found:       1
5640.49/182.65	c  N dy  4422   1990637      1619      1104      2138     82611     14832   2670681     26.27     28.96
5684.62/184.09	c Finding binary XORs  T:     0.03 s  found:       5
5770.90/186.72	c  N dy  4613   2010734      1619      1104      2288    100365     14832   4128016     26.74     87.10
5802.87/187.73	c Finding binary XORs  T:     0.03 s  found:       1
6103.25/197.12	c  N dy  4659   2210757      1619      1104      2366     92383     14832   1548662     25.77     14.63
6103.25/197.12	c  S st  4659   2210757      1619      1104      2366     92383     14832   1548662     25.77     14.63
6103.25/197.17	c Finding binary XORs  T:     0.03 s  found:      56
6103.25/197.18	c Replacing       66 vars Replaced     5907 lits Time:     0.01 s 
6109.65/197.32	c  S st  4659   2211261      1541       957      3081     92443     13603   1555040     25.77   no data
6109.65/197.37	c x-sub:    38 x-cut:      0 vfix:      0 v-elim:     10 locsubst:    26 time:   0.04
6112.84/197.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:    302 BRemN:      0 P:  1.3M T:  0.08
6112.84/197.46	c Replacing       11 vars Replaced      456 lits Time:     0.01 s 
6112.84/197.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6112.84/197.47	c bin-w-bin subsume rem         1177 bins  time:  0.00 s
6112.84/197.47	c subs with bin:       55  lits-rem:       106  v-fix:    0  time:  0.00 s
6112.84/197.47	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1520 time:  0.00 s
6112.84/197.47	c Removed useless bin:       3  fixed:     0  props:   0.04M  time:  0.00 s
6116.05/197.50	c lits-rem:         0  cl-subs:       94  v-elim:      1  v-fix:    0  time:  0.03 s
6119.24/197.62	c subs with bin:       49  lits-rem:        97  v-fix:    0  time:  0.00 s
6443.34/216.96	c lits-rem:      5531  cl-subs:    17644  v-elim:      0  v-fix:    0  time: 19.34 s
6443.34/216.96	c vivif2 --  cl tried      809 cl shrink        0 lits rem          0 time: 0.00
6443.34/216.97	c vivif2 --  cl tried    74072 cl shrink        2 lits rem          2 time: 0.02
6443.34/216.98	c asymm  cl-useful: 37/809/809 lits-rem:50 time: 0.01
6443.34/216.99	c calculated reachability. Time: 0.00
6443.34/216.99	c  N dy  4659   2211261      1519       809      1570     74072     12569   1219383     25.77   no data
6443.34/216.99	c Following stats are for *FIRST FINISHED THREAD ONLY*
6443.34/216.99	c num threads              : 32         
6443.34/216.99	c restarts                 : 3548       
6443.34/216.99	c dynamic restarts         : 3524       
6443.34/216.99	c static restarts          : 24         
6443.34/216.99	c full restarts            : 3          
6443.34/216.99	c total simplify time      : 2.19       
6443.34/216.99	c learnts DL2              : 0          
6443.34/216.99	c learnts size 2           : 567840     
6443.34/216.99	c learnts size 1           : 1601        (4.28      % of vars)
6443.34/216.99	c filedLit time            : 5.52        (2.59      % time)
6443.34/216.99	c v-elim SatELite          : 12480       (33.34     % vars)
6443.34/216.99	c SatELite time            : 0.76        (0.36      % time)
6443.34/216.99	c v-elim xor               : 0           (0.00      % vars)
6443.34/216.99	c xor elim time            : 0.04        (0.02      % time)
6443.34/216.99	c num binary xor trees     : 3053       
6443.34/216.99	c binxor trees' crown      : 19540       (6.40      leafs/tree)
6443.34/216.99	c bin xor find time        : 1.02       
6443.34/216.99	c OTF clause improved      : 57223       (0.07      clauses/conflict)
6443.34/216.99	c OTF impr. size diff      : 58382       (1.02       lits/clause)
6443.34/216.99	c OTF cl watch-shrink      : 230683      (0.28      clauses/conflict)
6443.34/216.99	c OTF cl watch-sh-lit      : 457031      (1.98       lits/clause)
6443.34/216.99	c tried to recurMin cls    : 331860      (39.74      % of conflicts)
6443.34/216.99	c updated cache            : 46995       (0.14       lits/tried recurMin)
6443.34/216.99	c unit cls recevied        : 106         (6.62      % of units)
6443.34/216.99	c unit cls sent            : 1751        (109.37    % of units)
6443.34/216.99	c bin cls recevied         : 435372     
6443.34/216.99	c bin cls sent             : 149812     
6443.34/216.99	c clauses over max glue    : 0           (0.00      % of all clauses)
6443.34/216.99	c conflicts                : 835091      (3914.06   / sec)
6443.34/216.99	c decisions                : 2090379     (12.22     % random)
6443.34/216.99	c bogo-props               : 7335593895  (34381852.41 / sec)
6443.34/216.99	c conflict literals        : 17924653    (11.65     % deleted)
6443.34/216.99	c Memory used              : 8825.02     MB
6443.34/216.99	c single-thread CPU time   : 213.36      s
6443.34/216.99	c all-threads sum CPU time : 6393.50     s
6443.34/216.99	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=797980 CPUtime=0.69 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 3298 0 0 0 44 25 0 0 17 0 32 0 737266155 817131520 3141 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 199495 3189 322 95 0 194477 0
[pid=9726/tid=9727] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 139 0 0 0 1 0 0 0 18 0 32 0 737266155 817131520 3468 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 173 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 3529 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 101 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3588 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 13 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3635 268435456000 4194304 4580107 140735477360848 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 79 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3683 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 77 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3743 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 90 0 0 0 1 1 0 0 22 0 32 0 737266155 817131520 3810 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 3884 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 122 0 0 0 1 0 0 0 23 0 32 0 737266155 817131520 3944 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 104 0 0 0 1 0 0 0 23 0 32 0 737266155 817131520 4012 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 162 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4068 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 125 0 0 0 1 1 0 0 24 0 32 0 737266155 817131520 4106 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 139 0 0 0 1 1 0 0 24 0 32 0 737266155 817131520 4151 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 165 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4218 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 147 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4271 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 149 0 0 0 1 0 0 0 18 0 32 0 737266155 817131520 4310 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4378 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 152 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4429 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 147 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4493 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 102 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4566 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 120 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4602 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 108 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4627 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 157 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4677 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 138 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4723 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 113 0 0 0 1 0 0 0 25 0 32 0 737266155 817131520 4767 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4807 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 169 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4860 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 121 0 0 0 0 1 0 0 25 0 32 0 737266155 817131520 4936 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 151 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 5000 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 125 0 0 0 1 0 0 0 25 0 32 0 737266155 817131520 5076 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 5113 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.104336 s]
/proc/loadavg: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1185192 CPUtime=2.35 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 11334 0 0 0 144 91 0 0 17 0 32 0 737266155 1213636608 11175 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 296298 11189 335 95 0 291280 0
[pid=9726/tid=9727] ppid=9724 vsize=1185192 CPUtime=0.07 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 501 0 0 0 4 3 0 0 17 0 32 0 737266155 1213636608 11190 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=1185192 CPUtime=0.07 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 358 0 0 0 5 2 0 0 17 0 32 0 737266155 1213636608 11198 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1185192 CPUtime=0.06 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 390 0 0 0 4 2 0 0 17 0 32 0 737266155 1213636608 11207 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500409089504 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1185324 CPUtime=0.03 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 337 0 0 0 3 0 0 0 17 0 32 0 737266155 1213771776 11215 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476519661024 0 0 -1 31 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1185588 CPUtime=0.05 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 348 0 0 0 3 2 0 0 17 0 32 0 737266155 1214042112 11259 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1185720 CPUtime=0.07 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 287 0 0 0 4 3 0 0 17 0 32 0 737266155 1214177280 11308 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499749060064 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1185720 CPUtime=0.06 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 326 0 0 0 3 3 0 0 17 0 32 0 737266155 1214177280 11319 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1185984 CPUtime=0.08 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 310 0 0 0 5 3 0 0 17 0 32 0 737266155 1214447616 11403 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 372 0 0 0 4 3 0 0 17 0 32 0 737266155 1214447616 11416 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 297 0 0 0 5 2 0 0 17 0 32 0 737266155 1214447616 11438 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1185984 CPUtime=0.06 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 356 0 0 0 4 2 0 0 17 0 32 0 737266155 1214447616 11441 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604505992469984 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 300 0 0 0 4 3 0 0 17 0 32 0 737266155 1214447616 11446 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476310306272 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1185984 CPUtime=0.06 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 368 0 0 0 3 3 0 0 17 0 32 0 737266155 1214447616 11451 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499888094688 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1186116 CPUtime=0.08 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 278 0 0 0 6 2 0 0 17 0 32 0 737266155 1214582784 11463 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500639153632 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1186116 CPUtime=0.06 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 413 0 0 0 3 3 0 0 17 0 32 0 737266155 1214582784 11506 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 326 0 0 0 4 2 0 0 17 0 32 0 737266155 1222983680 11520 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476244114912 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 269 0 0 0 6 2 0 0 18 0 32 0 737266155 1222983680 11527 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 350 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11538 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=1194320 CPUtime=0.07 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 280 0 0 0 5 2 0 0 17 0 32 0 737266155 1222983680 11551 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604502541950432 0 0 -1 15 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 319 0 0 0 5 3 0 0 17 0 32 0 737266155 1222983680 11551 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604483702717920 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=1194320 CPUtime=0.07 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 325 0 0 0 5 2 0 0 17 0 32 0 737266155 1222983680 11565 268435456000 4194304 4580107 140735477360848 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 397 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11574 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) D 9724 9726 9700 0 -1 4202560 269 0 0 0 6 2 0 0 17 0 32 0 737266155 1222983680 11574 268435456000 4194304 4580107 140735477360848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 427 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11588 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604479206325728 0 0 -1 19 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 474 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11601 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604484328725984 0 0 -1 25 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 320 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11601 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499749060064 0 0 -1 26 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=1194452 CPUtime=0.08 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 309 0 0 0 5 3 0 0 17 0 32 0 737266155 1223118848 11605 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 23 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=1194452 CPUtime=0.05 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 420 0 0 0 2 3 0 0 17 0 32 0 737266155 1223118848 11635 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604479426084320 0 0 -1 24 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=1194452 CPUtime=0.05 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 390 0 0 0 3 2 0 0 17 0 32 0 737266155 1223118848 11639 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604496183737824 0 0 -1 29 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=1194728 CPUtime=0.06 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 422 0 0 0 3 3 0 0 17 0 32 0 737266155 1223401472 11684 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604477524721120 0 0 -1 30 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=1194860 CPUtime=0.06 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 322 0 0 0 4 2 0 0 17 0 32 0 737266155 1223536640 11729 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 1185192

[startup+0.207324 s]
/proc/loadavg: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1280632 CPUtime=4.31 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) S 9724 9726 9700 0 -1 4202496 26116 0 0 0 203 228 0 0 17 0 32 0 737266155 1311367168 24141 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 320093 24156 335 95 0 315075 0
[pid=9726/tid=9727] ppid=9724 vsize=1280372 CPUtime=0.12 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 1037 0 0 0 5 7 0 0 17 0 32 0 737266155 1311100928 24091 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=1280112 CPUtime=0.13 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 884 0 0 0 7 6 0 0 17 0 32 0 737266155 1310834688 24095 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1280112 CPUtime=0.12 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 907 0 0 0 5 7 0 0 17 0 32 0 737266155 1310834688 24096 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1280112 CPUtime=0.1 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 725 0 0 0 5 5 0 0 17 0 32 0 737266155 1310834688 24143 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604475660721632 0 0 -1 31 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1280628 CPUtime=0.12 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 861 0 0 0 5 7 0 0 17 0 32 0 737266155 1311363072 24201 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1280628 CPUtime=0.13 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 788 0 0 0 6 7 0 0 17 0 32 0 737266155 1311363072 24256 268435456000 4194304 4580107 140735477360848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1280628 CPUtime=0.12 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 787 0 0 0 6 6 0 0 17 0 32 0 737266155 1311363072 24259 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1280368 CPUtime=0.14 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 742 0 0 0 7 7 0 0 17 0 32 0 737266155 1311096832 24226 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604487591935456 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1280368 CPUtime=0.13 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 890 0 0 0 5 8 0 0 17 0 32 0 737266155 1311096832 24243 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566931344 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1280368 CPUtime=0.14 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 664 0 0 0 7 7 0 0 17 0 32 0 737266155 1311096832 24250 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1280368 CPUtime=0.11 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 779 0 0 0 5 6 0 0 17 0 32 0 737266155 1311096832 24252 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1280884 CPUtime=0.12 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 666 0 0 0 6 6 0 0 17 0 32 0 737266155 1311625216 24348 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1280624 CPUtime=0.12 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 854 0 0 0 5 7 0 0 17 0 32 0 737266155 1311358976 24304 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1280624 CPUtime=0.14 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 567 0 0 0 8 6 0 0 17 0 32 0 737266155 1311358976 24326 268435456000 4194304 4580107 140735477360848 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1281140 CPUtime=0.13 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 909 0 0 0 5 8 0 0 17 0 32 0 737266155 1311887360 24352 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1281136 CPUtime=0.13 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 767 0 0 0 7 6 0 0 17 0 32 0 737266155 1311883264 24500 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500409089504 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1281136 CPUtime=0.13 cores=0-31

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

Current children cumulated vsize (KiB) 9036812

[startup+216.003 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248749808/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=9036812 CPUtime=6441.54 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 2887016 0 0 0 639152 5002 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 4416745 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 2259203 1600786 379 95 0 2254185 0
[pid=9726/tid=9727] ppid=9724 vsize=9036812 CPUtime=200.81 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 128600 0 0 0 19923 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604478639783392 0 0 -1 14 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 98354 0 0 0 19853 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604502541950432 0 0 -1 10 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=9036812 CPUtime=200.36 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 109944 0 0 0 19868 168 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505189359072 0 0 -1 25 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=9036812 CPUtime=201 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 112215 0 0 0 19928 172 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604481159151072 0 0 -1 22 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116162 0 0 0 19917 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487591935456 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=9036812 CPUtime=200.78 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 126551 0 0 0 19919 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500639153632 0 0 -1 24 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=9036812 CPUtime=200.57 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 103892 0 0 0 19910 147 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499888094688 0 0 -1 16 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=9036812 CPUtime=200.21 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 77919 0 0 0 19870 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500454800864 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=9036812 CPUtime=199.41 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 74937 0 0 0 19788 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504990997984 0 0 -1 19 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=9036812 CPUtime=209.2 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 84145 0 0 0 20763 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604482356026848 0 0 -1 23 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 111427 0 0 0 19867 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505831857632 0 0 -1 29 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=9036812 CPUtime=200.46 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 97327 0 0 0 19884 162 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484614200800 0 0 -1 0 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=9036812 CPUtime=200.61 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 76497 0 0 0 19908 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476310306272 0 0 -1 26 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=9036812 CPUtime=200.71 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68227 0 0 0 19937 134 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604496183737824 0 0 -1 1 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=9036812 CPUtime=200.93 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 61585 0 0 0 19950 143 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484328725984 0 0 -1 17 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 81207 0 0 0 19869 165 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476519661024 0 0 -1 27 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=9036812 CPUtime=200.27 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 79379 0 0 0 19873 154 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499749060064 0 0 -1 9 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 64558 0 0 0 19925 149 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476675161568 0 0 -1 4 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=9036812 CPUtime=200.03 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 63642 0 0 0 19844 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500409089504 0 0 -1 3 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68255 0 0 0 19865 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604506330742240 0 0 -1 8 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=9036812 CPUtime=200.28 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 85090 0 0 0 19876 152 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604477524721120 0 0 -1 20 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=9036812 CPUtime=199.55 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 70973 0 0 0 19802 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505992469984 0 0 -1 31 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=9036812 CPUtime=200.22 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69062 0 0 0 19864 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475660721632 0 0 -1 21 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69372 0 0 0 19901 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487566188000 0 0 -1 30 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=9036812 CPUtime=200.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116311 0 0 0 19835 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504959647200 0 0 -1 13 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 90764 0 0 0 19896 156 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604479426084320 0 0 -1 2 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=9036812 CPUtime=200.3 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116916 0 0 0 19859 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483702717920 0 0 -1 15 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=9036812 CPUtime=201.08 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 135753 0 0 0 19932 176 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476244114912 0 0 -1 28 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=9036812 CPUtime=197.28 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 121823 0 0 0 19548 180 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483355516384 0 0 -1 7 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=9036812 CPUtime=200.55 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 96372 0 0 0 19888 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475881364960 0 0 -1 18 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=9036812 CPUtime=213.05 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 30207 0 0 0 21237 68 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098702891 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 6441.54
Current children cumulated vsize (KiB) 9036812

[startup+216.835 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=9036812 CPUtime=6443.21 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 2887016 0 0 0 639319 5002 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 4416130 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 2259203 1600786 379 95 0 2254185 0
[pid=9726/tid=9727] ppid=9724 vsize=9036812 CPUtime=200.81 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 128600 0 0 0 19923 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604478639783392 0 0 -1 14 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 98354 0 0 0 19853 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604502541950432 0 0 -1 10 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=9036812 CPUtime=200.36 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 109944 0 0 0 19868 168 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505189359072 0 0 -1 25 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=9036812 CPUtime=201 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 112215 0 0 0 19928 172 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604481159151072 0 0 -1 22 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116162 0 0 0 19917 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487591935456 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=9036812 CPUtime=200.78 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 126551 0 0 0 19919 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500639153632 0 0 -1 24 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=9036812 CPUtime=200.57 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 103892 0 0 0 19910 147 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499888094688 0 0 -1 16 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=9036812 CPUtime=200.21 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 77919 0 0 0 19870 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500454800864 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=9036812 CPUtime=199.41 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 74937 0 0 0 19788 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504990997984 0 0 -1 19 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=9036812 CPUtime=209.2 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 84145 0 0 0 20763 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604482356026848 0 0 -1 23 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 111427 0 0 0 19867 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505831857632 0 0 -1 29 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=9036812 CPUtime=200.46 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 97327 0 0 0 19884 162 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484614200800 0 0 -1 0 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=9036812 CPUtime=200.61 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 76497 0 0 0 19908 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476310306272 0 0 -1 26 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=9036812 CPUtime=200.71 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68227 0 0 0 19937 134 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604496183737824 0 0 -1 1 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=9036812 CPUtime=200.93 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 61585 0 0 0 19950 143 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484328725984 0 0 -1 17 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 81207 0 0 0 19869 165 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476519661024 0 0 -1 27 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=9036812 CPUtime=200.27 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 79379 0 0 0 19873 154 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499749060064 0 0 -1 9 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 64558 0 0 0 19925 149 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476675161568 0 0 -1 4 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=9036812 CPUtime=200.03 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 63642 0 0 0 19844 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500409089504 0 0 -1 3 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68255 0 0 0 19865 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604506330742240 0 0 -1 8 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=9036812 CPUtime=200.28 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 85090 0 0 0 19876 152 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604477524721120 0 0 -1 20 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=9036812 CPUtime=199.55 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 70973 0 0 0 19802 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505992469984 0 0 -1 31 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=9036812 CPUtime=200.22 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69062 0 0 0 19864 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475660721632 0 0 -1 21 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69372 0 0 0 19901 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487566188000 0 0 -1 30 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=9036812 CPUtime=200.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116311 0 0 0 19835 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504959647200 0 0 -1 13 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 90764 0 0 0 19896 156 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604479426084320 0 0 -1 2 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=9036812 CPUtime=200.3 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116916 0 0 0 19859 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483702717920 0 0 -1 15 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=9036812 CPUtime=201.08 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 135753 0 0 0 19932 176 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476244114912 0 0 -1 28 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=9036812 CPUtime=197.28 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 121823 0 0 0 19548 180 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483355516384 0 0 -1 7 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=9036812 CPUtime=200.55 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 96372 0 0 0 19888 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475881364960 0 0 -1 18 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=9036812 CPUtime=213.88 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 30207 0 0 0 21320 68 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098702891 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 6443.21
Current children cumulated vsize (KiB) 9036812

[startup+217.201 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6443.75 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5025 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6443.75
Current children cumulated vsize (KiB) 0

[startup+217.401 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6443.95 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5045 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6443.95
Current children cumulated vsize (KiB) 0

[startup+217.501 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6444.05 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5055 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6444.05
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 217.544
CPU time (s): 6444.1
CPU user time (s): 6393.5
CPU system time (s): 50.5993
CPU usage (%): 2962.21
Max. virtual memory (cumulated for all children) (KiB): 9289460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6393.5
system time used= 50.5993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2887020
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= 1390959
involuntary context switches= 22057

runsolver used 1.43578 second user time and 5.09622 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 19:23:17
IDJOB=3400633
IDBENCH=20523
IDSOLVER=1886
FILE ID=node200/3400633-1306257797
RUNJOBID= node200-1306257797-9714
PBS_JOBID= 13411761
Free space on /tmp= 62044 MiB

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

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

MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=2130054118

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255167340 kB
Buffers:        463756 kB
Cached:        8218448 kB
SwapCached:          0 kB
Active:        7770248 kB
Inactive:       981212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255167340 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8720 kB
Writeback:           0 kB
AnonPages:       69968 kB
Mapped:          14480 kB
Slab:           255268 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-24 19:26:55