Trace number 3400800

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) 160006 5018.5

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
MD5SUM16e1f2a4ab0c9df60ac0d098f9f252bb
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 variables62686
Number of clauses210488
Sum of the clauses size537842
Maximum clause length1941
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2106681
Number of clauses of size 3102739
Number of clauses of size 4299
Number of clauses of size 522
Number of clauses of size over 5746

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400800-1306789665.cnf'
0.00/0.09	c -- header says num vars:          62686
0.00/0.09	c -- header says num clauses:      210488
28.30/1.50	c -- clauses added:            0 learnts,       210488 normals,            0 xors
28.30/1.50	c -- vars added      62686
28.30/1.50	c Parsing time:  0.27 s
28.30/1.50	c  N st     0         0     62686    102500     94831         0    507456         0   no data   no data
56.82/2.55	c asymm  cl-useful: 9/18653/102500 lits-rem:93 time: 0.98
328.86/11.11	c Flit:    92 Blit:   5402 bXBeca:    0 bXProp: 10176 Bins:      0 BRemL:      0 BRemN:      0 P: 99.0M T:  8.54
332.08/11.12	c Cleaning up after failed var search:     0.01 s 
332.08/11.20	c Replacing    10176 vars Replaced   289389 lits Time:     0.06 s 
334.64/11.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
334.64/11.27	c bin-w-bin subsume rem         1037 bins  time:  0.01 s
337.83/11.30	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.03 s
337.83/11.39	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  44352 time:  0.09 s
341.03/11.48	c Removed useless bin:      49  fixed:     0  props:   7.24M  time:  0.08 s
353.33/11.86	c lits-rem:         0  cl-subs:      315  v-elim:  14784  v-fix:    0  time:  0.31 s
353.33/11.88	c Finding binary XORs  T:     0.02 s  found:       0
358.96/12.05	c Finding non-binary XORs:     0.07 s (found:   14581, avg size: 3.0)
358.96/12.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   2376 locsubst:  9338 time:   0.06
358.96/12.07	c Replacing     4669 vars Replaced    28014 lits Time:     0.02 s 
358.96/12.07	c calculated reachability. Time: 0.00
358.96/12.08	c Calc default polars -  time:   0.01 s pos:    2475 undec:   40237 neg:   19974
358.96/12.08	c =========================================================================================
358.96/12.08	c types(t): F = full restart, N = normal restart
358.96/12.08	c types(t): S = simplification begin/end, E = solution found
358.96/12.08	c restart types(rt): st = static, dy = dynamic
358.96/12.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
358.96/12.08	c  B st     0         0     22523     37196     28431         0    244837         0   no data   no data
378.79/12.87	c Decided on static restart strategy
405.56/13.84	c  N st     8      4922     22522     37196     28456      4770    244837    278486   no data   no data
472.58/15.93	c  N st    10     11307     22521     37196     28646     11040    244837    942883   no data   no data
539.68/18.08	c  N st    11     17050     22521     37196     28656     16649    244837   1723288   no data   no data
645.04/21.39	c  F st    12     25000     22513     37196     29073     14724    244837   1500969   no data   no data
648.24/21.44	c  N st    12     25000     22513     37194     28944     14724    244559   1500954   no data   no data
648.24/21.47	c Finding binary XORs  T:     0.01 s  found:       1
699.37/23.01	c Decided on static restart strategy
699.37/23.01	c  N st    18     30000     22507     37193     29188     19651    244450   1863965   no data   no data
699.37/23.01	c  S st    18     30000     22507     37193     29188     19651    244450   1863965   no data   no data
708.94/23.32	c  S st    18     30503     22507     37193     29214     20125    244450   1874492   no data   no data
708.94/23.37	c x-sub:  4669 x-cut:      0 vfix:      0 v-elim:   1187 locsubst:     0 time:   0.05
785.64/25.75	c Flit:    75 Blit:     14 bXBeca:    0 bXProp:   49 Bins: 181112 BRemL:  97124 BRemN:      5 P: 15.5M T:  2.35
785.64/25.78	c Replacing       50 vars Replaced     2613 lits Time:     0.03 s 
788.84/25.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
788.84/25.83	c bin-w-bin subsume rem          292 bins  time:  0.02 s
788.84/25.86	c subs with bin:      308  lits-rem:       369  v-fix:    0  time:  0.03 s
792.04/25.92	c Subs w/ non-existent bins:     32 l-rem:     35 v-fix:     0 done:  21181 time:  0.05 s
792.04/25.94	c Removed useless bin:       5  fixed:     0  props:   0.99M  time:  0.03 s
795.23/26.08	c lits-rem:       527  cl-subs:      132  v-elim:   2603  v-fix:    0  time:  0.12 s
798.43/26.12	c subs with bin:       63  lits-rem:       303  v-fix:    0  time:  0.03 s
798.43/26.18	c lits-rem:       213  cl-subs:      339  v-elim:      0  v-fix:    0  time:  0.04 s
817.53/26.74	c asymm  cl-useful: 0/18439/37092 lits-rem:0 time: 0.56
817.53/26.76	c calculated reachability. Time: 0.01
817.53/26.76	c  N st    18     30503     18578     37092     87127      4244    220852    197976   no data   no data
817.53/26.80	c Finding binary XORs  T:     0.03 s  found:       0
887.61/28.98	c  N st    20     37615     18576     37092     87348     11129    220852    991647   no data   no data
932.76/30.40	c  N st    21     44014     18576     37092     87471     10160    220852    496131   no data   no data
937.39/30.66	c Finding binary XORs  T:     0.03 s  found:       0
944.67/31.00	c  S st    22     45756     18571     37091    218348     11838    220593    906406   no data   no data
948.15/31.20	c  S st    22     46259     18571     37091    218360     12325    220593    915139   no data   no data
948.15/31.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    594 locsubst:     0 time:   0.04
970.63/32.63	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 131141 BRemL:  57601 BRemN:      0 P: 10.3M T:  1.36
970.63/32.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
972.23/32.70	c bin-w-bin subsume rem        32398 bins  time:  0.05 s
972.23/32.75	c subs with bin:      102  lits-rem:       284  v-fix:    0  time:  0.04 s
972.23/32.79	c Subs w/ non-existent bins:      2 l-rem:     21 v-fix:     0 done:  17976 time:  0.05 s
973.83/32.82	c Removed useless bin:      86  fixed:     0  props:   0.68M  time:  0.02 s
973.83/32.88	c lits-rem:         0  cl-subs:       36  v-elim:     18  v-fix:    0  time:  0.06 s
977.34/33.07	c subs with bin:       41  lits-rem:      1309  v-fix:    0  time:  0.15 s
978.85/33.15	c lits-rem:       271  cl-subs:      283  v-elim:      0  v-fix:    0  time:  0.07 s
978.85/33.17	c vivif2 --  cl tried    36930 cl shrink      128 lits rem        403 time: 0.01
978.85/33.19	c vivif2 --  cl tried     8126 cl shrink     1181 lits rem       7424 time: 0.02
984.51/33.59	c asymm  cl-useful: 244/19710/36839 lits-rem:1114 time: 0.41
986.08/33.62	c calculated reachability. Time: 0.01
986.08/33.62	c  N st    22     46259     17958     36839    256334      8103    216809    719305   no data   no data
986.08/33.65	c Finding binary XORs  T:     0.03 s  found:       0
1041.12/37.08	c  N st    23     60658     17958     36839    256396     22206    216809   1811657   no data   no data
1101.90/39.71	c Finding binary XORs  T:     0.04 s  found:       1
1175.63/42.09	c  N st    24     69388     17955     36835    276414     18403    216617   1342164   no data   no data
1175.63/42.09	c  S st    24     69388     17955     36835    276414     18403    216617   1342164   no data   no data
1181.87/42.23	c Finding binary XORs  T:     0.04 s  found:       3
1191.35/42.57	c  S st    24     69888     17952     36831    308624     18882    216500   1417286   no data   no data
1194.44/42.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    270 locsubst:     0 time:   0.04
1248.05/44.35	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1341 BRemL:  59124 BRemN:      0 P: 11.4M T:  1.74
1251.26/44.41	c Replacing        4 vars Replaced     2216 lits Time:     0.06 s 
1251.26/44.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1251.26/44.49	c bin-w-bin subsume rem        25320 bins  time:  0.04 s
1254.44/44.54	c subs with bin:       58  lits-rem:        35  v-fix:    0  time:  0.05 s
1254.44/44.59	c Subs w/ non-existent bins:     28 l-rem:     27 v-fix:     0 done:  17677 time:  0.06 s
1257.63/44.62	c Removed useless bin:       0  fixed:     0  props:   0.69M  time:  0.03 s
1257.63/44.69	c lits-rem:        12  cl-subs:       24  v-elim:     61  v-fix:    0  time:  0.07 s
1270.40/45.07	c subs with bin:        7  lits-rem:       679  v-fix:    0  time:  0.32 s
1279.95/45.39	c lits-rem:       621  cl-subs:      571  v-elim:      0  v-fix:    0  time:  0.30 s
1283.05/45.41	c vivif2 --  cl tried    36744 cl shrink       51 lits rem        137 time: 0.02
1283.05/45.46	c vivif2 --  cl tried    16699 cl shrink     1623 lits rem       8146 time: 0.05
1298.70/45.95	c asymm  cl-useful: 225/16848/36741 lits-rem:675 time: 0.49
1298.70/45.98	c calculated reachability. Time: 0.01
1298.70/45.98	c  N st    24     69888     17616     36516    223250     16699    215537   1043371   no data   no data
1301.74/46.01	c Finding binary XORs  T:     0.04 s  found:      97
1514.37/52.78	c  F st    25     87503     17610     36516    225846     17609    215536   1043245   no data   no data
1518.15/52.83	c Replacing       97 vars Replaced     1615 lits Time:     0.03 s 
1518.15/52.87	c  N st    25     87503     17513     36500    223822     17572    215087   1039149   no data   no data
1575.06/54.67	c  N dy    35     93113     17507     36500    224469     23074    215087   1560756      9.49     12.35
1642.19/56.78	c  N dy    61    100041     17506     36500    224496     29912    215087   1900962     10.65     11.28
1690.14/58.28	c  S st    87    104832     17505     36500    224524     34603    215086   2140627     11.07      6.81
1702.91/58.64	c  S st    87    105334     17505     36500    224532     35095    215085   2151536     11.07   no data
1702.91/58.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    126 locsubst:     0 time:   0.04
1767.42/60.63	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     78 BRemL:  57465 BRemN:      0 P: 13.7M T:  1.95
1767.42/60.70	c Replacing        3 vars Replaced      532 lits Time:     0.06 s 
1770.01/60.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1770.01/60.75	c bin-w-bin subsume rem         3009 bins  time:  0.02 s
1770.01/60.79	c subs with bin:      176  lits-rem:       191  v-fix:    0  time:  0.04 s
1773.21/60.84	c Subs w/ non-existent bins:      5 l-rem:     11 v-fix:     0 done:  17369 time:  0.05 s
1773.21/60.86	c Removed useless bin:      66  fixed:     0  props:   0.60M  time:  0.02 s
1776.38/60.94	c lits-rem:        17  cl-subs:      185  v-elim:     66  v-fix:    0  time:  0.07 s
1834.50/62.80	c subs with bin:        3  lits-rem:        80  v-fix:    0  time:  1.72 s
1862.64/63.68	c lits-rem:      1466  cl-subs:     1085  v-elim:      0  v-fix:    0  time:  0.86 s
1862.64/63.69	c vivif2 --  cl tried    36101 cl shrink       27 lits rem         58 time: 0.02
1865.83/63.81	c vivif2 --  cl tried    31560 cl shrink     3470 lits rem      29129 time: 0.11
1888.20/64.47	c asymm  cl-useful: 290/19465/36101 lits-rem:695 time: 0.66
1888.20/64.49	c calculated reachability. Time: 0.01
1888.20/64.49	c  N dy    87    105334     17303     36090    144545     31560    212218   1704845     11.07   no data
1891.40/64.53	c Finding binary XORs  T:     0.03 s  found:       3
1968.09/66.94	c  N dy   110    113089     17295     36090    145164     19974    212218    761114     10.58     11.35
2038.39/69.14	c  N dy   155    120519     17292     36090    145784     27288    212217   1143320     10.81     11.95
2118.91/71.64	c  N dy   186    128727     17287     36090    146205     35370    212216   1714854     10.62     11.30
2207.77/74.49	c  N dy   232    136960     17286     36090    146335     43475    212215   2110203     10.67     13.91
2284.48/76.83	c Finding binary XORs  T:     0.03 s  found:       8
2306.84/77.55	c  N dy   277    145852     17283     36064    134917     29943    211579   1239076     10.79     11.43
2412.23/80.83	c  N dy   328    155201     17283     36064    135479     39161    211579   1711430     10.93     12.58
2444.19/81.89	c  S st   347    158001     17283     36064    135694     41927    211579   1847577     10.98      7.79
2456.98/82.27	c  S st   347    158502     17283     36064    135694     42424    211579   1865580     10.98   no data
2460.18/82.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2527.30/84.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bins:  38603 BRemL:  68007 BRemN:      2 P: 14.9M T:  2.15
2527.30/84.50	c Replacing       28 vars Replaced     1208 lits Time:     0.03 s 
2530.49/84.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2530.49/84.54	c bin-w-bin subsume rem         1312 bins  time:  0.01 s
2530.49/84.58	c subs with bin:      289  lits-rem:       215  v-fix:    0  time:  0.03 s
2533.68/84.62	c Subs w/ non-existent bins:     29 l-rem:     55 v-fix:     0 done:  17255 time:  0.04 s
2533.68/84.65	c Removed useless bin:       6  fixed:     0  props:   0.62M  time:  0.02 s
2537.51/84.72	c lits-rem:        33  cl-subs:      176  v-elim:    123  v-fix:    0  time:  0.08 s
2581.63/86.15	c subs with bin:      231  lits-rem:      1176  v-fix:    0  time:  1.31 s
2619.97/87.36	c lits-rem:      2170  cl-subs:     1229  v-elim:      0  v-fix:    0  time:  1.19 s
2619.97/87.38	c vivif2 --  cl tried    35606 cl shrink       73 lits rem        158 time: 0.02
2626.36/87.51	c vivif2 --  cl tried    39557 cl shrink     4697 lits rem      45131 time: 0.13
2646.14/88.12	c asymm  cl-useful: 37/13061/35604 lits-rem:111 time: 0.61
2646.14/88.15	c calculated reachability. Time: 0.01
2646.14/88.15	c  N dy   347    158502     17132     35567     99791     39557    209894   1536338     10.98   no data
2646.14/88.18	c Finding binary XORs  T:     0.03 s  found:       4
2766.95/91.91	c  N dy   383    168716     17129     35567    120580     26734    209894    883787     10.86     18.70
2789.32/92.60	c Finding binary XORs  T:     0.03 s  found:       0
2894.83/95.99	c  N dy   435    181511     17128     35557    110646     39260    209831   1495937     10.86     11.44
3032.87/100.22	c  N dy   488    193315     17126     35557    111356     26212    209831    634099     10.83     11.85
3140.91/103.66	c Finding binary XORs  T:     0.03 s  found:      11
3163.30/104.37	c  N dy   550    205690     17125     35549    112212     38339    209698   1260242     10.89     11.47
3323.09/109.39	c  N dy   615    218896     17122     35549    112757     51392    209696   2304424     10.99     21.62
3476.52/114.13	c  N dy   678    232933     17120     35549    113262     39165    209696   1227857     11.08     11.76
3527.66/115.79	c  S st   704    237753     17120     35549    113262     43937    209696   1589978     11.13   no data
3540.46/116.19	c  S st   704    238254     17120     35549    113262     44436    209696   1607913     11.13   no data
3543.62/116.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3604.35/118.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  10688 BRemL:  41359 BRemN:     11 P: 17.6M T:  1.93
3607.54/118.21	c Replacing       16 vars Replaced      722 lits Time:     0.05 s 
3607.54/118.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3607.54/118.25	c bin-w-bin subsume rem         2900 bins  time:  0.01 s
3607.54/118.28	c subs with bin:      217  lits-rem:       151  v-fix:    0  time:  0.03 s
3610.77/118.33	c Subs w/ non-existent bins:      0 l-rem:     30 v-fix:     0 done:  17104 time:  0.05 s
3610.77/118.35	c Removed useless bin:       1  fixed:     0  props:   0.65M  time:  0.02 s
3613.94/118.43	c lits-rem:         8  cl-subs:      125  v-elim:     70  v-fix:    0  time:  0.07 s
3655.50/119.73	c subs with bin:       63  lits-rem:       617  v-fix:    0  time:  1.19 s
3690.66/120.86	c lits-rem:      2163  cl-subs:      981  v-elim:      0  v-fix:    0  time:  1.11 s
3690.66/120.88	c vivif2 --  cl tried    35244 cl shrink       39 lits rem         51 time: 0.02
3697.65/121.02	c vivif2 --  cl tried    42994 cl shrink     5919 lits rem      60554 time: 0.14
3700.87/121.16	c asymm  cl-useful: 0/2716/35242 lits-rem:0 time: 0.13
3700.87/121.18	c calculated reachability. Time: 0.01
3700.87/121.18	c  N dy   704    238254     17034     35242     71823     42993    208551   1405577     11.13   no data
3703.43/121.21	c Finding binary XORs  T:     0.03 s  found:       0
3789.76/123.95	c Finding binary XORs  T:     0.03 s  found:       1
3879.25/126.76	c  N dy   771    253704     17032     35240     80627     30999    208489    807305     11.09     11.97
4035.84/131.70	c Finding binary XORs  T:     0.03 s  found:       0
4045.44/131.98	c  N dy   824    270061     17030     35238     80077     47095    208422   2430179     11.02     11.61
4260.19/138.70	c  N dy   926    288436     17028     35238     82327     36903    208421   1085475     11.15     11.75
4263.43/138.75	c Finding binary XORs  T:     0.03 s  found:       0
4454.57/144.75	c  F st  1002    306250     17027     35237     82814     54494    208362   2014464     11.13   no data
4457.74/144.81	c Replacing        1 vars Replaced        0 lits Time:     0.03 s 
4464.13/145.08	c  N st  1004    306875     17027     35235     82744     55109    208285   2062993     11.13   no data
4524.86/146.91	c Decided on static restart strategy
4717.25/152.96	c Finding binary XORs  T:     0.03 s  found:       4
4866.89/157.61	c  N st  1012    334551     17027     35235     83345     53060    208285   5939422     11.13   no data
5045.89/163.25	c Finding binary XORs  T:     0.03 s  found:       5
5135.40/166.04	c  N st  1014    357383     17024     35223     84327     46421    208176   3873319     11.13   no data
5135.40/166.04	c  S st  1014    357383     17024     35223     84327     46421    208176   3873319     11.13   no data
5148.18/166.49	c  S st  1014    357885     17024     35223     84359     46920    208176   3894555     11.13   no data
5151.37/166.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
5202.53/168.13	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    8 Bins:   2552 BRemL:  19859 BRemN:      2 P: 16.6M T:  1.60
5205.72/168.21	c Replacing       17 vars Replaced      480 lits Time:     0.07 s 
5205.72/168.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5205.72/168.25	c bin-w-bin subsume rem         1513 bins  time:  0.01 s
5205.72/168.27	c subs with bin:       65  lits-rem:        46  v-fix:    0  time:  0.03 s
5205.72/168.32	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:  17006 time:  0.04 s
5209.52/168.34	c Removed useless bin:       3  fixed:     0  props:   0.64M  time:  0.03 s
5212.74/168.43	c lits-rem:         0  cl-subs:       59  v-elim:     11  v-fix:    0  time:  0.09 s
5283.04/170.66	c subs with bin:        2  lits-rem:       214  v-fix:    0  time:  1.92 s
5416.66/174.82	c lits-rem:      2253  cl-subs:     1276  v-elim:      0  v-fix:    0  time:  4.15 s
5416.66/174.84	c vivif2 --  cl tried    35070 cl shrink        2 lits rem          2 time: 0.02
5426.27/175.16	c vivif2 --  cl tried    45345 cl shrink    10462 lits rem     181936 time: 0.31
5451.83/175.90	c asymm  cl-useful: 72/17512/35070 lits-rem:87 time: 0.74
5451.83/175.92	c calculated reachability. Time: 0.01
5451.83/175.92	c  N st  1014    357885     16995     35069     62149     45340    207400   3493063     11.13   no data
6340.42/203.76	c  N st  1015    390278     16995     35069     62149     47037    207400   8083433     11.13   no data
6343.59/203.87	c Finding binary XORs  T:     0.03 s  found:       2
6957.32/223.09	c  N st  1016    438866     16994     35068     64398     62837    207385   6780863     11.13   no data
8613.07/274.89	c  N st  1017    511750     16993     35068     64510     67488    207384   8106514     11.13   no data
8616.27/274.99	c Finding binary XORs  T:     0.03 s  found:       1
8980.66/286.31	c  N st  1018    536829     16991     35066     64443     56754    207321   4882042     11.13   no data
8980.66/286.31	c  S st  1018    536829     16991     35066     64443     56754    207321   4882042     11.13   no data
8980.66/286.35	c Finding binary XORs  T:     0.03 s  found:       2
8996.62/286.85	c  S st  1018    537332     16991     35066     65521     57256    207321   4900365     11.13   no data
8996.62/286.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
9050.95/288.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    344 BRemL:   6657 BRemN:      0 P: 17.9M T:  1.60
9050.95/288.54	c Replacing        5 vars Replaced      129 lits Time:     0.04 s 
9050.95/288.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9050.95/288.58	c bin-w-bin subsume rem          157 bins  time:  0.01 s
9054.15/288.61	c subs with bin:       29  lits-rem:        17  v-fix:    0  time:  0.03 s
9054.15/288.65	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  16986 time:  0.04 s
9054.15/288.68	c Removed useless bin:       0  fixed:     0  props:   0.61M  time:  0.02 s
9057.38/288.79	c lits-rem:         0  cl-subs:       31  v-elim:      3  v-fix:    0  time:  0.11 s
9134.07/291.20	c subs with bin:       53  lits-rem:      1860  v-fix:    0  time:  2.01 s
9348.23/297.88	c lits-rem:      6217  cl-subs:     1185  v-elim:      0  v-fix:    0  time:  6.66 s
9348.23/297.89	c vivif2 --  cl tried    34998 cl shrink        0 lits rem          0 time: 0.02
9364.20/298.31	c vivif2 --  cl tried    55953 cl shrink    14103 lits rem     179479 time: 0.41
9377.00/298.79	c asymm  cl-useful: 0/5156/34998 lits-rem:0 time: 0.48
9380.20/298.81	c calculated reachability. Time: 0.01
9380.20/298.81	c  N st  1018    537332     16983     34998     59052     55953    207027   4601075     11.13   no data
15875.00/502.09	c  N st  1019    701317     16983     34998     59052     66502    207027  14738085     11.13   no data
15881.38/502.24	c Finding binary XORs  T:     0.03 s  found:       6
18667.31/589.47	c  N st  1020    806000     16978     34984     59645     87939    206940  16167495     11.13   no data
18667.31/589.47	c  S st  1020    806000     16978     34984     59645     87939    206940  16167495     11.13   no data
18686.48/590.08	c  S st  1020    806501     16978     34984     59931     88431    206939  16185093     11.13   no data
18689.67/590.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
18750.40/592.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     45 BRemL:   3655 BRemN:      0 P: 19.2M T:  1.85
18753.61/592.11	c Replacing       10 vars Replaced     2015 lits Time:     0.11 s 
18753.61/592.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18753.61/592.15	c bin-w-bin subsume rem          191 bins  time:  0.01 s
18753.61/592.18	c subs with bin:       31  lits-rem:        12  v-fix:    0  time:  0.03 s
18756.80/592.22	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  16968 time:  0.04 s
18756.80/592.25	c Removed useless bin:       1  fixed:     0  props:   0.60M  time:  0.03 s
18763.20/592.46	c lits-rem:         0  cl-subs:       11  v-elim:      5  v-fix:    0  time:  0.21 s
18881.43/596.17	c subs with bin:        4  lits-rem:      1135  v-fix:    0  time:  2.25 s
19877.94/627.35	c lits-rem:     15310  cl-subs:     2084  v-elim:      0  v-fix:    0  time: 31.16 s
19877.94/627.37	c vivif2 --  cl tried    34924 cl shrink        0 lits rem          0 time: 0.02
19925.86/628.86	c vivif2 --  cl tried    86191 cl shrink    30205 lits rem     945651 time: 1.45
19948.24/629.59	c asymm  cl-useful: 0/12256/34924 lits-rem:0 time: 0.72
19951.39/629.61	c calculated reachability. Time: 0.01
19951.39/629.61	c  N st  1020    806501     16963     34924     56119     86188    206752  14895710     11.13   no data
26508.62/834.93	c  F st  1021   1071875     16963     34924     56121     78110    206752   7348605     11.13   no data
26508.62/834.97	c  N st  1021   1071875     16963     34924     56121     78110    206752   7348605     11.13   no data
26511.85/835.09	c Finding binary XORs  T:     0.03 s  found:       1
26632.66/838.86	c Decided on static restart strategy
27127.89/854.33	c  N st  1031   1100179     16962     34923     56370     57970    206738   3942281     11.13   no data
27897.73/878.45	c  N st  1033   1136172     16962     34923     56420     93768    206738  13198009     11.13   no data
28903.89/909.90	c  N st  1034   1168564     16962     34923     56424     76627    206738  14519646     11.13   no data
30201.31/950.52	c  N st  1035   1209751     16962     34923     56427     66973    206738   8460661     11.13   no data
30201.31/950.52	c  S st  1035   1209751     16962     34923     56427     66973    206738   8460661     11.13   no data
30216.67/951.01	c  S st  1035   1210255     16962     34923     56472     67476    206738   8477034     11.13   no data
30216.67/951.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
30271.62/952.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    491 BRemL:   1427 BRemN:      0 P: 17.7M T:  1.69
30274.18/952.83	c Replacing        1 vars Replaced      357 lits Time:     0.06 s 
30274.18/952.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30274.18/952.87	c bin-w-bin subsume rem           65 bins  time:  0.01 s
30274.18/952.90	c subs with bin:        9  lits-rem:         4  v-fix:    0  time:  0.03 s
30277.37/952.94	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:  16961 time:  0.04 s
30277.37/952.97	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
30283.76/953.11	c lits-rem:         0  cl-subs:        3  v-elim:      4  v-fix:    0  time:  0.15 s
30363.50/955.62	c subs with bin:       24  lits-rem:       315  v-fix:    0  time:  1.86 s
30644.27/964.43	c lits-rem:      6848  cl-subs:     1005  v-elim:      0  v-fix:    0  time:  8.78 s
30644.27/964.45	c vivif2 --  cl tried    34906 cl shrink        0 lits rem          0 time: 0.02
30663.41/965.04	c vivif2 --  cl tried    66077 cl shrink     9452 lits rem     204905 time: 0.58
30689.56/965.89	c asymm  cl-useful: 26/9759/34906 lits-rem:29 time: 0.85
30689.56/965.91	c calculated reachability. Time: 0.01
30689.56/965.91	c  N st  1035   1210255     16957     34906     55471     66076    206643   8027109     11.13   no data
30692.79/965.95	c Finding binary XORs  T:     0.03 s  found:       0
33016.86/1038.70	c  N st  1036   1283137     16957     34906     55471     86750    206643  13889753     11.13   no data
35883.41/1128.54	c  N st  1037   1392462     16957     34906     55870     89229    206643   9329784     11.13   no data
35883.41/1128.58	c Finding binary XORs  T:     0.03 s  found:       0
41470.93/1303.58	c  N st  1038   1556447     16957     34906     55899     85419    206643  15346005     11.13   no data
46314.66/1455.34	c  N st  1039   1710257     16957     34906     56257    122347    206643  19959512     11.13   no data
46314.66/1455.34	c  S st  1039   1710257     16957     34906     56257    122347    206643  19959512     11.13   no data
46339.65/1456.11	c  S st  1039   1710759     16957     34906     56286    122848    206643  19977740     11.13   no data
46342.85/1456.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
46425.90/1458.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     43 BRemL:    900 BRemN:      0 P: 26.2M T:  2.67
46429.10/1458.97	c Replacing        1 vars Replaced       49 lits Time:     0.09 s 
46432.29/1459.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46432.29/1459.01	c bin-w-bin subsume rem          108 bins  time:  0.01 s
46432.29/1459.04	c subs with bin:        8  lits-rem:         2  v-fix:    0  time:  0.03 s
46432.29/1459.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16956 time:  0.05 s
46435.39/1459.12	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
46445.00/1459.40	c lits-rem:         0  cl-subs:       17  v-elim:      9  v-fix:    0  time:  0.28 s
46572.68/1463.47	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  2.51 s
48532.66/1524.81	c lits-rem:        97  cl-subs:     3854  v-elim:      0  v-fix:    0  time: 61.26 s
48532.66/1524.83	c vivif2 --  cl tried    34879 cl shrink        0 lits rem          0 time: 0.02
48589.95/1526.65	c vivif2 --  cl tried   115292 cl shrink    40946 lits rem    1041590 time: 1.76
48618.69/1527.53	c asymm  cl-useful: 27/11954/34879 lits-rem:27 time: 0.87
48618.69/1527.55	c calculated reachability. Time: 0.01
48618.69/1527.55	c  N st  1039   1710759     16947     34879     54559    115292    206485  16881195     11.13   no data
65578.93/2058.75	c  N st  1040   2079723     16947     34879     54559    113418    206485  16235234     11.13   no data
65585.33/2058.93	c Finding binary XORs  T:     0.03 s  found:       0
72249.23/2267.68	c  N st  1041   2210760     16945     34877     53726    111780    206459  22981763     11.13   no data
72249.23/2267.68	c  S st  1041   2210760     16945     34877     53726    111780    206459  22981763     11.13   no data
72272.23/2268.37	c  S st  1041   2211261     16945     34877     53799    112281    206459  22998416     11.13   no data
72274.80/2268.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
72342.56/2270.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     37 BRemL:    191 BRemN:      0 P: 22.6M T:  2.12
72345.12/2270.68	c Replacing        1 vars Replaced       20 lits Time:     0.09 s 
72348.32/2270.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72348.32/2270.72	c bin-w-bin subsume rem           18 bins  time:  0.01 s
72348.32/2270.75	c subs with bin:        7  lits-rem:         4  v-fix:    0  time:  0.03 s
72351.51/2270.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16944 time:  0.05 s
72351.51/2270.83	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
72361.11/2271.12	c lits-rem:         0  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.29 s
72488.97/2275.13	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  2.20 s
73536.87/2307.94	c lits-rem:      2607  cl-subs:     1125  v-elim:      0  v-fix:    0  time: 32.79 s
73536.87/2307.96	c vivif2 --  cl tried    34867 cl shrink        0 lits rem          0 time: 0.02
73600.18/2309.97	c vivif2 --  cl tried   110200 cl shrink    30768 lits rem     657736 time: 1.97
73622.39/2310.60	c asymm  cl-useful: 0/4783/34867 lits-rem:0 time: 0.63
73622.39/2310.63	c calculated reachability. Time: 0.01
73622.39/2310.63	c  N st  1041   2211261     16943     34867     53628    110200    206436  21553802     11.13   no data
93300.61/2926.95	c  N st  1042   2711261     16943     34867     53628    114427    206436  22768612     11.13   no data
93300.61/2926.95	c  S st  1042   2711261     16943     34867     53628    114427    206436  22768612     11.13   no data
93319.77/2927.59	c  S st  1042   2711763     16942     34867     53856    114928    206436  22787621     11.13   no data
93322.97/2927.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
93386.72/2929.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     33 BRemL:    135 BRemN:      0 P: 22.0M T:  1.98
93396.32/2929.91	c Replacing        1 vars Replaced       22 lits Time:     0.24 s 
93396.32/2929.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
93396.32/2929.95	c bin-w-bin subsume rem           54 bins  time:  0.01 s
93396.32/2929.97	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.03 s
93399.51/2930.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16941 time:  0.04 s
93399.51/2930.04	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
93409.11/2930.32	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.27 s
93533.77/2934.27	c subs with bin:        2  lits-rem:         2  v-fix:    0  time:  2.09 s
94575.40/2966.87	c lits-rem:     14248  cl-subs:      779  v-elim:      0  v-fix:    0  time: 32.58 s
94575.40/2966.89	c vivif2 --  cl tried    34858 cl shrink        0 lits rem          0 time: 0.02
94632.09/2968.64	c vivif2 --  cl tried   114145 cl shrink    25649 lits rem    1889252 time: 1.68
94654.45/2969.38	c asymm  cl-useful: 0/2379/34858 lits-rem:0 time: 0.74
94657.65/2969.40	c calculated reachability. Time: 0.01
94657.65/2969.40	c  N st  1042   2711763     16941     34858     53155    114144    206407  20700735     11.13   no data
109012.68/3419.06	c  N st  1043   3211766     16941     34858     53155    148783    206407  12916988     11.13   no data
109012.68/3419.06	c  S st  1043   3211766     16941     34858     53155    148783    206407  12916988     11.13   no data
109012.68/3419.09	c Finding binary XORs  T:     0.03 s  found:       0
109038.26/3419.84	c  S st  1043   3212267     16941     34858     53285    149283    206407  12939334     11.13   no data
109042.09/3419.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
109118.20/3422.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     67 BRemL:    178 BRemN:      0 P: 30.2M T:  2.45
109121.36/3422.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109121.36/3422.42	c bin-w-bin subsume rem           37 bins  time:  0.01 s
109121.36/3422.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
109121.36/3422.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16941 time:  0.04 s
109124.57/3422.51	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.03 s
109130.95/3422.74	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.22 s
109252.73/3426.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.79 s
110222.59/3456.96	c lits-rem:     38006  cl-subs:     2132  v-elim:      0  v-fix:    0  time: 30.34 s
110222.59/3456.98	c vivif2 --  cl tried    34857 cl shrink        0 lits rem          0 time: 0.02
110267.34/3458.33	c vivif2 --  cl tried   147068 cl shrink    51969 lits rem     645573 time: 1.33
110280.11/3458.70	c asymm  cl-useful: 0/5982/34857 lits-rem:0 time: 0.37
110280.11/3458.72	c calculated reachability. Time: 0.01
110280.11/3458.72	c  N st  1043   3212267     16940     34857     53139    147067    206399  12030527     11.13   no data
131127.59/4111.72	c  N st  1044   3712273     16940     34857     53140    146792    206399  22619254     11.13   no data
131127.59/4111.72	c  S st  1044   3712273     16940     34857     53140    146792    206399  22619254     11.13   no data
131134.59/4111.93	c Finding binary XORs  T:     0.03 s  found:       0
131162.75/4112.87	c  S st  1044   3712778     16939     34855     53735    147031    206386  22565009     11.13   no data
131166.55/4112.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
131240.09/4115.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:    681 BRemN:      0 P: 25.7M T:  2.32
131242.66/4115.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131242.66/4115.32	c bin-w-bin subsume rem           18 bins  time:  0.01 s
131242.66/4115.35	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  0.03 s
131242.66/4115.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16939 time:  0.05 s
131245.84/4115.42	c Removed useless bin:       0  fixed:     0  props:   0.59M  time:  0.03 s
131255.44/4115.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
131383.23/4119.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.30 s
133031.19/4171.39	c lits-rem:      5930  cl-subs:     1624  v-elim:      0  v-fix:    0  time: 51.60 s
133033.75/4171.41	c vivif2 --  cl tried    34849 cl shrink        0 lits rem          0 time: 0.02
133101.44/4173.55	c vivif2 --  cl tried   145407 cl shrink    42405 lits rem    2184209 time: 2.09
133129.58/4174.45	c asymm  cl-useful: 10/2045/34849 lits-rem:11 time: 0.89
133129.58/4174.47	c calculated reachability. Time: 0.01
133129.58/4174.47	c  N st  1044   3712778     16939     34849     53048    145405    206368  20061841     11.13   no data
134402.69/4214.37	c  F st  1045   3751562     16939     34849     53048     97572    206368   6826019     11.13   no data
134405.89/4214.41	c  N st  1045   3751562     16939     34849     53048     97572    206368   6826019     11.13   no data
134508.17/4217.63	c Decided on static restart strategy
135022.48/4233.76	c  N st  1055   3779862     16939     34849     53089    125469    206368  12826273     11.13   no data
136328.97/4274.67	c  N st  1057   3815858     16939     34849     53089    161092    206368  21024667     11.13   no data
137448.70/4309.73	c  N st  1058   3848250     16939     34849     53090    105971    206368   9213821     11.13   no data
139162.55/4363.41	c  N st  1059   3896839     16939     34849     53093    154200    206368  21913460     11.13   no data
140493.80/4405.14	c  N st  1060   3969722     16939     34849     53096    138150    206368  13332992     11.13   no data
145066.39/4548.35	c  N st  1061   4079049     16939     34849     53100    158000    206368  29761447     11.13   no data
150282.72/4711.75	c  N st  1062   4212778     16939     34849     53164    108339    206368   7800709     11.13   no data
150282.72/4711.75	c  S st  1062   4212778     16939     34849     53164    108339    206368   7800709     11.13   no data
150305.55/4712.51	c  S st  1062   4213280     16938     34849     53182    108840    206368   7821624     11.13   no data
150308.78/4712.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
150375.88/4714.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     14 BRemL:     74 BRemN:      0 P: 23.7M T:  2.06
150379.09/4714.79	c Replacing        1 vars Replaced       25 lits Time:     0.14 s 
150381.66/4714.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150381.66/4714.83	c bin-w-bin subsume rem           12 bins  time:  0.01 s
150381.66/4714.86	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.03 s
150384.84/4714.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  16937 time:  0.05 s
150384.84/4714.94	c Removed useless bin:       0  fixed:     0  props:   0.59M  time:  0.03 s
150391.25/4715.12	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.18 s
150481.39/4718.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.25 s
150736.33/4725.93	c lits-rem:      2304  cl-subs:      721  v-elim:      0  v-fix:    0  time:  7.89 s
150736.33/4725.95	c vivif2 --  cl tried    34843 cl shrink        0 lits rem          0 time: 0.02
150752.30/4726.46	c vivif2 --  cl tried   108054 cl shrink     9236 lits rem     211402 time: 0.50
150784.27/4727.40	c asymm  cl-useful: 29/16835/34843 lits-rem:29 time: 0.94
150784.27/4727.43	c calculated reachability. Time: 0.01
150784.27/4727.43	c  N st  1062   4213280     16937     34843     52594    108053    206313   7559594     11.13   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-3400800-1306789665/watcher-3400800-1306789665 -o /tmp/evaluation-result-3400800-1306789665/solver-3400800-1306789665 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400800-1306789665.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.32 26.71 26.61 1/413 20428
/proc/meminfo: memFree=263621152/264257624 swapFree=67044744/67111528
[pid=20428] ppid=20426 vsize=338000 CPUtime=0.78 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) R 20426 20428 20338 0 -1 4202496 435 0 0 0 78 0 0 0 25 0 32 0 4932474 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/20428/statm: 84500 376 297 95 0 79482 0
[pid=20428/tid=20429] ppid=20426 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20428/task/20429/stat : 20429 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20428/tid=20430] ppid=20426 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20428/task/20430/stat : 20430 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20428/tid=20431] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20431/stat : 20431 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20428/tid=20432] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20432/stat : 20432 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183788 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20428/tid=20433] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20433/stat : 20433 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20428/tid=20434] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20434/stat : 20434 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20428/tid=20435] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20435/stat : 20435 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20428/tid=20436] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20436/stat : 20436 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20428/tid=20437] ppid=20426 vsize=338000 CPUtime=0 cores=0-31
/proc/20428/task/20437/stat : 20437 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20428/tid=20438] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20438/stat : 20438 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20428/tid=20439] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20439/stat : 20439 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20428/tid=20440] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20440/stat : 20440 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20428/tid=20441] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20441/stat : 20441 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20428/tid=20442] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20442/stat : 20442 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20428/tid=20443] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20443/stat : 20443 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20428/tid=20445] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20445/stat : 20445 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20428/tid=20446] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20446/stat : 20446 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183798 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20428/tid=20447] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20447/stat : 20447 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20428/tid=20448] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20448/stat : 20448 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20428/tid=20449] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20449/stat : 20449 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4932475 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20428/tid=20450] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20450/stat : 20450 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20428/tid=20451] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20451/stat : 20451 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20428/tid=20452] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20452/stat : 20452 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20428/tid=20453] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20453/stat : 20453 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20428/tid=20454] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20454/stat : 20454 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20428/tid=20455] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20455/stat : 20455 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20428/tid=20456] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20456/stat : 20456 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183784 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20428/tid=20457] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20457/stat : 20457 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183788 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20428/tid=20458] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20458/stat : 20458 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20428/tid=20459] ppid=20426 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20428/task/20459/stat : 20459 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4932476 346112000 376 268435456000 4194304 4580107 140734312634000 18446744073709551615 47532143183794 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.108185 s]
/proc/loadavg: 29.32 26.71 26.61 1/413 20428
/proc/meminfo: memFree=263621152/264257624 swapFree=67044744/67111528
[pid=20428] ppid=20426 vsize=732700 CPUtime=2.4 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) D 20426 20428 20338 0 -1 4202496 8838 0 0 0 168 72 0 0 18 0 32 0 4932474 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/20428/statm: 183175 8691 331 95 0 178157 0
[pid=20428/tid=20429] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20429/stat : 20429 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 234 0 0 0 5 2 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20428/tid=20430] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20430/stat : 20430 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 282 0 0 0 5 2 0 0 18 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604505744965088 0 0 -1 2 0 0 0
[pid=20428/tid=20431] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20431/stat : 20431 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 268 0 0 0 5 2 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566929624 0 0 -1 20 0 0 0
[pid=20428/tid=20432] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20432/stat : 20432 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 273 0 0 0 5 2 0 0 18 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20428/tid=20433] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20433/stat : 20433 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 246 0 0 0 5 2 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20428/tid=20434] ppid=20426 vsize=732700 CPUtime=0.06 cores=0-31
/proc/20428/task/20434/stat : 20434 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 267 0 0 0 5 1 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 6 0 0 0
[pid=20428/tid=20435] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20435/stat : 20435 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 231 0 0 0 5 2 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20428/tid=20436] ppid=20426 vsize=732700 CPUtime=0.06 cores=0-31
/proc/20428/task/20436/stat : 20436 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 234 0 0 0 4 2 0 0 24 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20428/tid=20437] ppid=20426 vsize=732700 CPUtime=0.02 cores=0-31
/proc/20428/task/20437/stat : 20437 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 232 0 0 0 0 2 0 0 23 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20428/tid=20438] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20438/stat : 20438 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 270 0 0 0 5 2 0 0 17 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604712221548000 0 0 -1 16 0 0 0
[pid=20428/tid=20439] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20439/stat : 20439 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20428/tid=20440] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20440/stat : 20440 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 254 0 0 0 5 2 0 0 18 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20428/tid=20441] ppid=20426 vsize=732700 CPUtime=0.06 cores=0-31
/proc/20428/task/20441/stat : 20441 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 269 0 0 0 5 1 0 0 24 0 32 0 4932475 750284800 8691 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604451663347168 0 0 -1 28 0 0 0
[pid=20428/tid=20442] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20442/stat : 20442 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 248 0 0 0 5 2 0 0 24 0 32 0 4932475 750284800 8692 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20428/tid=20443] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20443/stat : 20443 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 229 0 0 0 5 2 0 0 25 0 32 0 4932475 750284800 8710 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=732700 CPUtime=0.06 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 256 0 0 0 4 2 0 0 18 0 32 0 4932475 750284800 8714 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20428/tid=20445] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20445/stat : 20445 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 337 0 0 0 5 2 0 0 18 0 32 0 4932475 750284800 8714 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20428/tid=20446] ppid=20426 vsize=732700 CPUtime=0.07 cores=0-31
/proc/20428/task/20446/stat : 20446 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 283 0 0 0 5 2 0 0 25 0 32 0 4932475 750284800 8723 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 10 0 0 0
[pid=20428/tid=20447] ppid=20426 vsize=863772 CPUtime=0.07 cores=0-31
/proc/20428/task/20447/stat : 20447 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 289 0 0 0 5 2 0 0 25 0 32 0 4932475 884502528 8737 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566929664 0 0 -1 22 0 0 0
[pid=20428/tid=20448] ppid=20426 vsize=863772 CPUtime=0.06 cores=0-31
/proc/20428/task/20448/stat : 20448 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 275 0 0 0 5 1 0 0 25 0 32 0 4932475 884502528 8740 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566932264 0 0 -1 18 0 0 0
[pid=20428/tid=20449] ppid=20426 vsize=863772 CPUtime=0.06 cores=0-31
/proc/20428/task/20449/stat : 20449 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 293 0 0 0 5 1 0 0 25 0 32 0 4932475 884502528 8744 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20428/tid=20450] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20450/stat : 20450 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 311 0 0 0 5 2 0 0 18 0 32 0 4932476 817393664 8747 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20428/tid=20451] ppid=20426 vsize=798236 CPUtime=0.06 cores=0-31
/proc/20428/task/20451/stat : 20451 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 236 0 0 0 5 1 0 0 25 0 32 0 4932476 817393664 8761 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20428/tid=20452] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20452/stat : 20452 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 243 0 0 0 5 2 0 0 18 0 32 0 4932476 817393664 8766 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20428/tid=20453] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20453/stat : 20453 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 269 0 0 0 5 2 0 0 25 0 32 0 4932476 817393664 8771 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20428/tid=20454] ppid=20426 vsize=798236 CPUtime=0.06 cores=0-31
/proc/20428/task/20454/stat : 20454 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 258 0 0 0 5 1 0 0 25 0 32 0 4932476 817393664 8787 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20428/tid=20455] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20455/stat : 20455 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 4932476 817393664 8794 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20428/tid=20456] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20456/stat : 20456 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 256 0 0 0 5 2 0 0 25 0 32 0 4932476 817393664 8795 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20428/tid=20457] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20457/stat : 20457 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 227 0 0 0 5 2 0 0 25 0 32 0 4932476 817393664 8806 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20428/tid=20458] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20458/stat : 20458 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 267 0 0 0 5 2 0 0 25 0 32 0 4932476 817393664 8836 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20428/tid=20459] ppid=20426 vsize=798236 CPUtime=0.07 cores=0-31
/proc/20428/task/20459/stat : 20459 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 238 0 0 0 5 2 0 0 25 0 32 0 4932476 817393664 8838 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 732700

[startup+0.203246 s]
/proc/loadavg: 29.32 26.71 26.61 1/413 20428
/proc/meminfo: memFree=263621152/264257624 swapFree=67044744/67111528
[pid=20428] ppid=20426 vsize=1150980 CPUtime=3.36 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) R 20426 20428 20338 0 -1 4202496 24203 0 0 0 181 155 0 0 17 0 32 0 4932474 1178603520 21985 268435456000 4194304 4580107 140734312634000 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/20428/statm: 287745 22020 332 95 0 282727 0
[pid=20428/tid=20429] ppid=20426 vsize=1150980 CPUtime=0.09 cores=0-31
/proc/20428/task/20429/stat : 20429 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 548 0 0 0 5 4 0 0 17 0 32 0 4932475 1178603520 22057 268435456000 4194304 4580107 140734312634000 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20428/tid=20430] ppid=20426 vsize=1150980 CPUtime=0.1 cores=0-31
/proc/20428/task/20430/stat : 20430 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 603 0 0 0 6 4 0 0 17 0 32 0 4932475 1178603520 22086 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566933384 0 0 -1 2 0 0 0
[pid=20428/tid=20431] ppid=20426 vsize=1150980 CPUtime=0.09 cores=0-31
/proc/20428/task/20431/stat : 20431 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 560 0 0 0 5 4 0 0 17 0 32 0 4932475 1178603520 22086 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20428/tid=20432] ppid=20426 vsize=1150980 CPUtime=0.11 cores=0-31
/proc/20428/task/20432/stat : 20432 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 973 0 0 0 6 5 0 0 17 0 32 0 4932475 1178603520 22102 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20428/tid=20433] ppid=20426 vsize=1150980 CPUtime=0.09 cores=0-31
/proc/20428/task/20433/stat : 20433 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 622 0 0 0 5 4 0 0 17 0 32 0 4932475 1178603520 22103 268435456000 4194304 4580107 140734312634000 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20428/tid=20434] ppid=20426 vsize=1150980 CPUtime=0.08 cores=0-31
/proc/20428/task/20434/stat : 20434 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 476 0 0 0 6 2 0 0 17 0 32 0 4932475 1178603520 21974 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20428/tid=20435] ppid=20426 vsize=1150464 CPUtime=0.11 cores=0-31
/proc/20428/task/20435/stat : 20435 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 897 0 0 0 6 5 0 0 17 0 32 0 4932475 1178075136 21992 268435456000 4194304 4580107 140734312634000 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20428/tid=20436] ppid=20426 vsize=1150464 CPUtime=0.09 cores=0-31
/proc/20428/task/20436/stat : 20436 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 740 0 0 0 5 4 0 0 17 0 32 0 4932475 1178075136 21993 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604605883760096 0 0 -1 31 0 0 0
[pid=20428/tid=20437] ppid=20426 vsize=1150720 CPUtime=0.02 cores=0-31
/proc/20428/task/20437/stat : 20437 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 320 0 0 0 0 2 0 0 17 0 32 0 4932475 1178337280 22004 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604471198465504 0 0 -1 4 0 0 0
[pid=20428/tid=20438] ppid=20426 vsize=1150720 CPUtime=0.1 cores=0-31
/proc/20428/task/20438/stat : 20438 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 908 0 0 0 5 5 0 0 17 0 32 0 4932475 1178337280 22008 268435456000 4194304 4580107 140734312634000 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20428/tid=20439] ppid=20426 vsize=1150720 CPUtime=0.1 cores=0-31
/proc/20428/task/20439/stat : 20439 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 807 0 0 0 5 5 0 0 17 0 32 0 4932475 1178337280 22036 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566929664 0 0 -1 24 0 0 0
[pid=20428/tid=20440] ppid=20426 vsize=1150720 CPUtime=0.1 cores=0-31
/proc/20428/task/20440/stat : 20440 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 835 0 0 0 6 4 0 0 17 0 32 0 4932475 1178337280 22063 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566931304 0 0 -1 12 0 0 0
[pid=20428/tid=20441] ppid=20426 vsize=1150720 CPUtime=0.08 cores=0-31
/proc/20428/task/20441/stat : 20441 (strangenight2-m) D 20426 20428 20338 0 -1 4202560 667 0 0 0 5 3 0 0 17 0 32 0 4932475 1178337280 22063 268435456000 4194304 4580107 140734312634000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20428/tid=20442] ppid=20426 vsize=1150720 CPUtime=0.1 cores=0-31
/proc/20428/task/20442/stat : 20442 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 743 0 0 0 5 5 0 0 17 0 32 0 4932475 1178337280 22063 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 0 0 0 0
[pid=20428/tid=20443] ppid=20426 vsize=1150720 CPUtime=0.08 cores=0-31
/proc/20428/task/20443/stat : 20443 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 541 0 0 0 5 3 0 0 17 0 32 0 4932475 1178337280 22063 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604662707035616 0 0 -1 27 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=1150720 CPUtime=0.07 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) S 20426 20428 20338 0 -1 4202560 389 0 0 0 4 3 0 0 17 0 32 0 4932475 1178337280 22073 268435456000 4194304 4580107 140734312634000 18446744073709551615 258651060958 0 0 4096 2 18446604442467147232 0 0 -1 23 0 0 0
[pid=20428/tid=20445] ppid=20426 vsize=1150720 CPUtime=0.1 cores=0-31

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

/proc/20428/task/20434/stat : 20434 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1114061 0 0 0 494377 689 0 0 25 0 32 0 4932475 36649738240 7333066 268435456000 4194304 4580107 140734312634000 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20428/tid=20435] ppid=20426 vsize=35790760 CPUtime=4946.01 cores=0-31
/proc/20428/task/20435/stat : 20435 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1471822 0 0 0 493828 773 0 0 25 0 32 0 4932475 36649738240 7333066 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20428/tid=20436] ppid=20426 vsize=35790760 CPUtime=4941.1 cores=0-31
/proc/20428/task/20436/stat : 20436 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1554265 0 0 0 493279 831 0 0 25 0 32 0 4932475 36649738240 7333066 268435456000 4194304 4580107 140734312634000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20428/tid=20437] ppid=20426 vsize=35790760 CPUtime=4950.67 cores=0-31
/proc/20428/task/20437/stat : 20437 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1484778 0 0 0 494266 801 0 0 25 0 32 0 4932475 36649738240 7333066 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20428/tid=20438] ppid=20426 vsize=35790760 CPUtime=4946.24 cores=0-31
/proc/20428/task/20438/stat : 20438 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1529045 0 0 0 493827 797 0 0 25 0 32 0 4932475 36649738240 7333066 268435456000 4194304 4580107 140734312634000 18446744073709551615 4451830 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20428/tid=20439] ppid=20426 vsize=35790760 CPUtime=4931.67 cores=0-31
/proc/20428/task/20439/stat : 20439 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1363030 0 0 0 492406 761 0 0 25 0 32 0 4932475 36649738240 7333067 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20428/tid=20440] ppid=20426 vsize=35790760 CPUtime=4946.26 cores=0-31
/proc/20428/task/20440/stat : 20440 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1622406 0 0 0 493736 890 0 0 25 0 32 0 4932475 36649738240 7333067 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20428/tid=20441] ppid=20426 vsize=35790760 CPUtime=4954.8 cores=0-31
/proc/20428/task/20441/stat : 20441 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1423338 0 0 0 494694 786 0 0 25 0 32 0 4932475 36649738240 7333068 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20428/tid=20442] ppid=20426 vsize=35790760 CPUtime=4949.98 cores=0-31
/proc/20428/task/20442/stat : 20442 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1283178 0 0 0 494299 699 0 0 25 0 32 0 4932475 36649738240 7333069 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20428/tid=20443] ppid=20426 vsize=35790760 CPUtime=4936.49 cores=0-31
/proc/20428/task/20443/stat : 20443 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1458377 0 0 0 492848 801 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=35790760 CPUtime=4944.38 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1378810 0 0 0 493656 782 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20428/tid=20445] ppid=20426 vsize=35790760 CPUtime=4939.3 cores=0-31
/proc/20428/task/20445/stat : 20445 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1215391 0 0 0 493206 724 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20428/tid=20446] ppid=20426 vsize=35790760 CPUtime=4949.51 cores=0-31
/proc/20428/task/20446/stat : 20446 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1472254 0 0 0 494135 816 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20428/tid=20447] ppid=20426 vsize=35790760 CPUtime=4953.37 cores=0-31
/proc/20428/task/20447/stat : 20447 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1331230 0 0 0 494570 767 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20428/tid=20448] ppid=20426 vsize=35790760 CPUtime=4950.07 cores=0-31
/proc/20428/task/20448/stat : 20448 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1439717 0 0 0 494299 708 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20428/tid=20449] ppid=20426 vsize=35790760 CPUtime=4940.25 cores=0-31
/proc/20428/task/20449/stat : 20449 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1246157 0 0 0 493300 725 0 0 25 0 32 0 4932475 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20428/tid=20450] ppid=20426 vsize=35790760 CPUtime=4950.57 cores=0-31
/proc/20428/task/20450/stat : 20450 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1850573 0 0 0 494128 929 0 0 25 0 32 0 4932476 36649738240 7333070 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20428/tid=20451] ppid=20426 vsize=35790760 CPUtime=4949.18 cores=0-31
/proc/20428/task/20451/stat : 20451 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1160998 0 0 0 494256 662 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20428/tid=20452] ppid=20426 vsize=35790760 CPUtime=4950.38 cores=0-31
/proc/20428/task/20452/stat : 20452 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1680530 0 0 0 494142 896 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20428/tid=20453] ppid=20426 vsize=35790760 CPUtime=4950.95 cores=0-31
/proc/20428/task/20453/stat : 20453 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1216904 0 0 0 494389 706 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20428/tid=20454] ppid=20426 vsize=35790760 CPUtime=4943.55 cores=0-31
/proc/20428/task/20454/stat : 20454 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1205565 0 0 0 493651 704 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20428/tid=20455] ppid=20426 vsize=35790760 CPUtime=4943.22 cores=0-31
/proc/20428/task/20455/stat : 20455 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1281506 0 0 0 493583 739 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20428/tid=20456] ppid=20426 vsize=35790760 CPUtime=4950.87 cores=0-31
/proc/20428/task/20456/stat : 20456 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1385328 0 0 0 494351 736 0 0 25 0 32 0 4932476 36649738240 7333071 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20428/tid=20457] ppid=20426 vsize=35790760 CPUtime=4940.74 cores=0-31
/proc/20428/task/20457/stat : 20457 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1376125 0 0 0 493321 753 0 0 25 0 32 0 4932476 36649738240 7333073 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20428/tid=20458] ppid=20426 vsize=35790760 CPUtime=4945.17 cores=0-31
/proc/20428/task/20458/stat : 20458 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1295657 0 0 0 493760 757 0 0 25 0 32 0 4932476 36649738240 7333073 268435456000 4194304 4580107 140734312634000 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20428/tid=20459] ppid=20426 vsize=35790760 CPUtime=4954.47 cores=0-31
/proc/20428/task/20459/stat : 20459 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 357656 0 0 0 495211 236 0 0 25 0 32 0 4932476 36649738240 7333073 268435456000 4194304 4580107 140734312634000 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158286
Current children cumulated vsize (KiB) 35790760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5016.12 s]
/proc/loadavg: 32.38 32.14 32.03 33/445 20609
/proc/meminfo: memFree=234331820/264257624 swapFree=67044756/67111528
[pid=20428] ppid=20426 vsize=36630084 CPUtime=160004 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) R 20426 20428 20338 0 -1 4202496 44438658 0 0 0 15975804 24569 0 0 25 0 32 0 4932474 37509206016 7310313 268435456000 4194304 4580107 140734312634000 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20428/statm: 9157521 7310314 413 95 0 9152503 0
[pid=20428/tid=20429] ppid=20426 vsize=36630084 CPUtime=5002.42 cores=0-31
/proc/20428/task/20429/stat : 20429 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1359860 0 0 0 499507 735 0 0 25 0 32 0 4932475 37509206016 7310314 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20428/tid=20430] ppid=20426 vsize=36630084 CPUtime=4999.55 cores=0-31
/proc/20428/task/20430/stat : 20430 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1683754 0 0 0 499045 910 0 0 25 0 32 0 4932475 37509206016 7310314 268435456000 4194304 4580107 140734312634000 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20428/tid=20431] ppid=20426 vsize=36630084 CPUtime=5003.35 cores=0-31
/proc/20428/task/20431/stat : 20431 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1608900 0 0 0 499444 891 0 0 25 0 32 0 4932475 37509206016 7310315 268435456000 4194304 4580107 140734312634000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20428/tid=20432] ppid=20426 vsize=36630084 CPUtime=4995.56 cores=0-31
/proc/20428/task/20432/stat : 20432 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1322480 0 0 0 498822 734 0 0 25 0 32 0 4932475 37509206016 7310316 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20428/tid=20433] ppid=20426 vsize=36630084 CPUtime=4991.73 cores=0-31
/proc/20428/task/20433/stat : 20433 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1249355 0 0 0 498430 743 0 0 25 0 32 0 4932475 37509206016 7310316 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20428/tid=20434] ppid=20426 vsize=36630084 CPUtime=5004.41 cores=0-31
/proc/20428/task/20434/stat : 20434 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1125173 0 0 0 499745 696 0 0 25 0 32 0 4932475 37509206016 7310316 268435456000 4194304 4580107 140734312634000 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20428/tid=20435] ppid=20426 vsize=36630084 CPUtime=4999.74 cores=0-31
/proc/20428/task/20435/stat : 20435 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1490841 0 0 0 499190 784 0 0 25 0 32 0 4932475 37509206016 7310317 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20428/tid=20436] ppid=20426 vsize=36630084 CPUtime=4994.86 cores=0-31
/proc/20428/task/20436/stat : 20436 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1572504 0 0 0 498646 840 0 0 25 0 32 0 4932475 37509206016 7310317 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20428/tid=20437] ppid=20426 vsize=36630084 CPUtime=5004.24 cores=0-31
/proc/20428/task/20437/stat : 20437 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1498136 0 0 0 499616 808 0 0 25 0 32 0 4932475 37509206016 7310319 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20428/tid=20438] ppid=20426 vsize=36630084 CPUtime=5000.07 cores=0-31
/proc/20428/task/20438/stat : 20438 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1529045 0 0 0 499210 797 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20428/tid=20439] ppid=20426 vsize=36630084 CPUtime=4985.43 cores=0-31
/proc/20428/task/20439/stat : 20439 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1384093 0 0 0 497772 771 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20428/tid=20440] ppid=20426 vsize=36630084 CPUtime=4999.8 cores=0-31
/proc/20428/task/20440/stat : 20440 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1644124 0 0 0 499078 902 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20428/tid=20441] ppid=20426 vsize=36630084 CPUtime=5008.55 cores=0-31
/proc/20428/task/20441/stat : 20441 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1430368 0 0 0 500065 790 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20428/tid=20442] ppid=20426 vsize=36630084 CPUtime=5003.73 cores=0-31
/proc/20428/task/20442/stat : 20442 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1298776 0 0 0 499665 708 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20428/tid=20443] ppid=20426 vsize=36630084 CPUtime=4989.95 cores=0-31
/proc/20428/task/20443/stat : 20443 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1478133 0 0 0 498184 811 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=36630084 CPUtime=4996.9 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1386085 0 0 0 498903 787 0 0 25 0 32 0 4932475 37509206016 7310320 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20428/tid=20445] ppid=20426 vsize=36630084 CPUtime=4993.08 cores=0-31
/proc/20428/task/20445/stat : 20445 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1221478 0 0 0 498580 728 0 0 25 0 32 0 4932475 37509206016 7310321 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20428/tid=20446] ppid=20426 vsize=36630084 CPUtime=5002.94 cores=0-31
/proc/20428/task/20446/stat : 20446 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1495262 0 0 0 499466 828 0 0 25 0 32 0 4932475 37509206016 7310321 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20428/tid=20447] ppid=20426 vsize=36630084 CPUtime=5007.11 cores=0-31
/proc/20428/task/20447/stat : 20447 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1345925 0 0 0 499937 774 0 0 25 0 32 0 4932475 37509206016 7310321 268435456000 4194304 4580107 140734312634000 18446744073709551615 4321126 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20428/tid=20448] ppid=20426 vsize=36630084 CPUtime=5003.82 cores=0-31
/proc/20428/task/20448/stat : 20448 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1461512 0 0 0 499662 720 0 0 25 0 32 0 4932475 37509206016 7310322 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20428/tid=20449] ppid=20426 vsize=36630084 CPUtime=4993.92 cores=0-31
/proc/20428/task/20449/stat : 20449 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1258327 0 0 0 498657 735 0 0 25 0 32 0 4932475 37509206016 7310322 268435456000 4194304 4580107 140734312634000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20428/tid=20450] ppid=20426 vsize=36630084 CPUtime=5004.36 cores=0-31
/proc/20428/task/20450/stat : 20450 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1867742 0 0 0 499499 937 0 0 25 0 32 0 4932476 37509206016 7310322 268435456000 4194304 4580107 140734312634000 18446744073709551615 4318363 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20428/tid=20451] ppid=20426 vsize=36630084 CPUtime=5002.97 cores=0-31
/proc/20428/task/20451/stat : 20451 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1167365 0 0 0 499631 666 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20428/tid=20452] ppid=20426 vsize=36630084 CPUtime=5004.04 cores=0-31
/proc/20428/task/20452/stat : 20452 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1692984 0 0 0 499500 904 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20428/tid=20453] ppid=20426 vsize=36630084 CPUtime=5004.62 cores=0-31
/proc/20428/task/20453/stat : 20453 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1224572 0 0 0 499751 711 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20428/tid=20454] ppid=20426 vsize=36630084 CPUtime=4997.31 cores=0-31
/proc/20428/task/20454/stat : 20454 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1221130 0 0 0 499020 711 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20428/tid=20455] ppid=20426 vsize=36630084 CPUtime=4996.98 cores=0-31
/proc/20428/task/20455/stat : 20455 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1295880 0 0 0 498952 746 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20428/tid=20456] ppid=20426 vsize=36630084 CPUtime=5004.57 cores=0-31
/proc/20428/task/20456/stat : 20456 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1394319 0 0 0 499717 740 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20428/tid=20457] ppid=20426 vsize=36630084 CPUtime=4994.52 cores=0-31
/proc/20428/task/20457/stat : 20457 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1389742 0 0 0 498693 759 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20428/tid=20458] ppid=20426 vsize=36630084 CPUtime=4998.9 cores=0-31
/proc/20428/task/20458/stat : 20458 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 1311219 0 0 0 499123 767 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20428/tid=20459] ppid=20426 vsize=36630084 CPUtime=5008.27 cores=0-31
/proc/20428/task/20459/stat : 20459 (strangenight2-m) R 20426 20428 20338 0 -1 4202560 360688 0 0 0 500589 238 0 0 25 0 32 0 4932476 37509206016 7310323 268435456000 4194304 4580107 140734312634000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 36630084

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20428

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

[startup+5017.5 s]
/proc/loadavg: 29.86 31.62 31.86 2/416 20610
/proc/meminfo: memFree=245805464/264257624 swapFree=67044756/67111528
[pid=20428] ppid=20426 vsize=0 CPUtime=160005 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) Z 20426 20428 20338 0 -1 4203548 44438695 0 0 0 15975823 24704 0 0 25 0 2 0 4932474 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20428/statm: 0 0 0 0 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=0 CPUtime=4998.25 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4203588 1386085 0 0 0 498903 922 0 0 25 0 2 0 4932475 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5018.32 s]
/proc/loadavg: 29.86 31.62 31.86 2/415 20610
/proc/meminfo: memFree=260668104/264257624 swapFree=67044756/67111528
[pid=20428] ppid=20426 vsize=0 CPUtime=160006 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) Z 20426 20428 20338 0 -1 4203548 44438695 0 0 0 15975823 24786 0 0 25 0 2 0 4932474 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20428/statm: 0 0 0 0 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=0 CPUtime=4999.07 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4203588 1386085 0 0 0 498903 1004 0 0 25 0 2 0 4932475 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

[startup+5018.5 s]
/proc/loadavg: 29.86 31.62 31.86 2/415 20610
/proc/meminfo: memFree=260668104/264257624 swapFree=67044756/67111528
[pid=20428] ppid=20426 vsize=0 CPUtime=160006 cores=0-31
/proc/20428/stat : 20428 (strangenight2-m) Z 20426 20428 20338 0 -1 4203548 44438695 0 0 0 15975823 24804 0 0 25 0 2 0 4932474 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/20428/statm: 0 0 0 0 0 0 0
[pid=20428/tid=20444] ppid=20426 vsize=0 CPUtime=4999.25 cores=0-31
/proc/20428/task/20444/stat : 20444 (strangenight2-m) R 20426 20428 20338 0 -1 4203588 1386085 0 0 0 498903 1022 0 0 25 0 2 0 4932475 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5018.5
CPU time (s): 160006
CPU user time (s): 159758
CPU system time (s): 248.049
CPU usage (%): 3188.33
Max. virtual memory (cumulated for all children) (KiB): 36630084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159758
system time used= 248.049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44438695
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= 1006807
involuntary context switches= 287777

runsolver used 28.7756 second user time and 112.228 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 23:07:45
IDJOB=3400800
IDBENCH=83105
IDSOLVER=1886
FILE ID=node200/3400800-1306789665
RUNJOBID= node200-1306789404-20352
PBS_JOBID= 13470330
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-bottom24.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400800-1306789665/watcher-3400800-1306789665 -o /tmp/evaluation-result-3400800-1306789665/solver-3400800-1306789665 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400800-1306789665.cnf

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

MD5SUM BENCH= 16e1f2a4ab0c9df60ac0d098f9f252bb
RANDOM SEED=1840923838

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:      263621432 kB
Buffers:         63156 kB
Cached:         383372 kB
SwapCached:      29952 kB
Active:         122416 kB
Inactive:       357200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263621432 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:            9288 kB
Writeback:           0 kB
AnonPages:       30636 kB
Mapped:           8796 kB
Slab:            60652 kB
PageTables:       3560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190376 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 00:31:24