Trace number 3400802

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 58120.8 1830.24

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
MD5SUM1f0914c6141fdba914b73575a12b918a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark58120.8
Satisfiable
(Un)Satisfiability was proved
Number of variables25972
Number of clauses86411
Sum of the clauses size219707
Maximum clause length879
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 245193
Number of clauses of size 340753
Number of clauses of size 4119
Number of clauses of size 513
Number of clauses of size over 5332

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
1.59/0.07	c This is CryptoMiniSat 3.0.0
1.59/0.07	c WARNING: for repeatability, setting FPU to use double precision
1.59/0.07	c Reading file 'HOME/instance-3400802-1306799717.cnf'
1.59/0.09	c -- header says num vars:          25972
1.59/0.09	c -- header says num clauses:       86411
14.79/0.83	c -- clauses added:            0 learnts,        86411 normals,            0 xors
14.79/0.83	c -- vars added      25972
14.79/0.83	c Parsing time:  0.12 s
14.79/0.83	c  N st     0         0     25972     40532     40681         0    207435         0   no data   no data
55.75/2.25	c asymm  cl-useful: 8/40532/40532 lits-rem:89 time: 1.41
160.01/9.27	c Flit:    65 Blit:   2414 bXBeca:    0 bXProp: 4236 Bins:      0 BRemL:      0 BRemN:      0 P: 22.2M T:  2.87
160.01/9.28	c Cleaning up after failed var search:     0.01 s 
163.42/9.41	c Replacing     4236 vars Replaced   115220 lits Time:     0.03 s 
163.42/9.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
165.01/9.50	c bin-w-bin subsume rem          605 bins  time:  0.00 s
165.01/9.51	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
165.01/9.58	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  17916 time:  0.03 s
166.67/9.61	c Removed useless bin:      40  fixed:     0  props:   2.48M  time:  0.03 s
171.91/10.00	c lits-rem:         0  cl-subs:      180  v-elim:   5972  v-fix:    0  time:  0.17 s
174.06/10.09	c Finding binary XORs  T:     0.09 s  found:      15
174.06/10.10	c Replacing       15 vars Replaced      192 lits Time:     0.01 s 
176.90/10.17	c Finding non-binary XORs:     0.04 s (found:    5550, avg size: 3.0)
176.90/10.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    881 locsubst:  3542 time:   0.02
176.90/10.18	c Replacing     1771 vars Replaced    10626 lits Time:     0.01 s 
176.90/10.19	c calculated reachability. Time: 0.01
176.90/10.19	c Calc default polars -  time:   0.00 s pos:    1314 undec:   16735 neg:    7923
176.90/10.19	c =========================================================================================
176.90/10.19	c types(t): F = full restart, N = normal restart
176.90/10.19	c types(t): S = simplification begin/end, E = solution found
176.90/10.19	c restart types(rt): st = static, dy = dynamic
176.90/10.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
176.90/10.19	c  B st     0         0      9277     15118     12580         0     99714         0   no data   no data
195.93/10.70	c Decided on static restart strategy
211.86/11.21	c  N st     8      4912      9268     15118     12657      4690     99714    165273   no data   no data
247.02/12.33	c  N st    10     11299      9247     15118     13508      7711     99714    313452   no data   no data
288.57/13.66	c  N st    11     17043      9247     15118     13511      8062     99714    473416   no data   no data
291.76/13.71	c Finding binary XORs  T:     0.04 s  found:       2
343.53/15.35	c  F st    12     25000      9241     15111     13637      8993     98844    288889   no data   no data
343.53/15.36	c Replacing        2 vars Replaced      413 lits Time:     0.01 s 
343.53/15.37	c  N st    12     25000      9239     15111     13633      8993     98836    288889   no data   no data
371.67/16.26	c Decided on static restart strategy
371.67/16.26	c  N st    18     30000      9239     15111     14095     13773     98836    401971   no data   no data
371.67/16.26	c  S st    18     30000      9239     15111     14095     13773     98836    401971   no data   no data
378.65/16.43	c  S st    18     30503      9238     15111     14150     14219     98836    409187   no data   no data
378.65/16.44	c x-sub:  1771 x-cut:      0 vfix:      0 v-elim:    432 locsubst:     0 time:   0.01
400.43/17.17	c Flit:    64 Blit:     11 bXBeca:    0 bXProp:   24 Bins:  95022 BRemL:  62797 BRemN:     10 P:  7.7M T:  0.72
400.43/17.19	c Replacing       24 vars Replaced     4288 lits Time:     0.02 s 
403.63/17.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
403.63/17.21	c bin-w-bin subsume rem          408 bins  time:  0.00 s
403.63/17.22	c subs with bin:      667  lits-rem:       455  v-fix:    0  time:  0.01 s
403.63/17.24	c Subs w/ non-existent bins:      0 l-rem:      9 v-fix:     0 done:   8707 time:  0.02 s
403.63/17.25	c Removed useless bin:      51  fixed:     0  props:   0.27M  time:  0.01 s
406.83/17.30	c lits-rem:       199  cl-subs:      199  v-elim:   1494  v-fix:    0  time:  0.05 s
406.83/17.33	c subs with bin:      213  lits-rem:      2051  v-fix:    0  time:  0.02 s
406.83/17.37	c lits-rem:       208  cl-subs:      874  v-elim:      0  v-fix:    0  time:  0.03 s
413.83/17.61	c asymm  cl-useful: 179/14649/14649 lits-rem:713 time: 0.24
413.83/17.61	c calculated reachability. Time: 0.00
413.83/17.61	c  N st    18     30503      7213     14649     35548      4403     86584    128371   no data   no data
432.38/18.17	c Finding binary XORs  T:     0.04 s  found:       0
457.94/18.96	c  N st    20     37615      7207     14645     35463      7494     86370    409717   no data   no data
502.69/20.35	c  N st    21     44018      7206     14645     96521     13783     86370   1029229   no data   no data
502.69/20.39	c Finding binary XORs  T:     0.03 s  found:       0
515.46/20.78	c  S st    22     45754      7205     14641     95004      8350     86280    443808   no data   no data
522.46/20.92	c  S st    22     46255      7205     14641     95017      8836     86280    456950   no data   no data
522.46/20.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    216 locsubst:     0 time:   0.01
531.40/21.27	c Flit:    18 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   1753 BRemL:  32190 BRemN:     77 P:  3.6M T:  0.33
531.40/21.28	c Replacing        9 vars Replaced      187 lits Time:     0.01 s 
531.40/21.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
531.40/21.30	c bin-w-bin subsume rem         6788 bins  time:  0.00 s
534.60/21.31	c subs with bin:       75  lits-rem:        43  v-fix:    0  time:  0.01 s
534.60/21.32	c Subs w/ non-existent bins:      0 l-rem:     35 v-fix:     0 done:   6962 time:  0.01 s
534.60/21.32	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
534.60/21.34	c lits-rem:         0  cl-subs:       36  v-elim:     37  v-fix:    0  time:  0.02 s
534.60/21.39	c subs with bin:        1  lits-rem:        75  v-fix:    0  time:  0.04 s
537.80/21.44	c lits-rem:       144  cl-subs:      318  v-elim:      0  v-fix:    0  time:  0.04 s
537.80/21.44	c vivif2 --  cl tried    14482 cl shrink      116 lits rem        282 time: 0.01
537.80/21.45	c vivif2 --  cl tried     6307 cl shrink      451 lits rem       1039 time: 0.01
544.19/21.68	c asymm  cl-useful: 64/14456/14456 lits-rem:160 time: 0.23
544.19/21.69	c calculated reachability. Time: 0.00
544.19/21.69	c  N st    22     46255      6925     14456     30928      6304     84499    197340   no data   no data
646.47/24.80	c  N st    23     60655      6925     14456     30928     12255     84499    559575   no data   no data
646.47/24.84	c Finding binary XORs  T:     0.03 s  found:       3
703.99/26.63	c  N st    24     69382      6923     14453     31363     20479     84378    830457   no data   no data
703.99/26.63	c  S st    24     69382      6923     14453     31363     20479     84378    830457   no data   no data
710.39/26.85	c  S st    24     69885      6922     14453     32729     10865     84378    317102   no data   no data
710.39/26.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    108 locsubst:     0 time:   0.01
719.99/27.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:   1377 BRemN:      2 P:  3.7M T:  0.24
719.99/27.12	c Replacing        3 vars Replaced      185 lits Time:     0.01 s 
719.99/27.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
719.99/27.13	c bin-w-bin subsume rem          534 bins  time:  0.00 s
719.99/27.14	c subs with bin:       18  lits-rem:        20  v-fix:    0  time:  0.01 s
719.99/27.15	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   6811 time:  0.01 s
719.99/27.15	c Removed useless bin:       5  fixed:     0  props:   0.18M  time:  0.00 s
719.99/27.17	c lits-rem:         1  cl-subs:       66  v-elim:     46  v-fix:    0  time:  0.02 s
723.18/27.26	c subs with bin:        3  lits-rem:       491  v-fix:    0  time:  0.06 s
726.38/27.32	c lits-rem:       227  cl-subs:      339  v-elim:      0  v-fix:    0  time:  0.06 s
726.38/27.33	c vivif2 --  cl tried    14377 cl shrink       46 lits rem         63 time: 0.00
726.38/27.34	c vivif2 --  cl tried    10219 cl shrink      786 lits rem       2236 time: 0.01
733.36/27.56	c asymm  cl-useful: 346/14377/14377 lits-rem:926 time: 0.22
733.36/27.57	c calculated reachability. Time: 0.00
733.36/27.57	c  N st    24     69885      6765     14124     30368     10219     83182    289659   no data   no data
876.57/32.02	c  F st    25     87500      6765     14124     30368     15929     83182    688147   no data   no data
876.57/32.04	c  N st    25     87500      6765     14123     29867     15928     83169    687143   no data   no data
876.57/32.08	c Finding binary XORs  T:     0.03 s  found:     103
876.57/32.10	c Replacing      103 vars Replaced     2414 lits Time:     0.01 s 
918.12/33.34	c Decided on static restart strategy
941.10/34.06	c  N st    32     95544      6657     14116     30501     23781     82843   1085463   no data   no data
1004.41/36.02	c  N st    34    104829      6653     14116     31037     19803     82843    734630   no data   no data
1004.41/36.02	c  S st    34    104829      6653     14116     31037     19803     82843    734630   no data   no data
1004.41/36.06	c Finding binary XORs  T:     0.03 s  found:       1
1007.61/36.22	c  S st    34    105329      6649     14107     29822     20289     82583    743190   no data   no data
1011.43/36.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1020.42/36.50	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    2 Bins:    250 BRemL:   1460 BRemN:      1 P:  4.6M T:  0.28
1020.42/36.54	c Replacing        3 vars Replaced     2933 lits Time:     0.03 s 
1020.42/36.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1020.42/36.55	c bin-w-bin subsume rem          730 bins  time:  0.00 s
1020.42/36.56	c subs with bin:      134  lits-rem:       149  v-fix:    0  time:  0.01 s
1020.42/36.57	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   6645 time:  0.01 s
1020.42/36.58	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
1023.61/36.60	c lits-rem:        20  cl-subs:      217  v-elim:     50  v-fix:    0  time:  0.02 s
1033.18/36.91	c subs with bin:       62  lits-rem:      3096  v-fix:    0  time:  0.26 s
1042.77/37.27	c lits-rem:      1206  cl-subs:      773  v-elim:      0  v-fix:    0  time:  0.35 s
1042.77/37.27	c vivif2 --  cl tried    13738 cl shrink        3 lits rem          3 time: 0.01
1042.77/37.31	c vivif2 --  cl tried    18908 cl shrink     3024 lits rem      13018 time: 0.04
1052.34/37.58	c asymm  cl-useful: 43/13738/13738 lits-rem:77 time: 0.27
1052.34/37.59	c calculated reachability. Time: 0.00
1052.34/37.59	c  N st    34    105329      6595     13734     25279     18908     80886    670561   no data   no data
1141.85/40.31	c  N st    35    114929      6595     13734     25280     28329     80886   1144152   no data   no data
1279.32/44.62	c  N st    36    129326      6592     13734     25874     28561     80886   1610612   no data   no data
1279.32/44.67	c Finding binary XORs  T:     0.03 s  found:       1
1477.48/50.85	c  N st    37    150921      6590     13727     25298     17950     80723    492547   no data   no data
1477.48/50.89	c Finding binary XORs  T:     0.03 s  found:       0
1538.81/52.73	c  S st    38    157994      6587     13725     26023     24826     80648    963011   no data   no data
1544.61/52.96	c  S st    38    158495      6586     13725     26069     25326     80648    973521   no data   no data
1544.61/52.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1554.20/53.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    984 BRemL:   4878 BRemN:      2 P:  5.1M T:  0.30
1554.20/53.30	c Replacing        4 vars Replaced     1218 lits Time:     0.02 s 
1557.40/53.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1557.40/53.31	c bin-w-bin subsume rem          570 bins  time:  0.00 s
1557.40/53.32	c subs with bin:       22  lits-rem:        41  v-fix:    0  time:  0.01 s
1557.40/53.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6582 time:  0.01 s
1557.40/53.33	c Removed useless bin:       1  fixed:     0  props:   0.18M  time:  0.01 s
1557.40/53.36	c lits-rem:         0  cl-subs:       15  v-elim:     24  v-fix:    0  time:  0.03 s
1567.00/53.66	c subs with bin:       19  lits-rem:       955  v-fix:    0  time:  0.24 s
1586.16/54.29	c lits-rem:       531  cl-subs:      939  v-elim:      0  v-fix:    0  time:  0.63 s
1586.16/54.29	c vivif2 --  cl tried    13658 cl shrink        1 lits rem          1 time: 0.00
1589.36/54.35	c vivif2 --  cl tried    23196 cl shrink     4875 lits rem      31599 time: 0.06
1598.96/54.67	c asymm  cl-useful: 30/13657/13657 lits-rem:66 time: 0.32
1598.96/54.68	c calculated reachability. Time: 0.00
1598.96/54.68	c  N st    38    158495      6558     13650     21334     23196     80155    795605   no data   no data
2059.19/69.03	c  N st    39    207083      6558     13650     21336     36583     80155   3016710   no data   no data
2059.19/69.09	c Finding binary XORs  T:     0.03 s  found:       4
2356.42/78.31	c  N st    40    237742      6553     13647     22293     26794     79981    896123   no data   no data
2356.42/78.31	c  S st    40    237742      6553     13647     22293     26794     79981    896123   no data   no data
2356.42/78.36	c Finding binary XORs  T:     0.03 s  found:       1
2362.82/78.55	c  S st    40    238245      6552     13646     22582     27288     79967    910791   no data   no data
2362.82/78.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2372.41/78.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    191 BRemL:   3169 BRemN:      5 P:  5.3M T:  0.31
2372.41/78.89	c Replacing        5 vars Replaced      827 lits Time:     0.01 s 
2372.41/78.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2375.61/78.90	c bin-w-bin subsume rem          353 bins  time:  0.00 s
2375.61/78.91	c subs with bin:       16  lits-rem:         8  v-fix:    0  time:  0.01 s
2375.61/78.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6547 time:  0.01 s
2375.61/78.93	c Removed useless bin:       3  fixed:     0  props:   0.17M  time:  0.01 s
2375.61/78.95	c lits-rem:         0  cl-subs:        5  v-elim:      1  v-fix:    0  time:  0.03 s
2385.83/79.25	c subs with bin:       18  lits-rem:       521  v-fix:    0  time:  0.24 s
2407.56/79.91	c lits-rem:       689  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  0.66 s
2407.56/79.92	c vivif2 --  cl tried    13623 cl shrink        0 lits rem          0 time: 0.01
2407.56/79.98	c vivif2 --  cl tried    26041 cl shrink     4264 lits rem      17456 time: 0.06
2420.98/80.32	c asymm  cl-useful: 24/13623/13623 lits-rem:54 time: 0.35
2420.98/80.33	c calculated reachability. Time: 0.00
2420.98/80.33	c  N st    40    238245      6546     13622     19241     26041     79837    840625   no data   no data
2420.98/80.36	c Finding binary XORs  T:     0.03 s  found:       0
3216.23/105.22	c  F st    41    306251      6546     13622     19241     26250     79837    892028   no data   no data
3216.23/105.23	c  N st    41    306251      6546     13622     19241     26250     79837    892028   no data   no data
3216.23/105.28	c Finding binary XORs  T:     0.03 s  found:       9
3264.81/106.72	c Decided on static restart strategy
3481.52/113.57	c  N st    51    334564      6543     13619     20285     29821     79755    998481   no data   no data
3759.60/122.25	c  N st    53    357368      6542     13619     20359     26854     79755    807475   no data   no data
3759.60/122.25	c  S st    53    357368      6542     13619     20359     26854     79755    807475   no data   no data
3759.60/122.29	c Finding binary XORs  T:     0.03 s  found:       2
3769.17/122.51	c  S st    53    357870      6542     13617     20317     27317     79687    816847   no data   no data
3769.17/122.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3778.76/122.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    106 BRemL:   2193 BRemN:      1 P:  5.0M T:  0.30
3778.76/122.83	c Replacing       14 vars Replaced     1651 lits Time:     0.01 s 
3778.76/122.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3778.76/122.85	c bin-w-bin subsume rem          192 bins  time:  0.00 s
3778.76/122.85	c subs with bin:       39  lits-rem:        60  v-fix:    0  time:  0.01 s
3778.76/122.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6528 time:  0.01 s
3778.76/122.87	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
3781.96/122.90	c lits-rem:         2  cl-subs:       33  v-elim:     10  v-fix:    0  time:  0.03 s
3788.94/123.15	c subs with bin:       27  lits-rem:      2226  v-fix:    0  time:  0.20 s
3797.92/123.46	c lits-rem:      1677  cl-subs:      405  v-elim:      0  v-fix:    0  time:  0.31 s
3797.92/123.47	c vivif2 --  cl tried    13533 cl shrink        0 lits rem          0 time: 0.01
3801.13/123.51	c vivif2 --  cl tried    26292 cl shrink     2456 lits rem       9963 time: 0.04
3810.72/123.83	c asymm  cl-useful: 26/13533/13533 lits-rem:51 time: 0.31
3810.72/123.83	c calculated reachability. Time: 0.00
3810.72/123.83	c  N st    53    357870      6518     13533     17295     26292     79354    752822   no data   no data
4207.10/136.27	c  N st    54    390262      6518     13533     17295     32095     79354   1058534   no data   no data
4210.89/136.32	c Finding binary XORs  T:     0.03 s  found:       0
4776.70/154.04	c  N st    55    438852      6516     13531     17263     52233     79290   1636044   no data   no data
5568.82/178.89	c  N st    56    511736      6516     13531     17315     37014     79290   1121939   no data   no data
5572.02/178.93	c Finding binary XORs  T:     0.03 s  found:       0
5859.66/187.95	c  N st    57    536808      6515     13529     17367     61057     79222   2274056   no data   no data
5859.66/187.95	c  S st    57    536808      6515     13529     17367     61057     79222   2274056   no data   no data
5872.43/188.31	c  S st    57    537312      6515     13529     17432     61559     79222   2284674   no data   no data
5872.43/188.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5885.22/188.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      5 BRemL:    211 BRemN:      2 P:  7.9M T:  0.44
5885.22/188.79	c Replacing        1 vars Replaced       30 lits Time:     0.02 s 
5888.42/188.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5888.42/188.80	c bin-w-bin subsume rem           59 bins  time:  0.00 s
5888.42/188.81	c subs with bin:        7  lits-rem:         6  v-fix:    0  time:  0.01 s
5888.42/188.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6514 time:  0.01 s
5888.42/188.83	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
5888.42/188.87	c lits-rem:         0  cl-subs:        8  v-elim:      2  v-fix:    0  time:  0.05 s
5923.59/189.90	c subs with bin:      188  lits-rem:      2787  v-fix:    0  time:  0.88 s
6105.79/195.64	c lits-rem:      3218  cl-subs:     4871  v-elim:      0  v-fix:    0  time:  5.73 s
6105.79/195.64	c vivif2 --  cl tried    13511 cl shrink        0 lits rem          0 time: 0.00
6112.80/195.84	c vivif2 --  cl tried    54759 cl shrink    16918 lits rem      72449 time: 0.19
6128.16/196.37	c asymm  cl-useful: 50/8234/13511 lits-rem:62 time: 0.54
6128.16/196.38	c calculated reachability. Time: 0.00
6128.16/196.38	c  N st    57    537312      6512     13511     17168     54759     79079   1978720   no data   no data
8676.34/276.09	c  N st    58    701297      6512     13511     17168     50453     79079   1498774   no data   no data
8679.57/276.14	c Finding binary XORs  T:     0.03 s  found:       2
10107.80/320.89	c  N st    59    805969      6505     13505     16758     43313     78934   1184159   no data   no data
10107.80/320.89	c  S st    59    805969      6505     13505     16758     43313     78934   1184159   no data   no data
10110.99/320.94	c Finding binary XORs  T:     0.03 s  found:       2
10121.17/321.25	c  S st    59    806470      6499     13499     16813     43546     78768   1190331   no data   no data
10121.17/321.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
10133.37/321.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:    179 BRemL:    435 BRemN:      0 P:  6.2M T:  0.35
10133.37/321.68	c Replacing       20 vars Replaced    25056 lits Time:     0.06 s 
10133.37/321.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10133.37/321.69	c bin-w-bin subsume rem           61 bins  time:  0.00 s
10133.37/321.70	c subs with bin:       64  lits-rem:        30  v-fix:    0  time:  0.01 s
10136.57/321.71	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   6479 time:  0.01 s
10136.57/321.71	c Removed useless bin:       2  fixed:     0  props:   0.17M  time:  0.01 s
10136.57/321.75	c lits-rem:         1  cl-subs:       39  v-elim:     10  v-fix:    0  time:  0.04 s
10165.33/322.61	c subs with bin:     1861  lits-rem:     10997  v-fix:    0  time:  0.79 s
10194.06/323.54	c lits-rem:      1500  cl-subs:     1482  v-elim:      0  v-fix:    0  time:  0.93 s
10194.06/323.55	c vivif2 --  cl tried    13349 cl shrink        0 lits rem          0 time: 0.00
10197.26/323.62	c vivif2 --  cl tried    36363 cl shrink     5820 lits rem      18981 time: 0.07
10200.46/323.80	c asymm  cl-useful: 1/5115/13349 lits-rem:3 time: 0.18
10203.69/323.80	c calculated reachability. Time: 0.00
10203.69/323.80	c  N st    59    806470      6469     13348     15987     36361     78181    915313   no data   no data
14557.28/460.08	c  F st    60   1071876      6469     13348     15989     52874     78181   1487166   no data   no data
14557.28/460.09	c  N st    60   1071876      6469     13348     15989     52874     78181   1487166   no data   no data
14560.48/460.14	c Finding binary XORs  T:     0.03 s  found:       8
14637.21/462.56	c Decided on static restart strategy
15027.16/474.72	c  N st    70   1100177      6467     13347     16641     80151     78168   2437885   no data   no data
15027.16/474.77	c Finding binary XORs  T:     0.03 s  found:       0
15608.91/492.98	c  N st    72   1136171      6465     13344     16668     70375     78132   2029461   no data   no data
15612.11/493.04	c Finding binary XORs  T:     0.03 s  found:       8
16088.38/507.98	c  N st    73   1168563      6464     13336     16616     56080     78071   1630841   no data   no data
16091.58/508.03	c Finding binary XORs  T:     0.03 s  found:       1
16708.48/527.31	c  N st    74   1209705      6463     13335     16559     49724     78060   1336127   no data   no data
16708.48/527.31	c  S st    74   1209705      6463     13335     16559     49724     78060   1336127   no data   no data
16708.48/527.37	c Finding binary XORs  T:     0.03 s  found:       0
16721.27/527.73	c  S st    74   1210207      6461     13333     16509     50200     78033   1346627   no data   no data
16721.27/527.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
16737.24/528.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     14 BRemL:    880 BRemN:      0 P:  7.9M T:  0.46
16737.24/528.28	c Replacing       21 vars Replaced    16782 lits Time:     0.06 s 
16737.24/528.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16737.24/528.29	c bin-w-bin subsume rem          168 bins  time:  0.00 s
16737.24/528.29	c subs with bin:       68  lits-rem:        43  v-fix:    0  time:  0.01 s
16740.44/528.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6440 time:  0.01 s
16740.44/528.31	c Removed useless bin:       2  fixed:     0  props:   0.16M  time:  0.01 s
16740.44/528.36	c lits-rem:         4  cl-subs:       22  v-elim:     10  v-fix:    0  time:  0.05 s
16759.63/528.98	c subs with bin:      831  lits-rem:      9499  v-fix:    0  time:  0.54 s
16798.58/530.16	c lits-rem:      2634  cl-subs:      935  v-elim:      0  v-fix:    0  time:  1.18 s
16798.58/530.17	c vivif2 --  cl tried    13208 cl shrink        2 lits rem          2 time: 0.00
16801.81/530.25	c vivif2 --  cl tried    43997 cl shrink     7055 lits rem      22925 time: 0.09
16820.37/530.86	c asymm  cl-useful: 39/11399/13208 lits-rem:56 time: 0.61
16820.37/530.87	c calculated reachability. Time: 0.00
16820.37/530.87	c  N st    74   1210207      6430     13208     15386     43997     77546   1117602   no data   no data
18108.55/571.12	c  N st    75   1283091      6430     13208     15386     70477     77546   2638276   no data   no data
18108.55/571.18	c Finding binary XORs  T:     0.03 s  found:       1
20087.19/633.05	c  N st    76   1392415      6428     13206     15437     79533     77462   2719809   no data   no data
20090.39/633.12	c Finding binary XORs  T:     0.03 s  found:       1
22737.05/715.96	c  N st    77   1556400      6426     13205     15478     84704     77399   2718263   no data   no data
22737.05/715.99	c Finding binary XORs  T:     0.03 s  found:       1
25281.44/795.50	c  N st    78   1710208      6426     13205     15631     72380     77399   2293847   no data   no data
25281.44/795.50	c  S st    78   1710208      6426     13205     15631     72380     77399   2293847   no data   no data
25281.44/795.54	c Finding binary XORs  T:     0.03 s  found:       0
25294.23/795.93	c  S st    78   1710711      6426     13205     15938     72882     77399   2304988   no data   no data
25294.23/795.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.02
25310.84/796.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:    623 BRemN:      6 P:  9.6M T:  0.53
25313.40/796.52	c Replacing        3 vars Replaced     3482 lits Time:     0.03 s 
25313.40/796.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25313.40/796.53	c bin-w-bin subsume rem           76 bins  time:  0.00 s
25313.40/796.54	c subs with bin:       30  lits-rem:        12  v-fix:    0  time:  0.01 s
25313.40/796.55	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   6422 time:  0.01 s
25313.40/796.55	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
25316.60/796.61	c lits-rem:         0  cl-subs:       17  v-elim:      8  v-fix:    0  time:  0.05 s
25348.56/797.69	c subs with bin:      182  lits-rem:      9381  v-fix:    0  time:  0.94 s
25502.01/802.45	c lits-rem:      5044  cl-subs:     2267  v-elim:      0  v-fix:    0  time:  4.76 s
25502.01/802.46	c vivif2 --  cl tried    13156 cl shrink        0 lits rem          0 time: 0.00
25508.40/802.65	c vivif2 --  cl tried    66558 cl shrink    19163 lits rem      84081 time: 0.19
25511.61/802.76	c asymm  cl-useful: 0/1757/13156 lits-rem:0 time: 0.10
25511.61/802.77	c calculated reachability. Time: 0.00
25511.61/802.77	c  N st    78   1710711      6414     13156     15029     66557     77165   1993227   no data   no data
32994.56/1036.81	c  N st    79   2079676      6414     13156     15031     77350     77165   2402354   no data   no data
32994.56/1036.90	c Finding binary XORs  T:     0.03 s  found:      20
35877.75/1127.01	c  N st    80   2210714      6395     13109     15193     80306     76846   2656277   no data   no data
35877.75/1127.01	c  S st    80   2210714      6395     13109     15193     80306     76846   2656277   no data   no data
35877.75/1127.04	c Finding binary XORs  T:     0.03 s  found:       4
35894.33/1127.56	c  S st    80   2211215      6395     13109     15434     80804     76846   2666416   no data   no data
35894.33/1127.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
35912.88/1128.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     38 BRemL:    525 BRemN:      1 P: 11.3M T:  0.60
35919.28/1128.33	c Replacing       24 vars Replaced    38363 lits Time:     0.15 s 
35919.28/1128.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35919.28/1128.35	c bin-w-bin subsume rem           51 bins  time:  0.00 s
35919.28/1128.35	c subs with bin:       45  lits-rem:        33  v-fix:    0  time:  0.01 s
35919.28/1128.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6371 time:  0.01 s
35919.28/1128.37	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
35922.48/1128.44	c lits-rem:         2  cl-subs:       17  v-elim:     18  v-fix:    0  time:  0.06 s
35986.40/1130.45	c subs with bin:      863  lits-rem:     20130  v-fix:    0  time:  1.85 s
36325.24/1141.00	c lits-rem:      4085  cl-subs:     2653  v-elim:      0  v-fix:    0  time: 10.54 s
36325.24/1141.00	c vivif2 --  cl tried    13010 cl shrink        1 lits rem          1 time: 0.00
36331.63/1141.26	c vivif2 --  cl tried    74152 cl shrink    18852 lits rem     101733 time: 0.25
36354.00/1141.92	c asymm  cl-useful: 23/6568/13010 lits-rem:23 time: 0.66
36354.00/1141.93	c calculated reachability. Time: 0.00
36354.00/1141.93	c  N st    80   2211215      6353     13010     14742     74151     76316   2283500   no data   no data
39384.30/1236.75	c Finding binary XORs  T:     0.03 s  found:       1
47040.49/1476.29	c  N st    81   2711217      6350     13004     14833     94926     76285   3244952   no data   no data
47040.49/1476.29	c  S st    81   2711217      6350     13004     14833     94926     76285   3244952   no data   no data
47043.05/1476.39	c Finding binary XORs  T:     0.03 s  found:       3
47065.44/1477.01	c  S st    81   2711719      6341     12997     15591     90461     76064   3030729   no data   no data
47065.44/1477.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
47094.20/1477.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    244 BRemL:    883 BRemN:      0 P: 12.4M T:  0.88
47097.40/1478.06	c Replacing        4 vars Replaced    17806 lits Time:     0.13 s 
47097.40/1478.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47097.40/1478.07	c bin-w-bin subsume rem           83 bins  time:  0.00 s
47097.40/1478.08	c subs with bin:       15  lits-rem:         9  v-fix:    0  time:  0.01 s
47097.40/1478.09	c Subs w/ non-existent bins:     15 l-rem:      0 v-fix:     0 done:   6337 time:  0.01 s
47100.60/1478.10	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.01 s
47100.60/1478.18	c lits-rem:         0  cl-subs:        9  v-elim:      3  v-fix:    0  time:  0.08 s
47238.06/1482.45	c subs with bin:     1398  lits-rem:     33385  v-fix:    0  time:  4.08 s
47902.92/1503.25	c lits-rem:      5559  cl-subs:     9831  v-elim:      0  v-fix:    0  time: 20.79 s
47902.92/1503.26	c vivif2 --  cl tried    12953 cl shrink       19 lits rem         21 time: 0.01
47912.53/1503.57	c vivif2 --  cl tried    78302 cl shrink    29201 lits rem     137910 time: 0.31
47931.70/1504.17	c asymm  cl-useful: 0/6385/12953 lits-rem:0 time: 0.60
47931.70/1504.18	c calculated reachability. Time: 0.00
47931.70/1504.18	c  N st    81   2711719      6334     12953     14833     78300     75872   2342114   no data   no data
47934.89/1504.21	c Finding binary XORs  T:     0.03 s  found:       0
48558.23/1523.77	c Finding binary XORs  T:     0.03 s  found:       3
50770.18/1593.00	c Finding binary XORs  T:     0.03 s  found:      17
58120.05/1829.50	c Following stats are for *FIRST FINISHED THREAD ONLY*
58120.05/1829.50	c num threads              : 32         
58120.05/1829.50	c restarts                 : 11341      
58120.05/1829.50	c dynamic restarts         : 11311      
58120.05/1829.50	c static restarts          : 30         
58120.05/1829.50	c full restarts            : 4          
58120.05/1829.50	c total simplify time      : 2.32       
58120.05/1829.50	c learnts DL2              : 0          
58120.05/1829.50	c learnts size 2           : 246123     
58120.05/1829.50	c learnts size 1           : 5056        (19.47     % of vars)
58120.05/1829.50	c filedLit time            : 3.98        (0.22      % time)
58120.05/1829.50	c v-elim SatELite          : 8961        (34.50     % vars)
58120.05/1829.50	c SatELite time            : 11.52       (0.63      % time)
58120.05/1829.50	c v-elim xor               : 0           (0.00      % vars)
58120.05/1829.50	c xor elim time            : 0.12        (0.01      % time)
58120.05/1829.50	c num binary xor trees     : 3154       
58120.05/1829.50	c binxor trees' crown      : 6755        (2.14      leafs/tree)
58120.05/1829.50	c bin xor find time        : 0.70       
58120.05/1829.50	c OTF clause improved      : 48557       (0.01      clauses/conflict)
58120.05/1829.50	c OTF impr. size diff      : 57519       (1.18       lits/clause)
58120.05/1829.50	c OTF cl watch-shrink      : 2417557     (0.65      clauses/conflict)
58120.05/1829.50	c OTF cl watch-sh-lit      : 7290655     (3.02       lits/clause)
58120.05/1829.50	c tried to recurMin cls    : 1193180     (32.31      % of conflicts)
58120.05/1829.50	c updated cache            : 81316       (0.07       lits/tried recurMin)
58120.05/1829.50	c unit cls recevied        : 1374        (27.18     % of units)
58120.05/1829.50	c unit cls sent            : 1616        (31.96     % of units)
58120.05/1829.50	c bin cls recevied         : 143495     
58120.05/1829.50	c bin cls sent             : 88823      
58120.05/1829.50	c clauses over max glue    : 0           (0.00      % of all clauses)
58120.05/1829.50	c conflicts                : 3692878     (2021.69   / sec)
58120.05/1829.50	c decisions                : 5297524     (10.15     % random)
58120.05/1829.50	c bogo-props               : 99278324640 (54350618.81 / sec)
58120.05/1829.50	c conflict literals        : 105887461   (40.49     % deleted)
58120.05/1829.50	c Memory used              : 9758.57     MB
58120.05/1829.50	c single-thread CPU time   : 1826.63     s
58120.05/1829.50	c all-threads sum CPU time : 58071.19    s
58120.05/1829.50	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400802-1306799717/watcher-3400802-1306799717 -o /tmp/evaluation-result-3400802-1306799717/solver-3400802-1306799717 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400802-1306799717.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.91 31.63 31.87 3/413 20885
/proc/meminfo: memFree=263620340/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=338000 CPUtime=0.81 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) R 20883 20885 20859 0 -1 4202496 437 0 0 0 81 0 0 0 25 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20885/statm: 84500 377 297 95 0 79482 0
[pid=20885/tid=20886] ppid=20883 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20885/task/20886/stat : 20886 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186934 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20885/tid=20887] ppid=20883 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20885/task/20887/stat : 20887 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20885/tid=20888] ppid=20883 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20885/task/20888/stat : 20888 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20885/tid=20889] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20889/stat : 20889 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20885/tid=20890] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20890/stat : 20890 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20885/tid=20891] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20891/stat : 20891 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186920 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20885/tid=20892] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20892/stat : 20892 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 5937690 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20885/tid=20893] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20893/stat : 20893 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20885/tid=20894] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20894/stat : 20894 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20885/tid=20895] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20895/stat : 20895 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20885/tid=20896] ppid=20883 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20885/task/20896/stat : 20896 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20885/tid=20897] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20897/stat : 20897 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20885/tid=20898] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20898/stat : 20898 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20885/tid=20899] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20899/stat : 20899 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20885/tid=20900] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20900/stat : 20900 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20885/tid=20901] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20901/stat : 20901 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20885/tid=20902] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20902/stat : 20902 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186934 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20885/tid=20903] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20903/stat : 20903 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186920 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20885/tid=20904] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20904/stat : 20904 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20885/tid=20905] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20905/stat : 20905 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186928 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20885/tid=20906] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20906/stat : 20906 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20885/tid=20907] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20907/stat : 20907 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20885/tid=20908] ppid=20883 vsize=338000 CPUtime=0 cores=0-31
/proc/20885/task/20908/stat : 20908 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20885/tid=20909] ppid=20883 vsize=338000 CPUtime=0 cores=0-31
/proc/20885/task/20909/stat : 20909 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20885/tid=20910] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20910/stat : 20910 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20885/tid=20911] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20911/stat : 20911 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186928 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20885/tid=20912] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20912/stat : 20912 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186924 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20885/tid=20914] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20914/stat : 20914 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20885/tid=20915] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20915/stat : 20915 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20885/tid=20916] ppid=20883 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20885/task/20916/stat : 20916 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 5937691 346112000 377 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186930 0 0 4096 2 0 0 0 -1 19 0 0 0

[startup+0.0631801 s]
/proc/loadavg: 29.91 31.63 31.87 3/413 20885
/proc/meminfo: memFree=263620340/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=469072 CPUtime=1.59 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) S 20883 20885 20859 0 -1 4202496 611 0 0 0 158 1 0 0 25 0 32 0 5937690 480329728 459 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20885/statm: 117268 468 315 95 0 112250 0
[pid=20885/tid=20886] ppid=20883 vsize=469072 CPUtime=0.05 cores=0-31
/proc/20885/task/20886/stat : 20886 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 7 0 0 0 5 0 0 0 24 0 32 0 5937690 480329728 471 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604459730263520 0 0 -1 1 0 0 0
[pid=20885/tid=20887] ppid=20883 vsize=469072 CPUtime=0.05 cores=0-31
/proc/20885/task/20887/stat : 20887 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 5 0 0 0 24 0 32 0 5937690 480329728 471 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604453983108576 0 0 -1 2 0 0 0
[pid=20885/tid=20888] ppid=20883 vsize=469080 CPUtime=0.05 cores=0-31
/proc/20885/task/20888/stat : 20888 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 9 0 0 0 5 0 0 0 24 0 32 0 5937690 480337920 473 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20885/tid=20889] ppid=20883 vsize=469080 CPUtime=0.04 cores=0-31
/proc/20885/task/20889/stat : 20889 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 4 0 0 0 4 0 0 0 24 0 32 0 5937690 480337920 474 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604632777227744 0 0 -1 25 0 0 0
[pid=20885/tid=20890] ppid=20883 vsize=469084 CPUtime=0.05 cores=0-31
/proc/20885/task/20890/stat : 20890 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 24 0 32 0 5937690 480342016 474 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604642901392864 0 0 -1 22 0 0 0
[pid=20885/tid=20891] ppid=20883 vsize=469088 CPUtime=0.05 cores=0-31
/proc/20885/task/20891/stat : 20891 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 24 0 32 0 5937690 480346112 476 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604591400639968 0 0 -1 18 0 0 0
[pid=20885/tid=20892] ppid=20883 vsize=469088 CPUtime=0.05 cores=0-31
/proc/20885/task/20892/stat : 20892 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 5 0 0 0 24 0 32 0 5937690 480346112 477 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604633009241568 0 0 -1 14 0 0 0
[pid=20885/tid=20893] ppid=20883 vsize=534624 CPUtime=0.05 cores=0-31
/proc/20885/task/20893/stat : 20893 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547454976 477 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604594112978400 0 0 -1 5 0 0 0
[pid=20885/tid=20894] ppid=20883 vsize=534624 CPUtime=0.05 cores=0-31
/proc/20885/task/20894/stat : 20894 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547454976 481 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604493917044192 0 0 -1 3 0 0 0
[pid=20885/tid=20895] ppid=20883 vsize=534624 CPUtime=0.04 cores=0-31
/proc/20885/task/20895/stat : 20895 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 14 0 0 0 4 0 0 0 25 0 32 0 5937691 547454976 492 268435456000 4194304 4580107 140736626519488 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20885/tid=20896] ppid=20883 vsize=534628 CPUtime=0.03 cores=0-31
/proc/20885/task/20896/stat : 20896 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 5937691 547459072 494 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604504095522272 0 0 -1 27 0 0 0
[pid=20885/tid=20897] ppid=20883 vsize=469096 CPUtime=0.05 cores=0-31
/proc/20885/task/20897/stat : 20897 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 8 0 0 0 5 0 0 0 25 0 32 0 5937691 480354304 502 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20885/tid=20898] ppid=20883 vsize=469096 CPUtime=0.05 cores=0-31
/proc/20885/task/20898/stat : 20898 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 9 0 0 0 5 0 0 0 18 0 32 0 5937691 480354304 504 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20885/tid=20899] ppid=20883 vsize=600168 CPUtime=0.05 cores=0-31
/proc/20885/task/20899/stat : 20899 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 9 0 0 0 5 0 0 0 25 0 32 0 5937691 614572032 508 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20885/tid=20900] ppid=20883 vsize=534636 CPUtime=0.05 cores=0-31
/proc/20885/task/20900/stat : 20900 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547467264 518 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 9 0 0 0
[pid=20885/tid=20901] ppid=20883 vsize=534636 CPUtime=0.05 cores=0-31
/proc/20885/task/20901/stat : 20901 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547467264 525 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604499985087968 0 0 -1 7 0 0 0
[pid=20885/tid=20902] ppid=20883 vsize=534636 CPUtime=0.05 cores=0-31
/proc/20885/task/20902/stat : 20902 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 4 0 0 0 5 0 0 0 25 0 32 0 5937691 547467264 525 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604455492599264 0 0 -1 13 0 0 0
[pid=20885/tid=20903] ppid=20883 vsize=534636 CPUtime=0.05 cores=0-31
/proc/20885/task/20903/stat : 20903 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547467264 585 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604641351441888 0 0 -1 11 0 0 0
[pid=20885/tid=20904] ppid=20883 vsize=534636 CPUtime=0.05 cores=0-31
/proc/20885/task/20904/stat : 20904 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 25 0 0 0 5 0 0 0 25 0 32 0 5937691 547467264 641 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20885/tid=20905] ppid=20883 vsize=534640 CPUtime=0.05 cores=0-31
/proc/20885/task/20905/stat : 20905 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 5937691 547471360 644 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604591400615392 0 0 -1 8 0 0 0
[pid=20885/tid=20906] ppid=20883 vsize=534640 CPUtime=0.05 cores=0-31
/proc/20885/task/20906/stat : 20906 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 42 0 0 0 5 0 0 0 25 0 32 0 5937691 547471360 704 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20885/tid=20907] ppid=20883 vsize=534644 CPUtime=0.04 cores=0-31
/proc/20885/task/20907/stat : 20907 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 5937691 547475456 713 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604506447822304 0 0 -1 31 0 0 0
[pid=20885/tid=20908] ppid=20883 vsize=534644 CPUtime=0 cores=0-31
/proc/20885/task/20908/stat : 20908 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 32 0 5937691 547475456 713 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604492444343776 0 0 -1 30 0 0 0
[pid=20885/tid=20909] ppid=20883 vsize=534644 CPUtime=0.03 cores=0-31
/proc/20885/task/20909/stat : 20909 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 47 0 0 0 3 0 0 0 18 0 32 0 5937691 547475456 716 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20885/tid=20910] ppid=20883 vsize=534644 CPUtime=0.04 cores=0-31
/proc/20885/task/20910/stat : 20910 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 5937691 547475456 717 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604639125716448 0 0 -1 10 0 0 0
[pid=20885/tid=20911] ppid=20883 vsize=534648 CPUtime=0.04 cores=0-31
/proc/20885/task/20911/stat : 20911 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 5937691 547479552 722 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604552364899808 0 0 -1 26 0 0 0
[pid=20885/tid=20912] ppid=20883 vsize=534648 CPUtime=0.04 cores=0-31
/proc/20885/task/20912/stat : 20912 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 5937691 547479552 724 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604452996365792 0 0 -1 21 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=534648 CPUtime=0.04 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 5937691 547479552 726 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604458995383776 0 0 -1 29 0 0 0
[pid=20885/tid=20914] ppid=20883 vsize=534648 CPUtime=0.05 cores=0-31
/proc/20885/task/20914/stat : 20914 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 6 0 0 0 5 0 0 0 25 0 32 0 5937691 547479552 728 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20885/tid=20915] ppid=20883 vsize=534648 CPUtime=0.05 cores=0-31
/proc/20885/task/20915/stat : 20915 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 6 0 0 0 5 0 0 0 25 0 32 0 5937691 547479552 729 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20885/tid=20916] ppid=20883 vsize=665720 CPUtime=0.05 cores=0-31
/proc/20885/task/20916/stat : 20916 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 6 0 0 0 5 0 0 0 25 0 32 0 5937691 681697280 730 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 469072

[startup+0.103079 s]
/proc/loadavg: 29.91 31.63 31.87 3/413 20885
/proc/meminfo: memFree=263620340/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=863640 CPUtime=2.41 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) S 20883 20885 20859 0 -1 4202496 9304 0 0 0 159 82 0 0 25 0 32 0 5937690 884367360 9149 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20885/statm: 215910 9157 331 95 0 210892 0
[pid=20885/tid=20886] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20886/stat : 20886 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 258 0 0 0 5 2 0 0 24 0 32 0 5937690 884367360 9173 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20885/tid=20887] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20887/stat : 20887 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 276 0 0 0 5 2 0 0 17 0 32 0 5937690 884367360 9175 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20885/tid=20888] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20888/stat : 20888 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 305 0 0 0 5 2 0 0 17 0 32 0 5937690 884367360 9181 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604632777227744 0 0 -1 4 0 0 0
[pid=20885/tid=20889] ppid=20883 vsize=863640 CPUtime=0.06 cores=0-31
/proc/20885/task/20889/stat : 20889 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 5937690 884367360 9187 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20885/tid=20890] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20890/stat : 20890 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 300 0 0 0 5 2 0 0 18 0 32 0 5937690 884367360 9195 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20885/tid=20891] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20891/stat : 20891 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 5937690 884367360 9204 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604582385958368 0 0 -1 18 0 0 0
[pid=20885/tid=20892] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20892/stat : 20892 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 317 0 0 0 5 2 0 0 24 0 32 0 5937690 884367360 9207 268435456000 4194304 4580107 140736626519488 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20885/tid=20893] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20893/stat : 20893 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 268 0 0 0 5 2 0 0 25 0 32 0 5937691 884367360 9214 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744071566929224 0 0 -1 5 0 0 0
[pid=20885/tid=20894] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20894/stat : 20894 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 280 0 0 0 5 2 0 0 25 0 32 0 5937691 884367360 9226 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20885/tid=20895] ppid=20883 vsize=863640 CPUtime=0.06 cores=0-31
/proc/20885/task/20895/stat : 20895 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 297 0 0 0 4 2 0 0 17 0 32 0 5937691 884367360 9230 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20885/tid=20896] ppid=20883 vsize=863640 CPUtime=0.05 cores=0-31
/proc/20885/task/20896/stat : 20896 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 5937691 884367360 9231 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604493917044192 0 0 -1 27 0 0 0
[pid=20885/tid=20897] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20897/stat : 20897 (strangenight2-m) D 20883 20885 20859 0 -1 4202560 312 0 0 0 5 2 0 0 18 0 32 0 5937691 884367360 9235 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20885/tid=20898] ppid=20883 vsize=863640 CPUtime=0.07 cores=0-31
/proc/20885/task/20898/stat : 20898 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 270 0 0 0 5 2 0 0 17 0 32 0 5937691 884367360 9245 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20885/tid=20899] ppid=20883 vsize=863772 CPUtime=0.07 cores=0-31
/proc/20885/task/20899/stat : 20899 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 283 0 0 0 5 2 0 0 17 0 32 0 5937691 884502528 9249 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446604632777227744 0 0 -1 24 0 0 0
[pid=20885/tid=20900] ppid=20883 vsize=863772 CPUtime=0.07 cores=0-31
/proc/20885/task/20900/stat : 20900 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 271 0 0 0 5 2 0 0 17 0 32 0 5937691 884502528 9257 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20885/tid=20901] ppid=20883 vsize=863772 CPUtime=0.07 cores=0-31
/proc/20885/task/20901/stat : 20901 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 267 0 0 0 5 2 0 0 25 0 32 0 5937691 884502528 9264 268435456000 4194304 4580107 140736626519488 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 7 0 0 0
[pid=20885/tid=20902] ppid=20883 vsize=863772 CPUtime=0.07 cores=0-31

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

/proc/20885/stat : 20885 (strangenight2-m) S 20883 20885 20859 0 -1 4202496 5293191 0 0 0 5806958 4887 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20885/statm: 2498193 1747112 428 95 0 2493175 0
[pid=20885/tid=20886] ppid=20883 vsize=9992772 CPUtime=1817.3 cores=0-31
/proc/20885/task/20886/stat : 20886 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 186832 0 0 0 181559 171 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604632777227744 0 0 -1 1 0 0 0
[pid=20885/tid=20887] ppid=20883 vsize=9992772 CPUtime=1817.29 cores=0-31
/proc/20885/task/20887/stat : 20887 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 146216 0 0 0 181581 148 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604499985087968 0 0 -1 7 0 0 0
[pid=20885/tid=20888] ppid=20883 vsize=9992772 CPUtime=1817.08 cores=0-31
/proc/20885/task/20888/stat : 20888 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 193339 0 0 0 181539 169 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604504095522272 0 0 -1 24 0 0 0
[pid=20885/tid=20889] ppid=20883 vsize=9992772 CPUtime=1817.3 cores=0-31
/proc/20885/task/20889/stat : 20889 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 178009 0 0 0 181565 165 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604453983108576 0 0 -1 21 0 0 0
[pid=20885/tid=20890] ppid=20883 vsize=9992772 CPUtime=1817.14 cores=0-31
/proc/20885/task/20890/stat : 20890 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 204712 0 0 0 181536 178 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604493917044192 0 0 -1 18 0 0 0
[pid=20885/tid=20891] ppid=20883 vsize=9992772 CPUtime=1817.18 cores=0-31
/proc/20885/task/20891/stat : 20891 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 225248 0 0 0 181533 185 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604502321200608 0 0 -1 10 0 0 0
[pid=20885/tid=20892] ppid=20883 vsize=9992772 CPUtime=1817.87 cores=0-31
/proc/20885/task/20892/stat : 20892 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 157371 0 0 0 181646 141 0 0 25 0 32 0 5937690 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604582385958368 0 0 -1 22 0 0 0
[pid=20885/tid=20893] ppid=20883 vsize=9992772 CPUtime=1817.23 cores=0-31
/proc/20885/task/20893/stat : 20893 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 142324 0 0 0 181578 145 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604633009241568 0 0 -1 25 0 0 0
[pid=20885/tid=20894] ppid=20883 vsize=9992772 CPUtime=1817.13 cores=0-31
/proc/20885/task/20894/stat : 20894 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 166632 0 0 0 181553 160 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604594112978400 0 0 -1 23 0 0 0
[pid=20885/tid=20895] ppid=20883 vsize=9992772 CPUtime=1817.02 cores=0-31
/proc/20885/task/20895/stat : 20895 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 173458 0 0 0 181552 150 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604639125716448 0 0 -1 12 0 0 0
[pid=20885/tid=20896] ppid=20883 vsize=9992772 CPUtime=1817.11 cores=0-31
/proc/20885/task/20896/stat : 20896 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 149317 0 0 0 181565 146 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604552364899808 0 0 -1 15 0 0 0
[pid=20885/tid=20897] ppid=20883 vsize=9992772 CPUtime=1816.97 cores=0-31
/proc/20885/task/20897/stat : 20897 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 146737 0 0 0 181542 155 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604458995383776 0 0 -1 4 0 0 0
[pid=20885/tid=20898] ppid=20883 vsize=9992772 CPUtime=1816.52 cores=0-31
/proc/20885/task/20898/stat : 20898 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 163233 0 0 0 181504 148 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604506447822304 0 0 -1 28 0 0 0
[pid=20885/tid=20899] ppid=20883 vsize=9992772 CPUtime=1820.43 cores=0-31
/proc/20885/task/20899/stat : 20899 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 118446 0 0 0 181919 124 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604642901392864 0 0 -1 20 0 0 0
[pid=20885/tid=20900] ppid=20883 vsize=9992772 CPUtime=1816.95 cores=0-31
/proc/20885/task/20900/stat : 20900 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 153149 0 0 0 181548 147 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604459730263520 0 0 -1 9 0 0 0
[pid=20885/tid=20901] ppid=20883 vsize=9992772 CPUtime=1817.01 cores=0-31
/proc/20885/task/20901/stat : 20901 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 174310 0 0 0 181546 155 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604591400656352 0 0 -1 17 0 0 0
[pid=20885/tid=20902] ppid=20883 vsize=9992772 CPUtime=1817.04 cores=0-31
/proc/20885/task/20902/stat : 20902 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 181597 0 0 0 181547 157 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604455492599264 0 0 -1 27 0 0 0
[pid=20885/tid=20903] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20903/stat : 20903 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 166898 0 0 0 181550 159 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604448519183840 0 0 -1 3 0 0 0
[pid=20885/tid=20904] ppid=20883 vsize=9992772 CPUtime=1817.03 cores=0-31
/proc/20885/task/20904/stat : 20904 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 180476 0 0 0 181559 144 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604451356327392 0 0 -1 8 0 0 0
[pid=20885/tid=20905] ppid=20883 vsize=9992772 CPUtime=1817.74 cores=0-31
/proc/20885/task/20905/stat : 20905 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 161542 0 0 0 181635 139 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604464134004192 0 0 -1 13 0 0 0
[pid=20885/tid=20906] ppid=20883 vsize=9992772 CPUtime=1815.54 cores=0-31
/proc/20885/task/20906/stat : 20906 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 164187 0 0 0 181396 158 0 0 18 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446744071566929664 0 0 -1 11 0 0 0
[pid=20885/tid=20907] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20907/stat : 20907 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 151294 0 0 0 181559 150 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604591400639968 0 0 -1 14 0 0 0
[pid=20885/tid=20908] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20908/stat : 20908 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 197828 0 0 0 181544 165 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604458828176864 0 0 -1 2 0 0 0
[pid=20885/tid=20909] ppid=20883 vsize=9992772 CPUtime=1816.9 cores=0-31
/proc/20885/task/20909/stat : 20909 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 178734 0 0 0 181522 168 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604499434552800 0 0 -1 19 0 0 0
[pid=20885/tid=20910] ppid=20883 vsize=9992772 CPUtime=1817.91 cores=0-31
/proc/20885/task/20910/stat : 20910 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 158494 0 0 0 181645 146 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604492891921888 0 0 -1 29 0 0 0
[pid=20885/tid=20911] ppid=20883 vsize=9992772 CPUtime=1817.27 cores=0-31
/proc/20885/task/20911/stat : 20911 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 213162 0 0 0 181539 188 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604492444343776 0 0 -1 26 0 0 0
[pid=20885/tid=20912] ppid=20883 vsize=9992772 CPUtime=1824 cores=0-31
/proc/20885/task/20912/stat : 20912 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 170737 0 0 0 182256 144 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=9992772 CPUtime=1817 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 183579 0 0 0 181524 176 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604503909342688 0 0 -1 29 0 0 0
[pid=20885/tid=20914] ppid=20883 vsize=9992772 CPUtime=1768.34 cores=0-31
/proc/20885/task/20914/stat : 20914 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 121845 0 0 0 176700 134 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604452996365792 0 0 -1 31 0 0 0
[pid=20885/tid=20915] ppid=20883 vsize=9992772 CPUtime=1816.99 cores=0-31
/proc/20885/task/20915/stat : 20915 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 160692 0 0 0 181552 147 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604482987138528 0 0 -1 5 0 0 0
[pid=20885/tid=20916] ppid=20883 vsize=9992772 CPUtime=1826.36 cores=0-31
/proc/20885/task/20916/stat : 20916 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 37472 0 0 0 182582 54 0 0 25 0 32 0 5937691 10232598528 1747112 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086161963 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 58118.4
Current children cumulated vsize (KiB) 9992772

[startup+1829.5 s]
/proc/loadavg: 29.76 31.58 31.85 3/445 20976
/proc/meminfo: memFree=256611060/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=9992772 CPUtime=58120.1 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) S 20883 20885 20859 0 -1 4202496 5295008 0 0 0 5807118 4887 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20885/statm: 2498193 1748929 428 95 0 2493175 0
[pid=20885/tid=20886] ppid=20883 vsize=9992772 CPUtime=1817.3 cores=0-31
/proc/20885/task/20886/stat : 20886 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 186832 0 0 0 181559 171 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604632777227744 0 0 -1 1 0 0 0
[pid=20885/tid=20887] ppid=20883 vsize=9992772 CPUtime=1817.29 cores=0-31
/proc/20885/task/20887/stat : 20887 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 146216 0 0 0 181581 148 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604499985087968 0 0 -1 7 0 0 0
[pid=20885/tid=20888] ppid=20883 vsize=9992772 CPUtime=1817.08 cores=0-31
/proc/20885/task/20888/stat : 20888 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 193339 0 0 0 181539 169 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604504095522272 0 0 -1 24 0 0 0
[pid=20885/tid=20889] ppid=20883 vsize=9992772 CPUtime=1817.3 cores=0-31
/proc/20885/task/20889/stat : 20889 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 178009 0 0 0 181565 165 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604453983108576 0 0 -1 21 0 0 0
[pid=20885/tid=20890] ppid=20883 vsize=9992772 CPUtime=1817.14 cores=0-31
/proc/20885/task/20890/stat : 20890 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 204712 0 0 0 181536 178 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604493917044192 0 0 -1 18 0 0 0
[pid=20885/tid=20891] ppid=20883 vsize=9992772 CPUtime=1817.18 cores=0-31
/proc/20885/task/20891/stat : 20891 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 225248 0 0 0 181533 185 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604502321200608 0 0 -1 10 0 0 0
[pid=20885/tid=20892] ppid=20883 vsize=9992772 CPUtime=1817.87 cores=0-31
/proc/20885/task/20892/stat : 20892 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 157371 0 0 0 181646 141 0 0 25 0 32 0 5937690 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604582385958368 0 0 -1 22 0 0 0
[pid=20885/tid=20893] ppid=20883 vsize=9992772 CPUtime=1817.23 cores=0-31
/proc/20885/task/20893/stat : 20893 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 142324 0 0 0 181578 145 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604633009241568 0 0 -1 25 0 0 0
[pid=20885/tid=20894] ppid=20883 vsize=9992772 CPUtime=1817.13 cores=0-31
/proc/20885/task/20894/stat : 20894 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 166632 0 0 0 181553 160 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604594112978400 0 0 -1 23 0 0 0
[pid=20885/tid=20895] ppid=20883 vsize=9992772 CPUtime=1817.02 cores=0-31
/proc/20885/task/20895/stat : 20895 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 173458 0 0 0 181552 150 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604639125716448 0 0 -1 12 0 0 0
[pid=20885/tid=20896] ppid=20883 vsize=9992772 CPUtime=1817.11 cores=0-31
/proc/20885/task/20896/stat : 20896 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 149317 0 0 0 181565 146 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604552364899808 0 0 -1 15 0 0 0
[pid=20885/tid=20897] ppid=20883 vsize=9992772 CPUtime=1816.97 cores=0-31
/proc/20885/task/20897/stat : 20897 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 146737 0 0 0 181542 155 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604458995383776 0 0 -1 4 0 0 0
[pid=20885/tid=20898] ppid=20883 vsize=9992772 CPUtime=1816.52 cores=0-31
/proc/20885/task/20898/stat : 20898 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 163233 0 0 0 181504 148 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604506447822304 0 0 -1 28 0 0 0
[pid=20885/tid=20899] ppid=20883 vsize=9992772 CPUtime=1820.43 cores=0-31
/proc/20885/task/20899/stat : 20899 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 118446 0 0 0 181919 124 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604642901392864 0 0 -1 20 0 0 0
[pid=20885/tid=20900] ppid=20883 vsize=9992772 CPUtime=1816.95 cores=0-31
/proc/20885/task/20900/stat : 20900 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 153149 0 0 0 181548 147 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604459730263520 0 0 -1 9 0 0 0
[pid=20885/tid=20901] ppid=20883 vsize=9992772 CPUtime=1817.01 cores=0-31
/proc/20885/task/20901/stat : 20901 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 174310 0 0 0 181546 155 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604591400656352 0 0 -1 17 0 0 0
[pid=20885/tid=20902] ppid=20883 vsize=9992772 CPUtime=1817.04 cores=0-31
/proc/20885/task/20902/stat : 20902 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 181597 0 0 0 181547 157 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604455492599264 0 0 -1 27 0 0 0
[pid=20885/tid=20903] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20903/stat : 20903 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 166898 0 0 0 181550 159 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604448519183840 0 0 -1 3 0 0 0
[pid=20885/tid=20904] ppid=20883 vsize=9992772 CPUtime=1817.03 cores=0-31
/proc/20885/task/20904/stat : 20904 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 180476 0 0 0 181559 144 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604451356327392 0 0 -1 8 0 0 0
[pid=20885/tid=20905] ppid=20883 vsize=9992772 CPUtime=1817.74 cores=0-31
/proc/20885/task/20905/stat : 20905 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 161542 0 0 0 181635 139 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604464134004192 0 0 -1 13 0 0 0
[pid=20885/tid=20906] ppid=20883 vsize=9992772 CPUtime=1815.54 cores=0-31
/proc/20885/task/20906/stat : 20906 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 164187 0 0 0 181396 158 0 0 18 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446744071566929664 0 0 -1 11 0 0 0
[pid=20885/tid=20907] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20907/stat : 20907 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 151294 0 0 0 181559 150 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604591400639968 0 0 -1 14 0 0 0
[pid=20885/tid=20908] ppid=20883 vsize=9992772 CPUtime=1817.09 cores=0-31
/proc/20885/task/20908/stat : 20908 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 197828 0 0 0 181544 165 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604458828176864 0 0 -1 2 0 0 0
[pid=20885/tid=20909] ppid=20883 vsize=9992772 CPUtime=1816.9 cores=0-31
/proc/20885/task/20909/stat : 20909 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 178734 0 0 0 181522 168 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604499434552800 0 0 -1 19 0 0 0
[pid=20885/tid=20910] ppid=20883 vsize=9992772 CPUtime=1817.91 cores=0-31
/proc/20885/task/20910/stat : 20910 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 158494 0 0 0 181645 146 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604492891921888 0 0 -1 29 0 0 0
[pid=20885/tid=20911] ppid=20883 vsize=9992772 CPUtime=1817.27 cores=0-31
/proc/20885/task/20911/stat : 20911 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 213162 0 0 0 181539 188 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604492444343776 0 0 -1 26 0 0 0
[pid=20885/tid=20912] ppid=20883 vsize=9992772 CPUtime=1824.8 cores=0-31
/proc/20885/task/20912/stat : 20912 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 172554 0 0 0 182336 144 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650653507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=9992772 CPUtime=1817 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 183579 0 0 0 181524 176 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604503909342688 0 0 -1 29 0 0 0
[pid=20885/tid=20914] ppid=20883 vsize=9992772 CPUtime=1768.34 cores=0-31
/proc/20885/task/20914/stat : 20914 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 121845 0 0 0 176700 134 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604452996365792 0 0 -1 31 0 0 0
[pid=20885/tid=20915] ppid=20883 vsize=9992772 CPUtime=1816.99 cores=0-31
/proc/20885/task/20915/stat : 20915 (strangenight2-m) S 20883 20885 20859 0 -1 4202560 160692 0 0 0 181552 147 0 0 25 0 32 0 5937691 10232598528 1748929 268435456000 4194304 4580107 140736626519488 18446744073709551615 47606086186548 0 0 4096 2 18446604482987138528 0 0 -1 5 0 0 0
[pid=20885/tid=20916] ppid=20883 vsize=9992772 CPUtime=1827.16 cores=0-31
/proc/20885/task/20916/stat : 20916 (strangenight2-m) R 20883 20885 20859 0 -1 4202560 37473 0 0 0 182662 54 0 0 25 0 32 0 5937691 10232598528 1748930 268435456000 4194304 4580107 140736626519488 18446744073709551615 258650779376 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 58120.1
Current children cumulated vsize (KiB) 9992772

[startup+1829.9 s]
/proc/loadavg: 29.76 31.58 31.85 3/445 20976
/proc/meminfo: memFree=256611060/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=0 CPUtime=58120.5 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) Z 20883 20885 20859 0 -1 4203548 5295012 0 0 0 5807118 4931 0 0 18 0 2 0 5937690 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20885/statm: 0 0 0 0 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=0 CPUtime=1817.39 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) R 20883 20885 20859 0 -1 4203588 183579 0 0 0 181524 215 0 0 18 0 2 0 5937691 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 58120.5
Current children cumulated vsize (KiB) 0

[startup+1830.1 s]
/proc/loadavg: 29.76 31.58 31.85 3/445 20976
/proc/meminfo: memFree=256611060/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=0 CPUtime=58120.7 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) Z 20883 20885 20859 0 -1 4203548 5295012 0 0 0 5807118 4951 0 0 18 0 2 0 5937690 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20885/statm: 0 0 0 0 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=0 CPUtime=1817.59 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) R 20883 20885 20859 0 -1 4203588 183579 0 0 0 181524 235 0 0 18 0 2 0 5937691 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 58120.7
Current children cumulated vsize (KiB) 0

[startup+1830.2 s]
/proc/loadavg: 29.76 31.58 31.85 3/445 20976
/proc/meminfo: memFree=256611060/264257624 swapFree=67044764/67111528
[pid=20885] ppid=20883 vsize=0 CPUtime=58120.8 cores=0-31
/proc/20885/stat : 20885 (strangenight2-m) Z 20883 20885 20859 0 -1 4203548 5295012 0 0 0 5807118 4961 0 0 18 0 2 0 5937690 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20885/statm: 0 0 0 0 0 0 0
[pid=20885/tid=20913] ppid=20883 vsize=0 CPUtime=1817.69 cores=0-31
/proc/20885/task/20913/stat : 20913 (strangenight2-m) R 20883 20885 20859 0 -1 4203588 183579 0 0 0 181524 245 0 0 18 0 2 0 5937691 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 58120.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1830.24
CPU time (s): 58120.8
CPU user time (s): 58071.2
CPU system time (s): 49.6544
CPU usage (%): 3175.58
Max. virtual memory (cumulated for all children) (KiB): 10206840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58071.2
system time used= 49.6545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5295012
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= 851098
involuntary context switches= 130445

runsolver used 10.0265 second user time and 41.2647 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 01:55:17
IDJOB=3400802
IDBENCH=83108
IDSOLVER=1886
FILE ID=node200/3400802-1306799717
RUNJOBID= node200-1306799717-20873
PBS_JOBID= 13470332
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400802-1306799717/watcher-3400802-1306799717 -o /tmp/evaluation-result-3400802-1306799717/solver-3400802-1306799717 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400802-1306799717.cnf

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

MD5SUM BENCH= 1f0914c6141fdba914b73575a12b918a
RANDOM SEED=277303036

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:      263620628 kB
Buffers:         72640 kB
Cached:         382716 kB
SwapCached:      29932 kB
Active:         119308 kB
Inactive:       368296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263620628 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            7308 kB
Writeback:           0 kB
AnonPages:       29268 kB
Mapped:           8204 kB
Slab:            60892 kB
PageTables:       5696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184904 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-05-31 02:25:48