Trace number 3400773

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 6000.29 198.613

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
MD5SUM9059f458d76edcc4dc5681746a6de6e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4851.74
Satisfiable
(Un)Satisfiability was proved
Number of variables88352
Number of clauses262658
Sum of the clauses size612866
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2175104
Number of clauses of size 387552
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400773-1306777938.cnf'
2.54/0.11	c -- header says num vars:          88352
2.54/0.11	c -- header says num clauses:      262658
45.99/2.71	c -- clauses added:            0 learnts,       262658 normals,            0 xors
45.99/2.71	c -- vars added      88352
45.99/2.71	c Parsing time:  0.40 s
45.99/2.71	c  N st     0         0     88352     87552    175104         0    612864         0   no data   no data
74.60/3.64	c asymm  cl-useful: 0/37297/87551 lits-rem:0 time: 0.92
217.82/8.12	c Flit:   167 Blit:   1742 bXBeca:    0 bXProp: 2399 Bins:      0 BRemL:      0 BRemN:      0 P: 58.5M T:  4.47
217.82/8.14	c Cleaning up after failed var search:     0.02 s 
220.54/8.23	c Replacing     2399 vars Replaced    57457 lits Time:     0.06 s 
230.42/8.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
230.42/8.77	c bin-w-bin subsume rem          510 bins  time:  0.03 s
233.91/8.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
248.55/9.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  83857 time:  0.53 s
257.69/9.76	c Removed useless bin:     626  fixed:     0  props:  20.00M  time:  0.29 s
295.56/11.20	c lits-rem:       364  cl-subs:     1127  v-elim:  27952  v-fix:    0  time:  0.74 s
297.54/11.24	c Finding binary XORs  T:     0.04 s  found:       0
300.41/11.33	c Finding non-binary XORs:     0.04 s (found:      29, avg size: 3.0)
300.41/11.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
300.41/11.35	c calculated reachability. Time: 0.00
300.41/11.38	c Calc default polars -  time:   0.02 s pos:    3569 undec:   32941 neg:   51842
300.41/11.38	c =========================================================================================
300.41/11.38	c types(t): F = full restart, N = normal restart
300.41/11.38	c types(t): S = simplification begin/end, E = solution found
300.41/11.38	c restart types(rt): st = static, dy = dynamic
300.41/11.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
300.41/11.38	c  B st     0         0     55905     76048    118069         0    500643         0   no data   no data
348.11/12.90	c  N dy    17      4166     55904     76048    118299      3892    500637     29213      4.32      4.55
408.79/14.74	c  N dy    38      8232     55893     76048    122871      7709    500628     68004      4.29      4.53
479.10/17.00	c  N dy    70     12319     55846     76048    127097     11603    500627    125455      4.60      5.28
502.07/17.63	c Finding binary XORs  T:     0.04 s  found:     281
552.61/19.29	c  N dy   105     16348     55767     75433    127055     15511    496904    183766      4.89      8.67
632.51/21.76	c  N dy   132     20376     55724     75433    130767      9911    496904     77841      5.05      6.14
713.00/24.27	c  N dy   162     24445     55723     75433    133068     13884    496903    153199      5.22      8.50
725.18/24.62	c  F st   168     25002     55723     75433    133076     14431    496903    179006      5.34   no data
725.18/24.69	c Replacing      281 vars Replaced     9828 lits Time:     0.05 s 
846.63/28.50	c  N dy   174     30000     55379     74624    132386     19287    492763    512742      5.34   no data
846.63/28.50	c  S st   174     30000     55379     74624    132386     19287    492763    512742      5.34   no data
853.65/28.64	c Finding binary XORs  T:     0.04 s  found:     140
865.81/29.07	c  S st   174     30500     55379     74624    134701     19747    492763    521834      5.34   no data
869.00/29.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1258.88/41.37	c Flit:    43 Blit:     85 bXBeca:    0 bXProp:  574 Bins: 167777 BRemL:  37601 BRemN:    154 P: 84.1M T: 12.03
1258.88/41.38	c Cleaning up after failed var search:     0.00 s 
1262.07/41.50	c Replacing      714 vars Replaced   104852 lits Time:     0.12 s 
1265.28/41.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1268.48/41.66	c bin-w-bin subsume rem        25843 bins  time:  0.10 s
1271.67/41.75	c subs with bin:     2132  lits-rem:      2418  v-fix:    0  time:  0.09 s
1284.45/42.11	c Subs w/ non-existent bins:    447 l-rem:   2790 v-fix:     0 done:  54492 time:  0.34 s
1290.87/42.35	c Removed useless bin:    1014  fixed:     0  props:   9.91M  time:  0.24 s
1316.40/43.16	c lits-rem:      8307  cl-subs:     3997  v-elim:  33029  v-fix:    0  time:  0.69 s
1319.56/43.23	c subs with bin:      445  lits-rem:      2514  v-fix:    0  time:  0.04 s
1322.76/43.33	c lits-rem:       267  cl-subs:      633  v-elim:      0  v-fix:    0  time:  0.06 s
1322.76/43.33	c Added XOR as norm:29
1345.73/44.11	c asymm  cl-useful: 634/13348/93488 lits-rem:753 time: 0.78
1348.97/44.16	c calculated reachability. Time: 0.04
1348.97/44.16	c  N dy   174     30500     21463     93443    107409      8436    413830    209466      5.34   no data
1351.52/44.28	c Finding binary XORs  T:     0.12 s  found:      57
1402.67/45.81	c  N dy   190     34564     21463     93443    107661     12227    413829    336792      5.29      7.43
1462.45/47.79	c  N dy   214     38663     21330     93443    110434     16171    413828    503530      5.39     11.04
1541.98/50.23	c  N dy   239     42962     21321     93443    171256     11991    413827    355413      5.66      5.98
1573.87/51.25	c Finding binary XORs  T:     0.07 s  found:      72
1586.62/51.70	c  S st   262     45750     21282     92473    167085     14436    407275    473369      5.75   no data
1596.15/51.99	c  S st   262     46252     21282     92473    167119     14900    407274    478307      5.75   no data
1599.34/52.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1717.54/55.80	c Flit:    17 Blit:     26 bXBeca:    0 bXProp:   55 Bins:  18849 BRemL:  43604 BRemN:     50 P: 30.0M T:  3.77
1720.74/55.87	c Replacing      184 vars Replaced    24915 lits Time:     0.07 s 
1723.93/55.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1723.93/55.99	c bin-w-bin subsume rem        30767 bins  time:  0.07 s
1727.13/56.05	c subs with bin:     2622  lits-rem:      3588  v-fix:    0  time:  0.06 s
1730.92/56.19	c Subs w/ non-existent bins:   1563 l-rem:   6397 v-fix:     0 done:  21041 time:  0.14 s
1734.14/56.25	c Removed useless bin:     541  fixed:     0  props:   1.70M  time:  0.05 s
1739.90/56.48	c lits-rem:       321  cl-subs:      588  v-elim:   1040  v-fix:    0  time:  0.23 s
1743.09/56.56	c subs with bin:      154  lits-rem:       681  v-fix:    0  time:  0.05 s
1746.29/56.67	c lits-rem:        93  cl-subs:      239  v-elim:      0  v-fix:    0  time:  0.07 s
1749.49/56.75	c vivif2 --  cl tried    88585 cl shrink     2659 lits rem       3955 time: 0.08
1749.49/56.78	c vivif2 --  cl tried    13462 cl shrink     1873 lits rem       4923 time: 0.03
1781.45/57.74	c asymm  cl-useful: 0/9809/87673 lits-rem:0 time: 0.96
1781.45/57.78	c calculated reachability. Time: 0.02
1781.45/57.78	c  N dy   262     46252     20001     87673    102501     13360    384861    233577      5.75   no data
1784.65/57.86	c Finding binary XORs  T:     0.08 s  found:      11
1842.18/59.62	c Finding binary XORs  T:     0.07 s  found:      45
1854.96/60.02	c  N dy   291     50283     19937     87444    130708     17051    383227    494826      5.86      7.85
1918.82/62.02	c  N dy   324     54455     19934     87444    130799     21091    383227    645375      6.03      6.36
1944.99/62.86	c Finding binary XORs  T:     0.07 s  found:      18
1995.50/64.42	c  N dy   353     58488     19863     87210    152908     24594    381419    854094      6.11      6.92
2043.45/66.00	c Finding binary XORs  T:     0.07 s  found:      22
2062.57/66.54	c  N dy   386     62588     19845     87114    168080     28455    380920   1069381      6.21      6.56
2129.42/68.69	c  N dy   421     66663     19841     87114    168144     19072    380920    463036      6.32      6.78
2183.74/70.32	c  S st   444     69379     19804     87114    175422     21721    380917    570961      6.39   no data
2193.32/70.66	c  S st   444     69881     19804     87114    175438     22205    380917    578461      6.39   no data
2193.32/70.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2314.75/74.48	c Flit:    22 Blit:     13 bXBeca:    0 bXProp:   51 Bins:  25019 BRemL:  52187 BRemN:     26 P: 28.2M T:  3.78
2317.95/74.56	c Replacing      147 vars Replaced    16101 lits Time:     0.07 s 
2321.14/74.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2321.14/74.65	c bin-w-bin subsume rem        20887 bins  time:  0.04 s
2324.34/74.72	c subs with bin:      514  lits-rem:       365  v-fix:    0  time:  0.07 s
2328.13/74.84	c Subs w/ non-existent bins:    337 l-rem:    124 v-fix:     0 done:  19636 time:  0.12 s
2328.13/74.88	c Removed useless bin:     177  fixed:     0  props:   1.31M  time:  0.05 s
2333.92/75.04	c lits-rem:       132  cl-subs:      405  v-elim:    234  v-fix:    0  time:  0.15 s
2337.11/75.17	c subs with bin:      226  lits-rem:      1368  v-fix:    0  time:  0.10 s
2343.51/75.31	c lits-rem:       158  cl-subs:      303  v-elim:      0  v-fix:    0  time:  0.09 s
2343.51/75.38	c vivif2 --  cl tried    85423 cl shrink      526 lits rem        674 time: 0.08
2346.71/75.44	c vivif2 --  cl tried    20819 cl shrink     2045 lits rem      10944 time: 0.06
2375.46/76.31	c asymm  cl-useful: 73/10809/85330 lits-rem:219 time: 0.87
2375.46/76.35	c calculated reachability. Time: 0.02
2375.46/76.35	c  N dy   444     69881     19402     85257    120996     20772    371993    344230      6.39   no data
2378.65/76.42	c Finding binary XORs  T:     0.08 s  found:       6
2448.95/78.70	c  N dy   469     74362     19359     85257    129128     25157    371993    532075      6.44     15.58
2525.59/81.01	c  N dy   506     79228     19358     85257    129177     29945    371993    726871      6.53      6.95
2528.79/81.13	c Finding binary XORs  T:     0.07 s  found:      51
2621.35/84.09	c  N dy   546     84448     19331     84805    126747     34852    370039    971967      6.65      7.02
2679.45/85.90	c  F st   570     87501     19288     84805    134011     37858    370038   1124923      6.77      6.42
2682.65/85.99	c Replacing       57 vars Replaced    10159 lits Time:     0.07 s 
2736.38/87.69	c  N st   575     90800     19233     84451    131210     25449    368693    536447      6.77   no data
2781.10/89.04	c Finding binary XORs  T:     0.07 s  found:      22
2832.24/90.61	c  N dy   605     96640     19217     84338    131947     31180    368170    934112      6.84      9.87
2950.51/94.36	c  N dy   653    102895     19179     84338    133880     37321    368170   1277603      7.00     11.26
2992.02/95.69	c  S st   670    104821     19179     84338    134528     39203    368169   1379555      7.05   no data
3007.84/96.11	c  S st   670    105323     19179     84338    134545     39686    368169   1388852      7.05   no data
3007.84/96.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3158.01/100.82	c Flit:    26 Blit:     12 bXBeca:    0 bXProp:   58 Bins:  45864 BRemL:  35575 BRemN:     29 P: 36.2M T:  4.66
3161.21/100.94	c Replacing       80 vars Replaced    17116 lits Time:     0.12 s 
3161.21/100.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3164.41/101.02	c bin-w-bin subsume rem         9546 bins  time:  0.03 s
3164.41/101.09	c subs with bin:      501  lits-rem:       391  v-fix:    0  time:  0.07 s
3167.61/101.21	c Subs w/ non-existent bins:    188 l-rem:     72 v-fix:     0 done:  19011 time:  0.12 s
3171.40/101.26	c Removed useless bin:     108  fixed:     0  props:   1.37M  time:  0.05 s
3177.18/101.42	c lits-rem:       190  cl-subs:      303  v-elim:    159  v-fix:    0  time:  0.16 s
3206.58/102.40	c subs with bin:      217  lits-rem:     16243  v-fix:    0  time:  0.84 s
3225.13/102.96	c lits-rem:      3398  cl-subs:      473  v-elim:      0  v-fix:    0  time:  0.51 s
3228.33/103.05	c vivif2 --  cl tried    82524 cl shrink      399 lits rem        500 time: 0.08
3234.72/103.24	c vivif2 --  cl tried    38036 cl shrink     7496 lits rem     267804 time: 0.20
3263.47/104.14	c asymm  cl-useful: 59/9512/82419 lits-rem:177 time: 0.90
3263.47/104.18	c calculated reachability. Time: 0.02
3263.47/104.18	c  N dy   670    105323     18852     82360    127213     37979    359497    960349      7.05   no data
3266.67/104.26	c Finding binary XORs  T:     0.08 s  found:       2
3413.70/108.84	c  N dy   710    112126     18824     82360    146413     44617    359495   1424915      7.12     14.53
3417.49/108.95	c Finding binary XORs  T:     0.08 s  found:      87
3515.98/112.09	c Finding binary XORs  T:     0.08 s  found:      38
3547.93/113.07	c  N dy   754    119304     18547     80238    129492     33153    350967    630248      7.17     11.22
3653.38/116.37	c Finding binary XORs  T:     0.08 s  found:      18
3691.74/117.56	c  N dy   813    126946     18511     79998    143780     40405    350083   1088900      7.33      7.80
3854.76/122.67	c  N dy   874    135132     18468     79998    148643     48489    350082   1550672      7.48      9.09
3966.59/126.12	c Finding binary XORs  T:     0.08 s  found:      32
3998.55/127.12	c  N dy   934    143940     18417     79548    137742     37892    348001    671728      7.65      8.10
4174.34/132.64	c  N dy  1000    153165     18395     79548    139498     46999    348001   1240002      7.78      8.59
4276.63/135.89	c  S st  1035    157984     18375     79548    140864     51738    348001   1484296      7.81   no data
4289.42/136.29	c  S st  1035    158486     18375     79548    140883     52220    348001   1492033      7.81   no data
4292.62/136.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4465.23/141.79	c Flit:    38 Blit:     32 bXBeca:    0 bXProp:   69 Bins:  11381 BRemL:  32826 BRemN:     13 P: 48.4M T:  5.46
4472.22/141.93	c Replacing      246 vars Replaced    51292 lits Time:     0.13 s 
4472.22/141.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4472.22/142.01	c bin-w-bin subsume rem        13718 bins  time:  0.03 s
4475.42/142.07	c subs with bin:      798  lits-rem:       766  v-fix:    0  time:  0.06 s
4478.01/142.19	c Subs w/ non-existent bins:    203 l-rem:    125 v-fix:     0 done:  18045 time:  0.12 s
4481.21/142.23	c Removed useless bin:     129  fixed:     0  props:   1.09M  time:  0.04 s
4484.41/142.38	c lits-rem:       230  cl-subs:      343  v-elim:    202  v-fix:    0  time:  0.15 s
4497.20/142.77	c subs with bin:      615  lits-rem:      7662  v-fix:    0  time:  0.32 s
4507.38/143.04	c lits-rem:       826  cl-subs:      781  v-elim:      0  v-fix:    0  time:  0.23 s
4510.58/143.14	c vivif2 --  cl tried    76788 cl shrink      488 lits rem        885 time: 0.09
4516.37/143.36	c vivif2 --  cl tried    45025 cl shrink     8885 lits rem      69149 time: 0.22
4545.74/144.28	c asymm  cl-useful: 607/3115/76695 lits-rem:1846 time: 0.92
4548.33/144.32	c calculated reachability. Time: 0.03
4548.33/144.32	c  N dy  1035    158486     17843     76653    100065     44862    333534    596632      7.81   no data
4551.54/144.42	c Finding binary XORs  T:     0.10 s  found:      13
4721.53/149.78	c Finding binary XORs  T:     0.09 s  found:      52
4733.72/150.15	c  N dy  1099    168760     17744     75925    108445     37799    330598    507328      7.89      8.69
4906.27/155.59	c  N dy  1154    179690     17680     75925    111061     48592    330598    956031      7.93      8.49
5062.90/160.44	c Finding binary XORs  T:     0.09 s  found:      21
5120.42/162.24	c  N dy  1226    191202     17604     74836    111269     58594    326199   1456052      8.00     14.68
5347.31/169.31	c  N dy  1303    203667     17467     74836    112908     50082    326199    951141      8.05      8.54
5500.73/174.18	c Finding binary XORs  T:     0.09 s  found:     137
5503.94/174.27	c Replacing      223 vars Replaced    78148 lits Time:     0.09 s 
5628.59/178.11	c  N dy  1392    216762     17142     73118    117811     60293    318729   1481558      8.13     16.24
5839.52/184.75	c Finding binary XORs  T:     0.09 s  found:      88
5922.59/187.35	c  N dy  1462    230793     16772     70591    107450     50267    308390    755680      8.12      8.69
5967.35/188.76	c Finding binary XORs  T:     0.09 s  found:     139
5970.55/188.81	c Replacing      227 vars Replaced    27783 lits Time:     0.05 s 
5970.55/188.90	c  E dy  1473    233011     16298     68984     94104     45635    300247    558368      8.12      4.08
5999.79/198.25	c Following stats are for *FIRST FINISHED THREAD ONLY*
5999.79/198.25	c num threads              : 32         
5999.79/198.25	c restarts                 : 1473       
5999.79/198.25	c dynamic restarts         : 1455       
5999.79/198.25	c static restarts          : 18         
5999.79/198.25	c full restarts            : 2          
5999.79/198.25	c total simplify time      : 2.42       
5999.79/198.25	c learnts DL2              : 0          
5999.79/198.25	c learnts size 2           : 792134     
5999.79/198.25	c learnts size 1           : 5297        (6.00      % of vars)
5999.79/198.25	c filedLit time            : 34.21       (17.64     % time)
5999.79/198.25	c v-elim SatELite          : 62616       (70.87     % vars)
5999.79/198.25	c SatELite time            : 3.56        (1.84      % time)
5999.79/198.25	c v-elim xor               : 0           (0.00      % vars)
5999.79/198.25	c xor elim time            : 0.20        (0.10      % time)
5999.79/198.25	c num binary xor trees     : 2957       
5999.79/198.25	c binxor trees' crown      : 4558        (1.54      leafs/tree)
5999.79/198.25	c bin xor find time        : 1.80       
5999.79/198.25	c OTF clause improved      : 1535        (0.01      clauses/conflict)
5999.79/198.25	c OTF impr. size diff      : 2496        (1.63       lits/clause)
5999.79/198.25	c OTF cl watch-shrink      : 155062      (0.67      clauses/conflict)
5999.79/198.25	c OTF cl watch-sh-lit      : 834498      (5.38       lits/clause)
5999.79/198.25	c tried to recurMin cls    : 121558      (52.17      % of conflicts)
5999.79/198.25	c updated cache            : 0           (0.00       lits/tried recurMin)
5999.79/198.25	c unit cls recevied        : 1086        (20.50     % of units)
5999.79/198.25	c unit cls sent            : 350         (6.61      % of units)
5999.79/198.25	c bin cls recevied         : 294541     
5999.79/198.25	c bin cls sent             : 278284     
5999.79/198.25	c clauses over max glue    : 0           (0.00      % of all clauses)
5999.79/198.25	c conflicts                : 233011      (1201.68   / sec)
5999.79/198.25	c decisions                : 964192      (2.10      % random)
5999.79/198.25	c bogo-props               : 2844332099  (14668724.95 / sec)
5999.79/198.25	c conflict literals        : 10231104    (25.58     % deleted)
5999.79/198.25	c Memory used              : 6522.53     MB
5999.79/198.25	c single-thread CPU time   : 193.90      s
5999.79/198.25	c all-threads sum CPU time : 5944.39     s
5999.79/198.25	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-3400773-1306777938/watcher-3400773-1306777938 -o /tmp/evaluation-result-3400773-1306777938/solver-3400773-1306777938 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400773-1306777938.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.52 31.53 31.89 1/413 18258
/proc/meminfo: memFree=263750616/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=338000 CPUtime=0.74 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) R 18256 18258 18232 0 -1 4202496 435 0 0 0 74 0 0 0 25 0 32 0 3759824 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18258/statm: 84500 376 297 95 0 79482 0
[pid=18258/tid=18259] ppid=18256 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18258/task/18259/stat : 18259 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18258/tid=18260] ppid=18256 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18258/task/18260/stat : 18260 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18258/tid=18261] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18261/stat : 18261 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489776 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18258/tid=18262] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18262/stat : 18262 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18258/tid=18263] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18263/stat : 18263 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18258/tid=18264] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18264/stat : 18264 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18258/tid=18265] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18265/stat : 18265 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18258/tid=18266] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18266/stat : 18266 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18258/tid=18267] ppid=18256 vsize=338000 CPUtime=0 cores=0-31
/proc/18258/task/18267/stat : 18267 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18258/tid=18268] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18268/stat : 18268 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18258/tid=18269] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18269/stat : 18269 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18258/tid=18270] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18270/stat : 18270 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18258/tid=18271] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18271/stat : 18271 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18258/tid=18272] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18272/stat : 18272 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18258/tid=18273] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18273/stat : 18273 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18258/tid=18274] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18274/stat : 18274 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489782 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18258/tid=18276] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18276/stat : 18276 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18258/tid=18277] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18277/stat : 18277 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18258/tid=18278] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18278/stat : 18278 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18258/tid=18279] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18279/stat : 18279 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18258/tid=18280] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18280/stat : 18280 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18258/tid=18281] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18281/stat : 18281 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18258/tid=18282] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18282/stat : 18282 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18258/tid=18283] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18283/stat : 18283 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18258/tid=18284] ppid=18256 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18258/task/18284/stat : 18284 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18258/tid=18285] ppid=18256 vsize=338000 CPUtime=0 cores=0-31
/proc/18258/task/18285/stat : 18285 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18258/tid=18286] ppid=18256 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18258/task/18286/stat : 18286 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18258/tid=18287] ppid=18256 vsize=338000 CPUtime=0 cores=0-31
/proc/18258/task/18287/stat : 18287 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3759825 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489778 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18258/tid=18288] ppid=18256 vsize=338000 CPUtime=0 cores=0-31
/proc/18258/task/18288/stat : 18288 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3759826 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18258/tid=18289] ppid=18256 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18258/task/18289/stat : 18289 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 3759826 346112000 376 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489772 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.10807 s]
/proc/loadavg: 29.52 31.53 31.89 1/413 18258
/proc/meminfo: memFree=263750616/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=798232 CPUtime=2.54 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) D 18256 18258 18232 0 -1 4202496 8632 0 0 0 183 71 0 0 25 0 32 0 3759824 817389568 8440 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18258/statm: 199558 8457 330 95 0 194540 0
[pid=18258/tid=18259] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18259/stat : 18259 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 245 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8493 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18258/tid=18260] ppid=18256 vsize=798232 CPUtime=0.07 cores=0-31
/proc/18258/task/18260/stat : 18260 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 274 0 0 0 6 1 0 0 17 0 32 0 3759825 817389568 8493 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604460143975904 0 0 -1 2 0 0 0
[pid=18258/tid=18261] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18261/stat : 18261 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 236 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8551 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18258/tid=18262] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18262/stat : 18262 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 242 0 0 0 6 2 0 0 23 0 32 0 3759825 817389568 8551 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18258/tid=18263] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18263/stat : 18263 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 233 0 0 0 6 2 0 0 23 0 32 0 3759825 817389568 8553 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18258/tid=18264] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18264/stat : 18264 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 268 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8569 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566930464 0 0 -1 6 0 0 0
[pid=18258/tid=18265] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18265/stat : 18265 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 310 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8570 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18258/tid=18266] ppid=18256 vsize=798232 CPUtime=0.07 cores=0-31
/proc/18258/task/18266/stat : 18266 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 236 0 0 0 5 2 0 0 18 0 32 0 3759825 817389568 8577 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18258/tid=18267] ppid=18256 vsize=798232 CPUtime=0.06 cores=0-31
/proc/18258/task/18267/stat : 18267 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 284 0 0 0 4 2 0 0 18 0 32 0 3759825 817389568 8589 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18258/tid=18268] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18268/stat : 18268 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 235 0 0 0 6 2 0 0 24 0 32 0 3759825 817389568 8602 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18258/tid=18269] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18269/stat : 18269 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 251 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8605 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18258/tid=18270] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18270/stat : 18270 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 259 0 0 0 6 2 0 0 25 0 32 0 3759825 817389568 8605 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18258/tid=18271] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18271/stat : 18271 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 281 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8615 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18258/tid=18272] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18272/stat : 18272 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 270 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8621 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566930344 0 0 -1 7 0 0 0
[pid=18258/tid=18273] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18273/stat : 18273 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 241 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8627 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18258/tid=18274] ppid=18256 vsize=798232 CPUtime=0.07 cores=0-31
/proc/18258/task/18274/stat : 18274 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 236 0 0 0 6 1 0 0 25 0 32 0 3759825 817389568 8643 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 288 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8645 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18258/tid=18276] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18276/stat : 18276 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 265 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8645 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18258/tid=18277] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18277/stat : 18277 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 223 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8654 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18258/tid=18278] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18278/stat : 18278 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 255 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8660 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18258/tid=18279] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18279/stat : 18279 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 269 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8673 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604498909822432 0 0 -1 15 0 0 0
[pid=18258/tid=18280] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18280/stat : 18280 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 248 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8673 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18258/tid=18281] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18281/stat : 18281 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 272 0 0 0 6 2 0 0 17 0 32 0 3759825 817389568 8684 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566928784 0 0 -1 22 0 0 0
[pid=18258/tid=18282] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18282/stat : 18282 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 289 0 0 0 6 2 0 0 18 0 32 0 3759825 817389568 8698 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18258/tid=18283] ppid=18256 vsize=798232 CPUtime=0.08 cores=0-31
/proc/18258/task/18283/stat : 18283 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 271 0 0 0 6 2 0 0 17 0 32 0 3759825 817389568 8699 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18258/tid=18284] ppid=18256 vsize=798232 CPUtime=0.07 cores=0-31
/proc/18258/task/18284/stat : 18284 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 3759825 817389568 8700 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566931704 0 0 -1 20 0 0 0
[pid=18258/tid=18285] ppid=18256 vsize=798232 CPUtime=0.05 cores=0-31
/proc/18258/task/18285/stat : 18285 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 311 0 0 0 3 2 0 0 18 0 32 0 3759825 817389568 8705 268435456000 4194304 4580107 140735632891840 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18258/tid=18286] ppid=18256 vsize=798232 CPUtime=0.03 cores=0-31
/proc/18258/task/18286/stat : 18286 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 267 0 0 0 1 2 0 0 17 0 32 0 3759825 817389568 8722 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566930464 0 0 -1 23 0 0 0
[pid=18258/tid=18287] ppid=18256 vsize=798232 CPUtime=0.05 cores=0-31
/proc/18258/task/18287/stat : 18287 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 283 0 0 0 3 2 0 0 17 0 32 0 3759825 817389568 8749 268435456000 4194304 4580107 140735632891840 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18258/tid=18288] ppid=18256 vsize=798232 CPUtime=0.06 cores=0-31
/proc/18258/task/18288/stat : 18288 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 283 0 0 0 4 2 0 0 18 0 32 0 3759826 817389568 8750 268435456000 4194304 4580107 140735632891840 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18258/tid=18289] ppid=18256 vsize=798232 CPUtime=0.05 cores=0-31
/proc/18258/task/18289/stat : 18289 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 248 0 0 0 4 1 0 0 18 0 32 0 3759826 817389568 8750 268435456000 4194304 4580107 140735632891840 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 798232

[startup+0.204028 s]
/proc/loadavg: 29.52 31.53 31.89 1/413 18258
/proc/meminfo: memFree=263750616/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=1270476 CPUtime=4.12 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) S 18256 18258 18232 0 -1 4202496 20778 0 0 0 224 188 0 0 17 0 32 0 3759824 1300967424 19445 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18258/statm: 317619 19453 334 95 0 312601 0
[pid=18258/tid=18259] ppid=18256 vsize=1270476 CPUtime=0.13 cores=0-31
/proc/18258/task/18259/stat : 18259 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 618 0 0 0 7 6 0 0 17 0 32 0 3759825 1300967424 19453 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 1 0 0 0
[pid=18258/tid=18260] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18260/stat : 18260 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 607 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19457 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604454788718048 0 0 -1 2 0 0 0
[pid=18258/tid=18261] ppid=18256 vsize=1270476 CPUtime=0.14 cores=0-31
/proc/18258/task/18261/stat : 18261 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 662 0 0 0 8 6 0 0 17 0 32 0 3759825 1300967424 19467 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604471203003872 0 0 -1 24 0 0 0
[pid=18258/tid=18262] ppid=18256 vsize=1270476 CPUtime=0.13 cores=0-31
/proc/18258/task/18262/stat : 18262 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 757 0 0 0 7 6 0 0 17 0 32 0 3759825 1300967424 19479 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604471200906720 0 0 -1 12 0 0 0
[pid=18258/tid=18263] ppid=18256 vsize=1270476 CPUtime=0.13 cores=0-31
/proc/18258/task/18263/stat : 18263 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 639 0 0 0 7 6 0 0 17 0 32 0 3759825 1300967424 19493 268435456000 4194304 4580107 140735632891840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18258/tid=18264] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18264/stat : 18264 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 620 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19506 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 6 0 0 0
[pid=18258/tid=18265] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18265/stat : 18265 (strangenight2-m) D 18256 18258 18232 0 -1 4202560 642 0 0 0 6 6 0 0 17 0 32 0 3759825 1300967424 19507 268435456000 4194304 4580107 140735632891840 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18258/tid=18266] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18266/stat : 18266 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 631 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19516 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604449036795360 0 0 -1 0 0 0 0
[pid=18258/tid=18267] ppid=18256 vsize=1270476 CPUtime=0.11 cores=0-31
/proc/18258/task/18267/stat : 18267 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 621 0 0 0 5 6 0 0 17 0 32 0 3759825 1300967424 19530 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604502274743776 0 0 -1 27 0 0 0
[pid=18258/tid=18268] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18268/stat : 18268 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 606 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19585 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604454194363872 0 0 -1 8 0 0 0
[pid=18258/tid=18269] ppid=18256 vsize=1270476 CPUtime=0.13 cores=0-31
/proc/18258/task/18269/stat : 18269 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 670 0 0 0 7 6 0 0 17 0 32 0 3759825 1300967424 19600 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18258/tid=18270] ppid=18256 vsize=1270476 CPUtime=0.13 cores=0-31
/proc/18258/task/18270/stat : 18270 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 558 0 0 0 7 6 0 0 17 0 32 0 3759825 1300967424 19613 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604452333477344 0 0 -1 9 0 0 0
[pid=18258/tid=18271] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18271/stat : 18271 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 659 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19620 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604463619235296 0 0 -1 10 0 0 0
[pid=18258/tid=18272] ppid=18256 vsize=1270476 CPUtime=0.11 cores=0-31
/proc/18258/task/18272/stat : 18272 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 563 0 0 0 7 4 0 0 17 0 32 0 3759825 1300967424 19628 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446604501192023520 0 0 -1 7 0 0 0
[pid=18258/tid=18273] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18273/stat : 18273 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 624 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19639 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18258/tid=18274] ppid=18256 vsize=1270476 CPUtime=0.12 cores=0-31
/proc/18258/task/18274/stat : 18274 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 627 0 0 0 7 5 0 0 17 0 32 0 3759825 1300967424 19671 268435456000 4194304 4580107 140735632891840 18446744073709551615 258651060958 0 0 4096 2 18446744071566933104 0 0 -1 14 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=1271508 CPUtime=0.12 cores=0-31

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

[pid=18258/tid=18288] ppid=18256 vsize=6679064 CPUtime=187.23 cores=0-31
/proc/18258/task/18288/stat : 18288 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 91569 0 0 0 18575 148 0 0 25 0 32 0 3759826 6839361536 1339652 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604452333477344 0 0 -1 29 0 0 0
[pid=18258/tid=18289] ppid=18256 vsize=6679064 CPUtime=187.33 cores=0-31
/proc/18258/task/18289/stat : 18289 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 30822 0 0 0 18616 117 0 0 25 0 32 0 3759826 6839361536 1339652 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604489218448864 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 5993.8
Current children cumulated vsize (KiB) 6679064

[startup+196.803 s]
/proc/loadavg: 29.58 31.30 31.76 3/445 18296
/proc/meminfo: memFree=258387516/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=6679064 CPUtime=5997 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) R 18256 18258 18232 0 -1 4202496 2797194 0 0 0 594150 5550 0 0 25 0 32 0 3759824 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130464964 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/18258/statm: 1669766 1340488 378 95 0 1664748 0
[pid=18258/tid=18259] ppid=18256 vsize=6679064 CPUtime=186.76 cores=0-31
/proc/18258/task/18259/stat : 18259 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 81415 0 0 0 18480 196 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604489063783904 0 0 -1 1 0 0 0
[pid=18258/tid=18260] ppid=18256 vsize=6679064 CPUtime=186.93 cores=0-31
/proc/18258/task/18260/stat : 18260 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89073 0 0 0 18487 206 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604505419169248 0 0 -1 27 0 0 0
[pid=18258/tid=18261] ppid=18256 vsize=6679064 CPUtime=187.17 cores=0-31
/proc/18258/task/18261/stat : 18261 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89064 0 0 0 18546 171 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604501192023520 0 0 -1 16 0 0 0
[pid=18258/tid=18262] ppid=18256 vsize=6679064 CPUtime=187.11 cores=0-31
/proc/18258/task/18262/stat : 18262 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 85581 0 0 0 18544 167 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463619235296 0 0 -1 24 0 0 0
[pid=18258/tid=18263] ppid=18256 vsize=6679064 CPUtime=184.63 cores=0-31
/proc/18258/task/18263/stat : 18263 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 93406 0 0 0 18307 156 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454788718048 0 0 -1 31 0 0 0
[pid=18258/tid=18264] ppid=18256 vsize=6679064 CPUtime=186.42 cores=0-31
/proc/18258/task/18264/stat : 18264 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 80196 0 0 0 18438 204 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463269772768 0 0 -1 7 0 0 0
[pid=18258/tid=18265] ppid=18256 vsize=6679064 CPUtime=185.35 cores=0-31
/proc/18258/task/18265/stat : 18265 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 65661 0 0 0 18348 187 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502328835552 0 0 -1 19 0 0 0
[pid=18258/tid=18266] ppid=18256 vsize=6679064 CPUtime=186.65 cores=0-31
/proc/18258/task/18266/stat : 18266 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 75167 0 0 0 18492 173 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502375685600 0 0 -1 26 0 0 0
[pid=18258/tid=18267] ppid=18256 vsize=6679064 CPUtime=186.76 cores=0-31
/proc/18258/task/18267/stat : 18267 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 79672 0 0 0 18482 194 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604450544696800 0 0 -1 11 0 0 0
[pid=18258/tid=18268] ppid=18256 vsize=6679064 CPUtime=186.99 cores=0-31
/proc/18258/task/18268/stat : 18268 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 78996 0 0 0 18518 181 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604471203003872 0 0 -1 8 0 0 0
[pid=18258/tid=18269] ppid=18256 vsize=6679064 CPUtime=186.9 cores=0-31
/proc/18258/task/18269/stat : 18269 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 120990 0 0 0 18511 179 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604471200906720 0 0 -1 4 0 0 0
[pid=18258/tid=18270] ppid=18256 vsize=6679064 CPUtime=186.83 cores=0-31
/proc/18258/task/18270/stat : 18270 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95736 0 0 0 18507 176 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502319865312 0 0 -1 9 0 0 0
[pid=18258/tid=18271] ppid=18256 vsize=6679064 CPUtime=186.86 cores=0-31
/proc/18258/task/18271/stat : 18271 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 121255 0 0 0 18492 194 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454436167136 0 0 -1 10 0 0 0
[pid=18258/tid=18272] ppid=18256 vsize=6679064 CPUtime=185.86 cores=0-31
/proc/18258/task/18272/stat : 18272 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 96333 0 0 0 18401 185 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454194363872 0 0 -1 6 0 0 0
[pid=18258/tid=18273] ppid=18256 vsize=6679064 CPUtime=187.03 cores=0-31
/proc/18258/task/18273/stat : 18273 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95978 0 0 0 18534 169 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446744071566927344 0 0 -1 13 0 0 0
[pid=18258/tid=18274] ppid=18256 vsize=6679064 CPUtime=186.66 cores=0-31
/proc/18258/task/18274/stat : 18274 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 101747 0 0 0 18480 186 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604493671349728 0 0 -1 0 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=6679064 CPUtime=186.99 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 90120 0 0 0 18528 171 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454436158944 0 0 -1 28 0 0 0
[pid=18258/tid=18276] ppid=18256 vsize=6679064 CPUtime=187.08 cores=0-31
/proc/18258/task/18276/stat : 18276 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 129737 0 0 0 18537 171 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604480992984544 0 0 -1 2 0 0 0
[pid=18258/tid=18277] ppid=18256 vsize=6679064 CPUtime=187.19 cores=0-31
/proc/18258/task/18277/stat : 18277 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89600 0 0 0 18542 177 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604498909822432 0 0 -1 17 0 0 0
[pid=18258/tid=18278] ppid=18256 vsize=6679064 CPUtime=187.29 cores=0-31
/proc/18258/task/18278/stat : 18278 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 117290 0 0 0 18548 181 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604453228740064 0 0 -1 18 0 0 0
[pid=18258/tid=18279] ppid=18256 vsize=6679064 CPUtime=186.96 cores=0-31
/proc/18258/task/18279/stat : 18279 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 79153 0 0 0 18520 176 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463270723040 0 0 -1 23 0 0 0
[pid=18258/tid=18280] ppid=18256 vsize=6679064 CPUtime=190.41 cores=0-31
/proc/18258/task/18280/stat : 18280 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 57332 0 0 0 18887 154 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604491239808480 0 0 -1 21 0 0 0
[pid=18258/tid=18281] ppid=18256 vsize=6679064 CPUtime=194.73 cores=0-31
/proc/18258/task/18281/stat : 18281 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 82484 0 0 0 19298 175 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 4428083 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18258/tid=18282] ppid=18256 vsize=6679064 CPUtime=187.18 cores=0-31
/proc/18258/task/18282/stat : 18282 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 96181 0 0 0 18571 147 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604460143975904 0 0 -1 3 0 0 0
[pid=18258/tid=18283] ppid=18256 vsize=6679064 CPUtime=186.86 cores=0-31
/proc/18258/task/18283/stat : 18283 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 69969 0 0 0 18507 179 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604503910383072 0 0 -1 25 0 0 0
[pid=18258/tid=18284] ppid=18256 vsize=6679064 CPUtime=186.92 cores=0-31
/proc/18258/task/18284/stat : 18284 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 42457 0 0 0 18540 152 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604479866863072 0 0 -1 12 0 0 0
[pid=18258/tid=18285] ppid=18256 vsize=6679064 CPUtime=187.08 cores=0-31
/proc/18258/task/18285/stat : 18285 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95400 0 0 0 18565 143 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604449036795360 0 0 -1 15 0 0 0
[pid=18258/tid=18286] ppid=18256 vsize=6679064 CPUtime=187.15 cores=0-31
/proc/18258/task/18286/stat : 18286 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 90815 0 0 0 18579 136 0 0 25 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604457888194016 0 0 -1 5 0 0 0
[pid=18258/tid=18287] ppid=18256 vsize=6679064 CPUtime=186.82 cores=0-31
/proc/18258/task/18287/stat : 18287 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 85765 0 0 0 18509 173 0 0 22 0 32 0 3759825 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604442635288032 0 0 -1 30 0 0 0
[pid=18258/tid=18288] ppid=18256 vsize=6679064 CPUtime=187.23 cores=0-31
/proc/18258/task/18288/stat : 18288 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 91569 0 0 0 18575 148 0 0 25 0 32 0 3759826 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604452333477344 0 0 -1 29 0 0 0
[pid=18258/tid=18289] ppid=18256 vsize=6679064 CPUtime=187.33 cores=0-31
/proc/18258/task/18289/stat : 18289 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 30822 0 0 0 18616 117 0 0 25 0 32 0 3759826 6839361536 1340488 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604489218448864 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 5997
Current children cumulated vsize (KiB) 6679064

[startup+197.603 s]
/proc/loadavg: 29.58 31.30 31.76 3/445 18296
/proc/meminfo: memFree=258384412/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=6679064 CPUtime=5998.59 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) R 18256 18258 18232 0 -1 4202496 2801977 0 0 0 594308 5551 0 0 25 0 32 0 3759824 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130464964 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/18258/statm: 1669766 1342304 378 95 0 1664748 0
[pid=18258/tid=18259] ppid=18256 vsize=6679064 CPUtime=186.76 cores=0-31
/proc/18258/task/18259/stat : 18259 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 81415 0 0 0 18480 196 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604489063783904 0 0 -1 1 0 0 0
[pid=18258/tid=18260] ppid=18256 vsize=6679064 CPUtime=186.93 cores=0-31
/proc/18258/task/18260/stat : 18260 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89073 0 0 0 18487 206 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604505419169248 0 0 -1 27 0 0 0
[pid=18258/tid=18261] ppid=18256 vsize=6679064 CPUtime=187.17 cores=0-31
/proc/18258/task/18261/stat : 18261 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89064 0 0 0 18546 171 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604501192023520 0 0 -1 16 0 0 0
[pid=18258/tid=18262] ppid=18256 vsize=6679064 CPUtime=187.11 cores=0-31
/proc/18258/task/18262/stat : 18262 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 85581 0 0 0 18544 167 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463619235296 0 0 -1 24 0 0 0
[pid=18258/tid=18263] ppid=18256 vsize=6679064 CPUtime=184.63 cores=0-31
/proc/18258/task/18263/stat : 18263 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 93406 0 0 0 18307 156 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454788718048 0 0 -1 31 0 0 0
[pid=18258/tid=18264] ppid=18256 vsize=6679064 CPUtime=186.42 cores=0-31
/proc/18258/task/18264/stat : 18264 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 80196 0 0 0 18438 204 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463269772768 0 0 -1 7 0 0 0
[pid=18258/tid=18265] ppid=18256 vsize=6679064 CPUtime=185.35 cores=0-31
/proc/18258/task/18265/stat : 18265 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 65661 0 0 0 18348 187 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502328835552 0 0 -1 19 0 0 0
[pid=18258/tid=18266] ppid=18256 vsize=6679064 CPUtime=186.65 cores=0-31
/proc/18258/task/18266/stat : 18266 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 75167 0 0 0 18492 173 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502375685600 0 0 -1 26 0 0 0
[pid=18258/tid=18267] ppid=18256 vsize=6679064 CPUtime=186.76 cores=0-31
/proc/18258/task/18267/stat : 18267 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 79672 0 0 0 18482 194 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604450544696800 0 0 -1 11 0 0 0
[pid=18258/tid=18268] ppid=18256 vsize=6679064 CPUtime=186.99 cores=0-31
/proc/18258/task/18268/stat : 18268 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 78996 0 0 0 18518 181 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604471203003872 0 0 -1 8 0 0 0
[pid=18258/tid=18269] ppid=18256 vsize=6679064 CPUtime=186.9 cores=0-31
/proc/18258/task/18269/stat : 18269 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 120990 0 0 0 18511 179 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604471200906720 0 0 -1 4 0 0 0
[pid=18258/tid=18270] ppid=18256 vsize=6679064 CPUtime=186.83 cores=0-31
/proc/18258/task/18270/stat : 18270 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95736 0 0 0 18507 176 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604502319865312 0 0 -1 9 0 0 0
[pid=18258/tid=18271] ppid=18256 vsize=6679064 CPUtime=186.86 cores=0-31
/proc/18258/task/18271/stat : 18271 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 121255 0 0 0 18492 194 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454436167136 0 0 -1 10 0 0 0
[pid=18258/tid=18272] ppid=18256 vsize=6679064 CPUtime=185.86 cores=0-31
/proc/18258/task/18272/stat : 18272 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 96333 0 0 0 18401 185 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454194363872 0 0 -1 6 0 0 0
[pid=18258/tid=18273] ppid=18256 vsize=6679064 CPUtime=187.03 cores=0-31
/proc/18258/task/18273/stat : 18273 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95978 0 0 0 18534 169 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446744071566927344 0 0 -1 13 0 0 0
[pid=18258/tid=18274] ppid=18256 vsize=6679064 CPUtime=186.66 cores=0-31
/proc/18258/task/18274/stat : 18274 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 101747 0 0 0 18480 186 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604493671349728 0 0 -1 0 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=6679064 CPUtime=186.99 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 90120 0 0 0 18528 171 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604454436158944 0 0 -1 28 0 0 0
[pid=18258/tid=18276] ppid=18256 vsize=6679064 CPUtime=187.08 cores=0-31
/proc/18258/task/18276/stat : 18276 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 129737 0 0 0 18537 171 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604480992984544 0 0 -1 2 0 0 0
[pid=18258/tid=18277] ppid=18256 vsize=6679064 CPUtime=187.19 cores=0-31
/proc/18258/task/18277/stat : 18277 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 89600 0 0 0 18542 177 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604498909822432 0 0 -1 17 0 0 0
[pid=18258/tid=18278] ppid=18256 vsize=6679064 CPUtime=187.29 cores=0-31
/proc/18258/task/18278/stat : 18278 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 117290 0 0 0 18548 181 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604453228740064 0 0 -1 18 0 0 0
[pid=18258/tid=18279] ppid=18256 vsize=6679064 CPUtime=186.96 cores=0-31
/proc/18258/task/18279/stat : 18279 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 79153 0 0 0 18520 176 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604463270723040 0 0 -1 23 0 0 0
[pid=18258/tid=18280] ppid=18256 vsize=6679064 CPUtime=190.41 cores=0-31
/proc/18258/task/18280/stat : 18280 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 57332 0 0 0 18887 154 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604491239808480 0 0 -1 21 0 0 0
[pid=18258/tid=18281] ppid=18256 vsize=6679064 CPUtime=195.54 cores=0-31
/proc/18258/task/18281/stat : 18281 (strangenight2-m) R 18256 18258 18232 0 -1 4202560 87267 0 0 0 19377 177 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 4412381 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18258/tid=18282] ppid=18256 vsize=6679064 CPUtime=187.18 cores=0-31
/proc/18258/task/18282/stat : 18282 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 96181 0 0 0 18571 147 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604460143975904 0 0 -1 3 0 0 0
[pid=18258/tid=18283] ppid=18256 vsize=6679064 CPUtime=186.86 cores=0-31
/proc/18258/task/18283/stat : 18283 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 69969 0 0 0 18507 179 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604503910383072 0 0 -1 25 0 0 0
[pid=18258/tid=18284] ppid=18256 vsize=6679064 CPUtime=186.92 cores=0-31
/proc/18258/task/18284/stat : 18284 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 42457 0 0 0 18540 152 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604479866863072 0 0 -1 12 0 0 0
[pid=18258/tid=18285] ppid=18256 vsize=6679064 CPUtime=187.08 cores=0-31
/proc/18258/task/18285/stat : 18285 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 95400 0 0 0 18565 143 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604449036795360 0 0 -1 15 0 0 0
[pid=18258/tid=18286] ppid=18256 vsize=6679064 CPUtime=187.15 cores=0-31
/proc/18258/task/18286/stat : 18286 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 90815 0 0 0 18579 136 0 0 25 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604457888194016 0 0 -1 5 0 0 0
[pid=18258/tid=18287] ppid=18256 vsize=6679064 CPUtime=186.82 cores=0-31
/proc/18258/task/18287/stat : 18287 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 85765 0 0 0 18509 173 0 0 22 0 32 0 3759825 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604442635288032 0 0 -1 30 0 0 0
[pid=18258/tid=18288] ppid=18256 vsize=6679064 CPUtime=187.23 cores=0-31
/proc/18258/task/18288/stat : 18288 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 91569 0 0 0 18575 148 0 0 25 0 32 0 3759826 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604452333477344 0 0 -1 29 0 0 0
[pid=18258/tid=18289] ppid=18256 vsize=6679064 CPUtime=187.33 cores=0-31
/proc/18258/task/18289/stat : 18289 (strangenight2-m) S 18256 18258 18232 0 -1 4202560 30822 0 0 0 18616 117 0 0 25 0 32 0 3759826 6839361536 1342304 268435456000 4194304 4580107 140735632891840 18446744073709551615 47977130489396 0 0 4096 2 18446604489218448864 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 5998.59
Current children cumulated vsize (KiB) 6679064

[startup+198.401 s]
/proc/loadavg: 27.37 30.82 31.60 3/445 18296
/proc/meminfo: memFree=258376740/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=0 CPUtime=6000.07 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) Z 18256 18258 18232 0 -1 4202524 2802405 0 0 0 594439 5568 0 0 18 0 2 0 3759824 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/18258/statm: 0 0 0 0 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=0 CPUtime=187.13 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) R 18256 18258 18232 0 -1 4203588 90120 0 0 0 18528 185 0 0 18 0 2 0 3759825 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6000.07
Current children cumulated vsize (KiB) 0

[startup+198.601 s]
/proc/loadavg: 27.37 30.82 31.60 3/445 18296
/proc/meminfo: memFree=258376740/264257624 swapFree=67044744/67111528
[pid=18258] ppid=18256 vsize=0 CPUtime=6000.27 cores=0-31
/proc/18258/stat : 18258 (strangenight2-m) Z 18256 18258 18232 0 -1 4202524 2802405 0 0 0 594439 5588 0 0 18 0 2 0 3759824 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/18258/statm: 0 0 0 0 0 0 0
[pid=18258/tid=18275] ppid=18256 vsize=0 CPUtime=187.33 cores=0-31
/proc/18258/task/18275/stat : 18275 (strangenight2-m) R 18256 18258 18232 0 -1 4203588 90120 0 0 0 18528 205 0 0 18 0 2 0 3759825 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6000.27
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 198.613
CPU time (s): 6000.29
CPU user time (s): 5944.39
CPU system time (s): 55.9005
CPU usage (%): 3021.1
Max. virtual memory (cumulated for all children) (KiB): 6679064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5944.39
system time used= 55.9005
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2802405
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= 1249147
involuntary context switches= 14515

runsolver used 1.25781 second user time and 4.5793 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 19:52:18
IDJOB=3400773
IDBENCH=82469
IDSOLVER=1886
FILE ID=node200/3400773-1306777938
RUNJOBID= node200-1306777938-18246
PBS_JOBID= 13471832
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400773-1306777938/watcher-3400773-1306777938 -o /tmp/evaluation-result-3400773-1306777938/solver-3400773-1306777938 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400773-1306777938.cnf

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

MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=1021147524

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:      263751144 kB
Buffers:         46284 kB
Cached:         282356 kB
SwapCached:      29732 kB
Active:         119152 kB
Inactive:       241664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263751144 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           10164 kB
Writeback:           4 kB
AnonPages:       29340 kB
Mapped:           7724 kB
Slab:            59500 kB
PageTables:       5344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193340 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= 61568 MiB
End job on node200 at 2011-05-30 19:55:37