Trace number 3400801

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 160003 5028.24

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3400801-1306794686.cnf'
1.23/0.07	c -- header says num vars:          73074
1.23/0.07	c -- header says num clauses:      245746
35.57/1.96	c -- clauses added:            0 learnts,       245746 normals,            0 xors
35.57/1.96	c -- vars added      73074
35.57/1.96	c Parsing time:  0.31 s
35.57/1.96	c  N st     0         0     73074    120183    110047         0    592644         0   no data   no data
67.20/2.97	c asymm  cl-useful: 9/17588/120183 lits-rem:99 time: 0.95
447.18/14.89	c Flit:    98 Blit:   6220 bXBeca:    0 bXProp: 11837 Bins:      0 BRemL:      0 BRemN:      0 P: 129.0M T: 11.95
450.30/14.91	c Cleaning up after failed var search:     0.02 s 
453.27/15.04	c Replacing    11837 vars Replaced   339280 lits Time:     0.09 s 
456.05/15.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
458.62/15.21	c bin-w-bin subsume rem         1133 bins  time:  0.02 s
458.62/15.26	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.04 s
461.47/15.39	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  51906 time:  0.11 s
463.40/15.49	c Removed useless bin:      51  fixed:     0  props:   8.76M  time:  0.10 s
491.78/16.68	c lits-rem:         0  cl-subs:      345  v-elim:  17302  v-fix:    0  time:  0.54 s
494.06/16.71	c Finding binary XORs  T:     0.02 s  found:       0
499.41/16.99	c Finding non-binary XORs:     0.14 s (found:   17174, avg size: 3.0)
499.41/16.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   2808 locsubst: 11000 time:   0.11
502.23/17.02	c Replacing     5500 vars Replaced    33000 lits Time:     0.03 s 
502.23/17.03	c calculated reachability. Time: 0.00
502.23/17.05	c Calc default polars -  time:   0.01 s pos:    2750 undec:   46854 neg:   23470
502.23/17.05	c =========================================================================================
502.23/17.05	c types(t): F = full restart, N = normal restart
502.23/17.05	c types(t): S = simplification begin/end, E = solution found
502.23/17.05	c restart types(rt): st = static, dy = dynamic
502.23/17.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
502.23/17.05	c  B st     0         0     26296     43499     32879         0    286566         0   no data   no data
529.21/17.97	c Decided on static restart strategy
557.95/18.87	c  N st     8      4916     26295     43499     32893      4759    286566    305514   no data   no data
605.86/20.36	c  N st    10     11300     26290     43499     33307     10898    286566    581103   no data   no data
733.65/24.36	c  N st    11     17046     26290     43499     33317     16590    286566   2607305   no data   no data
813.48/26.87	c  F st    12     25003     26286     43499     33852     14677    286566    776912   no data   no data
816.68/26.92	c  N st    12     25003     26286     43497     33720     14677    286282    776906   no data   no data
816.68/26.96	c Finding binary XORs  T:     0.02 s  found:       1
880.60/28.96	c Decided on static restart strategy
880.60/28.96	c  N st    18     30002     26284     43497     33861     19583    286224   1429650   no data   no data
880.60/28.96	c  S st    18     30002     26284     43497     33861     19583    286224   1429650   no data   no data
893.39/29.34	c  S st    18     30503     26284     43497     33885     20058    286224   1440823   no data   no data
893.39/29.39	c x-sub:  5500 x-cut:      0 vfix:      0 v-elim:   1404 locsubst:     0 time:   0.05
989.23/32.30	c Flit:    77 Blit:      2 bXBeca:    0 bXProp:   33 Bins: 256049 BRemL:  68766 BRemN:      5 P: 20.5M T:  2.88
989.23/32.35	c Replacing       34 vars Replaced     1625 lits Time:     0.05 s 
989.23/32.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
992.43/32.42	c bin-w-bin subsume rem          289 bins  time:  0.03 s
992.43/32.47	c subs with bin:      287  lits-rem:       334  v-fix:    0  time:  0.05 s
995.63/32.53	c Subs w/ non-existent bins:     28 l-rem:     32 v-fix:     0 done:  24767 time:  0.06 s
995.63/32.57	c Removed useless bin:       6  fixed:     0  props:   1.09M  time:  0.04 s
1002.02/32.72	c lits-rem:       577  cl-subs:      108  v-elim:   2847  v-fix:    0  time:  0.15 s
1002.02/32.79	c subs with bin:       52  lits-rem:       304  v-fix:    0  time:  0.04 s
1005.22/32.87	c lits-rem:       392  cl-subs:      504  v-elim:      0  v-fix:    0  time:  0.06 s
1021.16/33.31	c asymm  cl-useful: 0/11804/43573 lits-rem:0 time: 0.44
1021.16/33.34	c calculated reachability. Time: 0.01
1021.16/33.34	c  N st    18     30503     21920     43573    189650      5306    260041    420523   no data   no data
1021.16/33.38	c Finding binary XORs  T:     0.04 s  found:       0
1097.34/35.94	c  N st    20     37613     21918     43573    189844     12175    260041   1348689   no data   no data
1159.00/39.75	c Finding binary XORs  T:     0.04 s  found:       1
1182.77/41.33	c  N st    21     44012     21914     43561    257144     10553    259637   1376223   no data   no data
1264.48/46.87	c Finding binary XORs  T:     0.04 s  found:       0
1272.20/47.30	c  S st    22     45756     21913     43560    342999     12258    259587   1657438   no data   no data
1277.74/47.58	c  S st    22     46264     21913     43560    343007     12754    259587   1667894   no data   no data
1279.67/47.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    702 locsubst:     2 time:   0.05
1316.80/49.43	c Flit:    17 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  72876 BRemL:  68590 BRemN:      0 P: 12.2M T:  1.79
1316.80/49.49	c Replacing        2 vars Replaced      210 lits Time:     0.06 s 
1318.80/49.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1318.80/49.57	c bin-w-bin subsume rem          164 bins  time:  0.04 s
1320.49/49.63	c subs with bin:      137  lits-rem:       315  v-fix:    0  time:  0.06 s
1320.49/49.69	c Subs w/ non-existent bins:      7 l-rem:     30 v-fix:     0 done:  21192 time:  0.07 s
1322.56/49.72	c Removed useless bin:      94  fixed:     0  props:   0.84M  time:  0.03 s
1322.56/49.79	c lits-rem:         1  cl-subs:       42  v-elim:     16  v-fix:    0  time:  0.07 s
1328.83/50.04	c subs with bin:       23  lits-rem:       399  v-fix:    0  time:  0.20 s
1330.83/50.16	c lits-rem:       190  cl-subs:      261  v-elim:      0  v-fix:    0  time:  0.09 s
1330.83/50.18	c vivif2 --  cl tried    43326 cl shrink      142 lits rem        449 time: 0.02
1330.83/50.20	c vivif2 --  cl tried     7461 cl shrink      597 lits rem       5944 time: 0.02
1339.47/50.54	c asymm  cl-useful: 0/13820/43212 lits-rem:0 time: 0.35
1339.47/50.57	c calculated reachability. Time: 0.01
1339.47/50.57	c  N st    22     46264     21176     43212    293995      7451    256256    813102   no data   no data
1341.49/50.62	c Finding binary XORs  T:     0.04 s  found:       0
1538.47/63.53	c  N st    23     60661     21175     43212    450543     21398    256255   1830631   no data   no data
1540.13/63.68	c Finding binary XORs  T:     0.05 s  found:       0
1579.30/65.83	c  N st    24     69396     21170     43195    482274     18137    256021   1609123   no data   no data
1579.30/65.83	c  S st    24     69396     21170     43195    482274     18137    256021   1609123   no data   no data
1584.77/66.10	c  S st    24     69896     21170     43195    482385     18626    256020   1621009   no data   no data
1584.77/66.15	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    322 locsubst:     0 time:   0.05
1618.36/67.89	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     17 BRemL:  50428 BRemN:      0 P: 13.9M T:  1.73
1620.63/67.96	c Replacing        1 vars Replaced       23 lits Time:     0.06 s 
1620.63/68.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1622.93/68.11	c bin-w-bin subsume rem        87591 bins  time:  0.11 s
1625.67/68.18	c subs with bin:       47  lits-rem:        13  v-fix:    0  time:  0.07 s
1627.96/68.24	c Subs w/ non-existent bins:     13 l-rem:     22 v-fix:     0 done:  20846 time:  0.05 s
1627.96/68.27	c Removed useless bin:       5  fixed:     0  props:   0.88M  time:  0.03 s
1629.83/68.35	c lits-rem:         4  cl-subs:        9  v-elim:     26  v-fix:    0  time:  0.07 s
1636.92/68.67	c subs with bin:        7  lits-rem:        30  v-fix:    0  time:  0.24 s
1648.21/69.04	c lits-rem:      1226  cl-subs:      703  v-elim:      0  v-fix:    0  time:  0.35 s
1648.21/69.06	c vivif2 --  cl tried    43133 cl shrink       32 lits rem        111 time: 0.02
1651.14/69.11	c vivif2 --  cl tried    16021 cl shrink     2054 lits rem       7691 time: 0.05
1672.29/69.86	c asymm  cl-useful: 457/21843/43133 lits-rem:1901 time: 0.74
1672.29/69.89	c calculated reachability. Time: 0.02
1672.29/69.89	c  N st    24     69896     20820     43089    341055     16021    253355   1194319   no data   no data
1921.51/77.66	c  F st    25     87500     20820     43089    341070     33212    253355   3391384   no data   no data
1924.71/77.71	c  N st    25     87500     20820     43089    341070     33212    253355   3391384   no data   no data
1970.04/79.20	c  N dy    33     93107     20809     43089    341826     22628    253355   1717753      9.67     10.19
2036.57/81.30	c  N dy    67     99098     20802     43089    342248     28515    253353   2040153     10.66     11.53
2103.66/83.32	c  S st   101    104844     20797     43089    342433     34210    253353   2295815     11.14   no data
2116.42/83.74	c  S st   101    105346     20797     43089    342440     34703    253353   2310563     11.14   no data
2116.42/83.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    162 locsubst:     0 time:   0.05
2189.89/86.07	c Flit:     1 Blit:      3 bXBeca:    0 bXProp:   61 Bins:    493 BRemL:  46153 BRemN:      0 P: 16.8M T:  2.27
2193.08/86.14	c Replacing       61 vars Replaced     2748 lits Time:     0.07 s 
2193.08/86.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2196.28/86.22	c bin-w-bin subsume rem          665 bins  time:  0.03 s
2196.28/86.28	c subs with bin:      261  lits-rem:       176  v-fix:    0  time:  0.06 s
2199.48/86.34	c Subs w/ non-existent bins:     29 l-rem:     37 v-fix:     0 done:  20570 time:  0.06 s
2199.48/86.37	c Removed useless bin:      25  fixed:     0  props:   0.84M  time:  0.03 s
2202.67/86.47	c lits-rem:        37  cl-subs:      207  v-elim:    113  v-fix:    0  time:  0.09 s
2263.39/88.30	c subs with bin:        9  lits-rem:       902  v-fix:    0  time:  1.67 s
2286.37/89.04	c lits-rem:       719  cl-subs:      826  v-elim:      0  v-fix:    0  time:  0.72 s
2286.37/89.07	c vivif2 --  cl tried    42515 cl shrink       90 lits rem        198 time: 0.02
2289.60/89.18	c vivif2 --  cl tried    31266 cl shrink     3742 lits rem      22736 time: 0.11
2308.14/89.71	c asymm  cl-useful: 96/9044/42492 lits-rem:288 time: 0.53
2308.14/89.74	c calculated reachability. Time: 0.02
2308.14/89.74	c  N dy   101    105346     20457     42396    282116     31262    250156   1842498     11.14   no data
2384.86/92.13	c  N dy   125    112137     20451     42396    282876     37982    250154   2597482     10.80     11.39
2388.06/92.21	c Finding binary XORs  T:     0.05 s  found:      50
2480.75/95.20	c  N dy   148    120952     20450     42390    275560     27554    249972   1798180     10.46     11.13
2567.69/97.86	c  N dy   193    128714     20448     42390    276377     35225    249971   2320799     10.67     18.39
2656.56/100.61	c  N dy   226    137005     20447     42390    276782     43376    249969   2676076     10.62     12.34
2755.60/103.72	c  N dy   268    145824     20446     42390    276880     30204    249967   1490777     10.73     12.61
2864.24/107.20	c  N dy   314    155202     20442     42390    277569     39437    249967   1977587     10.82     12.57
2902.61/108.33	c  S st   334    158021     20442     42390    277575     42235    249967   2162932     10.87      7.58
2915.40/108.80	c  S st   334    158522     20442     42390    277578     42728    249967   2175396     10.87   no data
2919.22/108.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2998.49/111.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   41 Bins:   8474 BRemL:  43172 BRemN:      0 P: 17.8M T:  2.49
3001.68/111.41	c Replacing       91 vars Replaced     3579 lits Time:     0.07 s 
3001.68/111.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3001.68/111.48	c bin-w-bin subsume rem         1681 bins  time:  0.03 s
3004.88/111.53	c subs with bin:      336  lits-rem:       262  v-fix:    0  time:  0.05 s
3004.88/111.59	c Subs w/ non-existent bins:     14 l-rem:     46 v-fix:     0 done:  20351 time:  0.06 s
3008.08/111.63	c Removed useless bin:       6  fixed:     0  props:   0.80M  time:  0.03 s
3011.28/111.72	c lits-rem:         8  cl-subs:      194  v-elim:    128  v-fix:    0  time:  0.10 s
3068.80/113.57	c subs with bin:       20  lits-rem:      1029  v-fix:    0  time:  1.69 s
3107.16/114.76	c lits-rem:      1881  cl-subs:     1177  v-elim:      0  v-fix:    0  time:  1.17 s
3107.16/114.79	c vivif2 --  cl tried    41839 cl shrink       71 lits rem        156 time: 0.02
3113.55/114.93	c vivif2 --  cl tried    40328 cl shrink     5545 lits rem      51456 time: 0.14
3123.14/115.30	c asymm  cl-useful: 6/10952/41839 lits-rem:18 time: 0.36
3126.34/115.33	c calculated reachability. Time: 0.01
3126.34/115.33	c  N dy   334    158522     20223     41833    195630     40324    247657   1828188     10.87   no data
3126.34/115.37	c Finding binary XORs  T:     0.04 s  found:       2
3254.17/119.35	c  N dy   363    169935     20222     41833    196986     28481    247656   1236366     10.67     11.26
3394.80/123.75	c  N dy   416    181504     20219     41833    199595     39947    247653   2710169     10.69     11.27
3439.54/125.14	c Finding binary XORs  T:     0.04 s  found:       1
3545.00/128.42	c  N dy   441    194299     20219     41818    193543     27643    247568    964889     10.52     11.17
3688.81/132.99	c  N dy   476    206761     20218     41818    193909     39974    247568   2075979     10.40     11.02
3871.63/138.63	c  N dy   533    221326     20217     41818    194298     28093    247568   1267505     10.35     11.04
4047.43/144.18	c  N dy   586    235479     20214     41818    194751     42079    247568   2400773     10.32     10.87
4075.57/145.10	c Finding binary XORs  T:     0.04 s  found:       2
4082.59/145.25	c  S st   592    237786     20213     41812    182789     44228    247366   2462676     10.29   no data
4097.94/145.75	c  S st   592    238287     20213     41812    182791     44725    247366   2481856     10.29   no data
4097.94/145.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4168.26/147.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    869 BRemL:  58095 BRemN:      0 P: 16.4M T:  2.18
4171.46/148.02	c Replacing        5 vars Replaced      347 lits Time:     0.04 s 
4171.46/148.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4171.46/148.07	c bin-w-bin subsume rem         3204 bins  time:  0.02 s
4174.66/148.11	c subs with bin:      175  lits-rem:        98  v-fix:    0  time:  0.04 s
4174.66/148.17	c Subs w/ non-existent bins:      1 l-rem:     45 v-fix:     0 done:  20208 time:  0.06 s
4177.85/148.20	c Removed useless bin:      53  fixed:     0  props:   0.55M  time:  0.03 s
4177.85/148.29	c lits-rem:         4  cl-subs:       66  v-elim:     60  v-fix:    0  time:  0.09 s
4241.78/150.23	c subs with bin:      226  lits-rem:      2391  v-fix:    0  time:  1.76 s
4296.10/152.00	c lits-rem:      1360  cl-subs:     1455  v-elim:      0  v-fix:    0  time:  1.74 s
4299.30/152.02	c vivif2 --  cl tried    41593 cl shrink       59 lits rem         94 time: 0.02
4302.50/152.20	c vivif2 --  cl tried    42369 cl shrink     4186 lits rem      46186 time: 0.17
4331.26/153.03	c asymm  cl-useful: 153/13865/41589 lits-rem:279 time: 0.83
4331.26/153.06	c calculated reachability. Time: 0.01
4331.26/153.06	c  N dy   592    238287     20148     41588    122050     42367    246130   2137934     10.29   no data
4561.42/160.30	c  N dy   638    253988     20145     41588    123089     30767    246130    974797     10.18     10.79
4737.19/165.71	c Finding binary XORs  T:     0.04 s  found:       1
4772.35/166.84	c  N dy   696    270274     20143     41574    117538     45959    246002   2061477     10.12     14.75
5015.28/174.40	c  N dy   764    288107     20142     41574    117840     35676    246002   1314684     10.10     10.70
5242.86/181.58	c  F st   848    306251     20141     41574    118607     53533    246002   2321512     10.12      6.58
5245.41/181.65	c Replacing        1 vars Replaced      243 lits Time:     0.04 s 
5251.81/181.83	c  N st   849    306501     20140     41571    118486     53762    245896   2338826     10.12   no data
5328.54/184.27	c Decided on static restart strategy
5370.09/185.51	c Finding binary XORs  T:     0.04 s  found:       8
5594.44/192.55	c  N st   858    334554     20140     41571    119127     52192    245896   1883595     10.12   no data
5907.65/202.38	c  N st   860    357431     20138     41571    119243     45648    245896   2600624     10.12   no data
5907.65/202.38	c  S st   860    357431     20138     41571    119243     45648    245896   2600624     10.12   no data
5923.03/202.85	c  S st   860    357931     20138     41571    119322     46139    245896   2616251     10.12   no data
5923.03/202.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
5993.35/205.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:  15989 BRemL:  53118 BRemN:     16 P: 21.1M T:  2.18
5996.55/205.14	c Replacing       15 vars Replaced      328 lits Time:     0.06 s 
5996.55/205.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5996.55/205.19	c bin-w-bin subsume rem          600 bins  time:  0.01 s
5999.75/205.22	c subs with bin:      124  lits-rem:        64  v-fix:    0  time:  0.03 s
5999.75/205.28	c Subs w/ non-existent bins:      0 l-rem:     35 v-fix:     0 done:  20124 time:  0.05 s
6002.94/205.31	c Removed useless bin:       1  fixed:     0  props:   0.76M  time:  0.03 s
6002.94/205.40	c lits-rem:         7  cl-subs:      114  v-elim:     36  v-fix:    0  time:  0.09 s
6066.87/207.39	c subs with bin:      109  lits-rem:      1394  v-fix:    0  time:  1.80 s
6143.60/209.74	c lits-rem:      2473  cl-subs:     2879  v-elim:      0  v-fix:    0  time:  2.32 s
6143.60/209.76	c vivif2 --  cl tried    41322 cl shrink       11 lits rem         12 time: 0.02
6149.99/209.98	c vivif2 --  cl tried    42956 cl shrink     9737 lits rem      89814 time: 0.22
6169.16/210.57	c asymm  cl-useful: 24/12163/41321 lits-rem:26 time: 0.59
6169.16/210.60	c calculated reachability. Time: 0.01
6169.16/210.60	c  N st   860    357931     20088     41320     81191     42955    244830   2255905     10.12   no data
6172.36/210.64	c Finding binary XORs  T:     0.04 s  found:       0
6568.66/223.00	c Finding binary XORs  T:     0.04 s  found:       1
6635.79/225.11	c  N st   861    390324     20087     41319     82373     34589    244815   1655991     10.12   no data
8013.44/268.21	c  N st   862    438912     20087     41319     82373     55738    244815  14379675     10.12   no data
8017.26/268.35	c Finding binary XORs  T:     0.04 s  found:       4
10333.98/340.90	c  N st   863    511795     20085     41316     92097     63511    244724   9047090     10.12   no data
10337.77/340.95	c Finding binary XORs  T:     0.04 s  found:       0
11011.60/362.05	c  N st   864    536896     20085     41316     93455     53677    244724  11052582     10.12   no data
11011.60/362.05	c  S st   864    536896     20085     41316     93455     53677    244724  11052582     10.12   no data
11027.59/362.53	c  S st   864    537399     20083     41316     94527     54177    244724  11068457     10.12   no data
11030.79/362.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
11091.49/364.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     94 BRemL:  11280 BRemN:      0 P: 20.6M T:  1.99
11101.08/364.87	c Replacing        7 vars Replaced     3466 lits Time:     0.28 s 
11104.28/364.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11104.28/364.92	c bin-w-bin subsume rem         1780 bins  time:  0.01 s
11104.28/364.96	c subs with bin:       48  lits-rem:        27  v-fix:    0  time:  0.04 s
11107.47/365.01	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:  20076 time:  0.06 s
11107.47/365.05	c Removed useless bin:       3  fixed:     0  props:   0.66M  time:  0.03 s
11111.26/365.20	c lits-rem:         1  cl-subs:       34  v-elim:      4  v-fix:    0  time:  0.16 s
11206.54/368.13	c subs with bin:        2  lits-rem:       828  v-fix:    0  time:  1.99 s
11568.33/379.49	c lits-rem:        89  cl-subs:     1079  v-elim:      0  v-fix:    0  time: 11.34 s
11568.33/379.52	c vivif2 --  cl tried    41214 cl shrink        0 lits rem          0 time: 0.02
11593.30/380.23	c vivif2 --  cl tried    52053 cl shrink    13088 lits rem     231384 time: 0.69
11615.67/380.92	c asymm  cl-useful: 0/15186/41214 lits-rem:0 time: 0.70
11615.67/380.95	c calculated reachability. Time: 0.01
11615.67/380.95	c  N st   864    537399     20072     41214     79753     52050    244342  10019260     10.12   no data
11615.67/380.99	c Finding binary XORs  T:     0.04 s  found:       0
16304.67/527.67	c  N st   865    701383     20072     41214     79753     63986    244342  17456190     10.12   no data
16311.06/527.82	c Finding binary XORs  T:     0.04 s  found:       6
20136.91/647.56	c  N st   866    806099     20070     41213     81286     85533    244292  30195660     10.12   no data
20136.91/647.56	c  S st   866    806099     20070     41213     81286     85533    244292  30195660     10.12   no data
20143.30/647.76	c Finding binary XORs  T:     0.04 s  found:       2
20165.68/648.47	c  S st   866    806601     20069     41212     82270     85824    244279  30083963     10.12   no data
20168.88/648.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
20245.60/650.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     93 BRemL:   6405 BRemN:      1 P: 23.9M T:  2.33
20248.79/651.03	c Replacing        8 vars Replaced      380 lits Time:     0.11 s 
20248.79/651.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20248.79/651.08	c bin-w-bin subsume rem          388 bins  time:  0.01 s
20248.79/651.11	c subs with bin:       28  lits-rem:        19  v-fix:    0  time:  0.04 s
20252.58/651.17	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  20061 time:  0.05 s
20252.58/651.20	c Removed useless bin:       0  fixed:     0  props:   0.64M  time:  0.03 s
20261.57/651.48	c lits-rem:         0  cl-subs:       19  v-elim:      4  v-fix:    0  time:  0.28 s
20408.57/656.03	c subs with bin:       23  lits-rem:        27  v-fix:    0  time:  1.93 s
22792.97/730.60	c lits-rem:      1034  cl-subs:     2730  v-elim:      0  v-fix:    0  time: 74.53 s
22792.97/730.62	c vivif2 --  cl tried    41154 cl shrink        1 lits rem          1 time: 0.02
22847.33/732.37	c vivif2 --  cl tried    81310 cl shrink    18378 lits rem     442679 time: 1.72
22879.29/733.32	c asymm  cl-useful: 29/4513/41154 lits-rem:36 time: 0.95
22879.29/733.35	c calculated reachability. Time: 0.01
22879.29/733.35	c  N st   866    806601     20057     41154     74892     81309    243988  27590514     10.12   no data
33902.64/1078.30	c  F st   867   1071875     20057     41154     74892     75804    243988  21894027     10.12   no data
33905.84/1078.34	c  N st   867   1071875     20057     41154     74892     75804    243988  21894027     10.12   no data
33912.24/1078.54	c Finding binary XORs  T:     0.04 s  found:       1
33999.06/1081.29	c Decided on static restart strategy
34839.04/1107.57	c  N st   877   1100184     20055     41152     82548     55141    243962   7447102     10.12   no data
35638.07/1132.56	c  N st   879   1136176     20055     41152     82650     90627    243962  16120462     10.12   no data
36846.93/1170.35	c  N st   880   1168569     20054     41152     82692     73236    243962  13247068     10.12   no data
37623.37/1194.67	c  N st   881   1209902     20054     41152     82781     63906    243962   7377389     10.12   no data
37623.37/1194.67	c  S st   881   1209902     20054     41152     82781     63906    243962   7377389     10.12   no data
37641.93/1195.21	c  S st   881   1210403     20054     41152     82917     64405    243962   7392767     10.12   no data
37641.93/1195.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
37705.85/1197.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     43 BRemL:   8720 BRemN:      0 P: 21.1M T:  1.99
37709.02/1197.40	c Replacing        2 vars Replaced      156 lits Time:     0.12 s 
37712.25/1197.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37712.25/1197.45	c bin-w-bin subsume rem          416 bins  time:  0.01 s
37712.25/1197.48	c subs with bin:       21  lits-rem:         4  v-fix:    0  time:  0.04 s
37715.44/1197.54	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  20052 time:  0.05 s
37715.44/1197.57	c Removed useless bin:       1  fixed:     0  props:   0.61M  time:  0.03 s
37721.81/1197.73	c lits-rem:         0  cl-subs:        5  v-elim:      2  v-fix:    0  time:  0.16 s
37795.95/1200.11	c subs with bin:       38  lits-rem:       553  v-fix:    0  time:  1.85 s
38006.90/1206.64	c lits-rem:      3538  cl-subs:      885  v-elim:      0  v-fix:    0  time:  6.50 s
38006.90/1206.66	c vivif2 --  cl tried    41118 cl shrink        0 lits rem          0 time: 0.02
38019.09/1207.05	c vivif2 --  cl tried    63476 cl shrink     6845 lits rem     235189 time: 0.38
38045.29/1207.86	c asymm  cl-useful: 48/19660/41118 lits-rem:48 time: 0.81
38045.29/1207.89	c calculated reachability. Time: 0.01
38045.29/1207.89	c  N st   881   1210403     20050     41118     73765     63471    243750   7042216     10.12   no data
38047.85/1207.93	c Finding binary XORs  T:     0.04 s  found:       0
40918.06/1297.71	c  N st   882   1283286     20050     41118     73765     84591    243750  20039019     10.12   no data
43311.86/1372.64	c  N st   883   1392610     20050     41118     74238     85845    243750   7465943     10.12   no data
43315.64/1372.75	c Finding binary XORs  T:     0.04 s  found:       4
52615.04/1663.80	c  N st   884   1556596     20048     41116     72818     83311    243723  18219030     10.12   no data
55826.83/1764.20	c  N st   885   1710404     20048     41116     73324    119205    243723  17983330     10.12   no data
55826.83/1764.20	c  S st   885   1710404     20048     41116     73324    119205    243723  17983330     10.12   no data
55826.83/1764.24	c Finding binary XORs  T:     0.04 s  found:       0
55849.20/1764.98	c  S st   885   1710908     20048     41116     73415    119708    243721  18001899     10.12   no data
55852.39/1765.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
55941.87/1767.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    785 BRemN:      1 P: 31.2M T:  2.82
55945.06/1767.99	c Replacing        4 vars Replaced      444 lits Time:     0.10 s 
55948.26/1768.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55948.26/1768.04	c bin-w-bin subsume rem           86 bins  time:  0.01 s
55948.26/1768.08	c subs with bin:       13  lits-rem:         6  v-fix:    0  time:  0.04 s
55951.46/1768.13	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  20044 time:  0.06 s
55951.46/1768.17	c Removed useless bin:       1  fixed:     0  props:   0.60M  time:  0.04 s
55961.05/1768.42	c lits-rem:         0  cl-subs:       19  v-elim:      6  v-fix:    0  time:  0.24 s
56066.49/1771.75	c subs with bin:        5  lits-rem:       269  v-fix:    0  time:  2.01 s
56657.68/1790.28	c lits-rem:     14099  cl-subs:     4186  v-elim:      0  v-fix:    0  time: 18.49 s
56660.89/1790.30	c vivif2 --  cl tried    41079 cl shrink        1 lits rem          1 time: 0.02
56699.24/1791.59	c vivif2 --  cl tried   110790 cl shrink    35871 lits rem     716200 time: 1.25
56721.61/1792.22	c asymm  cl-useful: 0/2281/41079 lits-rem:0 time: 0.63
56721.61/1792.25	c calculated reachability. Time: 0.01
56721.61/1792.25	c  N st   885   1710908     20038     41079     72333    110788    243579  14409192     10.12   no data
74491.09/2348.34	c  N st   886   2079873     20038     41079     72333    110572    243578  37830987     10.12   no data
74491.09/2348.39	c Finding binary XORs  T:     0.04 s  found:       0
80628.25/2540.58	c  N st   887   2210910     20038     41079     72839    108526    243578  30617008     10.12   no data
80628.25/2540.58	c  S st   887   2210910     20038     41079     72839    108526    243578  30617008     10.12   no data
80656.91/2541.44	c  S st   887   2211411     20038     41079     72875    109024    243578  30636924     10.12   no data
80660.10/2541.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
80743.20/2544.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    317 BRemN:      0 P: 26.8M T:  2.56
80743.20/2544.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80743.20/2544.17	c bin-w-bin subsume rem           43 bins  time:  0.01 s
80743.20/2544.21	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.04 s
80747.02/2544.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20038 time:  0.05 s
80747.02/2544.30	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
80759.20/2544.62	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.32 s
80899.82/2549.02	c subs with bin:        4  lits-rem:      3354  v-fix:    0  time:  2.01 s
83841.71/2641.20	c lits-rem:      2613  cl-subs:     1240  v-elim:      0  v-fix:    0  time: 92.13 s
83844.27/2641.22	c vivif2 --  cl tried    41073 cl shrink        0 lits rem          0 time: 0.03
83912.05/2643.32	c vivif2 --  cl tried   107779 cl shrink    24654 lits rem    2152528 time: 2.05
83940.19/2644.31	c asymm  cl-useful: 0/11806/41073 lits-rem:0 time: 0.99
83943.98/2644.34	c calculated reachability. Time: 0.01
83943.98/2644.34	c  N st   887   2211411     20037     41073     72514    107777    243567  27901619     10.12   no data
109031.90/3429.85	c  N st   888   2711411     20037     41073     72515    111117    243566  15682427     10.12   no data
109031.90/3429.85	c  S st   888   2711411     20037     41073     72515    111117    243566  15682427     10.12   no data
109053.68/3430.52	c  S st   888   2711913     20036     41073     72638    111615    243566  15703337     10.12   no data
109056.89/3430.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
109134.19/3433.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     60 BRemN:      0 P: 28.0M T:  2.43
109134.19/3433.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109134.19/3433.09	c bin-w-bin subsume rem            6 bins  time:  0.01 s
109137.39/3433.13	c subs with bin:        3  lits-rem:         1  v-fix:    0  time:  0.04 s
109137.39/3433.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20036 time:  0.06 s
109139.98/3433.22	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
109146.38/3433.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
109261.41/3437.05	c subs with bin:       14  lits-rem:         0  v-fix:    0  time:  2.19 s
110062.62/3462.10	c lits-rem:      4327  cl-subs:     1329  v-elim:      0  v-fix:    0  time: 25.03 s
110062.62/3462.12	c vivif2 --  cl tried    41069 cl shrink        0 lits rem          0 time: 0.02
110100.98/3463.36	c vivif2 --  cl tried   110271 cl shrink    26612 lits rem     653630 time: 1.22
110107.38/3463.54	c asymm  cl-useful: 0/2809/41069 lits-rem:0 time: 0.18
110107.38/3463.57	c calculated reachability. Time: 0.01
110107.38/3463.57	c  N st   888   2711913     20036     41069     72039    110271    243548  14850070     10.12   no data
124830.95/3924.70	c  N st   889   3211913     20036     41069     72039    143592    243548  18315946     10.12   no data
124830.95/3924.70	c  S st   889   3211913     20036     41069     72039    143592    243548  18315946     10.12   no data
124859.71/3925.59	c  S st   889   3212413     20036     41069     72088    144091    243548  18333779     10.12   no data
124862.91/3925.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
124958.61/3928.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     27 BRemN:      0 P: 31.4M T:  2.91
124958.61/3928.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124958.61/3928.66	c bin-w-bin subsume rem            3 bins  time:  0.01 s
124958.61/3928.70	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.04 s
124961.80/3928.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20036 time:  0.05 s
124961.80/3928.79	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.04 s
124971.41/3929.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
125092.86/3932.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.21 s
126345.54/3972.09	c lits-rem:      3866  cl-subs:     2942  v-elim:      0  v-fix:    0  time: 39.22 s
126348.74/3972.12	c vivif2 --  cl tried    41067 cl shrink        0 lits rem          0 time: 0.02
126399.25/3973.70	c vivif2 --  cl tried   141149 cl shrink    39450 lits rem     862396 time: 1.56
126428.05/3974.66	c asymm  cl-useful: 20/2327/41067 lits-rem:23 time: 0.96
126428.05/3974.69	c calculated reachability. Time: 0.01
126428.05/3974.69	c  N st   889   3212413     20036     41067     72060    141149    243521  17077354     10.12   no data
143834.75/4519.75	c  N st   890   3712413     20036     41067     72061    142722    243521  22277954     10.12   no data
143834.75/4519.75	c  S st   890   3712413     20036     41067     72061    142722    243521  22277954     10.12   no data
143869.92/4520.83	c  S st   890   3712918     20036     41067     72094    143226    243521  22295661     10.12   no data
143873.72/4520.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
143975.17/4524.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     16 BRemN:      0 P: 34.1M T:  3.23
143978.97/4524.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143978.97/4524.24	c bin-w-bin subsume rem            4 bins  time:  0.01 s
143978.97/4524.27	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.04 s
143982.19/4524.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20036 time:  0.06 s
143982.19/4524.37	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
143994.14/4524.71	c lits-rem:         0  cl-subs:        3  v-elim:      1  v-fix:    0  time:  0.34 s
144131.58/4529.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.57 s
145458.11/4570.53	c lits-rem:     20421  cl-subs:     1175  v-elim:      0  v-fix:    0  time: 41.44 s
145458.11/4570.55	c vivif2 --  cl tried    41062 cl shrink        0 lits rem          0 time: 0.02
145518.20/4572.43	c vivif2 --  cl tried   138846 cl shrink    38846 lits rem     640457 time: 1.85
145550.17/4573.45	c asymm  cl-useful: 10/11876/41062 lits-rem:11 time: 1.02
145550.17/4573.48	c calculated reachability. Time: 0.01
145550.17/4573.48	c  N st   890   3712918     20035     41062     72075    138846    243484  20424580     10.12   no data
147092.56/4621.75	c  F st   891   3751562     20035     41062     72075     92367    243484   7131729     10.12   no data
147095.77/4621.80	c  N st   891   3751562     20035     41062     72075     92367    243484   7131729     10.12   no data
147165.72/4624.07	c Decided on static restart strategy
147833.30/4644.95	c  N st   901   3779871     20035     41062     72077    120440    243484  16226747     10.12   no data
149024.97/4682.21	c  N st   903   3815864     20035     41062     72077    156114    243484  29078161     10.12   no data
149893.20/4709.44	c  N st   904   3848256     20035     41062     72077    101531    243484   8034582     10.12   no data
151924.00/4773.08	c  N st   905   3896844     20035     41062     72077    149999    243484  29623155     10.12   no data
154085.91/4840.74	c  N st   906   3969726     20035     41062     72079    134281    243484  15905869     10.12   no data
159684.11/5016.09	c  N st   907   4079049     20035     41062     72079    154111    243483  51332823     10.12   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3400801-1306794686/watcher-3400801-1306794686 -o /tmp/evaluation-result-3400801-1306794686/solver-3400801-1306794686 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400801-1306794686.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.86 31.62 31.86 1/413 20658
/proc/meminfo: memFree=263624080/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=797012 CPUtime=0.67 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) R 20656 20658 20632 0 -1 4202496 1812 0 0 0 53 14 0 0 25 0 32 0 5434619 816140288 1654 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20658/statm: 199491 1698 322 95 0 194473 0
[pid=20658/tid=20659] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20659/stat : 20659 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 30 0 0 0 1 0 0 0 21 0 32 0 5434620 817115136 1874 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20658/tid=20660] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20660/stat : 20660 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 97 0 0 0 1 0 0 0 18 0 32 0 5434620 817115136 1931 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20658/tid=20661] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20661/stat : 20661 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 71 0 0 0 1 0 0 0 18 0 32 0 5434620 817115136 1972 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20658/tid=20662] ppid=20656 vsize=797964 CPUtime=0 cores=0-31
/proc/20658/task/20662/stat : 20662 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 32 0 5434620 817115136 2051 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20658/tid=20663] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20663/stat : 20663 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 50 0 0 0 1 0 0 0 21 0 32 0 5434620 817115136 2099 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20658/tid=20664] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20664/stat : 20664 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 47 0 0 0 1 0 0 0 21 0 32 0 5434620 817115136 2175 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20658/tid=20665] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20665/stat : 20665 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 14 0 0 0 1 0 0 0 21 0 32 0 5434620 817115136 2256 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20658/tid=20666] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20666/stat : 20666 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 65 0 0 0 1 0 0 0 22 0 32 0 5434620 817115136 2304 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20658/tid=20667] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20667/stat : 20667 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 46 0 0 0 1 0 0 0 18 0 32 0 5434620 817115136 2380 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20658/tid=20668] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20668/stat : 20668 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 63 0 0 0 1 0 0 0 22 0 32 0 5434620 817115136 2439 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20658/tid=20669] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20669/stat : 20669 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 64 0 0 0 1 0 0 0 23 0 32 0 5434620 817115136 2485 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20658/tid=20670] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20670/stat : 20670 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 66 0 0 0 1 0 0 0 22 0 32 0 5434620 817115136 2540 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20658/tid=20671] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20671/stat : 20671 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 66 0 0 0 1 0 0 0 22 0 32 0 5434620 817115136 2603 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20658/tid=20672] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20672/stat : 20672 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 86 0 0 0 1 0 0 0 23 0 32 0 5434620 817115136 2667 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20658/tid=20673] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20673/stat : 20673 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 85 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 2723 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20658/tid=20674] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20674/stat : 20674 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 106 0 0 0 1 0 0 0 18 0 32 0 5434620 817115136 2782 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20658/tid=20675] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20675/stat : 20675 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 58 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 2855 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20658/tid=20676] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20676/stat : 20676 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 120 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 2910 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20658/tid=20677] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20677/stat : 20677 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 92 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 2973 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20658/tid=20678] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20678/stat : 20678 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 83 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 3037 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 89 0 0 0 1 0 0 0 24 0 32 0 5434620 817115136 3086 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20658/tid=20680] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20680/stat : 20680 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 75 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3157 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20658/tid=20681] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20681/stat : 20681 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 64 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3223 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20658/tid=20682] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20682/stat : 20682 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 132 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3279 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20658/tid=20683] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20683/stat : 20683 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 83 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3335 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20658/tid=20684] ppid=20656 vsize=797964 CPUtime=0.02 cores=0-31
/proc/20658/task/20684/stat : 20684 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 97 0 0 0 1 1 0 0 18 0 32 0 5434620 817115136 3401 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20658/tid=20685] ppid=20656 vsize=797964 CPUtime=0.02 cores=0-31
/proc/20658/task/20685/stat : 20685 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 104 0 0 0 1 1 0 0 25 0 32 0 5434620 817115136 3471 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20658/tid=20686] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20686/stat : 20686 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 119 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3530 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20658/tid=20687] ppid=20656 vsize=797964 CPUtime=0.02 cores=0-31
/proc/20658/task/20687/stat : 20687 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 102 0 0 0 1 1 0 0 25 0 32 0 5434620 817115136 3597 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20658/tid=20688] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20688/stat : 20688 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 102 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3668 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20658/tid=20689] ppid=20656 vsize=797964 CPUtime=0.01 cores=0-31
/proc/20658/task/20689/stat : 20689 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 117 0 0 0 1 0 0 0 25 0 32 0 5434620 817115136 3727 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.060821 s]
/proc/loadavg: 29.86 31.62 31.86 1/413 20658
/proc/meminfo: memFree=263624080/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=798096 CPUtime=1.23 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) D 20656 20658 20632 0 -1 4202496 8158 0 0 0 54 69 0 0 25 0 32 0 5434619 817250304 7990 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20658/statm: 199524 8000 330 95 0 194506 0
[pid=20658/tid=20659] ppid=20656 vsize=798096 CPUtime=0.02 cores=0-31
/proc/20658/task/20659/stat : 20659 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 219 0 0 0 1 1 0 0 21 0 32 0 5434620 817250304 8004 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20658/tid=20660] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20660/stat : 20660 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 295 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8011 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20658/tid=20661] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20661/stat : 20661 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 252 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8029 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20658/tid=20662] ppid=20656 vsize=798096 CPUtime=0.02 cores=0-31
/proc/20658/task/20662/stat : 20662 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 274 0 0 0 0 2 0 0 18 0 32 0 5434620 817250304 8053 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20658/tid=20663] ppid=20656 vsize=798096 CPUtime=0.02 cores=0-31
/proc/20658/task/20663/stat : 20663 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 222 0 0 0 1 1 0 0 21 0 32 0 5434620 817250304 8053 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20658/tid=20664] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20664/stat : 20664 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 228 0 0 0 1 2 0 0 21 0 32 0 5434620 817250304 8054 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20658/tid=20665] ppid=20656 vsize=798096 CPUtime=0.01 cores=0-31
/proc/20658/task/20665/stat : 20665 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 37 0 0 0 1 0 0 0 21 0 32 0 5434620 817250304 8067 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20658/tid=20666] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20666/stat : 20666 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 249 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8069 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20658/tid=20667] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20667/stat : 20667 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 250 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8086 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20658/tid=20668] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20668/stat : 20668 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 255 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8106 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20658/tid=20669] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20669/stat : 20669 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 240 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8114 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20658/tid=20670] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20670/stat : 20670 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 233 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8114 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20658/tid=20671] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20671/stat : 20671 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 241 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8115 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20658/tid=20672] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20672/stat : 20672 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 268 0 0 0 1 2 0 0 23 0 32 0 5434620 817250304 8123 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566927744 0 0 -1 11 0 0 0
[pid=20658/tid=20673] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20673/stat : 20673 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 251 0 0 0 1 2 0 0 24 0 32 0 5434620 817250304 8142 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20658/tid=20674] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20674/stat : 20674 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 282 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8146 268435456000 4194304 4580107 140737469735456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20658/tid=20675] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20675/stat : 20675 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 222 0 0 0 1 2 0 0 24 0 32 0 5434620 817250304 8146 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20658/tid=20676] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20676/stat : 20676 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 311 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8147 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20658/tid=20677] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20677/stat : 20677 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 263 0 0 0 1 2 0 0 24 0 32 0 5434620 817250304 8154 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20658/tid=20678] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20678/stat : 20678 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 234 0 0 0 1 2 0 0 24 0 32 0 5434620 817250304 8164 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 272 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8182 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20658/tid=20680] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20680/stat : 20680 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 243 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8215 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20658/tid=20681] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20681/stat : 20681 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 211 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8215 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20658/tid=20682] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20682/stat : 20682 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 306 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8216 268435456000 4194304 4580107 140737469735456 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20658/tid=20683] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20683/stat : 20683 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 251 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8219 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20658/tid=20684] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20684/stat : 20684 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 238 0 0 0 1 2 0 0 18 0 32 0 5434620 817250304 8239 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20658/tid=20685] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20685/stat : 20685 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 282 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8248 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20658/tid=20686] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20686/stat : 20686 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 269 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8250 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 23 0 0 0
[pid=20658/tid=20687] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20687/stat : 20687 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 240 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8250 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20658/tid=20688] ppid=20656 vsize=798096 CPUtime=0.03 cores=0-31
/proc/20658/task/20688/stat : 20688 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 268 0 0 0 1 2 0 0 25 0 32 0 5434620 817250304 8251 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20658/tid=20689] ppid=20656 vsize=798288 CPUtime=0.03 cores=0-31
/proc/20658/task/20689/stat : 20689 (strangenight2-m) D 20656 20658 20632 0 -1 4202560 262 0 0 0 1 2 0 0 25 0 32 0 5434620 817446912 8255 268435456000 4194304 4580107 140737469735456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 798096

[startup+0.103798 s]
/proc/loadavg: 29.86 31.62 31.86 1/413 20658
/proc/meminfo: memFree=263624080/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=1066876 CPUtime=1.58 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) S 20656 20658 20632 0 -1 4202496 13762 0 0 0 59 99 0 0 17 0 32 0 5434619 1092481024 13193 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20658/statm: 266719 13193 331 95 0 261701 0
[pid=20658/tid=20659] ppid=20656 vsize=1066876 CPUtime=0.03 cores=0-31
/proc/20658/task/20659/stat : 20659 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 307 0 0 0 1 2 0 0 21 0 32 0 5434620 1092481024 13197 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566927664 0 0 -1 1 0 0 0
[pid=20658/tid=20660] ppid=20656 vsize=1066876 CPUtime=0.05 cores=0-31
/proc/20658/task/20660/stat : 20660 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 557 0 0 0 2 3 0 0 17 0 32 0 5434620 1092481024 13208 268435456000 4194304 4580107 140737469735456 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20658/tid=20661] ppid=20656 vsize=1066876 CPUtime=0.04 cores=0-31
/proc/20658/task/20661/stat : 20661 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 435 0 0 0 1 3 0 0 17 0 32 0 5434620 1092481024 13208 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604486252584416 0 0 -1 24 0 0 0
[pid=20658/tid=20662] ppid=20656 vsize=1066876 CPUtime=0.03 cores=0-31
/proc/20658/task/20662/stat : 20662 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 556 0 0 0 0 3 0 0 17 0 32 0 5434620 1092481024 13221 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604477591076320 0 0 -1 20 0 0 0
[pid=20658/tid=20663] ppid=20656 vsize=1066876 CPUtime=0.03 cores=0-31
/proc/20658/task/20663/stat : 20663 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 367 0 0 0 1 2 0 0 17 0 32 0 5434620 1092481024 13259 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 8 0 0 0
[pid=20658/tid=20664] ppid=20656 vsize=1066876 CPUtime=0.04 cores=0-31
/proc/20658/task/20664/stat : 20664 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 462 0 0 0 1 3 0 0 21 0 32 0 5434620 1092481024 13259 268435456000 4194304 4580107 140737469735456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20658/tid=20665] ppid=20656 vsize=1066876 CPUtime=0.03 cores=0-31
/proc/20658/task/20665/stat : 20665 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 318 0 0 0 1 2 0 0 17 0 32 0 5434620 1092481024 13270 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604491916565984 0 0 -1 0 0 0 0
[pid=20658/tid=20666] ppid=20656 vsize=1066876 CPUtime=0.05 cores=0-31
/proc/20658/task/20666/stat : 20666 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 454 0 0 0 2 3 0 0 17 0 32 0 5434620 1092481024 13292 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604488720940512 0 0 -1 5 0 0 0
[pid=20658/tid=20667] ppid=20656 vsize=1066876 CPUtime=0.03 cores=0-31
/proc/20658/task/20667/stat : 20667 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 316 0 0 0 1 2 0 0 17 0 32 0 5434620 1092481024 13271 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566933504 0 0 -1 6 0 0 0
[pid=20658/tid=20668] ppid=20656 vsize=1066744 CPUtime=0.03 cores=0-31
/proc/20658/task/20668/stat : 20668 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 333 0 0 0 1 2 0 0 17 0 32 0 5434620 1092345856 13278 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604494140538336 0 0 -1 3 0 0 0
[pid=20658/tid=20669] ppid=20656 vsize=1066744 CPUtime=0.03 cores=0-31
/proc/20658/task/20669/stat : 20669 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 291 0 0 0 1 2 0 0 17 0 32 0 5434620 1092345856 13288 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604491279498720 0 0 -1 28 0 0 0
[pid=20658/tid=20670] ppid=20656 vsize=1066744 CPUtime=0.03 cores=0-31
/proc/20658/task/20670/stat : 20670 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 324 0 0 0 1 2 0 0 17 0 32 0 5434620 1092345856 13327 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566932864 0 0 -1 16 0 0 0
[pid=20658/tid=20671] ppid=20656 vsize=1066744 CPUtime=0.03 cores=0-31
/proc/20658/task/20671/stat : 20671 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 275 0 0 0 1 2 0 0 17 0 32 0 5434620 1092345856 13333 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926664 0 0 -1 16 0 0 0
[pid=20658/tid=20672] ppid=20656 vsize=1066744 CPUtime=0.03 cores=0-31
/proc/20658/task/20672/stat : 20672 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 287 0 0 0 1 2 0 0 17 0 32 0 5434620 1092345856 13339 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446604482356436448 0 0 -1 11 0 0 0
[pid=20658/tid=20673] ppid=20656 vsize=1066744 CPUtime=0.04 cores=0-31
/proc/20658/task/20673/stat : 20673 (strangenight2-m) S 20656 20658 20632 0 -1 4202560 390 0 0 0 1 3 0 0 17 0 32 0 5434620 1092345856 13350 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651060958 0 0 4096 2 18446744071566931304 0 0 -1 9 0 0 0
[pid=20658/tid=20674] ppid=20656 vsize=1066744 CPUtime=0.05 cores=0-31
/proc/20658/task/20674/stat : 20674 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 591 0 0 0 2 3 0 0 18 0 32 0 5434620 1092345856 13358 268435456000 4194304 4580107 140737469735456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20658/tid=20675] ppid=20656 vsize=1067004 CPUtime=0.04 cores=0-31

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

/proc/20658/task/20664/stat : 20664 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1335375 0 0 0 499162 740 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20658/tid=20665] ppid=20656 vsize=37664992 CPUtime=4994.7 cores=0-31
/proc/20658/task/20665/stat : 20665 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1093331 0 0 0 498815 655 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20658/tid=20666] ppid=20656 vsize=37664992 CPUtime=5001.1 cores=0-31
/proc/20658/task/20666/stat : 20666 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1058842 0 0 0 499530 580 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20658/tid=20667] ppid=20656 vsize=37664992 CPUtime=4994.15 cores=0-31
/proc/20658/task/20667/stat : 20667 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1026474 0 0 0 498786 629 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20658/tid=20668] ppid=20656 vsize=37664992 CPUtime=4983.91 cores=0-31
/proc/20658/task/20668/stat : 20668 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 927593 0 0 0 497840 551 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20658/tid=20669] ppid=20656 vsize=37664992 CPUtime=5009.51 cores=0-31
/proc/20658/task/20669/stat : 20669 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1141502 0 0 0 500310 641 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20658/tid=20670] ppid=20656 vsize=37664992 CPUtime=4997.52 cores=0-31
/proc/20658/task/20670/stat : 20670 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 998359 0 0 0 499128 624 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20658/tid=20671] ppid=20656 vsize=37664992 CPUtime=4994.01 cores=0-31
/proc/20658/task/20671/stat : 20671 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1065210 0 0 0 498807 594 0 0 25 0 32 0 5434620 38568951808 7690574 268435456000 4194304 4580107 140737469735456 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20658/tid=20672] ppid=20656 vsize=37664992 CPUtime=4997.95 cores=0-31
/proc/20658/task/20672/stat : 20672 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1207188 0 0 0 499153 642 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20658/tid=20673] ppid=20656 vsize=37664992 CPUtime=4998.16 cores=0-31
/proc/20658/task/20673/stat : 20673 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 995400 0 0 0 499186 630 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20658/tid=20674] ppid=20656 vsize=37664992 CPUtime=5000.49 cores=0-31
/proc/20658/task/20674/stat : 20674 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1082450 0 0 0 499402 647 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20658/tid=20675] ppid=20656 vsize=37664992 CPUtime=4996.85 cores=0-31
/proc/20658/task/20675/stat : 20675 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 939177 0 0 0 499108 577 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20658/tid=20676] ppid=20656 vsize=37664992 CPUtime=4999.84 cores=0-31
/proc/20658/task/20676/stat : 20676 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 967201 0 0 0 499384 600 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20658/tid=20677] ppid=20656 vsize=37664992 CPUtime=4992.07 cores=0-31
/proc/20658/task/20677/stat : 20677 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1161362 0 0 0 498562 645 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4318383 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20658/tid=20678] ppid=20656 vsize=37664992 CPUtime=4990.32 cores=0-31
/proc/20658/task/20678/stat : 20678 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1025758 0 0 0 498418 614 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=37664992 CPUtime=4999.99 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 975836 0 0 0 499426 573 0 0 25 0 32 0 5434620 38568951808 7690575 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20658/tid=20680] ppid=20656 vsize=37664992 CPUtime=5003.61 cores=0-31
/proc/20658/task/20680/stat : 20680 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1082676 0 0 0 499736 625 0 0 25 0 32 0 5434620 38568951808 7690576 268435456000 4194304 4580107 140737469735456 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20658/tid=20681] ppid=20656 vsize=37664992 CPUtime=4993.72 cores=0-31
/proc/20658/task/20681/stat : 20681 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 981695 0 0 0 498761 611 0 0 25 0 32 0 5434620 38568951808 7690577 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20658/tid=20682] ppid=20656 vsize=37664992 CPUtime=5001.98 cores=0-31
/proc/20658/task/20682/stat : 20682 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1059633 0 0 0 499560 638 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20658/tid=20683] ppid=20656 vsize=37664992 CPUtime=5009.52 cores=0-31
/proc/20658/task/20683/stat : 20683 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 999794 0 0 0 500342 610 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20658/tid=20684] ppid=20656 vsize=37664992 CPUtime=5000.26 cores=0-31
/proc/20658/task/20684/stat : 20684 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1000707 0 0 0 499409 617 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4295051 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20658/tid=20685] ppid=20656 vsize=37664992 CPUtime=4993.79 cores=0-31
/proc/20658/task/20685/stat : 20685 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1030791 0 0 0 498736 643 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20658/tid=20686] ppid=20656 vsize=37664992 CPUtime=4988.63 cores=0-31
/proc/20658/task/20686/stat : 20686 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1024408 0 0 0 498228 635 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20658/tid=20687] ppid=20656 vsize=37664992 CPUtime=5005.99 cores=0-31
/proc/20658/task/20687/stat : 20687 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 916486 0 0 0 500054 545 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20658/tid=20688] ppid=20656 vsize=37664992 CPUtime=4988.54 cores=0-31
/proc/20658/task/20688/stat : 20688 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1017170 0 0 0 498274 580 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20658/tid=20689] ppid=20656 vsize=37664992 CPUtime=4982.64 cores=0-31
/proc/20658/task/20689/stat : 20689 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 476706 0 0 0 497963 301 0 0 25 0 32 0 5434620 38568951808 7690579 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 159885
Current children cumulated vsize (KiB) 37664992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5025.92 s]
/proc/loadavg: 32.34 32.13 32.04 33/445 20836
/proc/meminfo: memFree=232713600/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=37808080 CPUtime=160001 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) R 20656 20658 20632 0 -1 4202496 36336900 0 0 0 15979121 20974 0 0 25 0 32 0 5434619 38715473920 7711394 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/20658/statm: 9452020 7711394 436 95 0 9447002 0
[pid=20658/tid=20659] ppid=20656 vsize=37808080 CPUtime=4999.09 cores=0-31
/proc/20658/task/20659/stat : 20659 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1532178 0 0 0 499093 816 0 0 25 0 32 0 5434620 38715473920 7711397 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20658/tid=20660] ppid=20656 vsize=37808080 CPUtime=4987.87 cores=0-31
/proc/20658/task/20660/stat : 20660 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1794633 0 0 0 497820 967 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20658/tid=20661] ppid=20656 vsize=37808080 CPUtime=4996.04 cores=0-31
/proc/20658/task/20661/stat : 20661 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1674679 0 0 0 498704 900 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20658/tid=20662] ppid=20656 vsize=37808080 CPUtime=5004.86 cores=0-31
/proc/20658/task/20662/stat : 20662 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1349668 0 0 0 499711 775 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20658/tid=20663] ppid=20656 vsize=37808080 CPUtime=5004.21 cores=0-31
/proc/20658/task/20663/stat : 20663 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1125041 0 0 0 499774 647 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20658/tid=20664] ppid=20656 vsize=37808080 CPUtime=5002.66 cores=0-31
/proc/20658/task/20664/stat : 20664 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1336007 0 0 0 499525 741 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20658/tid=20665] ppid=20656 vsize=37808080 CPUtime=4998.34 cores=0-31
/proc/20658/task/20665/stat : 20665 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1093942 0 0 0 499179 655 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20658/tid=20666] ppid=20656 vsize=37808080 CPUtime=5004.74 cores=0-31
/proc/20658/task/20666/stat : 20666 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1059938 0 0 0 499893 581 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20658/tid=20667] ppid=20656 vsize=37808080 CPUtime=4997.79 cores=0-31
/proc/20658/task/20667/stat : 20667 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1027152 0 0 0 499150 629 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20658/tid=20668] ppid=20656 vsize=37808080 CPUtime=4987.55 cores=0-31
/proc/20658/task/20668/stat : 20668 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 928636 0 0 0 498203 552 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20658/tid=20669] ppid=20656 vsize=37808080 CPUtime=5013.15 cores=0-31
/proc/20658/task/20669/stat : 20669 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1142281 0 0 0 500674 641 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20658/tid=20670] ppid=20656 vsize=37808080 CPUtime=5001.16 cores=0-31
/proc/20658/task/20670/stat : 20670 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 999140 0 0 0 499492 624 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20658/tid=20671] ppid=20656 vsize=37808080 CPUtime=4997.65 cores=0-31
/proc/20658/task/20671/stat : 20671 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1065833 0 0 0 499171 594 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20658/tid=20672] ppid=20656 vsize=37808080 CPUtime=5001.59 cores=0-31
/proc/20658/task/20672/stat : 20672 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1207418 0 0 0 499517 642 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20658/tid=20673] ppid=20656 vsize=37808080 CPUtime=5001.8 cores=0-31
/proc/20658/task/20673/stat : 20673 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 996073 0 0 0 499550 630 0 0 25 0 32 0 5434620 38715473920 7711398 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20658/tid=20674] ppid=20656 vsize=37808080 CPUtime=5004.13 cores=0-31
/proc/20658/task/20674/stat : 20674 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1082814 0 0 0 499766 647 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20658/tid=20675] ppid=20656 vsize=37808080 CPUtime=5000.49 cores=0-31
/proc/20658/task/20675/stat : 20675 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 939690 0 0 0 499471 578 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20658/tid=20676] ppid=20656 vsize=37808080 CPUtime=5003.47 cores=0-31
/proc/20658/task/20676/stat : 20676 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 967817 0 0 0 499747 600 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4324367 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20658/tid=20677] ppid=20656 vsize=37808080 CPUtime=4995.71 cores=0-31
/proc/20658/task/20677/stat : 20677 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1162092 0 0 0 498926 645 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20658/tid=20678] ppid=20656 vsize=37808080 CPUtime=4993.96 cores=0-31
/proc/20658/task/20678/stat : 20678 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1026430 0 0 0 498782 614 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4316636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=37808080 CPUtime=5003.5 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 976008 0 0 0 499777 573 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20658/tid=20680] ppid=20656 vsize=37808080 CPUtime=5007.25 cores=0-31
/proc/20658/task/20680/stat : 20680 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1083194 0 0 0 500100 625 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20658/tid=20681] ppid=20656 vsize=37808080 CPUtime=4997.36 cores=0-31
/proc/20658/task/20681/stat : 20681 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 982439 0 0 0 499125 611 0 0 25 0 32 0 5434620 38715473920 7711399 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20658/tid=20682] ppid=20656 vsize=37808080 CPUtime=5005.61 cores=0-31
/proc/20658/task/20682/stat : 20682 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1060042 0 0 0 499923 638 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20658/tid=20683] ppid=20656 vsize=37808080 CPUtime=5013.15 cores=0-31
/proc/20658/task/20683/stat : 20683 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1000403 0 0 0 500705 610 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20658/tid=20684] ppid=20656 vsize=37808080 CPUtime=5003.91 cores=0-31
/proc/20658/task/20684/stat : 20684 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1001333 0 0 0 499773 618 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20658/tid=20685] ppid=20656 vsize=37808080 CPUtime=4997.43 cores=0-31
/proc/20658/task/20685/stat : 20685 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1031097 0 0 0 499100 643 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20658/tid=20686] ppid=20656 vsize=37808080 CPUtime=4992.27 cores=0-31
/proc/20658/task/20686/stat : 20686 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1025677 0 0 0 498591 636 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20658/tid=20687] ppid=20656 vsize=37808080 CPUtime=5009.64 cores=0-31
/proc/20658/task/20687/stat : 20687 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 917288 0 0 0 500418 546 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20658/tid=20688] ppid=20656 vsize=37808080 CPUtime=4992.18 cores=0-31
/proc/20658/task/20688/stat : 20688 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 1017938 0 0 0 498638 580 0 0 25 0 32 0 5434620 38715473920 7711401 268435456000 4194304 4580107 140737469735456 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20658/tid=20689] ppid=20656 vsize=37808080 CPUtime=4986.28 cores=0-31
/proc/20658/task/20689/stat : 20689 (strangenight2-m) R 20656 20658 20632 0 -1 4202560 476874 0 0 0 498327 301 0 0 25 0 32 0 5434620 38715473920 7711402 268435456000 4194304 4580107 140737469735456 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 37808080

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20658

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

[startup+5027.02 s]
/proc/loadavg: 32.34 32.13 32.04 2/416 20837
/proc/meminfo: memFree=246213076/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=0 CPUtime=160002 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) Z 20656 20658 20632 0 -1 4203548 36336937 0 0 0 15979143 21081 0 0 25 0 2 0 5434619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/20658/statm: 0 0 0 0 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=0 CPUtime=5004.56 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4203588 976008 0 0 0 499777 679 0 0 25 0 2 0 5434620 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5027.8 s]
/proc/loadavg: 32.34 32.13 32.04 2/416 20837
/proc/meminfo: memFree=246213076/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=0 CPUtime=160003 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) Z 20656 20658 20632 0 -1 4203548 36336937 0 0 0 15979143 21159 0 0 25 0 2 0 5434619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/20658/statm: 0 0 0 0 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=0 CPUtime=5005.35 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4203588 976008 0 0 0 499777 758 0 0 25 0 2 0 5434620 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5028.2 s]
/proc/loadavg: 32.34 32.13 32.04 2/415 20837
/proc/meminfo: memFree=261254476/264257624 swapFree=67044764/67111528
[pid=20658] ppid=20656 vsize=0 CPUtime=160003 cores=0-31
/proc/20658/stat : 20658 (strangenight2-m) Z 20656 20658 20632 0 -1 4203548 36336937 0 0 0 15979143 21199 0 0 25 0 2 0 5434619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/20658/statm: 0 0 0 0 0 0 0
[pid=20658/tid=20679] ppid=20656 vsize=0 CPUtime=5005.75 cores=0-31
/proc/20658/task/20679/stat : 20679 (strangenight2-m) R 20656 20658 20632 0 -1 4203588 976008 0 0 0 499777 798 0 0 25 0 2 0 5434620 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5028.24
CPU time (s): 160003
CPU user time (s): 159791
CPU system time (s): 212.039
CPU usage (%): 3182.09
Max. virtual memory (cumulated for all children) (KiB): 38601580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159791
system time used= 212.039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36336937
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= 980690
involuntary context switches= 309895

runsolver used 26.207 second user time and 114.92 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 00:31:26
IDJOB=3400801
IDBENCH=83107
IDSOLVER=1886
FILE ID=node200/3400801-1306794686
RUNJOBID= node200-1306794686-20646
PBS_JOBID= 13470331
Free space on /tmp= 61576 MiB

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

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=1325314341

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:      263624616 kB
Buffers:         67932 kB
Cached:         385324 kB
SwapCached:      29932 kB
Active:         122128 kB
Inactive:       363160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263624616 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            9616 kB
Writeback:           0 kB
AnonPages:       29348 kB
Mapped:           8208 kB
Slab:            61192 kB
PageTables:       5396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185384 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-31 01:55:15