Trace number 3400827

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)? (TO) 160003 5006.74

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
MD5SUM07ea67092ce3fd4529e72f69434e3f99
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1808
Number of clauses9968
Sum of the clauses size39152
Maximum clause length5
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2320
Number of clauses of size 33904
Number of clauses of size 41344
Number of clauses of size 54256
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
1.79/0.08	c This is CryptoMiniSat 3.0.0
1.79/0.08	c WARNING: for repeatability, setting FPU to use double precision
1.79/0.08	c Reading file 'HOME/instance-3400827-1306876840.cnf'
1.79/0.10	c -- header says num vars:           1808
1.79/0.10	c -- header says num clauses:        9968
2.40/0.19	c -- clauses added:            0 learnts,         9968 normals,            0 xors
2.40/0.19	c -- vars added       1808
2.40/0.19	c Parsing time:  0.02 s
2.40/0.19	c  N st     0         0      1808      9440       320         0     38688         0   no data   no data
4.03/0.25	c asymm  cl-useful: 0/8928/8928 lits-rem:0 time: 0.03
4.03/0.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  256 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.03/0.27	c Replacing      256 vars Replaced     9064 lits Time:     0.00 s 
7.47/0.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.47/0.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.47/0.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.47/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1408 time:  0.00 s
7.47/0.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.47/0.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
7.47/0.44	c Finding binary XORs  T:     0.00 s  found:       0
7.47/0.45	c Finding non-binary XORs:     0.01 s (found:     832, avg size: 3.6)
7.47/0.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    220 locsubst:     0 time:   0.00
7.47/0.45	c calculated reachability. Time: 0.00
7.47/0.45	c Calc default polars -  time:   0.00 s pos:      48 undec:     620 neg:    1140
7.47/0.45	c =========================================================================================
7.47/0.45	c types(t): F = full restart, N = normal restart
7.47/0.45	c types(t): S = simplification begin/end, E = solution found
7.47/0.45	c restart types(rt): st = static, dy = dynamic
7.47/0.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.47/0.45	c  B st     0         0      1188      2528        64         0     11816         0   no data   no data
7.47/0.67	c Decided on static restart strategy
7.47/1.06	c  N st     8      4916      1188      2528        71      4688     11816    214374   no data   no data
31.06/2.02	c  N st    10     11299      1188      2528       164      4454     11816    103000   no data   no data
89.87/3.09	c  N st    11     17042      1188      2528       166     10029     11816    642051   no data   no data
118.62/4.00	c  F st    12     25000      1188      2528       188     12251     11816    512046   no data   no data
118.62/4.00	c  N st    12     25000      1188      2528       188     12251     11816    512046   no data   no data
118.62/4.00	c Finding binary XORs  T:     0.00 s  found:      86
121.82/4.02	c Replacing       86 vars Replaced    16034 lits Time:     0.03 s 
147.37/4.87	c Decided on static restart strategy
147.37/4.88	c  N st    18     30001      1102      2528        24     10758     11698    466751   no data   no data
147.37/4.88	c  S st    18     30001      1102      2528        24     10758     11698    466751   no data   no data
150.57/4.91	c  S st    18     30505      1102      2528        24     11235     11698    474720   no data   no data
150.57/4.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     52 locsubst:     0 time:   0.00
150.57/4.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
150.57/4.92	c Replacing        1 vars Replaced       99 lits Time:     0.00 s 
150.57/4.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.57/4.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.57/4.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.57/4.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1049 time:  0.00 s
150.57/4.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.57/4.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
150.57/4.95	c subs with bin:        2  lits-rem:        40  v-fix:    0  time:  0.00 s
153.75/5.10	c lits-rem:      1034  cl-subs:      380  v-elim:      0  v-fix:    0  time:  0.14 s
156.95/5.10	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
156.95/5.10	c calculated reachability. Time: 0.00
156.95/5.10	c  N st    18     30505      1049      2528        22      6930     11594    181306   no data   no data
192.10/6.25	c  N st    20     37617      1049      2528        28      8347     11594    230627   no data   no data
236.85/7.61	c  N st    21     44016      1049      2528        28     14535     11594    803801   no data   no data
243.24/7.88	c  S st    22     45757      1049      2528        31      8622     11594    163554   no data   no data
243.24/7.91	c  S st    22     46263      1049      2528        32      9098     11594    172942   no data   no data
243.24/7.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
246.99/7.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
246.99/7.93	c Replacing        7 vars Replaced     2094 lits Time:     0.00 s 
246.99/7.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
246.99/7.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.99/7.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.99/7.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1042 time:  0.00 s
246.99/7.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
246.99/7.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
246.99/7.94	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
246.99/8.00	c lits-rem:       304  cl-subs:       84  v-elim:      0  v-fix:    0  time:  0.06 s
246.99/8.00	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
246.99/8.01	c vivif2 --  cl tried     9012 cl shrink        0 lits rem          0 time: 0.00
246.99/8.01	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
246.99/8.01	c calculated reachability. Time: 0.00
246.99/8.01	c  N st    22     46263      1042      2528        18      9012     11594    170314   no data   no data
303.94/9.79	c  N st    23     60660      1042      2528        18     13750     11594    358964   no data   no data
371.06/11.85	c  N st    24     69394      1042      2528        25     12073     11594    276736   no data   no data
371.06/11.85	c  S st    24     69394      1042      2528        25     12073     11594    276736   no data   no data
371.06/11.89	c  S st    24     69896      1042      2528        28     12538     11594    286450   no data   no data
371.06/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
374.25/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
374.25/11.90	c Replacing        6 vars Replaced      131 lits Time:     0.00 s 
374.25/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.25/11.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
374.25/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.25/11.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1036 time:  0.00 s
374.25/11.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
374.25/11.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
374.25/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
380.64/12.11	c lits-rem:      1046  cl-subs:      197  v-elim:      0  v-fix:    0  time:  0.18 s
380.64/12.11	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
380.64/12.11	c vivif2 --  cl tried    12341 cl shrink        0 lits rem          0 time: 0.00
380.64/12.12	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
380.64/12.12	c calculated reachability. Time: 0.00
380.64/12.12	c  N st    24     69896      1036      2528        16     12341     11590    278692   no data   no data
531.45/16.87	c  F st    25     87500      1036      2528        18     18157     11590    845359   no data   no data
531.45/16.87	c  N st    25     87500      1036      2528        18     18157     11590    845359   no data   no data
531.45/16.87	c Finding binary XORs  T:     0.00 s  found:       7
556.38/17.63	c Decided on static restart strategy
578.75/18.32	c  N st    32     95537      1036      2528        27     26035     11590   1436231   no data   no data
642.64/20.33	c  N st    34    104844      1036      2528        41     22663     11590   1005077   no data   no data
642.64/20.33	c  S st    34    104844      1036      2528        41     22663     11590   1005077   no data   no data
642.64/20.39	c  S st    34    105348      1036      2528        48     23126     11590   1014779   no data   no data
645.84/20.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
645.84/20.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
645.84/20.43	c Replacing       21 vars Replaced     3502 lits Time:     0.02 s 
645.84/20.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
645.84/20.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
645.84/20.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
645.84/20.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1015 time:  0.00 s
645.84/20.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
645.84/20.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
649.03/20.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
693.78/21.92	c lits-rem:      3342  cl-subs:      457  v-elim:      0  v-fix:    0  time:  1.41 s
693.78/21.92	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
693.78/21.93	c vivif2 --  cl tried    22667 cl shrink        0 lits rem          0 time: 0.01
693.78/21.95	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
693.78/21.95	c calculated reachability. Time: 0.00
693.78/21.95	c  N st    34    105348      1015      2528         6     22667     11584    985442   no data   no data
767.29/24.28	c  N st    35    114946      1015      2528         6     18465     11584    606760   no data   no data
891.91/28.18	c  N st    36    129344      1015      2528         8     17804     11584    461266   no data   no data
891.91/28.18	c Finding binary XORs  T:     0.00 s  found:       4
1064.50/33.59	c  N st    37    150939      1015      2528        11     23197     11584    882229   no data   no data
1129.06/35.52	c  S st    38    158023      1015      2528        13     30089     11584   1520923   no data   no data
1131.61/35.62	c  S st    38    158525      1015      2528        13     30566     11584   1534052   no data   no data
1131.61/35.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1131.61/35.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
1131.61/35.65	c Replacing        6 vars Replaced       60 lits Time:     0.00 s 
1131.61/35.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1131.61/35.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1131.61/35.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1131.61/35.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1009 time:  0.00 s
1131.61/35.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1131.61/35.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1134.80/35.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1304.78/41.08	c lits-rem:      4789  cl-subs:     1960  v-elim:      0  v-fix:    0  time:  5.32 s
1304.78/41.08	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
1307.37/41.11	c vivif2 --  cl tried    28606 cl shrink        0 lits rem          0 time: 0.02
1307.37/41.13	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.02
1307.37/41.13	c calculated reachability. Time: 0.00
1307.37/41.13	c  N st    38    158525      1009      2528         1     28606     11584   1413842   no data   no data
1751.60/55.00	c  N st    39    207113      1009      2528         1     23449     11584    610956   no data   no data
2071.24/65.06	c  N st    40    237787      1009      2528         2     33647     11584   1509607   no data   no data
2071.24/65.06	c  S st    40    237787      1009      2528         2     33647     11584   1509607   no data   no data
2075.03/65.18	c  S st    40    238291      1009      2528         2     34123     11584   1520581   no data   no data
2075.03/65.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2075.03/65.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
2075.03/65.21	c Replacing        1 vars Replaced       14 lits Time:     0.00 s 
2075.03/65.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2075.03/65.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2075.03/65.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2075.03/65.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
2075.03/65.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2078.26/65.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2080.81/65.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2330.09/73.17	c lits-rem:      2367  cl-subs:     3032  v-elim:      0  v-fix:    0  time:  7.84 s
2330.09/73.17	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
2330.09/73.19	c vivif2 --  cl tried    31091 cl shrink        0 lits rem          0 time: 0.02
2333.28/73.22	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.02
2333.28/73.22	c calculated reachability. Time: 0.00
2333.28/73.22	c  N st    40    238291      1008      2528         0     31091     11584   1341971   no data   no data
2857.45/89.63	c  F st    41    306250      1008      2528         0     33557     11584   1103105   no data   no data
2857.45/89.63	c  N st    41    306250      1008      2528         0     33557     11584   1103105   no data   no data
2889.42/90.64	c Decided on static restart strategy
3065.22/96.19	c  N st    51    334552      1008      2528         0     38245     11584   1597288   no data   no data
3215.42/100.87	c  N st    53    357437      1008      2528         0     36382     11584   1340316   no data   no data
3215.42/100.87	c  S st    53    357437      1008      2528         0     36382     11584   1340316   no data   no data
3218.58/100.98	c  S st    53    357938      1008      2528         0     36871     11584   1353384   no data   no data
3218.58/100.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3221.78/101.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
3221.78/101.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3221.78/101.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3221.78/101.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3221.78/101.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
3221.78/101.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3221.78/101.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3224.98/101.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3314.48/103.90	c lits-rem:      1445  cl-subs:      358  v-elim:      0  v-fix:    0  time:  2.80 s
3314.48/103.90	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
3314.48/103.93	c vivif2 --  cl tried    36513 cl shrink        0 lits rem          0 time: 0.02
3314.48/103.96	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.03
3314.48/103.96	c calculated reachability. Time: 0.00
3314.48/103.96	c  N st    53    357938      1008      2528         0     36513     11584   1334344   no data   no data
3634.13/114.00	c  N st    54    390331      1008      2528         0     42779     11584   1950664   no data   no data
4164.69/130.50	c  N st    55    438920      1008      2528         0     36543     11584   1139131   no data   no data
4775.21/149.70	c  N st    56    511804      1008      2528         0     50341     11584   1749414   no data   no data
5033.99/157.77	c  N st    57    536910      1008      2528         0     44125     11584   1544584   no data   no data
5033.99/157.77	c  S st    57    536910      1008      2528         0     44125     11584   1544584   no data   no data
5040.38/157.91	c  S st    57    537415      1008      2528         0     44613     11584   1558223   no data   no data
5040.38/157.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5040.38/157.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.03
5040.38/157.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5040.38/157.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5040.38/157.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5040.38/157.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
5040.38/157.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5040.38/157.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
5043.61/158.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5299.27/166.03	c lits-rem:      2008  cl-subs:     3310  v-elim:      0  v-fix:    0  time:  7.95 s
5299.27/166.03	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
5299.27/166.05	c vivif2 --  cl tried    41303 cl shrink        0 lits rem          0 time: 0.03
5302.48/166.11	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.05
5302.48/166.11	c calculated reachability. Time: 0.00
5302.48/166.11	c  N st    57    537415      1008      2528         0     41303     11584   1366387   no data   no data
7958.65/249.27	c  N st    58    701400      1008      2528         0     69348     11584   3186734   no data   no data
9553.60/299.18	c  N st    59    806122      1008      2528         0     65278     11584   3232292   no data   no data
9553.60/299.18	c  S st    59    806122      1008      2528         0     65278     11584   3232292   no data   no data
9566.99/299.54	c  S st    59    806628      1008      2528         0     65775     11584   3249138   no data   no data
9566.99/299.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9569.57/299.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
9569.57/299.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9569.57/299.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9569.57/299.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9569.57/299.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
9569.57/299.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9569.57/299.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
9579.14/299.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10302.12/322.53	c lits-rem:     19148  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 21.97 s
10302.12/322.53	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
10302.12/322.59	c vivif2 --  cl tried    64751 cl shrink        0 lits rem          0 time: 0.06
10307.91/322.70	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.11
10307.91/322.70	c calculated reachability. Time: 0.00
10307.91/322.70	c  N st    59    806628      1008      2528         0     64751     11584   3158327   no data   no data
14178.52/443.85	c  F st    60   1071875      1008      2528         0     79563     11584   3703549   no data   no data
14178.52/443.85	c  N st    60   1071875      1008      2528         0     79563     11584   3703549   no data   no data
14255.18/446.26	c Decided on static restart strategy
14536.48/455.06	c  N st    70   1100181      1008      2528         0     63562     11584   2431010   no data   no data
15115.03/473.14	c  N st    72   1136173      1008      2528         0     53852     11584   1401314   no data   no data
15667.92/490.45	c  N st    73   1168566      1008      2528         0     85528     11584   3879975   no data   no data
16249.58/508.65	c  N st    74   1209942      1008      2528         0     79968     11584   3260857   no data   no data
16249.58/508.65	c  S st    74   1209942      1008      2528         0     79968     11584   3260857   no data   no data
16262.38/509.03	c  S st    74   1210444      1008      2528         0     80456     11584   3275952   no data   no data
16262.38/509.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
16265.57/509.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
16265.57/509.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16265.57/509.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16265.57/509.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16265.57/509.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
16265.57/509.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16265.57/509.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
16271.97/509.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17633.55/551.99	c lits-rem:      3078  cl-subs:     5401  v-elim:      0  v-fix:    0  time: 42.60 s
17633.55/551.99	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
17636.75/552.04	c vivif2 --  cl tried    75055 cl shrink        0 lits rem          0 time: 0.05
17639.95/552.14	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.10
17639.95/552.15	c calculated reachability. Time: 0.00
17639.95/552.15	c  N st    74   1210444      1008      2528         0     75055     11584   2951189   no data   no data
18768.23/587.42	c  N st    75   1283326      1008      2528         0     52330     11584   1137199   no data   no data
20368.47/637.54	c  N st    76   1392649      1008      2528         0     59748     11584   1652975   no data   no data
23254.70/727.86	c  N st    77   1556633      1008      2528         0     64442     11584   1875196   no data   no data
26415.93/826.73	c  N st    78   1710446      1008      2528         0    106036     11584   5324486   no data   no data
26415.93/826.73	c  S st    78   1710446      1008      2528         0    106036     11584   5324486   no data   no data
26431.92/827.21	c  S st    78   1710948      1008      2528         0    106526     11584   5340068   no data   no data
26431.92/827.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
26435.12/827.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.10
26435.12/827.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26435.12/827.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26435.12/827.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26435.12/827.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
26435.12/827.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26435.12/827.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
26447.90/827.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31769.93/994.27	c lits-rem:     11977  cl-subs:    10818  v-elim:      0  v-fix:    0  time: 166.44 s
31769.93/994.27	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
31773.14/994.35	c vivif2 --  cl tried    95708 cl shrink        0 lits rem          0 time: 0.09
31776.33/994.47	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.12
31776.33/994.48	c calculated reachability. Time: 0.00
31776.33/994.48	c  N st    78   1710948      1008      2528         0     95708     11584   4711081   no data   no data
39943.70/1249.95	c  N st    79   2079913      1008      2528         0    106975     11584   4617931   no data   no data
42739.95/1337.48	c  N st    80   2210948      1008      2528         0    111171     11584   5427719   no data   no data
42739.95/1337.48	c  S st    80   2210948      1008      2528         0    111171     11584   5427719   no data   no data
42759.12/1338.08	c  S st    80   2211451      1008      2528         0    111660     11584   5443298   no data   no data
42762.32/1338.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
42765.52/1338.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
42765.52/1338.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42765.52/1338.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42765.52/1338.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42765.52/1338.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
42765.52/1338.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
42768.72/1338.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
42778.31/1338.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47746.13/1494.11	c lits-rem:      5894  cl-subs:    10332  v-elim:      0  v-fix:    0  time: 155.40 s
47746.13/1494.12	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
47751.89/1494.21	c vivif2 --  cl tried   101328 cl shrink        0 lits rem          0 time: 0.10
47755.09/1494.39	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.17
47755.09/1494.39	c calculated reachability. Time: 0.00
47755.09/1494.39	c  N st    80   2211451      1008      2528         0    101328     11584   4851633   no data   no data
61224.66/1915.72	c  N st    81   2711453      1008      2528         0    122819     11584   6107324   no data   no data
61224.66/1915.72	c  S st    81   2711453      1008      2528         0    122819     11584   6107324   no data   no data
61237.46/1916.14	c  S st    81   2711957      1008      2528         0    123303     11584   6122521   no data   no data
61237.46/1916.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
61240.66/1916.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.11
61240.66/1916.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
61240.66/1916.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61240.66/1916.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61240.66/1916.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
61240.66/1916.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61243.86/1916.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
61256.63/1916.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69541.76/2175.93	c lits-rem:      3916  cl-subs:    13916  v-elim:      0  v-fix:    0  time: 259.10 s
69541.76/2175.93	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
69545.59/2176.03	c vivif2 --  cl tried   109387 cl shrink        0 lits rem          0 time: 0.10
69548.78/2176.18	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.15
69548.78/2176.18	c calculated reachability. Time: 0.00
69548.78/2176.18	c  N st    81   2711957      1008      2528         0    109387     11584   5319706   no data   no data
82816.41/2591.29	c  N st    82   3211960      1008      2528         0     87460     11584   2216861   no data   no data
82816.41/2591.29	c  S st    82   3211960      1008      2528         0     87460     11584   2216861   no data   no data
82832.41/2591.78	c  S st    82   3212465      1008      2528         0     87952     11584   2232467   no data   no data
82832.41/2591.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
82836.20/2591.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
82836.20/2591.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82836.20/2591.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82836.20/2591.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82836.20/2591.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
82836.20/2591.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82839.43/2591.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
82845.18/2592.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83353.43/2608.02	c lits-rem:      2491  cl-subs:     3213  v-elim:      0  v-fix:    0  time: 15.91 s
83353.43/2608.02	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
83353.43/2608.06	c vivif2 --  cl tried    84739 cl shrink        0 lits rem          0 time: 0.05
83359.83/2608.22	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.16
83359.83/2608.23	c calculated reachability. Time: 0.00
83359.83/2608.23	c  N st    82   3212465      1008      2528         0     84739     11584   2044192   no data   no data
98120.83/3070.05	c  N st    83   3712466      1008      2528         0     95589     11584   2626153   no data   no data
98120.83/3070.05	c  S st    83   3712466      1008      2528         0     95589     11584   2626153   no data   no data
98134.25/3070.45	c  S st    83   3712967      1008      2528         0     96082     11584   2640720   no data   no data
98134.25/3070.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
98136.77/3070.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.09
98136.77/3070.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98136.77/3070.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98136.77/3070.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98136.77/3070.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
98136.77/3070.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
98139.97/3070.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
98143.16/3070.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98945.50/3095.88	c lits-rem:      1152  cl-subs:     4184  v-elim:      0  v-fix:    0  time: 25.09 s
98945.50/3095.88	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
98948.69/3095.93	c vivif2 --  cl tried    91898 cl shrink        0 lits rem          0 time: 0.05
98951.89/3096.07	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.14
98951.89/3096.08	c calculated reachability. Time: 0.00
98951.89/3096.08	c  N st    83   3712967      1008      2528         0     91898     11584   2395886   no data   no data
99805.35/3122.70	c  F st    84   3751564      1008      2528         0    128236     11584   5252477   no data   no data
99805.35/3122.71	c  N st    84   3751564      1008      2528         0    128236     11584   5252477   no data   no data
99901.21/3125.79	c Decided on static restart strategy
100444.63/3142.76	c  N st    94   3779872      1008      2528         0    156031     11584   7464312   no data   no data
101225.15/3167.13	c  N st    96   3815864      1008      2528         0    109856     11584   3944098   no data   no data
102100.38/3194.55	c  N st    97   3848257      1008      2528         0    140873     11584   6544261   no data   no data
103049.60/3224.20	c  N st    98   3896846      1008      2528         0    105377     11584   3637061   no data   no data
105309.43/3294.98	c  N st    99   3969728      1008      2528         0     91851     11584   2112150   no data   no data
107949.66/3377.53	c  N st   100   4079053      1008      2528         0    112862     11584   3536423   no data   no data
111884.39/3500.66	c  N st   101   4212969      1008      2528         0    156044     11584   7699514   no data   no data
111884.39/3500.66	c  S st   101   4212969      1008      2528         0    156044     11584   7699514   no data   no data
111906.77/3501.37	c  S st   101   4213470      1008      2528         0    156540     11584   7717754   no data   no data
111909.95/3501.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
111913.75/3501.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.15
111913.75/3501.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111913.75/3501.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111913.75/3501.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111913.75/3501.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
111913.75/3501.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
111916.98/3501.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
111935.52/3502.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
122141.48/3821.52	c lits-rem:     17797  cl-subs:    15863  v-elim:      0  v-fix:    0  time: 319.13 s
122141.48/3821.52	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
122145.26/3821.64	c vivif2 --  cl tried   140677 cl shrink        0 lits rem          0 time: 0.12
122151.06/3821.84	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.20
122151.06/3821.85	c calculated reachability. Time: 0.00
122151.06/3821.85	c  N st   101   4213470      1008      2528         0    140677     11584   6782856   no data   no data
129362.13/4047.42	c  N st   102   4459447      1008      2528         0    114401     11584   3677262   no data   no data
137025.89/4287.25	c  N st   103   4713471      1008      2528         0    178762     11584   9116161   no data   no data
137025.89/4287.25	c  S st   103   4713471      1008      2528         0    178762     11584   9116161   no data   no data
137057.88/4288.26	c  S st   103   4713973      1008      2528         0    179260     11584   9132612   no data   no data
137061.06/4288.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
137067.45/4288.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.22
137067.45/4288.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137067.45/4288.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137067.45/4288.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137067.45/4288.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1008 time:  0.00 s
137067.45/4288.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
137070.66/4288.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
137093.03/4289.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152643.62/4775.83	c lits-rem:     14485  cl-subs:    17344  v-elim:      0  v-fix:    0  time: 486.24 s
152643.62/4775.83	c vivif2 --  cl tried     2528 cl shrink        0 lits rem          0 time: 0.00
152646.81/4776.00	c vivif2 --  cl tried   161916 cl shrink        0 lits rem          0 time: 0.16
152656.42/4776.28	c asymm  cl-useful: 0/2528/2528 lits-rem:0 time: 0.28
152656.42/4776.29	c calculated reachability. Time: 0.00
152656.42/4776.29	c  N st   103   4713973      1008      2528         0    161916     11584   8107794   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400827-1306876840/watcher-3400827-1306876840 -o /tmp/evaluation-result-3400827-1306876840/solver-3400827-1306876840 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400827-1306876840.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: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=338000 CPUtime=0.86 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 437 0 0 0 86 0 0 0 25 0 32 0 13649970 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 84500 376 297 95 0 79482 0
[pid=25584/tid=25585] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036520 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=338000 CPUtime=0 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=338000 CPUtime=0.01 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=338000 CPUtime=0.01 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036520 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036534 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.066881 s]
/proc/loadavg: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=338000 CPUtime=1.79 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 469 0 0 0 179 0 0 0 25 0 32 0 13649970 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 84500 408 300 95 0 79482 0
[pid=25584/tid=25585] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 4 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036125 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=338000 CPUtime=0 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036112 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 338000

[startup+0.102885 s]
/proc/loadavg: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=863636 CPUtime=2.4 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) S 25582 25584 25558 0 -1 4202496 2448 0 0 0 229 11 0 0 25 0 32 0 13649970 884363264 2316 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 215909 2328 331 95 0 210891 0
[pid=25584/tid=25585] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 87 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2331 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 77 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2333 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 50 0 0 0 7 0 0 0 25 0 32 0 13649971 884363264 2345 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 55 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2346 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 54 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2358 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 65 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2362 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446604643278953952 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 76 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2375 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 67 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2377 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 64 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2396 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 62 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2408 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 75 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2408 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 61 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2409 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 35 0 0 0 7 0 0 0 25 0 32 0 13649971 884363264 2416 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 71 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2423 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=863768 CPUtime=0.04 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 56 0 0 0 4 0 0 0 25 0 32 0 13649971 884498432 2435 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=863768 CPUtime=0.02 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 93 0 0 0 2 0 0 0 17 0 32 0 13649971 884498432 2438 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=994840 CPUtime=0.05 cores=0-31

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

/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 464093 0 0 0 495795 290 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=13622692 CPUtime=4936.08 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 495276 0 0 0 493274 334 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=13622692 CPUtime=4960.98 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 416708 0 0 0 495818 280 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=13622692 CPUtime=4955.5 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 425439 0 0 0 495263 287 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=13622692 CPUtime=4955.73 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 381390 0 0 0 495310 263 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=13622692 CPUtime=4959.62 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 407295 0 0 0 495665 297 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=13622692 CPUtime=4960.96 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 429606 0 0 0 495814 282 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=13622692 CPUtime=4958.54 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 410215 0 0 0 495565 289 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=13622692 CPUtime=4960.48 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 497167 0 0 0 495732 316 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=13622692 CPUtime=4955.94 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 395506 0 0 0 495338 256 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=13622692 CPUtime=4960.53 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 479235 0 0 0 495711 342 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=13622692 CPUtime=4960.13 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 489863 0 0 0 495682 331 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=13622692 CPUtime=4960.8 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 410033 0 0 0 495798 282 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=13622692 CPUtime=4926.03 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 521549 0 0 0 492214 389 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=13622692 CPUtime=4960.98 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 416167 0 0 0 495838 260 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=13622692 CPUtime=4961 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 341310 0 0 0 495851 249 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=13622692 CPUtime=4961.03 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 408916 0 0 0 495838 265 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=13622692 CPUtime=4945.15 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 417243 0 0 0 494227 288 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=13622692 CPUtime=4955.97 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468988 0 0 0 495280 317 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=13622692 CPUtime=4960.85 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 509672 0 0 0 495733 352 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=13622692 CPUtime=4959.51 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 470786 0 0 0 495613 338 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=13622692 CPUtime=4960.86 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 418501 0 0 0 495783 303 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=13622692 CPUtime=4941.43 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 534747 0 0 0 493781 362 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=13622692 CPUtime=4961 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 392698 0 0 0 495824 276 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=13622692 CPUtime=4950.09 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 394594 0 0 0 494726 283 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=13622692 CPUtime=4960.59 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 472777 0 0 0 495768 291 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=13622692 CPUtime=4961.01 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 449555 0 0 0 495794 307 0 0 25 0 32 0 13649971 13949636608 2589438 268435456000 4194304 4580107 140733355849520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=13622692 CPUtime=4954.09 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 268400 0 0 0 495206 203 0 0 25 0 32 0 13649971 13949636608 2589438 268435456000 4194304 4580107 140733355849520 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 158606
Current children cumulated vsize (KiB) 13622692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006 s]
/proc/loadavg: 32.06 32.04 32.05 33/445 25765
/proc/meminfo: memFree=253111720/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=13773132 CPUtime=160002 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 13756751 0 0 0 15990803 9439 0 0 25 0 32 0 13649970 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 3443283 2592842 379 95 0 3438265 0
[pid=25584/tid=25585] ppid=25582 vsize=13773132 CPUtime=5004.67 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 377200 0 0 0 500195 272 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=13773132 CPUtime=5004.66 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 366786 0 0 0 500219 247 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=13773132 CPUtime=5004.49 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 424243 0 0 0 500180 269 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=13773132 CPUtime=5004.53 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468886 0 0 0 500161 292 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=13773132 CPUtime=4979.78 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 495760 0 0 0 497643 335 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=13773132 CPUtime=5004.68 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 419150 0 0 0 500186 282 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=13773132 CPUtime=4999.18 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 426464 0 0 0 499630 288 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=13773132 CPUtime=4999.42 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 383799 0 0 0 499675 267 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=13773132 CPUtime=5003.32 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 409773 0 0 0 500032 300 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=13773132 CPUtime=5004.65 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 429606 0 0 0 500183 282 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=13773132 CPUtime=5002.24 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 411535 0 0 0 499933 291 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=13773132 CPUtime=5004.18 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 500543 0 0 0 500097 321 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=13773132 CPUtime=4998.4 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 397192 0 0 0 499581 259 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=13773132 CPUtime=5004.23 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 481301 0 0 0 500078 345 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=13773132 CPUtime=5003.81 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 493373 0 0 0 500047 334 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=13773132 CPUtime=5004.48 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 411511 0 0 0 500165 283 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=13773132 CPUtime=4969.73 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 524115 0 0 0 496581 392 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=13773132 CPUtime=5004.67 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 422429 0 0 0 500203 264 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=13773132 CPUtime=5004.69 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 343926 0 0 0 500219 250 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=13773132 CPUtime=5004.72 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 408916 0 0 0 500207 265 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=13773132 CPUtime=4988.85 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 417243 0 0 0 498597 288 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=13773132 CPUtime=4999.66 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468988 0 0 0 499649 317 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=13773132 CPUtime=5004.53 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 511375 0 0 0 500100 353 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=13773132 CPUtime=5003.2 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 470786 0 0 0 499982 338 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=13773132 CPUtime=5004.55 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 422347 0 0 0 500149 306 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=13773132 CPUtime=4985.13 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 539960 0 0 0 498149 364 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=13773132 CPUtime=5004.69 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 395025 0 0 0 500192 277 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=13773132 CPUtime=4993.78 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 397364 0 0 0 499091 287 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=13773132 CPUtime=5004.28 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 476263 0 0 0 500133 295 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=13773132 CPUtime=5004.7 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 453287 0 0 0 500160 310 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=13773132 CPUtime=4997.78 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 269411 0 0 0 499574 204 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 13773132

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5006.42 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9478 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4998.79 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 298 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5006.6 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9497 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4998.97 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 316 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5006.7 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9507 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4999.07 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 326 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.74
CPU time (s): 160003
CPU user time (s): 159908
CPU system time (s): 95.1055
CPU usage (%): 3195.76
Max. virtual memory (cumulated for all children) (KiB): 13988892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159908
system time used= 95.1055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13756764
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= 134544
involuntary context switches= 319463

runsolver used 29.0326 second user time and 112.077 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 23:20:40
IDJOB=3400827
IDBENCH=83416
IDSOLVER=1886
FILE ID=node200/3400827-1306876840
RUNJOBID= node200-1306876840-25572
PBS_JOBID= 13471380
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400827-1306876840/watcher-3400827-1306876840 -o /tmp/evaluation-result-3400827-1306876840/solver-3400827-1306876840 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400827-1306876840.cnf

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

MD5SUM BENCH= 07ea67092ce3fd4529e72f69434e3f99
RANDOM SEED=959932835

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:      263497772 kB
Buffers:        158028 kB
Cached:         409400 kB
SwapCached:      29976 kB
Active:         137512 kB
Inactive:       462196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263497772 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:            5952 kB
Writeback:           0 kB
AnonPages:       29552 kB
Mapped:           7732 kB
Slab:            74724 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190908 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= 61572 MiB
End job on node200 at 2011-06-01 00:44:08