Trace number 3400798

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 19004.1 730.697

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_3b_unknown.cnf
MD5SUMb8621ec1841e055a001ab32c33f2b68c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2932.51
Satisfiable
(Un)Satisfiability was proved
Number of variables39151
Number of clauses533919
Sum of the clauses size1968248
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 251568
Number of clauses of size 364292
Number of clauses of size 4418059
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.10	c Using 32 threads
3.12/0.11	c This is CryptoMiniSat 3.0.0
3.12/0.11	c WARNING: for repeatability, setting FPU to use double precision
3.12/0.11	c Reading file 'HOME/instance-3400798-1306788670.cnf'
3.12/0.14	c -- header says num vars:          39151
3.12/0.14	c -- header says num clauses:      533919
53.02/3.59	c -- clauses added:            0 learnts,       533919 normals,            0 xors
53.02/3.59	c -- vars added      39151
53.02/3.59	c Parsing time:  0.59 s
53.02/3.59	c  N st     0         0     39151    482351     51568         0   1968248         0   no data   no data
64.38/4.20	c asymm  cl-useful: 11/1120/482351 lits-rem:11 time: 0.30
195.63/13.52	c Flit:   158 Blit:     16 bXBeca:    0 bXProp:   71 Bins:      0 BRemL:      0 BRemN:      0 P: 128.2M T:  3.46
195.63/13.52	c Cleaning up after failed var search:     0.00 s 
197.89/13.70	c Replacing       71 vars Replaced     2441 lits Time:     0.10 s 
293.52/21.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
293.52/21.25	c bin-w-bin subsume rem         3823 bins  time:  0.02 s
296.23/21.38	c subs with bin:     2602  lits-rem:      1320  v-fix:    0  time:  0.13 s
301.78/21.55	c Subs w/ non-existent bins:   3147 l-rem:   1398 v-fix:     0 done:   9361 time:  0.13 s
308.06/21.79	c Removed useless bin:    5785  fixed:     0  props:  17.42M  time:  0.23 s
354.23/23.24	c lits-rem:      1008  cl-subs:    38294  v-elim:   2804  v-fix:    0  time:  1.39 s
356.19/23.32	c Finding binary XORs  T:     0.08 s  found:      22
356.19/23.36	c Replacing       22 vars Replaced     1161 lits Time:     0.04 s 
368.98/23.77	c Finding non-binary XORs:     0.34 s (found:       0, avg size: nan)
368.98/23.77	c calculated reachability. Time: 0.03
372.17/23.81	c Calc default polars -  time:   0.04 s pos:    8602 undec:   21655 neg:    8894
372.17/23.81	c =========================================================================================
372.17/23.81	c types(t): F = full restart, N = normal restart
372.17/23.81	c types(t): S = simplification begin/end, E = solution found
372.17/23.81	c restart types(rt): st = static, dy = dynamic
372.17/23.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
372.17/23.81	c  B st     0         0     36016    428268     40877         0   1742833         0   no data   no data
416.94/25.30	c  N dy    12      4014     36016    428268     40878      3976   1742833     50835      7.57      8.89
445.70/26.12	c Finding binary XORs  T:     0.07 s  found:       2
474.47/27.09	c  N dy    25      8477     36014    428109     45195      7537   1742290    101457      7.03      7.40
529.41/28.73	c  N dy    46     12500     36012    428109     45313     11512   1742290    150089      7.07      7.44
586.36/30.60	c  N dy    61     16725     36011    428109     45325     15671   1742290    197348      6.99      7.44
643.85/32.38	c  N dy    80     20753     36009    428109     45424     10208   1742289    107401      6.97      7.49
701.67/34.13	c  F st   106     25001     36009    428109     45499     14412   1742289    162011      7.08      6.93
704.80/34.23	c Replacing        2 vars Replaced      734 lits Time:     0.05 s 
707.33/34.38	c Found part     1013 vars:        672 clauses:      9606 lits size:     35293
707.33/34.38	c Found part     1384 vars:       4867 clauses:    169291 lits size:    644753
707.33/34.38	c Found part     1459 vars:        952 clauses:      5148 lits size:     17950
707.33/34.38	c Found part     1475 vars:        948 clauses:      6259 lits size:     21705
707.33/34.38	c Found part     1488 vars:        238 clauses:       486 lits size:      1440
707.33/34.38	c Found part     1491 vars:        234 clauses:       476 lits size:      1440
707.33/34.38	c Found part     1501 vars:       9726 clauses:     52126 lits size:    185523
707.33/34.38	c Found part     1511 vars:        203 clauses:       502 lits size:      1379
707.33/34.38	c Found part     1512 vars:        234 clauses:       476 lits size:      1440
707.33/34.38	c Found part     1514 vars:      14222 clauses:    210098 lits size:    780937
707.33/34.38	c Found part     1522 vars:        833 clauses:      5179 lits size:     18093
707.33/34.38	c Found part     1527 vars:        305 clauses:       965 lits size:      2986
707.33/34.38	c Found part     1535 vars:        265 clauses:       792 lits size:      3175
707.33/34.38	c Found part     1537 vars:        236 clauses:       479 lits size:      1440
707.33/34.38	c Found part     1539 vars:        172 clauses:       504 lits size:      2317
707.33/34.38	c Found part     1540 vars:        236 clauses:       482 lits size:      1444
707.33/34.38	c Found part     1541 vars:        236 clauses:       482 lits size:      1444
707.33/34.38	c Found part     1543 vars:        476 clauses:      1702 lits size:      5744
707.33/34.38	c Found part     1544 vars:        476 clauses:      1687 lits size:      5724
707.33/34.38	c Found part     1545 vars:        476 clauses:      1687 lits size:      5724
707.33/34.38	c Found parts:         20 time: 0.24 s
707.33/34.38	c Solving part 1539
710.49/34.43	c  N st     0         0       172       335       169         0      2317         0   no data   no data
710.49/34.43	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
710.49/34.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
710.49/34.44	c Finding binary XORs  T:     0.00 s  found:       0
710.49/34.44	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
710.49/34.44	c calculated reachability. Time: 0.00
710.49/34.44	c Calc default polars -  time:   0.00 s pos:      76 undec:   38988 neg:      87
710.49/34.44	c =========================================================================================
710.49/34.44	c types(t): F = full restart, N = normal restart
710.49/34.44	c types(t): S = simplification begin/end, E = solution found
710.49/34.44	c restart types(rt): st = static, dy = dynamic
710.49/34.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
710.49/34.44	c  B st     0         0       172       335       169         0      2062         0   no data   no data
710.49/34.44	c  E st     1         0         0       335       169         0      2062         0   no data   no data
710.49/34.44	c Verified 335 clauses.
710.49/34.44	c Verified 335 clauses.
710.49/34.44	c Solved part
710.49/34.44	c =========================================================================================
710.49/34.44	c Solving part 1511
713.61/34.50	c  N st     0         0       203       227       313         0      1379        76   no data   no data
713.61/34.50	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
713.61/34.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
713.61/34.51	c Finding binary XORs  T:     0.00 s  found:       0
713.61/34.51	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
713.61/34.51	c calculated reachability. Time: 0.00
713.61/34.51	c Calc default polars -  time:   0.00 s pos:      58 undec:   38992 neg:     101
713.61/34.51	c =========================================================================================
713.61/34.51	c types(t): F = full restart, N = normal restart
713.61/34.51	c types(t): S = simplification begin/end, E = solution found
713.61/34.51	c restart types(rt): st = static, dy = dynamic
713.61/34.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
713.61/34.51	c  B st     0         0       203       227       313         0      1343        76   no data   no data
713.61/34.51	c  E st     1         0         0       227       313         0      1343        76   no data   no data
713.61/34.52	c Verified 227 clauses.
713.61/34.52	c Verified 227 clauses.
713.61/34.52	c Solved part
713.61/34.52	c =========================================================================================
713.61/34.52	c Solving part 1491
713.61/34.58	c  N st     0         0       234       244       232         0      1440         0   no data   no data
713.61/34.58	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
713.61/34.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
713.61/34.59	c Finding binary XORs  T:     0.00 s  found:       0
713.61/34.59	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
713.61/34.59	c calculated reachability. Time: 0.00
713.61/34.59	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
713.61/34.59	c =========================================================================================
713.61/34.59	c types(t): F = full restart, N = normal restart
713.61/34.59	c types(t): S = simplification begin/end, E = solution found
713.61/34.59	c restart types(rt): st = static, dy = dynamic
713.61/34.59	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
713.61/34.59	c  B st     0         0       234       244       232         0      1434         0   no data   no data
713.61/34.59	c  E st     1         0         0       244       232         0      1434         0   no data   no data
713.61/34.59	c Verified 244 clauses.
713.61/34.59	c Verified 244 clauses.
713.61/34.59	c Solved part
713.61/34.59	c =========================================================================================
713.61/34.60	c Solving part 1512
716.64/34.66	c  N st     0         0       234       244       232         0      1440         0   no data   no data
716.64/34.66	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
716.64/34.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
716.64/34.67	c Finding binary XORs  T:     0.00 s  found:       0
716.64/34.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
716.64/34.67	c calculated reachability. Time: 0.00
716.64/34.67	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
716.64/34.67	c =========================================================================================
716.64/34.67	c types(t): F = full restart, N = normal restart
716.64/34.67	c types(t): S = simplification begin/end, E = solution found
716.64/34.67	c restart types(rt): st = static, dy = dynamic
716.64/34.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
716.64/34.67	c  B st     0         0       234       244       232         0      1434         0   no data   no data
716.64/34.67	c  E st     1         0         0       244       232         0      1434         0   no data   no data
716.64/34.67	c Verified 244 clauses.
716.64/34.67	c Verified 244 clauses.
716.64/34.67	c Solved part
716.64/34.67	c =========================================================================================
716.64/34.67	c Solving part 1541
719.73/34.74	c  N st     0         0       236       244       238         0      1444         0   no data   no data
719.73/34.74	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
719.73/34.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
719.73/34.75	c Finding binary XORs  T:     0.00 s  found:       0
719.73/34.75	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
719.73/34.75	c calculated reachability. Time: 0.00
719.73/34.75	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
719.73/34.75	c =========================================================================================
719.73/34.75	c types(t): F = full restart, N = normal restart
719.73/34.75	c types(t): S = simplification begin/end, E = solution found
719.73/34.75	c restart types(rt): st = static, dy = dynamic
719.73/34.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
719.73/34.75	c  B st     0         0       236       244       238         0      1442         0   no data   no data
719.73/34.75	c  E st     1         0         0       244       238         0      1442         0   no data   no data
719.73/34.75	c Verified 244 clauses.
719.73/34.75	c Verified 244 clauses.
719.73/34.75	c Solved part
719.73/34.75	c =========================================================================================
719.73/34.75	c Solving part 1540
722.71/34.82	c  N st     0         0       236       244       238         0      1444         0   no data   no data
722.71/34.82	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
722.71/34.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
722.71/34.83	c Finding binary XORs  T:     0.00 s  found:       0
722.71/34.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
722.71/34.83	c calculated reachability. Time: 0.00
722.71/34.83	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
722.71/34.83	c =========================================================================================
722.71/34.83	c types(t): F = full restart, N = normal restart
722.71/34.83	c types(t): S = simplification begin/end, E = solution found
722.71/34.83	c restart types(rt): st = static, dy = dynamic
722.71/34.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
722.71/34.83	c  B st     0         0       236       244       238         0      1442         0   no data   no data
722.71/34.83	c  E st     1         0         0       244       238         0      1442         0   no data   no data
722.71/34.83	c Verified 244 clauses.
722.71/34.83	c Verified 244 clauses.
722.71/34.83	c Solved part
722.71/34.83	c =========================================================================================
722.71/34.83	c Solving part 1537
722.71/34.88	c  N st     0         0       236       243       236         0      1440         0   no data   no data
722.71/34.89	c asymm  cl-useful: 1/243/243 lits-rem:1 time: 0.00
722.71/34.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
722.71/34.89	c Finding binary XORs  T:     0.00 s  found:       0
722.71/34.89	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
722.71/34.89	c calculated reachability. Time: 0.00
722.71/34.90	c Calc default polars -  time:   0.00 s pos:      10 undec:   39131 neg:      10
722.71/34.90	c =========================================================================================
722.71/34.90	c types(t): F = full restart, N = normal restart
722.71/34.90	c types(t): S = simplification begin/end, E = solution found
722.71/34.90	c restart types(rt): st = static, dy = dynamic
722.71/34.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
722.71/34.90	c  B st     0         0       236       243       236         0      1439         0   no data   no data
722.71/34.90	c  E st     1         0         0       243       236         0      1439         0   no data   no data
722.71/34.90	c Verified 243 clauses.
722.71/34.90	c Verified 243 clauses.
722.71/34.90	c Solved part
722.71/34.90	c =========================================================================================
725.80/34.90	c Solving part 1488
725.80/34.96	c  N st     0         0       238       244       243         0      1440         2   no data   no data
725.80/34.96	c asymm  cl-useful: 0/244/244 lits-rem:0 time: 0.00
725.80/34.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
725.80/34.97	c Finding binary XORs  T:     0.00 s  found:       0
725.80/34.97	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
725.80/34.97	c calculated reachability. Time: 0.00
725.80/34.97	c Calc default polars -  time:   0.00 s pos:      18 undec:   39116 neg:      17
725.80/34.97	c =========================================================================================
725.80/34.97	c types(t): F = full restart, N = normal restart
725.80/34.97	c types(t): S = simplification begin/end, E = solution found
725.80/34.97	c restart types(rt): st = static, dy = dynamic
725.80/34.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
725.80/34.97	c  B st     0         0       238       244       243         0      1440         2   no data   no data
725.80/34.97	c  E st     1         0         0       244       243         0      1440         2   no data   no data
725.80/34.98	c Verified 244 clauses.
725.80/34.98	c Verified 244 clauses.
725.80/34.98	c Solved part
725.80/34.98	c =========================================================================================
725.80/34.98	c Solving part 1535
728.86/35.04	c  N st     0         0       265       522       270         0      3175         0   no data   no data
728.86/35.05	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
728.86/35.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
728.86/35.06	c Finding binary XORs  T:     0.00 s  found:       0
728.86/35.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
728.86/35.06	c calculated reachability. Time: 0.00
728.86/35.06	c Calc default polars -  time:   0.00 s pos:     129 undec:   38912 neg:     110
728.86/35.06	c =========================================================================================
728.86/35.06	c types(t): F = full restart, N = normal restart
728.86/35.06	c types(t): S = simplification begin/end, E = solution found
728.86/35.06	c restart types(rt): st = static, dy = dynamic
728.86/35.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
728.86/35.06	c  B st     0         0       265       522       270         0      3053         0   no data   no data
728.86/35.06	c  E st     1         0         0       522       270         0      3053         0   no data   no data
728.86/35.06	c Verified 522 clauses.
728.86/35.06	c Verified 522 clauses.
728.86/35.06	c Solved part
728.86/35.06	c =========================================================================================
728.86/35.06	c Solving part 1527
731.89/35.12	c  N st     0         0       305       600       483         0      2986       236   no data   no data
731.89/35.13	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
731.89/35.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
731.89/35.15	c Finding binary XORs  T:     0.00 s  found:       0
731.89/35.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
731.89/35.15	c calculated reachability. Time: 0.00
731.89/35.15	c Calc default polars -  time:   0.00 s pos:     120 undec:   38891 neg:     140
731.89/35.15	c =========================================================================================
731.89/35.15	c types(t): F = full restart, N = normal restart
731.89/35.15	c types(t): S = simplification begin/end, E = solution found
731.89/35.15	c restart types(rt): st = static, dy = dynamic
731.89/35.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
731.89/35.15	c  B st     0         0       305       597       486         0      2843       236   no data   no data
731.89/35.15	c  E st     1         0         0       597       486         0      2843       236   no data   no data
731.89/35.15	c Verified 597 clauses.
731.89/35.15	c Verified 597 clauses.
731.89/35.15	c Solved part
731.89/35.15	c =========================================================================================
731.89/35.15	c Solving part 1545
731.89/35.20	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
731.89/35.21	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
735.62/35.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
735.62/35.23	c Finding binary XORs  T:     0.00 s  found:       0
735.62/35.23	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
735.62/35.23	c calculated reachability. Time: 0.00
735.62/35.23	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
735.62/35.23	c =========================================================================================
735.62/35.23	c types(t): F = full restart, N = normal restart
735.62/35.23	c types(t): S = simplification begin/end, E = solution found
735.62/35.23	c restart types(rt): st = static, dy = dynamic
735.62/35.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
735.62/35.23	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
735.62/35.23	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
735.62/35.23	c Verified 1195 clauses.
735.62/35.23	c Verified 1195 clauses.
735.62/35.23	c Solved part
735.62/35.23	c =========================================================================================
735.62/35.23	c Solving part 1544
735.62/35.28	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
735.62/35.30	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
735.62/35.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
735.62/35.31	c Finding binary XORs  T:     0.00 s  found:       0
735.62/35.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
735.62/35.31	c calculated reachability. Time: 0.00
735.62/35.31	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
735.62/35.31	c =========================================================================================
735.62/35.31	c types(t): F = full restart, N = normal restart
735.62/35.31	c types(t): S = simplification begin/end, E = solution found
735.62/35.31	c restart types(rt): st = static, dy = dynamic
735.62/35.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
735.62/35.31	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
735.62/35.31	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
735.62/35.31	c Verified 1195 clauses.
735.62/35.31	c Verified 1195 clauses.
735.62/35.31	c Solved part
735.62/35.31	c =========================================================================================
735.62/35.31	c Solving part 1543
738.76/35.37	c  N st     0         0       476      1200       502         0      5744         0   no data   no data
738.76/35.38	c asymm  cl-useful: 0/1200/1200 lits-rem:0 time: 0.01
738.76/35.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
738.76/35.39	c Finding binary XORs  T:     0.00 s  found:       0
738.76/35.39	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
738.76/35.39	c calculated reachability. Time: 0.00
738.76/35.39	c Calc default polars -  time:   0.00 s pos:      24 undec:   39103 neg:      24
738.76/35.39	c =========================================================================================
738.76/35.39	c types(t): F = full restart, N = normal restart
738.76/35.39	c types(t): S = simplification begin/end, E = solution found
738.76/35.39	c restart types(rt): st = static, dy = dynamic
738.76/35.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
738.76/35.39	c  B st     0         0       476      1200       502         0      5744         0   no data   no data
738.76/35.39	c  E st     1         0         0      1200       502         0      5744         0   no data   no data
738.76/35.40	c Verified 1200 clauses.
738.76/35.40	c Verified 1200 clauses.
738.76/35.40	c Solved part
738.76/35.40	c =========================================================================================
738.76/35.40	c Solving part 1013
741.29/35.46	c  N st     0         0       672      8654      1820         0     35293      1736   no data   no data
754.00/35.85	c asymm  cl-useful: 761/4252/8654 lits-rem:817 time: 0.39
757.19/35.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   34 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.07
757.19/35.92	c Finding binary XORs  T:     0.00 s  found:       1
757.19/35.93	c Replacing       35 vars Replaced     3055 lits Time:     0.00 s 
757.19/35.93	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
757.19/35.93	c calculated reachability. Time: 0.00
757.19/35.93	c Calc default polars -  time:   0.00 s pos:     287 undec:   38612 neg:     252
757.19/35.93	c =========================================================================================
757.19/35.93	c types(t): F = full restart, N = normal restart
757.19/35.93	c types(t): S = simplification begin/end, E = solution found
757.19/35.93	c restart types(rt): st = static, dy = dynamic
757.19/35.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
757.19/35.93	c  B st     0         0       637      8009      1791         0     31883      1732   no data   no data
757.19/35.93	c  E st     1         0         0      8009      1791         0     31883      1732   no data   no data
757.19/35.93	c Verified 8009 clauses.
757.19/35.93	c Verified 8009 clauses.
757.19/35.93	c Solved part
757.19/35.93	c =========================================================================================
757.19/35.94	c Solving part 1522
757.19/36.00	c  N st     0         0       833      4156      1057         0     18093        68   no data   no data
760.34/36.09	c asymm  cl-useful: 46/4156/4156 lits-rem:46 time: 0.09
763.49/36.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
763.49/36.12	c Finding binary XORs  T:     0.00 s  found:       0
763.49/36.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
763.49/36.13	c calculated reachability. Time: 0.00
763.49/36.13	c Calc default polars -  time:   0.00 s pos:     288 undec:   38613 neg:     250
763.49/36.13	c =========================================================================================
763.49/36.13	c types(t): F = full restart, N = normal restart
763.49/36.13	c types(t): S = simplification begin/end, E = solution found
763.49/36.13	c restart types(rt): st = static, dy = dynamic
763.49/36.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
763.49/36.13	c  B st     0         0       833      4156      1057         0     18047        68   no data   no data
763.49/36.13	c  E st     1         0         0      4156      1057         0     18047        68   no data   no data
763.49/36.13	c Verified 4156 clauses.
763.49/36.13	c Verified 4156 clauses.
763.49/36.13	c Solved part
763.49/36.13	c =========================================================================================
763.49/36.13	c Solving part 1475
763.49/36.19	c  N st     0         0       948      5035      1310         0     21705       172   no data   no data
766.67/36.31	c asymm  cl-useful: 142/5035/5035 lits-rem:157 time: 0.13
770.45/36.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.03
770.45/36.35	c Finding binary XORs  T:     0.00 s  found:       0
770.45/36.36	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
770.45/36.36	c calculated reachability. Time: 0.00
770.45/36.36	c Calc default polars -  time:   0.00 s pos:     365 undec:   38451 neg:     335
770.45/36.36	c =========================================================================================
770.45/36.36	c types(t): F = full restart, N = normal restart
770.45/36.36	c types(t): S = simplification begin/end, E = solution found
770.45/36.36	c restart types(rt): st = static, dy = dynamic
770.45/36.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
770.45/36.36	c  B st     0         0       948      5029      1316         0     21560       172   no data   no data
770.45/36.36	c  E st     1         0         0      5029      1316         0     21560       172   no data   no data
770.45/36.36	c Verified 5029 clauses.
770.45/36.36	c Verified 5029 clauses.
770.45/36.36	c Solved part
770.45/36.36	c =========================================================================================
770.45/36.36	c Solving part 1459
770.45/36.41	c  N st     0         0       952      4089      1098         0     17950        78   no data   no data
773.68/36.49	c asymm  cl-useful: 108/4089/4089 lits-rem:108 time: 0.08
776.26/36.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.03
776.26/36.52	c Finding binary XORs  T:     0.00 s  found:       0
776.26/36.53	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
776.26/36.53	c calculated reachability. Time: 0.00
776.26/36.53	c Calc default polars -  time:   0.00 s pos:     215 undec:   38727 neg:     209
776.26/36.53	c =========================================================================================
776.26/36.53	c types(t): F = full restart, N = normal restart
776.26/36.53	c types(t): S = simplification begin/end, E = solution found
776.26/36.53	c restart types(rt): st = static, dy = dynamic
776.26/36.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
776.26/36.53	c  B st     0         0       952      4089      1098         0     17842        78   no data   no data
776.26/36.53	c  E st     1         0         0      4089      1098         0     17842        78   no data   no data
776.26/36.53	c Verified 4089 clauses.
776.26/36.53	c Verified 4089 clauses.
776.26/36.53	c Solved part
776.26/36.53	c =========================================================================================
776.26/36.53	c Solving part 1384
782.62/36.74	c  N st     0         0      4867    163327      7358     13732    644753    149398   no data   no data
785.82/36.84	c asymm  cl-useful: 0/469/163327 lits-rem:0 time: 0.10
808.63/37.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:      0 BRemL:      0 BRemN:      0 P: 64.1M T:  0.63
808.63/37.55	c Finding binary XORs  T:     0.01 s  found:       0
808.63/37.56	c Replacing        5 vars Replaced     1630 lits Time:     0.01 s 
811.15/37.67	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
811.15/37.67	c calculated reachability. Time: 0.00
811.15/37.68	c Calc default polars -  time:   0.01 s pos:    1317 undec:   36492 neg:    1342
811.15/37.68	c =========================================================================================
811.15/37.68	c types(t): F = full restart, N = normal restart
811.15/37.68	c types(t): S = simplification begin/end, E = solution found
811.15/37.68	c restart types(rt): st = static, dy = dynamic
811.15/37.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
811.15/37.68	c  B st     0         0      4862    163312      7347     13584    644683    148082   no data   no data
862.30/39.29	c  N dy     9      4051      4862    163312      7349     17601    644683    203438      7.31      7.73
926.23/41.23	c  N dy    28      9226      4860    163312      7364     22705    644682    265102      6.83      7.22
977.38/42.86	c  N dy    45     13301      4860    163312      7366     26746    644679    315120      6.81      7.76
1031.72/44.57	c  N dy    57     17670      4860    163312      7368     31094    644679    369887      6.72      7.15
1086.64/46.31	c  N dy    81     21826      4860    163312      7373     18518    644678    169818      6.82      7.27
1127.60/47.55	c  F st    99     25001      4860    163312      7374     21667    644678    209738      6.85   no data
1143.60/48.02	c  N st   102     26188      4860    163312      7378     22843    644678    225100      6.85   no data
1192.14/49.52	c  N dy   105     30193      4860    163312      7378     26828    644678    284966      6.85   no data
1242.68/51.12	c  N dy   132     34199      4860    163312      7378     30811    644678    337214      6.91      7.36
1313.02/53.33	c  N dy   144     38999      4859    163312      7391     35562    644678    394765      6.85      7.26
1364.17/54.97	c  N dy   165     43006      4859    163312      7395     20764    644678    170558      6.86      7.60
1415.31/56.54	c  N dy   183     47112      4859    163312      7399     24830    644678    223002      6.86      7.32
1469.66/58.24	c  N dy   210     51195      4859    163312      7401     28888    644678    276696      6.91      7.28
1533.59/60.23	c  N dy   230     55798      4858    163312      7412     33446    644678    335384      6.90      7.29
1594.32/62.14	c  N dy   253     59827      4858    163312      7413     37446    644678    388577      6.93      7.35
1645.45/63.81	c  N dy   270     63841      4858    163312      7416     21139    644678    155245      6.92      7.34
1706.18/65.65	c  N dy   292     68648      4858    163312      7423     25898    644678    216759      6.92      7.35
1725.35/66.23	c Finding binary XORs  T:     0.01 s  found:       0
1766.91/67.60	c  N dy   312     73218      4856    162420      7256     26156    641209    238171      6.91      7.31
1830.87/69.55	c  N dy   334     78033      4854    162420      7267     30912    641208    297835      6.90      7.29
1910.77/72.03	c  N dy   362     83274      4853    162420      7276     36113    641207    369745      6.92      7.30
1977.88/74.10	c  F st   378     87500      4853    162420      7284     20889    641207    147605      6.91      5.63
1990.68/74.57	c  N st   381     88690      4852    162420      7289     22063    641207    161971      6.91   no data
2067.41/76.93	c  N dy   392     94631      4851    162420      7300     27963    641206    248409      6.91      7.28
2150.51/79.52	c  N dy   440    100843      4851    162420      7301     34128    641205    337133      6.98      7.35
2240.03/82.31	c  N dy   481    107409      4851    162420      7306     40635    641204    429988      7.01      7.38
2332.72/85.28	c  N dy   514    114563      4850    162420      7311     26140    641203    197975      7.02      7.40
2438.22/88.59	c  N dy   561    122433      4850    162420      7316     33960    641202    313871      7.05      7.51
2540.50/91.72	c Finding binary XORs  T:     0.01 s  found:       2
2546.90/91.99	c  N dy   611    130379      4850    161229      7087     37274    636453    399500      7.09      7.47
2674.76/95.98	c  N dy   663    138738      4848    161229      7096     24646    636453    182375      7.11      8.50
2818.58/100.49	c  N dy   720    148228      4848    161229      7103     34066    636453    313984      7.14      7.57
2953.45/104.69	c  N dy   782    157716      4848    161229      7108     43484    636453    450721      7.19      8.44
3103.08/109.33	c  N dy   837    168070      4848    161229      7111     30407    636453    245643      7.21      7.63
3262.93/114.41	c  N dy   890    178816      4847    161229      7120     41086    636453    399361      7.22      8.60
3435.55/119.78	c  N dy   944    190310      4846    161229      7133     27404    636453    190726      7.23      8.95
3611.34/125.28	c  N dy  1007    202545      4845    161229      7148     39552    636453    367705      7.24      7.65
3809.52/131.45	c  N dy  1088    215608      4844    161229      7162     52531    636453    561886      7.27      7.68
3915.02/134.73	c Finding binary XORs  T:     0.01 s  found:       0
4008.34/137.63	c  N dy  1179    229386      4844    160437      7081     37585    633462    348564      7.31      8.46
4237.88/144.89	c  N dy  1275    244036      4843    160437      7089     52151    633462    566726      7.34      7.86
4474.40/152.27	c  N dy  1360    259648      4842    160437      7102     41107    633462    368167      7.36      8.07
4730.14/160.25	c  N dy  1462    276262      4842    160437      7107     29449    633462    184066      7.39      8.02
5021.03/169.30	c  N dy  1597    293970      4841    160437      7112     47051    633462    458678      7.45     11.10
5232.02/176.01	c  F st  1689    306252      4841    160437      7113     29767    633461    168807      7.49   no data
5341.27/179.40	c  N dy  1708    312946      4841    160437      7114     36433    633461    281625      7.49      7.89
5682.70/190.04	c  N dy  1842    332966      4841    160437      7119     56341    633461    589955      7.53     11.08
6024.75/200.74	c  N dy  1969    353956      4840    160437      7131     46521    633461    414305      7.56      8.07
6385.95/212.06	c  N dy  2068    374065      4837    160437      7154     34786    633461    219715      7.57      7.98
6424.31/213.27	c Finding binary XORs  T:     0.01 s  found:       2
6737.59/223.09	c  N dy  2171    394966      4837    159426      7045     53814    629556    524458      7.57      7.98
7064.24/233.32	c  N dy  2274    415175      4837    159426      7052     42005    629555    325199      7.59      7.99
7396.06/243.62	c  N dy  2375    435188      4835    159426      7068     61879    629555    633404      7.59      8.00
7725.33/253.97	c  N dy  2488    455328      4835    159426      7073     48580    629555    411776      7.61      8.05
8073.74/264.84	c  N dy  2635    475680      4835    159426      7078     68810    629555    742455      7.64      8.13
8412.58/275.49	c  N dy  2766    495734      4835    159426      7086     54199    629555    498425      7.66      8.27
8783.40/287.08	c  N dy  2901    515775      4835    159426      7090     38450    629555    236496      7.68      8.94
9138.80/298.20	c  N dy  3019    535834      4835    159426      7095     58411    629555    561128      7.70      8.50
9509.02/309.71	c  N dy  3128    555972      4835    159426      7105     41701    629555    275490      7.71      8.12
9540.98/310.77	c Finding binary XORs  T:     0.01 s  found:       3
9857.41/320.65	c  N dy  3254    576301      4835    159171      7074     61585    628526    602450      7.72      8.13
10225.04/332.14	c  N dy  3343    596374      4835    159171      7087     43929    628526    301971      7.72      8.14
10583.66/343.35	c  N dy  3464    616422      4835    159171      7091     63868    628525    624013      7.73      8.79
10918.69/353.84	c  N dy  3586    637052      4835    159171      7096     46200    628524    320754      7.75      8.19
11286.89/365.38	c  N dy  3684    658149      4834    159171      7106     67189    628524    658871      7.75      8.17
11670.46/377.36	c  N dy  3788    678189      4830    159171      7122     48075    628524    342612      7.76      8.69
12031.09/388.65	c  N dy  3886    698278      4830    159171      7133     68051    628523    659261      7.76     10.92
12392.32/399.96	c  N dy  4010    718376      4824    159171      7143     48139    628523    315756      7.77      9.08
12705.56/409.77	c  N dy  4117    738497      4824    159171      7147     68173    628523    651174      7.78      8.25
12890.98/415.60	c Finding binary XORs  T:     0.01 s  found:      13
13092.35/421.85	c  N dy  4221    758547      4824    157481      6960     46560    621621    280347      7.78      8.73
13437.56/432.68	c  N dy  4322    778788      4817    157481      6992     66656    621621    614122      7.78      8.20
13821.16/444.69	c  N dy  4419    799133      4817    157481      6999     86896    621621    959386      7.79      8.21
14182.39/455.93	c  N dy  4521    819268      4802    157481      7028     65228    621621    573228      7.79      8.20
14537.19/467.03	c Finding binary XORs  T:     0.01 s  found:       8
14543.59/467.28	c  N dy  4634    839451      4802    152480      6828     79759    601331    855684      7.80      8.21
14905.41/478.58	c  N dy  4747    861003      4802    152480      6839     61380    601331    529726      7.80      8.23
15269.19/489.97	c  N dy  4837    881045      4800    152480      6859     81312    601331    865812      7.80      8.22
15636.81/501.42	c  N dy  4956    901092      4800    152480      6862     57641    601330    425957      7.81      9.16
15998.62/512.72	c  N dy  5048    921283      4792    152480      6887     77699    601330    772644      7.81      8.25
16164.23/517.94	c Finding binary XORs  T:     0.01 s  found:      12
16356.02/523.98	c  N dy  5126    941823      4778    148285      6842     51547    584376    328025      7.80      8.25
16701.87/534.76	c  N dy  5209    962051      4774    148285      6858     71637    584376    684132      7.80      8.21
17024.10/544.89	c Finding binary XORs  T:     0.01 s  found:      33
17027.29/544.99	c Replacing       73 vars Replaced    85452 lits Time:     0.11 s 
17104.01/547.32	c  N dy  5285    982160      4677    135834      6664     80239    535012    887083      7.79      8.27
17279.83/552.81	c Finding binary XORs  T:     0.01 s  found:      13
17391.71/556.39	c  N dy  5333   1002233      4602    113064      6724     47178    446012    411148      7.78      8.21
17502.36/559.86	c Finding binary XORs  T:     0.01 s  found:      54
17502.36/559.89	c Replacing       67 vars Replaced    28329 lits Time:     0.03 s 
17509.15/560.10	c  E dy  5355   1010073      4300     81294      5997     25177    320553    192824      7.77      4.20
19003.54/730.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
19003.54/730.24	c num threads              : 32         
19003.54/730.24	c restarts                 : 133        
19003.54/730.24	c dynamic restarts         : 127        
19003.54/730.24	c static restarts          : 6          
19003.54/730.24	c full restarts            : 0          
19003.54/730.24	c total simplify time      : 0.14       
19003.54/730.24	c learnts DL2              : 0          
19003.54/730.24	c learnts size 2           : 61369      
19003.54/730.24	c learnts size 1           : 245         (0.63      % of vars)
19003.54/730.24	c filedLit time            : 3.49        (0.49      % time)
19003.54/730.24	c v-elim SatELite          : 2804        (7.16      % vars)
19003.54/730.24	c SatELite time            : 0.67        (0.09      % time)
19003.54/730.24	c v-elim xor               : 0           (0.00      % vars)
19003.54/730.24	c xor elim time            : 0.00        (0.00      % time)
19003.54/730.24	c num binary xor trees     : 15         
19003.54/730.24	c binxor trees' crown      : 95          (6.33      leafs/tree)
19003.54/730.24	c bin xor find time        : 0.15       
19003.54/730.24	c OTF clause improved      : 177         (0.01      clauses/conflict)
19003.54/730.24	c OTF impr. size diff      : 272         (1.54       lits/clause)
19003.54/730.24	c OTF cl watch-shrink      : 16758       (0.67      clauses/conflict)
19003.54/730.24	c OTF cl watch-sh-lit      : 39370       (2.35       lits/clause)
19003.54/730.24	c tried to recurMin cls    : 4472        (17.89      % of conflicts)
19003.54/730.24	c updated cache            : 0           (0.00       lits/tried recurMin)
19003.54/730.24	c unit cls recevied        : 5           (2.04      % of units)
19003.54/730.24	c unit cls sent            : 0           (0.00      % of units)
19003.54/730.24	c bin cls recevied         : 4740       
19003.54/730.24	c bin cls sent             : 16         
19003.54/730.24	c clauses over max glue    : 0           (0.00      % of all clauses)
19003.54/730.24	c conflicts                : 25002       (35.04     / sec)
19003.54/730.24	c decisions                : 30920       (0.00      % random)
19003.54/730.24	c bogo-props               : 1476201714  (2069081.39 / sec)
19003.54/730.24	c conflict literals        : 308141      (55.83     % deleted)
19003.54/730.24	c Memory used              : 8719.62     MB
19003.54/730.24	c single-thread CPU time   : 713.46      s
19003.54/730.24	c all-threads sum CPU time : 18931.86    s
19003.54/730.24	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-3400798-1306788670/watcher-3400798-1306788670 -o /tmp/evaluation-result-3400798-1306788670/solver-3400798-1306788670 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400798-1306788670.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: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=338000 CPUtime=0.86 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) R 20249 20251 20225 0 -1 4202496 436 0 0 0 86 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20251/statm: 84500 377 297 95 0 79482 0
[pid=20251/tid=20252] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=338000 CPUtime=0 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=338000 CPUtime=0 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.108313 s]
/proc/loadavg: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=338000 CPUtime=3.12 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) D 20249 20251 20225 0 -1 4202496 576 0 0 0 312 0 0 0 22 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 4329632 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/20251/statm: 84500 448 307 95 0 79482 0
[pid=20251/tid=20252] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 8 0 0 0 10 0 0 0 23 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604450663144928 0 0 -1 16 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 19 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604493656636896 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604552234360288 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 19 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604454436273632 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604450167922144 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604485363973600 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449504452064 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604458938146272 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604452117790176 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453708430816 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=469072 CPUtime=0.1 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 480329728 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604472221949408 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=447228 CPUtime=0.1 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 21 0 32 0 4833102 457961472 449 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604502261923296 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604499250200032 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 21 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604497495301600 0 0 -1 11 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 7 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 4228112 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604504146288096 0 0 -1 15 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604455441128928 0 0 -1 21 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604458606304736 0 0 -1 22 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604456122654176 0 0 -1 19 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604447059533280 0 0 -1 25 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604451708501472 0 0 -1 26 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449013939680 0 0 -1 23 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604506205429216 0 0 -1 28 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=403536 CPUtime=0 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604497062903264 0 0 -1 28 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=403536 CPUtime=0.08 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 8 0 0 0 24 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604487090388448 0 0 -1 0 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=403536 CPUtime=0.06 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 6 0 0 0 24 0 32 0 4833102 413220864 454 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604468305714656 0 0 -1 15 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=403536 CPUtime=0.09 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 9 0 0 0 24 0 32 0 4833102 413220864 460 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453984452064 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 338000

[startup+0.203044 s]
/proc/loadavg: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=1395832 CPUtime=4.31 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 16271 0 0 0 326 105 0 0 17 0 32 0 4833102 1429331968 15508 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/20251/statm: 348958 15525 332 95 0 343940 0
[pid=20251/tid=20252] ppid=20249 vsize=1395832 CPUtime=0.14 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 587 0 0 0 11 3 0 0 17 0 32 0 4833102 1429331968 15547 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=1396016 CPUtime=0.13 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 521 0 0 0 10 3 0 0 17 0 32 0 4833102 1429520384 15553 268435456000 4194304 4580107 140737403082240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 665 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15559 268435456000 4194304 4580107 140737403082240 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=1396016 CPUtime=0.13 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 362 0 0 0 11 2 0 0 17 0 32 0 4833102 1429520384 15613 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 622 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15632 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 667 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15636 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 632 0 0 0 10 4 0 0 17 0 32 0 4833102 1429520384 15657 268435456000 4194304 4580107 140737403082240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=1396208 CPUtime=0.15 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 726 0 0 0 11 4 0 0 18 0 32 0 4833102 1429716992 15684 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=1396208 CPUtime=0.15 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 715 0 0 0 11 4 0 0 17 0 32 0 4833102 1429716992 15684 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=1396208 CPUtime=0.11 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 280 0 0 0 10 1 0 0 17 0 32 0 4833102 1429716992 15699 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566933264 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=1396208 CPUtime=0.12 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 391 0 0 0 10 2 0 0 17 0 32 0 4833102 1429716992 15702 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=1396208 CPUtime=0.14 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 543 0 0 0 11 3 0 0 17 0 32 0 4833102 1429716992 15716 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453708430816 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=1396208 CPUtime=0.12 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 291 0 0 0 10 2 0 0 17 0 32 0 4833102 1429716992 15724 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604506205429216 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=1461744 CPUtime=0.12 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 268 0 0 0 10 2 0 0 17 0 32 0 4833102 1496825856 15735 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=1461744 CPUtime=0.12 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 446 0 0 0 10 2 0 0 17 0 32 0 4833102 1496825856 15742 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566931864 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=1396400 CPUtime=0.12 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 341 0 0 0 10 2 0 0 17 0 32 0 4833102 1429913600 15762 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604454834724320 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=1527472 CPUtime=0.13 cores=0-31

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

[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=721.18 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 71961 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 18995.9
Current children cumulated vsize (KiB) 8928884

[startup+728.002 s]
/proc/loadavg: 5.76 20.76 25.19 3/445 20316
/proc/meminfo: memFree=257446180/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=8928884 CPUtime=18999.1 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 3440127 0 0 0 1892736 7178 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 2232221 1539970 379 95 0 2227203 0
[pid=20251/tid=20252] ppid=20249 vsize=8928884 CPUtime=591.75 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 105423 0 0 0 58939 236 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604502261923296 0 0 -1 18 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=8928884 CPUtime=604.96 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 128571 0 0 0 60265 231 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454834724320 0 0 -1 10 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=8928884 CPUtime=600.02 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97508 0 0 0 59777 225 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453708430816 0 0 -1 12 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=8928884 CPUtime=559.42 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 125460 0 0 0 55720 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458938146272 0 0 -1 24 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=8928884 CPUtime=610.07 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 87166 0 0 0 60801 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449013939680 0 0 -1 10 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=8928884 CPUtime=604.69 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 89803 0 0 0 60263 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604451708501472 0 0 -1 21 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=8928884 CPUtime=612.35 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126751 0 0 0 61014 221 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450167922144 0 0 -1 27 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=8928884 CPUtime=595.04 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 124532 0 0 0 59256 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450663144928 0 0 -1 19 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=8928884 CPUtime=550.66 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 122457 0 0 0 54814 252 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604552234360288 0 0 -1 26 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=8928884 CPUtime=563.35 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 82747 0 0 0 56115 220 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=8928884 CPUtime=577.02 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126156 0 0 0 57494 208 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604468305714656 0 0 -1 6 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=8928884 CPUtime=713.69 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 99972 0 0 0 71121 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330104363 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=8928884 CPUtime=602.6 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91643 0 0 0 60063 197 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497610407392 0 0 -1 25 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=8928884 CPUtime=581.5 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 119072 0 0 0 57946 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604455441128928 0 0 -1 5 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=8928884 CPUtime=586.81 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 94407 0 0 0 58466 215 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604461204102624 0 0 -1 22 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=8928884 CPUtime=601.79 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 109146 0 0 0 59973 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604456122654176 0 0 -1 23 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=8928884 CPUtime=589.93 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114599 0 0 0 58771 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449504452064 0 0 -1 13 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=8928884 CPUtime=574.68 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 115602 0 0 0 57239 229 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453984452064 0 0 -1 7 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=8928884 CPUtime=591.14 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114388 0 0 0 58887 227 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604493656636896 0 0 -1 29 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=8928884 CPUtime=604.09 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108570 0 0 0 60200 209 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604472221949408 0 0 -1 6 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=8928884 CPUtime=626.34 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 77259 0 0 0 62416 218 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604462604926432 0 0 -1 10 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=8928884 CPUtime=544.45 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114944 0 0 0 54207 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744071566927424 0 0 -1 20 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=8928884 CPUtime=579.39 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 102867 0 0 0 57677 262 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604506205429216 0 0 -1 9 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=8928884 CPUtime=573.55 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 103959 0 0 0 57120 235 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449283390944 0 0 -1 30 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=8928884 CPUtime=573.77 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 117762 0 0 0 57172 205 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604504146288096 0 0 -1 6 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=8928884 CPUtime=569.49 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 95673 0 0 0 56723 226 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497495301600 0 0 -1 1 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=8928884 CPUtime=593.98 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108273 0 0 0 59160 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497062903264 0 0 -1 15 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=8928884 CPUtime=562.23 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91233 0 0 0 56019 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454436273632 0 0 -1 14 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=8928884 CPUtime=591.47 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97722 0 0 0 58904 243 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458606304736 0 0 -1 29 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=722.78 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 72121 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 18999.1
Current children cumulated vsize (KiB) 8928884

[startup+729.602 s]
/proc/loadavg: 5.76 20.76 25.19 3/445 20316
/proc/meminfo: memFree=257446288/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=8928884 CPUtime=19002.3 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 3440127 0 0 0 1893056 7178 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 2232221 1539970 379 95 0 2227203 0
[pid=20251/tid=20252] ppid=20249 vsize=8928884 CPUtime=591.75 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 105423 0 0 0 58939 236 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604502261923296 0 0 -1 18 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=8928884 CPUtime=604.96 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 128571 0 0 0 60265 231 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454834724320 0 0 -1 10 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=8928884 CPUtime=600.02 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97508 0 0 0 59777 225 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453708430816 0 0 -1 12 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=8928884 CPUtime=559.42 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 125460 0 0 0 55720 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458938146272 0 0 -1 24 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=8928884 CPUtime=610.07 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 87166 0 0 0 60801 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449013939680 0 0 -1 10 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=8928884 CPUtime=604.69 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 89803 0 0 0 60263 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604451708501472 0 0 -1 21 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=8928884 CPUtime=612.35 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126751 0 0 0 61014 221 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450167922144 0 0 -1 27 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=8928884 CPUtime=595.04 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 124532 0 0 0 59256 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450663144928 0 0 -1 19 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=8928884 CPUtime=550.66 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 122457 0 0 0 54814 252 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604552234360288 0 0 -1 26 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=8928884 CPUtime=563.35 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 82747 0 0 0 56115 220 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=8928884 CPUtime=577.02 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126156 0 0 0 57494 208 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604468305714656 0 0 -1 6 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=8928884 CPUtime=715.29 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 99972 0 0 0 71281 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330104516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=8928884 CPUtime=602.6 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91643 0 0 0 60063 197 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497610407392 0 0 -1 25 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=8928884 CPUtime=581.5 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 119072 0 0 0 57946 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604455441128928 0 0 -1 5 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=8928884 CPUtime=586.81 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 94407 0 0 0 58466 215 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604461204102624 0 0 -1 22 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=8928884 CPUtime=601.79 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 109146 0 0 0 59973 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604456122654176 0 0 -1 23 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=8928884 CPUtime=589.93 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114599 0 0 0 58771 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449504452064 0 0 -1 13 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=8928884 CPUtime=574.68 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 115602 0 0 0 57239 229 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453984452064 0 0 -1 7 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=8928884 CPUtime=591.14 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114388 0 0 0 58887 227 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604493656636896 0 0 -1 29 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=8928884 CPUtime=604.09 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108570 0 0 0 60200 209 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604472221949408 0 0 -1 6 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=8928884 CPUtime=626.34 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 77259 0 0 0 62416 218 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604462604926432 0 0 -1 10 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=8928884 CPUtime=544.45 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114944 0 0 0 54207 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744071566927424 0 0 -1 20 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=8928884 CPUtime=579.39 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 102867 0 0 0 57677 262 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604506205429216 0 0 -1 9 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=8928884 CPUtime=573.55 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 103959 0 0 0 57120 235 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449283390944 0 0 -1 30 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=8928884 CPUtime=573.77 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 117762 0 0 0 57172 205 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604504146288096 0 0 -1 6 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=8928884 CPUtime=569.49 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 95673 0 0 0 56723 226 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497495301600 0 0 -1 1 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=8928884 CPUtime=593.98 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108273 0 0 0 59160 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497062903264 0 0 -1 15 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=8928884 CPUtime=562.23 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91233 0 0 0 56019 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454436273632 0 0 -1 14 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=8928884 CPUtime=591.47 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97722 0 0 0 58904 243 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458606304736 0 0 -1 29 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=724.38 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 72281 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294598 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 19002.3
Current children cumulated vsize (KiB) 8928884

[startup+730.401 s]
/proc/loadavg: 5.76 20.76 25.19 2/415 20316
/proc/meminfo: memFree=259365256/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=0 CPUtime=19003.8 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) Z 20249 20251 20225 0 -1 4203548 3440131 0 0 0 1893185 7198 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 0 0 0 0 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=0 CPUtime=591.65 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4203588 97722 0 0 0 58904 261 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19003.8
Current children cumulated vsize (KiB) 0

[startup+730.6 s]
/proc/loadavg: 5.76 20.76 25.19 2/415 20316
/proc/meminfo: memFree=259365256/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=0 CPUtime=19004 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) Z 20249 20251 20225 0 -1 4203548 3440131 0 0 0 1893185 7215 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 0 0 0 0 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=0 CPUtime=591.82 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4203588 97722 0 0 0 58904 278 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19004
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 730.697
CPU time (s): 19004.1
CPU user time (s): 18931.9
CPU system time (s): 72.25
CPU usage (%): 2600.82
Max. virtual memory (cumulated for all children) (KiB): 9861720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18931.9
system time used= 72.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3440131
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= 2798235
involuntary context switches= 106586

runsolver used 5.04023 second user time and 17.7843 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 22:51:11
IDJOB=3400798
IDBENCH=82502
IDSOLVER=1886
FILE ID=node200/3400798-1306788670
RUNJOBID= node200-1306788670-20239
PBS_JOBID= 13470329
Free space on /tmp= 61568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400798-1306788670/watcher-3400798-1306788670 -o /tmp/evaluation-result-3400798-1306788670/solver-3400798-1306788670 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400798-1306788670.cnf

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

MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=1305700017

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.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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	: 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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	: 3996.76
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.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263617244 kB
Buffers:         61472 kB
Cached:         389484 kB
SwapCached:      29884 kB
Active:         129880 kB
Inactive:       353076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263617244 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           18836 kB
Writeback:           0 kB
AnonPages:       29836 kB
Mapped:           7588 kB
Slab:            61168 kB
PageTables:       5776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189596 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= 61560 MiB
End job on node200 at 2011-05-30 23:03:22