Trace number 3400792

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 16780.4 602.467

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_kkb_unknown.cnf
MD5SUM254fcd4eae8129ad5842f186e24e0793
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2815.09
Satisfiable
(Un)Satisfiability was proved
Number of variables34510
Number of clauses701694
Sum of the clauses size2616281
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252869
Number of clauses of size 384757
Number of clauses of size 4564068
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
1.14/0.09	c Using 32 threads
1.14/0.09	c This is CryptoMiniSat 3.0.0
1.14/0.09	c WARNING: for repeatability, setting FPU to use double precision
1.14/0.09	c Reading file 'HOME/instance-3400792-1306786032.cnf'
2.65/0.13	c -- header says num vars:          34510
2.65/0.13	c -- header says num clauses:      701694
61.65/4.41	c -- clauses added:            0 learnts,       701694 normals,            0 xors
61.65/4.41	c -- vars added      34510
61.65/4.41	c Parsing time:  0.80 s
61.65/4.41	c  N st     0         0     34510    648825     52869         0   2616281         0   no data   no data
74.22/5.07	c asymm  cl-useful: 25/1994/648825 lits-rem:25 time: 0.37
218.55/14.66	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  282 Bins:      0 BRemL:      0 BRemN:      0 P: 168.0M T:  3.70
220.47/14.70	c Cleaning up after failed var search:     0.04 s 
220.47/14.77	c Replacing      282 vars Replaced    12225 lits Time:     0.06 s 
296.31/22.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
296.31/22.46	c bin-w-bin subsume rem         6083 bins  time:  0.02 s
297.71/22.57	c subs with bin:     4304  lits-rem:      2447  v-fix:    0  time:  0.11 s
299.24/22.65	c Subs w/ non-existent bins:   3481 l-rem:   1607 v-fix:     0 done:   6040 time:  0.08 s
301.12/22.80	c Removed useless bin:    8787  fixed:     0  props:  18.27M  time:  0.13 s
363.45/25.60	c lits-rem:       876  cl-subs:    50164  v-elim:   2866  v-fix:    0  time:  2.19 s
366.13/25.71	c Finding binary XORs  T:     0.11 s  found:      44
366.13/25.79	c Replacing       44 vars Replaced     2498 lits Time:     0.07 s 
388.50/26.59	c Finding non-binary XORs:     0.67 s (found:       0, avg size: nan)
388.50/26.59	c calculated reachability. Time: 0.04
391.30/26.66	c Calc default polars -  time:   0.07 s pos:   10091 undec:   13974 neg:   10445
391.30/26.66	c =========================================================================================
391.30/26.66	c types(t): F = full restart, N = normal restart
391.30/26.66	c types(t): S = simplification begin/end, E = solution found
391.30/26.66	c restart types(rt): st = static, dy = dynamic
391.30/26.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
391.30/26.66	c  B st     0         0     30845    573183     37159         0   2296820         0   no data   no data
461.93/29.06	c  N dy     8      4564     30845    573183     37161      4526   2296819     56229      7.03      7.40
500.29/30.22	c Finding binary XORs  T:     0.08 s  found:       0
516.84/30.81	c  N dy    30      8624     30844    573045     43444      7892   2296369    113427      7.22      7.63
576.98/32.66	c  N dy    41     12829     30844    573045     43449     12056   2296368    165246      7.02      7.44
634.51/34.43	c  N dy    61     16910     30842    573045     44029     16098   2296368    218691      7.05      7.43
682.46/35.92	c Finding binary XORs  T:     0.08 s  found:       6
695.87/36.32	c  N dy    80     20957     30841    572673     44107     10393   2294956    117435      7.06      7.43
743.12/37.89	c  F st    90     25000     30840    572673     44117     14395   2294956    170208      6.97      5.81
749.51/38.02	c Replacing        6 vars Replaced     2362 lits Time:     0.08 s 
755.90/38.24	c Found part     1122 vars:       1070 clauses:      8964 lits size:     31683
755.90/38.24	c Found part     1129 vars:        952 clauses:      6858 lits size:     24029
755.90/38.24	c Found part     1162 vars:        810 clauses:     10185 lits size:     37221
755.90/38.24	c Found part     1769 vars:       4868 clauses:    192924 lits size:    736744
755.90/38.24	c Found part     2017 vars:        238 clauses:       573 lits size:      1598
755.90/38.24	c Found part     2027 vars:        203 clauses:       502 lits size:      1379
755.90/38.24	c Found part     2029 vars:      15764 clauses:    358039 lits size:   1350338
755.90/38.24	c Found part     2037 vars:        833 clauses:      5179 lits size:     18110
755.90/38.24	c Found part     2086 vars:        305 clauses:       965 lits size:      2986
755.90/38.24	c Found part     2090 vars:        265 clauses:       792 lits size:      3175
755.90/38.24	c Found part     2135 vars:        238 clauses:       574 lits size:      1602
755.90/38.24	c Found part     2136 vars:       3702 clauses:     20065 lits size:     72614
755.90/38.24	c Found part     2138 vars:        172 clauses:       504 lits size:      2317
755.90/38.24	c Found part     2139 vars:        236 clauses:       554 lits size:      1540
755.90/38.24	c Found part     2140 vars:        236 clauses:       557 lits size:      1550
755.90/38.24	c Found part     2155 vars:        234 clauses:       534 lits size:      1522
755.90/38.24	c Found part     2172 vars:        236 clauses:       533 lits size:      1512
755.90/38.24	c Found part     2189 vars:        236 clauses:       533 lits size:      1512
755.90/38.24	c Found part     2206 vars:        236 clauses:       533 lits size:      1512
755.90/38.24	c Found parts:         19 time: 0.35 s
755.90/38.24	c Solving part 2138
755.90/38.30	c  N st     0         0       172       335       169         0      2317         0   no data   no data
759.08/38.30	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
759.08/38.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
759.08/38.31	c Finding binary XORs  T:     0.00 s  found:       0
759.08/38.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
759.08/38.31	c calculated reachability. Time: 0.00
759.08/38.31	c Calc default polars -  time:   0.00 s pos:      76 undec:   34347 neg:      87
759.08/38.31	c =========================================================================================
759.08/38.31	c types(t): F = full restart, N = normal restart
759.08/38.31	c types(t): S = simplification begin/end, E = solution found
759.08/38.31	c restart types(rt): st = static, dy = dynamic
759.08/38.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
759.08/38.31	c  B st     0         0       172       335       169         0      2062         0   no data   no data
759.08/38.31	c  E st     1         0         0       335       169         0      2062         0   no data   no data
759.08/38.31	c Verified 335 clauses.
759.08/38.31	c Verified 335 clauses.
759.08/38.31	c Solved part
759.08/38.31	c =========================================================================================
759.08/38.31	c Solving part 2027
759.08/38.37	c  N st     0         0       203       227       313         0      1379        76   no data   no data
759.08/38.37	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
759.08/38.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
759.08/38.38	c Finding binary XORs  T:     0.00 s  found:       0
759.08/38.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
759.08/38.38	c calculated reachability. Time: 0.00
759.08/38.38	c Calc default polars -  time:   0.00 s pos:      58 undec:   34351 neg:     101
759.08/38.38	c =========================================================================================
759.08/38.38	c types(t): F = full restart, N = normal restart
759.08/38.38	c types(t): S = simplification begin/end, E = solution found
759.08/38.38	c restart types(rt): st = static, dy = dynamic
759.08/38.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
759.08/38.38	c  B st     0         0       203       227       313         0      1343        76   no data   no data
759.08/38.38	c  E st     1         0         0       227       313         0      1343        76   no data   no data
759.08/38.38	c Verified 227 clauses.
759.08/38.38	c Verified 227 clauses.
759.08/38.38	c Solved part
759.08/38.38	c =========================================================================================
759.08/38.38	c Solving part 2155
762.86/38.44	c  N st     0         0       234       266       268         0      1522         0   no data   no data
762.86/38.44	c asymm  cl-useful: 4/266/266 lits-rem:4 time: 0.00
762.86/38.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
762.86/38.45	c Finding binary XORs  T:     0.00 s  found:       0
762.86/38.45	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
762.86/38.45	c calculated reachability. Time: 0.00
762.86/38.45	c Calc default polars -  time:   0.00 s pos:      83 undec:   34346 neg:      81
762.86/38.45	c =========================================================================================
762.86/38.45	c types(t): F = full restart, N = normal restart
762.86/38.45	c types(t): S = simplification begin/end, E = solution found
762.86/38.45	c restart types(rt): st = static, dy = dynamic
762.86/38.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
762.86/38.45	c  B st     0         0       234       266       268         0      1518         0   no data   no data
762.86/38.45	c  E st     1         0         0       266       268         0      1518         0   no data   no data
762.86/38.45	c Verified 266 clauses.
762.86/38.45	c Verified 266 clauses.
762.86/38.45	c Solved part
762.86/38.45	c =========================================================================================
762.86/38.45	c Solving part 2206
762.86/38.51	c  N st     0         0       236       261       272         0      1512         0   no data   no data
762.86/38.51	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
766.04/38.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
766.04/38.52	c Finding binary XORs  T:     0.00 s  found:       0
766.04/38.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
766.04/38.52	c calculated reachability. Time: 0.00
766.04/38.52	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
766.04/38.52	c =========================================================================================
766.04/38.52	c types(t): F = full restart, N = normal restart
766.04/38.52	c types(t): S = simplification begin/end, E = solution found
766.04/38.52	c restart types(rt): st = static, dy = dynamic
766.04/38.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
766.04/38.52	c  B st     0         0       236       261       272         0      1511         0   no data   no data
766.04/38.52	c  E st     1         0         0       261       272         0      1511         0   no data   no data
766.04/38.52	c Verified 261 clauses.
766.04/38.52	c Verified 261 clauses.
766.04/38.52	c Solved part
766.04/38.52	c =========================================================================================
766.04/38.53	c Solving part 2189
766.04/38.58	c  N st     0         0       236       261       272         0      1512         0   no data   no data
766.04/38.58	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
766.04/38.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
766.04/38.59	c Finding binary XORs  T:     0.00 s  found:       0
766.04/38.59	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
766.04/38.59	c calculated reachability. Time: 0.00
766.04/38.59	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
766.04/38.59	c =========================================================================================
766.04/38.59	c types(t): F = full restart, N = normal restart
766.04/38.59	c types(t): S = simplification begin/end, E = solution found
766.04/38.59	c restart types(rt): st = static, dy = dynamic
766.04/38.59	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
766.04/38.59	c  B st     0         0       236       261       272         0      1511         0   no data   no data
766.04/38.59	c  E st     1         0         0       261       272         0      1511         0   no data   no data
766.04/38.59	c Verified 261 clauses.
766.04/38.59	c Verified 261 clauses.
766.04/38.59	c Solved part
766.04/38.59	c =========================================================================================
766.04/38.59	c Solving part 2172
768.62/38.65	c  N st     0         0       236       261       272         0      1512         0   no data   no data
768.62/38.65	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
768.62/38.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
768.62/38.66	c Finding binary XORs  T:     0.00 s  found:       0
768.62/38.66	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
768.62/38.66	c calculated reachability. Time: 0.00
768.62/38.66	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
768.62/38.66	c =========================================================================================
768.62/38.66	c types(t): F = full restart, N = normal restart
768.62/38.66	c types(t): S = simplification begin/end, E = solution found
768.62/38.66	c restart types(rt): st = static, dy = dynamic
768.62/38.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
768.62/38.66	c  B st     0         0       236       261       272         0      1511         0   no data   no data
768.62/38.66	c  E st     1         0         0       261       272         0      1511         0   no data   no data
768.62/38.66	c Verified 261 clauses.
768.62/38.66	c Verified 261 clauses.
768.62/38.66	c Solved part
768.62/38.66	c =========================================================================================
768.62/38.66	c Solving part 2140
771.82/38.72	c  N st     0         0       236       275       286         0      1550         8   no data   no data
771.82/38.72	c asymm  cl-useful: 1/275/275 lits-rem:1 time: 0.00
771.82/38.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
771.82/38.73	c Finding binary XORs  T:     0.00 s  found:       0
771.82/38.73	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
771.82/38.73	c calculated reachability. Time: 0.00
771.82/38.73	c Calc default polars -  time:   0.00 s pos:     113 undec:   34284 neg:     113
771.82/38.73	c =========================================================================================
771.82/38.73	c types(t): F = full restart, N = normal restart
771.82/38.73	c types(t): S = simplification begin/end, E = solution found
771.82/38.73	c restart types(rt): st = static, dy = dynamic
771.82/38.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
771.82/38.73	c  B st     0         0       236       275       286         0      1549         8   no data   no data
771.82/38.73	c  E st     1         0         0       275       286         0      1549         8   no data   no data
771.82/38.73	c Verified 275 clauses.
771.82/38.73	c Verified 275 clauses.
771.82/38.73	c Solved part
771.82/38.73	c =========================================================================================
771.82/38.73	c Solving part 2139
771.82/38.78	c  N st     0         0       236       268       286         0      1540         0   no data   no data
771.82/38.79	c asymm  cl-useful: 2/268/268 lits-rem:2 time: 0.00
771.82/38.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
771.82/38.79	c Finding binary XORs  T:     0.00 s  found:       0
771.82/38.79	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
771.82/38.79	c calculated reachability. Time: 0.00
771.82/38.80	c Calc default polars -  time:   0.00 s pos:     110 undec:   34290 neg:     110
771.82/38.80	c =========================================================================================
771.82/38.80	c types(t): F = full restart, N = normal restart
771.82/38.80	c types(t): S = simplification begin/end, E = solution found
771.82/38.80	c restart types(rt): st = static, dy = dynamic
771.82/38.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
771.82/38.80	c  B st     0         0       236       268       286         0      1538         0   no data   no data
771.82/38.80	c  E st     1         0         0       268       286         0      1538         0   no data   no data
771.82/38.80	c Verified 268 clauses.
771.82/38.80	c Verified 268 clauses.
771.82/38.80	c Solved part
771.82/38.80	c =========================================================================================
771.82/38.80	c Solving part 2017
775.00/38.85	c  N st     0         0       238       315       291         0      1598        66   no data   no data
775.00/38.85	c asymm  cl-useful: 0/315/315 lits-rem:0 time: 0.00
775.00/38.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
775.00/38.86	c Finding binary XORs  T:     0.00 s  found:       0
775.00/38.86	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
775.00/38.86	c calculated reachability. Time: 0.00
775.00/38.86	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
775.00/38.86	c =========================================================================================
775.00/38.86	c types(t): F = full restart, N = normal restart
775.00/38.86	c types(t): S = simplification begin/end, E = solution found
775.00/38.86	c restart types(rt): st = static, dy = dynamic
775.00/38.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
775.00/38.86	c  B st     0         0       238       315       291         0      1598        66   no data   no data
775.00/38.86	c  E st     1         0         0       315       291         0      1598        66   no data   no data
775.00/38.86	c Verified 315 clauses.
775.00/38.86	c Verified 315 clauses.
775.00/38.86	c Solved part
775.00/38.86	c =========================================================================================
775.00/38.87	c Solving part 2135
778.20/38.92	c  N st     0         0       238       318       291         0      1602        70   no data   no data
778.20/38.92	c asymm  cl-useful: 0/318/318 lits-rem:0 time: 0.00
778.20/38.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
778.20/38.93	c Finding binary XORs  T:     0.00 s  found:       0
778.20/38.93	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
778.20/38.93	c calculated reachability. Time: 0.00
778.20/38.93	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
778.20/38.93	c =========================================================================================
778.20/38.93	c types(t): F = full restart, N = normal restart
778.20/38.93	c types(t): S = simplification begin/end, E = solution found
778.20/38.93	c restart types(rt): st = static, dy = dynamic
778.20/38.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
778.20/38.93	c  B st     0         0       238       318       291         0      1602        70   no data   no data
778.20/38.93	c  E st     1         0         0       318       291         0      1602        70   no data   no data
778.20/38.93	c Verified 318 clauses.
778.20/38.93	c Verified 318 clauses.
778.20/38.93	c Solved part
778.20/38.93	c =========================================================================================
778.20/38.94	c Solving part 2090
778.20/38.99	c  N st     0         0       265       522       270         0      3175         0   no data   no data
778.20/39.00	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
781.39/39.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
781.39/39.00	c Finding binary XORs  T:     0.00 s  found:       0
781.39/39.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
781.39/39.00	c calculated reachability. Time: 0.00
781.39/39.00	c Calc default polars -  time:   0.00 s pos:     129 undec:   34271 neg:     110
781.39/39.00	c =========================================================================================
781.39/39.00	c types(t): F = full restart, N = normal restart
781.39/39.00	c types(t): S = simplification begin/end, E = solution found
781.39/39.00	c restart types(rt): st = static, dy = dynamic
781.39/39.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
781.39/39.00	c  B st     0         0       265       522       270         0      3053         0   no data   no data
781.39/39.00	c  E st     1         0         0       522       270         0      3053         0   no data   no data
781.39/39.01	c Verified 522 clauses.
781.39/39.01	c Verified 522 clauses.
781.39/39.01	c Solved part
781.39/39.01	c =========================================================================================
781.39/39.01	c Solving part 2086
781.39/39.07	c  N st     0         0       305       600       483         0      2986       236   no data   no data
781.39/39.08	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
781.39/39.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
781.39/39.09	c Finding binary XORs  T:     0.00 s  found:       0
781.39/39.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
781.39/39.09	c calculated reachability. Time: 0.00
781.39/39.09	c Calc default polars -  time:   0.00 s pos:     120 undec:   34250 neg:     140
781.39/39.09	c =========================================================================================
781.39/39.09	c types(t): F = full restart, N = normal restart
781.39/39.09	c types(t): S = simplification begin/end, E = solution found
781.39/39.09	c restart types(rt): st = static, dy = dynamic
781.39/39.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
781.39/39.09	c  B st     0         0       305       597       486         0      2843       236   no data   no data
781.39/39.09	c  E st     1         0         0       597       486         0      2843       236   no data   no data
781.39/39.09	c Verified 597 clauses.
781.39/39.09	c Verified 597 clauses.
781.39/39.09	c Solved part
781.39/39.09	c =========================================================================================
781.39/39.10	c Solving part 1162
784.56/39.17	c  N st     0         0       810      9090      1944         0     37221      1698   no data   no data
797.75/39.55	c asymm  cl-useful: 724/4308/9090 lits-rem:763 time: 0.38
800.92/39.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   52 Bins:      0 BRemL:      0 BRemN:      0 P:  2.7M T:  0.08
800.92/39.63	c Finding binary XORs  T:     0.00 s  found:       3
800.92/39.64	c Replacing       56 vars Replaced     4935 lits Time:     0.00 s 
800.92/39.64	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
800.92/39.64	c calculated reachability. Time: 0.00
800.92/39.64	c Calc default polars -  time:   0.00 s pos:     290 undec:   33955 neg:     265
800.92/39.64	c =========================================================================================
800.92/39.64	c types(t): F = full restart, N = normal restart
800.92/39.64	c types(t): S = simplification begin/end, E = solution found
800.92/39.64	c restart types(rt): st = static, dy = dynamic
800.92/39.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
800.92/39.64	c  B st     0         0       754      7825      1882         0     31423      1690   no data   no data
800.92/39.64	c  E st     1         0         0      7825      1882         0     31423      1690   no data   no data
800.92/39.64	c Verified 7825 clauses.
800.92/39.64	c Verified 7825 clauses.
800.92/39.64	c Solved part
800.92/39.64	c =========================================================================================
800.92/39.64	c Solving part 2037
803.44/39.71	c  N st     0         0       833      4173      1057         0     18110       102   no data   no data
806.62/39.80	c asymm  cl-useful: 51/4173/4173 lits-rem:51 time: 0.09
806.62/39.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
806.62/39.84	c Finding binary XORs  T:     0.00 s  found:       0
806.62/39.84	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
806.62/39.84	c calculated reachability. Time: 0.00
806.62/39.84	c Calc default polars -  time:   0.00 s pos:     279 undec:   33979 neg:     252
806.62/39.84	c =========================================================================================
806.62/39.84	c types(t): F = full restart, N = normal restart
806.62/39.84	c types(t): S = simplification begin/end, E = solution found
806.62/39.84	c restart types(rt): st = static, dy = dynamic
806.62/39.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
806.62/39.84	c  B st     0         0       833      4173      1057         0     18059       102   no data   no data
806.62/39.84	c  E st     1         0         0      4173      1057         0     18059       102   no data   no data
806.62/39.84	c Verified 4173 clauses.
806.62/39.84	c Verified 4173 clauses.
806.62/39.84	c Solved part
806.62/39.84	c =========================================================================================
806.62/39.84	c Solving part 1129
809.79/39.91	c  N st     0         0       952      5641      1325         0     24029       216   no data   no data
812.98/40.06	c asymm  cl-useful: 181/5641/5641 lits-rem:190 time: 0.14
812.98/40.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.03
812.98/40.10	c Finding binary XORs  T:     0.00 s  found:       0
816.14/40.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
816.14/40.10	c calculated reachability. Time: 0.00
816.14/40.10	c Calc default polars -  time:   0.00 s pos:     357 undec:   33787 neg:     366
816.14/40.10	c =========================================================================================
816.14/40.10	c types(t): F = full restart, N = normal restart
816.14/40.10	c types(t): S = simplification begin/end, E = solution found
816.14/40.10	c restart types(rt): st = static, dy = dynamic
816.14/40.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
816.14/40.10	c  B st     0         0       952      5637      1329         0     23847       216   no data   no data
816.14/40.10	c  E st     1         0         0      5637      1329         0     23847       216   no data   no data
816.14/40.10	c Verified 5637 clauses.
816.14/40.10	c Verified 5637 clauses.
816.14/40.10	c Solved part
816.14/40.10	c =========================================================================================
816.14/40.10	c Solving part 1122
816.14/40.17	c  N st     0         0      1070      7514      1666         0     31683       432   no data   no data
825.64/40.40	c asymm  cl-useful: 176/7514/7514 lits-rem:176 time: 0.23
825.64/40.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.05
825.64/40.45	c Finding binary XORs  T:     0.00 s  found:       0
825.64/40.46	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
825.64/40.46	c calculated reachability. Time: 0.00
825.64/40.46	c Calc default polars -  time:   0.00 s pos:     428 undec:   33627 neg:     455
825.64/40.46	c =========================================================================================
825.64/40.46	c types(t): F = full restart, N = normal restart
825.64/40.46	c types(t): S = simplification begin/end, E = solution found
825.64/40.46	c restart types(rt): st = static, dy = dynamic
825.64/40.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
825.64/40.46	c  B st     0         0      1070      7514      1666         0     31507       432   no data   no data
825.64/40.46	c  E st     1         1         0      7514      1666         1     31507       437   no data   no data
825.64/40.46	c Verified 7514 clauses.
825.64/40.46	c Verified 7514 clauses.
825.64/40.46	c Solved part
825.64/40.46	c =========================================================================================
825.64/40.46	c Solving part 2136
828.78/40.55	c  N st     0         0      3702     15960      4671         0     72614      1132   no data   no data
838.23/40.81	c asymm  cl-useful: 964/8613/15960 lits-rem:1441 time: 0.26
841.42/40.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.7M T:  0.12
841.42/40.94	c Finding binary XORs  T:     0.01 s  found:       0
841.42/40.95	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
841.42/40.95	c calculated reachability. Time: 0.00
841.42/40.96	c Calc default polars -  time:   0.00 s pos:    1031 undec:   32442 neg:    1037
841.42/40.96	c =========================================================================================
841.42/40.96	c types(t): F = full restart, N = normal restart
841.42/40.96	c types(t): S = simplification begin/end, E = solution found
841.42/40.96	c restart types(rt): st = static, dy = dynamic
841.42/40.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
841.42/40.96	c  B st     0         0      3702     15960      4671         0     71173      1132   no data   no data
841.42/40.96	c  E st     1         0         0     15960      4671         0     71173      1132   no data   no data
841.42/40.96	c Verified 15960 clauses.
841.42/40.96	c Verified 15960 clauses.
841.42/40.96	c Solved part
841.42/40.96	c =========================================================================================
841.42/40.97	c Solving part 1769
850.98/41.21	c  N st     0         0      4868    186779      7719     13045    736744    140442   no data   no data
854.16/41.30	c asymm  cl-useful: 9/349/186779 lits-rem:9 time: 0.09
873.15/41.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 68.5M T:  0.63
873.15/41.99	c Finding binary XORs  T:     0.01 s  found:       0
879.53/42.11	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
879.53/42.11	c calculated reachability. Time: 0.00
879.53/42.11	c Calc default polars -  time:   0.01 s pos:    1594 undec:   31316 neg:    1600
879.53/42.11	c =========================================================================================
879.53/42.11	c types(t): F = full restart, N = normal restart
879.53/42.11	c types(t): S = simplification begin/end, E = solution found
879.53/42.11	c restart types(rt): st = static, dy = dynamic
879.53/42.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
879.53/42.11	c  B st     0         0      4868    186779      7719     13045    736735    140442   no data   no data
927.39/43.68	c  N dy    12      4114      4868    186779      7728     17116    736735    192597      6.49      6.86
981.71/45.39	c  N dy    36      8345      4868    186779      7733     21324    736735    246859      6.70      7.11
1032.87/46.97	c  N dy    55     12568      4867    186779      7739     25514    736735    302222      6.65      7.01
1087.20/48.63	c  N dy    69     16847      4866    186779      7751     29752    736735    353894      6.60      6.99
1138.36/50.23	c  N dy    90     20987      4866    186779      7757     17430    736735    161035      6.62      6.98
1192.69/51.94	c  F st   111     25000      4865    186779      7767     21404    736735    211942      6.66      5.94
1192.69/51.94	c  N st   111     25000      4865    186779      7767     21404    736735    211942      6.66      5.94
1254.04/53.87	c  N dy   117     30196      4865    186779      7772     26566    736735    285448      6.66   no data
1314.18/55.75	c  N dy   130     34417      4865    186779      7776     30767    736735    341813      6.63      7.00
1374.88/57.65	c  N dy   153     38668      4863    186779      7791     34965    736735    394932      6.64      7.11
1397.90/58.36	c Finding binary XORs  T:     0.01 s  found:       0
1445.24/59.82	c  N dy   180     42736      4862    185773      7542     13917    732714    114401      6.70      8.87
1500.15/61.53	c  N dy   205     46757      4862    185773      7546     17914    732714    170932      6.74      8.63
1553.90/63.20	c  N dy   231     50767      4862    185773      7546     21894    732714    225226      6.80      7.86
1611.43/65.09	c  N dy   255     55199      4862    185773      7550     26294    732714    283710      6.81      7.26
1668.98/66.86	c  N dy   281     59264      4862    185773      7553     30328    732713    338650      6.85      8.12
1729.71/68.75	c  N dy   296     63492      4862    185773      7557     17510    732713    131084      6.83      7.22
1787.24/70.51	c  N dy   321     67600      4862    185773      7559     21590    732712    190713      6.86      8.85
1854.99/72.62	c  N dy   349     72115      4862    185773      7561     26069    732712    251391      6.89      7.27
1925.30/74.82	c  N dy   366     76903      4861    185773      7569     30811    732712    313288      6.89      7.26
2001.42/77.24	c  N dy   392     81972      4860    185773      7581     35826    732712    379855      6.89      7.32
2084.54/79.88	c  F st   414     87500      4858    185773      7600     21385    732712    158016      6.88      6.94
2084.54/79.88	c  N st   414     87500      4858    185773      7600     21385    732712    158016      6.88      6.94
2154.86/82.09	c  N dy   422     93142      4858    185773      7601     27005    732712    252151      6.88      7.36
2238.57/84.66	c  N dy   465     99101      4858    185773      7610     32920    732712    335824      6.93      7.98
2324.25/87.33	c Finding binary XORs  T:     0.01 s  found:       0
2347.25/88.05	c  N dy   502    105883      4857    184865      7507     34593    729156    380691      6.94      7.32
2442.53/91.10	c  N dy   557    112740      4857    184865      7508     22072    729156    165829      7.00      7.41
2551.21/94.46	c  N dy   601    120006      4857    184865      7516     29279    729154    265929      7.03      7.45
2656.70/97.79	c  N dy   645    127679      4856    184865      7523     36892    729154    377173      7.05      8.62
2794.16/102.09	c  N dy   691    136087      4856    184865      7534     23161    729154    157206      7.06      7.47
2925.22/106.18	c  N dy   739    144818      4855    184865      7539     31826    729154    280742      7.08      8.08
3078.67/110.91	c  N dy   784    154142      4853    184865      7554     41065    729154    412993      7.08      8.75
3232.10/115.76	c  N dy   843    164158      4853    184865      7561     27072    729153    196774      7.10      7.54
3379.10/120.33	c  N dy   892    174919      4852    184865      7571     37751    729153    348833      7.11      7.52
3430.26/121.95	c Finding binary XORs  T:     0.01 s  found:       1
3545.33/125.57	c  N dy   960    186105      4851    183963      7498     42675    725714    453992      7.14      7.74
3737.14/131.56	c  N dy  1047    198035      4849    183963      7512     32246    725714    287883      7.20      8.79
3996.66/139.65	c  N dy  1116    210693      4848    183963      7527     44820    725714    472840      7.21      8.47
4246.02/147.44	c  N dy  1211    224192      4847    183963      7535     33184    725713    278287      7.26      8.80
4507.51/155.62	c  N dy  1311    238612      4847    183963      7542     47498    725712    487719      7.30      7.70
4756.86/163.48	c  N dy  1408    253885      4847    183963      7546     35771    725712    293710      7.34      7.99
5038.12/172.22	c  N dy  1532    270094      4847    183963      7550     51898    725711    540380      7.40      8.25
5313.04/180.85	c  N dy  1648    287468      4847    183963      7556     40802    725710    353532      7.44      7.83
5536.81/187.86	c Finding binary XORs  T:     0.01 s  found:       0
5623.11/190.54	c  N dy  1764    305857      4845    183124      7510     55224    722512    594630      7.47     11.26
5632.71/190.81	c  F st  1768    306250      4845    183124      7510     27936    722512    160041      7.47   no data
5958.75/201.09	c  N dy  1855    325601      4844    183124      7528     47159    722512    458311      7.48      7.90
6313.57/212.17	c  N dy  2000    345630      4844    183124      7533     37323    722512    280406      7.52      9.12
6668.99/223.28	c  N dy  2125    365763      4844    183124      7535     57334    722512    590005      7.55      7.99
7013.61/234.01	c  N dy  2239    385765      4844    183124      7543     45968    722512    411603      7.58      8.15
7381.22/245.58	c  N dy  2357    405835      4844    183124      7548     33387    722512    193391      7.60      8.14
7745.61/256.93	c  N dy  2469    425899      4843    183124      7563     53324    722512    500332      7.62      8.40
8090.85/267.76	c  N dy  2589    445945      4843    183124      7569     39592    722511    278615      7.64      8.44
8448.89/278.92	c  N dy  2718    466040      4843    183124      7574     59584    722511    610640      7.66      8.38
8695.01/286.60	c Finding binary XORs  T:     0.01 s  found:       3
8826.06/290.79	c  N dy  2827    486232      4841    182353      7482     43068    719313    328521      7.67      8.15
9184.08/301.92	c  N dy  2938    506287      4841    182353      7489     63008    719313    645545      7.69      9.82
9574.05/314.11	c  N dy  3048    526294      4841    182353      7496     48085    719313    396856      7.70      8.66
9999.21/327.47	c  N dy  3161    546385      4841    182353      7502     68057    719313    712591      7.70      9.40
10357.24/338.69	c  N dy  3284    566570      4841    182353      7506     51789    719313    444770      7.72      8.13
10744.01/350.77	c  N dy  3372    586642      4839    182353      7518     71754    719313    771087      7.72      8.73
11130.80/362.91	c  N dy  3481    607054      4836    182353      7532     54518    719313    475785      7.72      8.18
11511.18/374.79	c  N dy  3592    627189      4836    182353      7534     74559    719312    809008      7.73      8.16
11853.22/385.48	c  N dy  3707    647278      4836    182353      7538     56153    719311    493563      7.74     10.58
12227.82/397.17	c  N dy  3811    667619      4836    182353      7544     76392    719311    829508      7.75      8.18
12509.14/405.94	c Finding binary XORs  T:     0.01 s  found:       7
12591.62/408.50	c  N dy  3906    687641      4834    180891      7434     56126    713224    482138      7.75      8.20
12959.25/420.11	c  N dy  4021    707709      4834    180891      7443     76084    713224    813984      7.76      9.16
13365.20/432.76	c  N dy  4131    728244      4834    180891      7453     57045    713224    483018      7.77      8.31
13810.13/446.64	c  N dy  4243    748696      4828    180891      7462     77363    713224    823011      7.78      8.22
14212.29/459.29	c  N dy  4337    768724      4828    180891      7466     56504    713224    454072      7.78      8.22
14602.28/471.49	c  N dy  4435    789088      4814    180891      7493     76707    713223    780954      7.78      8.33
14873.99/479.97	c Finding binary XORs  T:     0.01 s  found:      14
15005.65/484.03	c  N dy  4531    809545      4813    176012      7325     52942    693290    391794      7.78      8.22
15371.79/495.62	c  N dy  4639    829927      4810    176012      7333     73209    693290    732943      7.78      8.24
15707.59/506.90	c  N dy  4744    849970      4795    176012      7361     51008    693290    335813      7.78      9.11
16000.92/517.22	c  N dy  4831    869976      4795    176012      7372     70874    693290    672991      7.78      8.25
16221.80/525.67	c Finding binary XORs  T:     0.01 s  found:      18
16288.70/528.43	c  N dy  4935    890207      4786    170743      7228     87272    672209    982721      7.78      8.23
16507.62/538.69	c  N dy  5032    910294      4774    170743      7255     64841    672209    578488      7.78      8.32
16625.48/547.25	c  N dy  5119    930339      4770    170743      7271     84757    672209    937261      7.78      8.19
16645.48/549.53	c Finding binary XORs  T:     0.01 s  found:       5
16645.48/549.59	c Replacing       48 vars Replaced    45228 lits Time:     0.06 s 
16660.97/551.83	c Finding binary XORs  T:     0.01 s  found:       1
16674.27/554.33	c Finding binary XORs  T:     0.01 s  found:     449
16674.27/554.37	c Replacing      450 vars Replaced   148334 lits Time:     0.03 s 
16674.27/554.37	c  E dy  5163    948226      3813     51264      5511      8059    202876     44446      7.76      4.48
16779.79/601.96	c Following stats are for *FIRST FINISHED THREAD ONLY*
16779.79/601.96	c num threads              : 32         
16779.79/601.96	c restarts                 : 110        
16779.79/601.96	c dynamic restarts         : 104        
16779.79/601.96	c static restarts          : 6          
16779.79/601.96	c full restarts            : 0          
16779.79/601.96	c total simplify time      : 0.15       
16779.79/601.96	c learnts DL2              : 0          
16779.79/601.96	c learnts size 2           : 66644      
16779.79/601.96	c learnts size 1           : 478         (1.39      % of vars)
16779.79/601.96	c filedLit time            : 3.76        (0.64      % time)
16779.79/601.96	c v-elim SatELite          : 2858        (8.28      % vars)
16779.79/601.96	c SatELite time            : 1.14        (0.20      % time)
16779.79/601.96	c v-elim xor               : 0           (0.00      % vars)
16779.79/601.96	c xor elim time            : 0.00        (0.00      % time)
16779.79/601.96	c num binary xor trees     : 22         
16779.79/601.96	c binxor trees' crown      : 326         (14.82     leafs/tree)
16779.79/601.96	c bin xor find time        : 0.18       
16779.79/601.96	c OTF clause improved      : 212         (0.01      clauses/conflict)
16779.79/601.96	c OTF impr. size diff      : 286         (1.35       lits/clause)
16779.79/601.96	c OTF cl watch-shrink      : 16306       (0.65      clauses/conflict)
16779.79/601.96	c OTF cl watch-sh-lit      : 38787       (2.38       lits/clause)
16779.79/601.96	c tried to recurMin cls    : 4868        (19.47      % of conflicts)
16779.79/601.96	c updated cache            : 0           (0.00       lits/tried recurMin)
16779.79/601.96	c unit cls recevied        : 4           (0.84      % of units)
16779.79/601.96	c unit cls sent            : 0           (0.00      % of units)
16779.79/601.96	c bin cls recevied         : 7632       
16779.79/601.96	c bin cls sent             : 28         
16779.79/601.96	c clauses over max glue    : 0           (0.00      % of all clauses)
16779.79/601.96	c conflicts                : 25003       (42.90     / sec)
16779.79/601.96	c decisions                : 31099       (0.00      % random)
16779.79/601.96	c bogo-props               : 1327565250  (2277766.56 / sec)
16779.79/601.96	c conflict literals        : 308064      (54.90     % deleted)
16779.79/601.96	c Memory used              : 9390.86     MB
16779.79/601.96	c single-thread CPU time   : 582.84      s
16779.79/601.96	c all-threads sum CPU time : 16694.93    s
16779.79/601.96	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-3400792-1306786032/watcher-3400792-1306786032 -o /tmp/evaluation-result-3400792-1306786032/solver-3400792-1306786032 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400792-1306786032.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: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=338000 CPUtime=0.84 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 437 0 0 0 84 0 0 0 22 0 32 0 4569318 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 84500 377 297 95 0 79482 0
[pid=19742/tid=19743] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.046282 s]
/proc/loadavg: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=338000 CPUtime=1.14 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 437 0 0 0 114 0 0 0 22 0 32 0 4569318 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 84500 377 297 95 0 79482 0
[pid=19742/tid=19743] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 338000

[startup+0.103365 s]
/proc/loadavg: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=732408 CPUtime=2.65 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 1240 0 0 0 260 5 0 0 18 0 32 0 4569318 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 183102 1099 322 95 0 178084 0
[pid=19742/tid=19743] ppid=19740 vsize=732408 CPUtime=0.09 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 30 0 0 0 9 0 0 0 18 0 32 0 4569319 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=732408 CPUtime=0.08 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 7 0 0 0 8 0 0 0 25 0 32 0 4569319 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=732412 CPUtime=0.09 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 46 0 0 0 9 0 0 0 20 0 32 0 4569319 749989888 1100 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=732412 CPUtime=0.08 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 58 0 0 0 8 0 0 0 18 0 32 0 4569319 749989888 1104 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 29 0 0 0 8 0 0 0 18 0 32 0 4569319 749993984 1121 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=732416 CPUtime=0.09 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 42 0 0 0 9 0 0 0 18 0 32 0 4569319 749993984 1129 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 4 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1129 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 5 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1130 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 11 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1130 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 66 0 0 0 8 0 0 0 18 0 32 0 4569319 749993984 1132 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=732416 CPUtime=0.09 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 62 0 0 0 9 0 0 0 18 0 32 0 4569319 749993984 1150 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 12 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 9 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 8 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 15 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1158 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 8 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1177 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31

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

[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=583.81 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58077 304 0 0 25 0 32 0 4569319 9864941568 1746212 268435456000 4194304 4580107 140733926615984 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=594.32 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118128 0 0 0 59261 171 0 0 25 0 32 0 4569319 9864941568 1746212 268435456000 4194304 4580107 140733926615984 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16775.8
Current children cumulated vsize (KiB) 9633732

[startup+601.502 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657120/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=9633732 CPUtime=16779 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) S 19740 19742 19716 0 -1 4202496 3641790 0 0 0 1669401 8498 0 0 25 0 32 0 4569318 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 2408433 1746279 378 95 0 2403415 0
[pid=19742/tid=19743] ppid=19740 vsize=9633732 CPUtime=479.44 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111041 0 0 0 47657 287 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450697706976 0 0 -1 30 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=9633732 CPUtime=520.78 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 101699 0 0 0 51843 235 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604454811565536 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=9633732 CPUtime=506.36 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113229 0 0 0 50385 251 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505246514656 0 0 -1 29 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=9633732 CPUtime=522.52 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113137 0 0 0 51974 278 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369715680 0 0 -1 25 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=9633732 CPUtime=528.72 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124255 0 0 0 52607 265 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746932192 0 0 -1 19 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=9633732 CPUtime=535.84 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114666 0 0 0 53327 257 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604495190179296 0 0 -1 12 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=9633732 CPUtime=525.68 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111968 0 0 0 52282 286 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451822509536 0 0 -1 8 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=9633732 CPUtime=505.01 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 135642 0 0 0 50227 274 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138278880 0 0 -1 23 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=9633732 CPUtime=541.43 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111946 0 0 0 53871 272 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604555190328800 0 0 -1 25 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=9633732 CPUtime=522.19 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 106081 0 0 0 51951 268 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591747005920 0 0 -1 18 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=9633732 CPUtime=546.51 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99531 0 0 0 54363 288 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450154946016 0 0 -1 12 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=9633732 CPUtime=478.8 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 128933 0 0 0 47635 245 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744071566926464 0 0 -1 27 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=9633732 CPUtime=534.09 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114623 0 0 0 53136 273 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138393568 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=9633732 CPUtime=508.7 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99273 0 0 0 50609 261 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369674720 0 0 -1 2 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=9633732 CPUtime=516.63 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 120608 0 0 0 51352 311 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604581412806112 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=9633732 CPUtime=530.89 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130308 0 0 0 52840 249 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604474499112416 0 0 -1 20 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=9633732 CPUtime=521.23 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 81105 0 0 0 51866 257 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138336224 0 0 -1 27 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=9633732 CPUtime=524.07 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130297 0 0 0 52159 248 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746981344 0 0 -1 9 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=9633732 CPUtime=534.86 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 88729 0 0 0 53219 267 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604499427311072 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=9633732 CPUtime=484.95 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124025 0 0 0 48203 292 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451759267296 0 0 -1 15 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=9633732 CPUtime=515.65 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 87004 0 0 0 51353 212 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604637970800096 0 0 -1 15 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=9633732 CPUtime=510.81 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 125207 0 0 0 50836 245 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604489476644320 0 0 -1 22 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=9633732 CPUtime=520 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 103810 0 0 0 51717 283 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604500560207328 0 0 -1 26 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=9633732 CPUtime=523.24 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 126731 0 0 0 52086 238 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450661137888 0 0 -1 13 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=9633732 CPUtime=529.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 123444 0 0 0 52613 289 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746579936 0 0 -1 21 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=9633732 CPUtime=495.33 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 102115 0 0 0 49217 316 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591792831968 0 0 -1 7 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=9633732 CPUtime=538.04 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 133081 0 0 0 53587 217 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604487944510944 0 0 -1 22 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=9633732 CPUtime=526.76 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124093 0 0 0 52415 261 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451824098784 0 0 -1 5 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=9633732 CPUtime=530.33 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 82589 0 0 0 52762 271 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505746161120 0 0 -1 1 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=585.41 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58237 304 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186251808 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=595.92 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118195 0 0 0 59421 171 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16779
Current children cumulated vsize (KiB) 9633732

[startup+601.902 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=9633732 CPUtime=16779.8 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) S 19740 19742 19716 0 -1 4202496 3641800 0 0 0 1669481 8498 0 0 25 0 32 0 4569318 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 2408433 1746289 378 95 0 2403415 0
[pid=19742/tid=19743] ppid=19740 vsize=9633732 CPUtime=479.44 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111041 0 0 0 47657 287 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450697706976 0 0 -1 30 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=9633732 CPUtime=520.78 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 101699 0 0 0 51843 235 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604454811565536 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=9633732 CPUtime=506.36 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113229 0 0 0 50385 251 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505246514656 0 0 -1 29 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=9633732 CPUtime=522.52 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113137 0 0 0 51974 278 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369715680 0 0 -1 25 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=9633732 CPUtime=528.72 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124255 0 0 0 52607 265 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746932192 0 0 -1 19 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=9633732 CPUtime=535.84 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114666 0 0 0 53327 257 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604495190179296 0 0 -1 12 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=9633732 CPUtime=525.68 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111968 0 0 0 52282 286 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451822509536 0 0 -1 8 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=9633732 CPUtime=505.01 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 135642 0 0 0 50227 274 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138278880 0 0 -1 23 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=9633732 CPUtime=541.43 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111946 0 0 0 53871 272 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604555190328800 0 0 -1 25 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=9633732 CPUtime=522.19 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 106081 0 0 0 51951 268 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591747005920 0 0 -1 18 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=9633732 CPUtime=546.51 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99531 0 0 0 54363 288 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450154946016 0 0 -1 12 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=9633732 CPUtime=478.8 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 128933 0 0 0 47635 245 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744071566926464 0 0 -1 27 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=9633732 CPUtime=534.09 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114623 0 0 0 53136 273 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138393568 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=9633732 CPUtime=508.7 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99273 0 0 0 50609 261 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369674720 0 0 -1 2 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=9633732 CPUtime=516.63 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 120608 0 0 0 51352 311 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604581412806112 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=9633732 CPUtime=530.89 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130308 0 0 0 52840 249 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604474499112416 0 0 -1 20 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=9633732 CPUtime=521.23 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 81105 0 0 0 51866 257 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138336224 0 0 -1 27 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=9633732 CPUtime=524.07 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130297 0 0 0 52159 248 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746981344 0 0 -1 9 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=9633732 CPUtime=534.86 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 88729 0 0 0 53219 267 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604499427311072 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=9633732 CPUtime=484.95 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124025 0 0 0 48203 292 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451759267296 0 0 -1 15 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=9633732 CPUtime=515.65 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 87004 0 0 0 51353 212 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604637970800096 0 0 -1 15 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=9633732 CPUtime=510.81 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 125207 0 0 0 50836 245 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604489476644320 0 0 -1 22 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=9633732 CPUtime=520 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 103810 0 0 0 51717 283 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604500560207328 0 0 -1 26 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=9633732 CPUtime=523.24 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 126731 0 0 0 52086 238 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450661137888 0 0 -1 13 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=9633732 CPUtime=529.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 123444 0 0 0 52613 289 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746579936 0 0 -1 21 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=9633732 CPUtime=495.33 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 102115 0 0 0 49217 316 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591792831968 0 0 -1 7 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=9633732 CPUtime=538.04 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 133081 0 0 0 53587 217 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604487944510944 0 0 -1 22 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=9633732 CPUtime=526.76 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124093 0 0 0 52415 261 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451824098784 0 0 -1 5 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=9633732 CPUtime=530.33 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 82589 0 0 0 52762 271 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505746161120 0 0 -1 1 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=585.81 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58277 304 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186251972 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=596.32 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118205 0 0 0 59461 171 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16779.8
Current children cumulated vsize (KiB) 9633732

[startup+602.301 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=0 CPUtime=16780.3 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) Z 19740 19742 19716 0 -1 4203548 3641807 0 0 0 1669492 8535 0 0 18 0 2 0 4569318 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 0 0 0 0 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=0 CPUtime=521.57 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4203588 81105 0 0 0 51866 291 0 0 18 0 2 0 4569319 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16780.3
Current children cumulated vsize (KiB) 0

[startup+602.401 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=0 CPUtime=16780.4 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) Z 19740 19742 19716 0 -1 4203548 3641807 0 0 0 1669492 8545 0 0 18 0 2 0 4569318 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 0 0 0 0 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=0 CPUtime=521.67 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4203588 81105 0 0 0 51866 301 0 0 18 0 2 0 4569319 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16780.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 602.467
CPU time (s): 16780.4
CPU user time (s): 16694.9
CPU system time (s): 85.516
CPU usage (%): 2785.29
Max. virtual memory (cumulated for all children) (KiB): 10707488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16694.9
system time used= 85.516
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3641807
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= 3533931
involuntary context switches= 125785

runsolver used 3.54146 second user time and 13.2 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 22:07:13
IDJOB=3400792
IDBENCH=82496
IDSOLVER=1886
FILE ID=node200/3400792-1306786032
RUNJOBID= node200-1306786032-19730
PBS_JOBID= 13471874
Free space on /tmp= 61564 MiB

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

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

MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=426924400

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:      263655396 kB
Buffers:         57120 kB
Cached:         356476 kB
SwapCached:      29884 kB
Active:         133524 kB
Inactive:       312252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263655396 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           22516 kB
Writeback:           0 kB
AnonPages:       29904 kB
Mapped:           7772 kB
Slab:            61132 kB
PageTables:       5496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191664 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= 61556 MiB
End job on node200 at 2011-05-30 22:17:16