Trace number 3367173

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 1300.15 327.754

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark187.595
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3367173-1305390741.cnf'
0.00/0.00	c -- header says num vars:         199304
0.00/0.00	c -- header says num clauses:     1005834
1.79/0.60	c -- clauses added:            0 learnts,      1005834 normals,            0 xors
1.79/0.60	c -- vars added     199304
1.79/0.60	c Parsing time:  0.40 s
1.79/0.60	c  N st     0         0    199304    238668    756167         0   2381218         0   no data   no data
3.34/0.96	c asymm  cl-useful: 11/1975/201402 lits-rem:44 time: 0.35
52.79/13.31	c Flit:  1222 Blit:   1522 bXBeca:    0 bXProp: 1178 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 12.34
52.79/13.35	c Cleaning up after failed var search:     0.04 s 
53.19/13.40	c Replacing     1178 vars Replaced    34467 lits Time:     0.05 s 
53.19/13.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.59/13.53	c bin-w-bin subsume rem        27898 bins  time:  0.04 s
53.99/13.62	c subs with bin:     3718  lits-rem:     34814  v-fix:    0  time:  0.09 s
64.77/16.30	c Subs w/ non-existent bins:     38 l-rem:      0 v-fix:  7124 done:  23538 time:  2.67 s
65.96/16.60	c Removed useless bin:     724  fixed:     0  props:  20.00M  time:  0.30 s
68.35/17.29	c lits-rem:      2485  cl-subs:     6524  v-elim:  47670  v-fix:    0  time:  0.65 s
68.75/17.33	c Finding binary XORs  T:     0.04 s  found:     606
68.75/17.38	c Replacing      606 vars Replaced    16034 lits Time:     0.04 s 
69.15/17.47	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
69.15/17.47	c calculated reachability. Time: 0.00
69.15/17.49	c Calc default polars -  time:   0.02 s pos:   18510 undec:  111758 neg:   69036
69.15/17.49	c =========================================================================================
69.15/17.49	c types(t): F = full restart, N = normal restart
69.15/17.49	c types(t): S = simplification begin/end, E = solution found
69.15/17.49	c restart types(rt): st = static, dy = dynamic
69.15/17.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
69.15/17.49	c  B st     0         0     87612    198107    323709         0   1433590         0   no data   no data
87.87/22.19	c  N dy    16      4614     77495    183974    281199      4100   1257544    564591     13.58     14.49
99.84/25.19	c Finding binary XORs  T:     0.04 s  found:     583
109.04/27.50	c  N dy    41      8652     75662    181688    273928      7906   1225397   1414218     17.66     19.11
147.32/37.04	c  N dy    54     13117     73385    176393    267991     12214   1183508   2931762     16.33     17.59
184.81/46.44	c Finding binary XORs  T:     0.04 s  found:     507
185.61/46.61	c Replacing     1090 vars Replaced    50604 lits Time:     0.17 s 
221.51/55.65	c  N dy    66     20659     71980    176257    263778     10131   1173099   1717199     15.09     15.92
259.81/65.22	c  F st    69     25001     71971    176257    263782     14442   1173099   3928385     14.53     12.42
260.61/65.44	c  N st    69     25001     71971    174355    263605     14417   1165138   3913949     14.53     12.42
302.89/76.03	c  N dy    75     30000     71832    174355    263892     19337   1165138   5543965     14.53   no data
302.89/76.03	c  S st    75     30000     71832    174355    263892     19337   1165138   5543965     14.53   no data
308.07/77.35	c  S st    75     30503     70814    173121    258915     19670   1145137   5572678     14.53   no data
308.47/77.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
365.52/91.70	c Flit:   713 Blit:   2368 bXBeca:    0 bXProp:  744 Bins:  55337 BRemL:   1834 BRemN:      5 P: 200.0M T: 14.30
365.52/91.76	c Cleaning up after failed var search:     0.05 s 
366.32/91.97	c Replacing      745 vars Replaced   233523 lits Time:     0.20 s 
366.72/92.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
366.72/92.04	c bin-w-bin subsume rem         4778 bins  time:  0.02 s
367.12/92.11	c subs with bin:     4344  lits-rem:      3411  v-fix:    0  time:  0.07 s
380.69/95.51	c Subs w/ non-existent bins:   2524 l-rem:    393 v-fix:     7 done:  31761 time:  3.40 s
381.52/95.79	c Removed useless bin:    5901  fixed:     0  props:  20.00M  time:  0.28 s
383.07/96.17	c lits-rem:       418  cl-subs:    10721  v-elim:   5516  v-fix:    0  time:  0.39 s
384.27/96.40	c subs with bin:       90  lits-rem:       374  v-fix:    0  time:  0.19 s
384.67/96.50	c lits-rem:        66  cl-subs:      300  v-elim:      0  v-fix:    0  time:  0.07 s
386.26/96.99	c asymm  cl-useful: 197/878/145010 lits-rem:363 time: 0.50
386.66/97.01	c calculated reachability. Time: 0.00
386.66/97.01	c  N dy    75     30503     60665    145010    259186      4646    986321    379948     14.53   no data
386.66/97.05	c Finding binary XORs  T:     0.03 s  found:      59
413.79/103.81	c  N dy    89     34939     59473    142639    254720      8872    963321   1447259     14.19     15.55
444.11/111.44	c  N dy    98     40014     59452    142639    257112     13858    963321   2690543     13.69     14.94
451.32/113.28	c Finding binary XORs  T:     0.04 s  found:     173
475.62/119.39	c  N dy   101     44289     59451    142596    256956     10469    962886   1406704     13.38     14.09
476.02/119.49	c Finding binary XORs  T:     0.04 s  found:       0
485.20/121.78	c  S st   103     45754     59450    142596    272472     11906    962873   1904662     13.29     11.69
489.18/122.72	c  S st   103     46257     59319    142596    272531     12313    962873   1983507     13.29   no data
489.18/122.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
546.24/137.01	c Flit:   603 Blit:   1724 bXBeca:    0 bXProp:  721 Bins:  44108 BRemL:    601 BRemN:      8 P: 200.0M T: 14.12
546.24/137.05	c Cleaning up after failed var search:     0.03 s 
546.63/137.13	c Replacing      953 vars Replaced    72997 lits Time:     0.07 s 
546.63/137.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
547.03/137.20	c bin-w-bin subsume rem        19236 bins  time:  0.03 s
547.03/137.27	c subs with bin:      984  lits-rem:      6828  v-fix:    0  time:  0.07 s
560.60/140.67	c Subs w/ non-existent bins:    954 l-rem:    371 v-fix:     3 done:  36520 time:  3.39 s
561.43/140.89	c Removed useless bin:    3841  fixed:     7  props:  20.05M  time:  0.22 s
562.58/141.18	c lits-rem:       344  cl-subs:     9235  v-elim:   3263  v-fix:    0  time:  0.29 s
565.40/141.85	c subs with bin:       60  lits-rem:      1103  v-fix:    0  time:  0.62 s
566.17/142.00	c lits-rem:        49  cl-subs:      325  v-elim:      0  v-fix:    0  time:  0.13 s
566.97/142.27	c vivif2 --  cl tried   123268 cl shrink     5545 lits rem       7148 time: 0.27
567.37/142.36	c vivif2 --  cl tried     7036 cl shrink     2571 lits rem      75014 time: 0.09
569.80/142.98	c asymm  cl-useful: 66/2505/122019 lits-rem:97 time: 0.61
570.56/143.14	c calculated reachability. Time: 0.15
570.56/143.14	c  N dy   103     46257     52426    122018    253889      6863    842311    615989     13.29   no data
572.95/143.79	c Finding binary XORs  T:     0.65 s  found:       7
606.47/152.20	c Finding binary XORs  T:     0.55 s  found:     183
615.64/154.49	c  N dy   104     53074     50400    112357    269084     13550    793418   2205698     12.42     13.18
646.36/162.14	c Finding binary XORs  T:     0.52 s  found:      90
716.56/179.76	c  N dy   105     69385     50029    109947    295062     17543    784604   1954116     11.32      7.42
716.56/179.77	c  S st   105     69385     50029    109947    295062     17543    784604   1954116     11.32      7.42
719.75/180.56	c  S st   105     69886     50015    109947    295437     17956    784604   2044700     11.32   no data
719.75/180.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
777.20/194.93	c Flit:   414 Blit:   1158 bXBeca:    0 bXProp:  309 Bins:  52610 BRemL:   4408 BRemN:     31 P: 200.0M T: 14.25
777.20/194.96	c Cleaning up after failed var search:     0.03 s 
777.60/195.05	c Replacing      589 vars Replaced    76618 lits Time:     0.09 s 
777.60/195.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
778.00/195.12	c bin-w-bin subsume rem        16919 bins  time:  0.03 s
778.00/195.19	c subs with bin:      863  lits-rem:      3584  v-fix:    0  time:  0.07 s
789.20/197.96	c Subs w/ non-existent bins:    236 l-rem:    248 v-fix:     1 done:  40604 time:  2.76 s
790.37/198.29	c Removed useless bin:    9416  fixed:     9  props:  20.00M  time:  0.33 s
791.56/198.54	c lits-rem:       307  cl-subs:     5851  v-elim:   3164  v-fix:    0  time:  0.25 s
792.77/198.86	c subs with bin:       55  lits-rem:       327  v-fix:    0  time:  0.28 s
793.17/198.98	c lits-rem:       122  cl-subs:     1380  v-elim:      0  v-fix:    0  time:  0.10 s
794.75/199.34	c vivif2 --  cl tried   100912 cl shrink     4255 lits rem       5576 time: 0.36
795.15/199.43	c vivif2 --  cl tried     7450 cl shrink     1078 lits rem      12775 time: 0.09
797.55/200.06	c asymm  cl-useful: 337/2097/100270 lits-rem:600 time: 0.63
798.39/200.28	c calculated reachability. Time: 0.20
798.39/200.28	c  N dy   105     69886     44445    100257    278718      7384    702899    535820     11.32   no data
802.36/201.23	c Finding binary XORs  T:     0.95 s  found:       8
862.97/216.47	c  N dy   107     84490     44443    100257    313293     21642    702899   1619715     10.64     11.22
866.16/217.23	c Finding binary XORs  T:     0.71 s  found:      88
878.52/220.36	c  F st   110     87503     43806     97360    311908     23556    690058   1880937     10.53      8.45
878.92/220.41	c Replacing       96 vars Replaced    16420 lits Time:     0.05 s 
894.08/224.28	c  N st   115     90802     43702     97340    311620     14689    689605   1140280     10.53   no data
897.28/225.08	c Finding binary XORs  T:     0.71 s  found:     181
944.74/236.96	c  N dy   118    102539     43093     94905    343465     26285    678783   3074427     10.24     10.89
953.92/239.25	c  S st   119    104830     43092     94905    343469     28503    678783   3180496     10.15      6.20
956.71/239.93	c  S st   119    105330     43092     94905    343497     28955    678783   3227997     10.15   no data
956.71/239.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1013.41/254.19	c Flit:   993 Blit:    595 bXBeca:    0 bXProp:  788 Bins:  37055 BRemL:   4072 BRemN:      9 P: 200.0M T: 14.17
1013.76/254.23	c Cleaning up after failed var search:     0.03 s 
1014.16/254.35	c Replacing      970 vars Replaced    58806 lits Time:     0.11 s 
1014.16/254.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1014.56/254.42	c bin-w-bin subsume rem        13126 bins  time:  0.04 s
1014.56/254.49	c subs with bin:     1421  lits-rem:      2634  v-fix:    0  time:  0.07 s
1024.54/256.96	c Subs w/ non-existent bins:    163 l-rem:    185 v-fix:     4 done:  39980 time:  2.46 s
1025.74/257.21	c Removed useless bin:    4605  fixed:     0  props:  14.74M  time:  0.25 s
1026.57/257.46	c lits-rem:       278  cl-subs:     8182  v-elim:   3269  v-fix:    0  time:  0.24 s
1027.73/257.75	c subs with bin:      296  lits-rem:       512  v-fix:    0  time:  0.26 s
1028.52/257.90	c lits-rem:       409  cl-subs:     1338  v-elim:      0  v-fix:    0  time:  0.13 s
1030.12/258.34	c vivif2 --  cl tried    85191 cl shrink     4901 lits rem       6390 time: 0.44
1030.96/258.51	c vivif2 --  cl tried    12132 cl shrink     1061 lits rem      14379 time: 0.17
1033.31/259.19	c asymm  cl-useful: 117/925/84396 lits-rem:128 time: 0.68
1034.51/259.44	c calculated reachability. Time: 0.23
1034.51/259.44	c  N dy   119    105330     36708     84395    307368     12069    598695    648560     10.15   no data
1038.50/260.48	c Finding binary XORs  T:     1.04 s  found:       0
1083.61/271.77	c  N dy   121    117631     36689     84395    307519     13915    598695    911381      9.79     10.32
1091.97/273.88	c Finding binary XORs  T:     0.81 s  found:       2
1113.92/279.36	c Finding binary XORs  T:     0.83 s  found:      96
1115.89/279.83	c  N dy   128    125433     36455     83470    336829     19045    594284   1367318      9.63     10.15
1145.40/287.24	c  N dy   138    133650     36450     83470    337175     27074    594284   1851122      9.54     10.23
1176.12/294.90	c Finding binary XORs  T:     0.81 s  found:      43
1191.68/298.85	c  N dy   144    144989     36403     83316    346666     21706    593442   1235899      9.40     10.04
1226.38/307.55	c  N dy   150    154287     36362     83316    346845     30726    593442   1684756      9.27      9.82
1238.36/310.55	c  S st   153    157998     36361     83316    346848     34298    593442   1858502      9.22      8.07
1240.35/311.03	c  S st   153    158500     36361     83316    346866     34779    593442   1934214      9.22   no data
1240.35/311.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1293.02/324.27	c Flit:   247 Blit:    234 bXBeca:    0 bXProp:  228 Bins:  31416 BRemL:   4628 BRemN:      6 P: 200.0M T: 13.16
1293.36/324.31	c Cleaning up after failed var search:     0.04 s 
1293.36/324.36	c Replacing      369 vars Replaced    23442 lits Time:     0.05 s 
1293.36/324.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1293.57/324.43	c bin-w-bin subsume rem        12364 bins  time:  0.03 s
1293.57/324.49	c subs with bin:      718  lits-rem:      1159  v-fix:    0  time:  0.06 s
1296.16/325.73	c Subs w/ non-existent bins:     35 l-rem:     73 v-fix:     1 done:  35477 time:  1.24 s
1296.36/325.82	c Removed useless bin:    1763  fixed:     0  props:   6.08M  time:  0.09 s
1296.76/326.00	c lits-rem:        90  cl-subs:     4070  v-elim:   2060  v-fix:    0  time:  0.18 s
1297.36/326.32	c subs with bin:     2356  lits-rem:      4259  v-fix:    0  time:  0.29 s
1297.56/326.46	c lits-rem:       713  cl-subs:     1263  v-elim:      0  v-fix:    0  time:  0.13 s
1298.35/326.89	c vivif2 --  cl tried    81169 cl shrink     3667 lits rem       5080 time: 0.43
1298.75/327.03	c vivif2 --  cl tried    14735 cl shrink     2018 lits rem      21405 time: 0.14
1299.55/327.43	c asymm  cl-useful: 42/1011/80610 lits-rem:43 time: 0.40
1299.95/327.64	c calculated reachability. Time: 0.20
1299.95/327.64	c  N dy   153    158500     33416     80610    333875     14678    567093    712150      9.22   no data
1299.95/327.64	c Following stats are for *FIRST FINISHED THREAD ONLY*
1299.95/327.64	c num threads              : 4          
1299.95/327.64	c restarts                 : 201        
1299.95/327.64	c dynamic restarts         : 183        
1299.95/327.64	c static restarts          : 18         
1299.95/327.64	c full restarts            : 2          
1299.95/327.64	c total simplify time      : 3.98       
1299.95/327.64	c learnts DL2              : 0          
1299.95/327.64	c learnts size 2           : 1225616    
1299.95/327.64	c learnts size 1           : 103902      (52.13     % of vars)
1299.95/327.64	c filedLit time            : 46.78       (14.30     % time)
1299.95/327.64	c v-elim SatELite          : 57568       (28.88     % vars)
1299.95/327.64	c SatELite time            : 11.65       (3.56      % time)
1299.95/327.64	c v-elim xor               : 0           (0.00      % vars)
1299.95/327.64	c xor elim time            : 0.07        (0.02      % time)
1299.95/327.64	c num binary xor trees     : 4107       
1299.95/327.64	c binxor trees' crown      : 7116        (1.73      leafs/tree)
1299.95/327.64	c bin xor find time        : 3.06       
1299.95/327.64	c OTF clause improved      : 3804        (0.02      clauses/conflict)
1299.95/327.64	c OTF impr. size diff      : 7246        (1.90       lits/clause)
1299.95/327.64	c OTF cl watch-shrink      : 66374       (0.36      clauses/conflict)
1299.95/327.64	c OTF cl watch-sh-lit      : 563029      (8.48       lits/clause)
1299.95/327.64	c tried to recurMin cls    : 57085       (31.10      % of conflicts)
1299.95/327.64	c updated cache            : 7127        (0.12       lits/tried recurMin)
1299.95/327.64	c unit cls recevied        : 5707        (5.49      % of units)
1299.95/327.64	c unit cls sent            : 6046        (5.82      % of units)
1299.95/327.64	c bin cls recevied         : 275991     
1299.95/327.64	c bin cls sent             : 95588      
1299.95/327.64	c clauses over max glue    : 0           (0.00      % of all clauses)
1299.95/327.64	c conflicts                : 183549      (561.09    / sec)
1299.95/327.64	c decisions                : 403123      (1.99      % random)
1299.95/327.64	c bogo-props               : 7188786763  (21975235.83 / sec)
1299.95/327.64	c conflict literals        : 25399734    (46.88     % deleted)
1299.95/327.64	c Memory used              : 2963.73     MB
1299.95/327.64	c single-thread CPU time   : 327.13      s
1299.95/327.64	c all-threads sum CPU time : 1297.63     s
1299.95/327.64	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367173-1305390741/watcher-3367173-1305390741 -o /tmp/evaluation-result-3367173-1305390741/solver-3367173-1305390741 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367173-1305390741.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.94 8.04 7.12 5/355 16911
/proc/meminfo: memFree=24058304/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=209500 CPUtime=0 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 2114 0 0 0 0 0 0 0 21 0 4 0 650671225 214528000 1969 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476392128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 52375 1994 337 95 0 47357 0
[pid=16911/tid=16912] ppid=16909 vsize=289544 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 372 0 0 0 0 0 0 0 21 0 4 0 650671225 296493056 4239 33554432000 4194304 4580107 140736728633120 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=289544 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 1531 0 0 0 0 0 0 0 22 0 4 0 650671225 296493056 4257 33554432000 4194304 4580107 140736728633120 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=289760 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) D 16909 16911 16708 0 -1 4202560 1346 0 0 0 0 0 0 0 22 0 4 0 650671225 296714240 4261 33554432000 4194304 4580107 140736728633120 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0431189 s]
/proc/loadavg: 7.94 8.04 7.12 5/355 16911
/proc/meminfo: memFree=24058304/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=351948 CPUtime=0.13 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 25594 0 0 0 9 4 0 0 21 0 4 0 650671225 360394752 21925 33554432000 4194304 4580107 140736728633120 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 87987 21754 338 95 0 82969 0
[pid=16911/tid=16912] ppid=16909 vsize=351948 CPUtime=0.02 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 4853 0 0 0 1 1 0 0 22 0 4 0 650671225 360394752 21754 33554432000 4194304 4580107 140736728633120 18446744073709551615 4308000 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=351948 CPUtime=0.02 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 7160 0 0 0 2 0 0 0 18 0 4 0 650671225 360394752 21754 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476738183 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=351948 CPUtime=0.03 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) D 16909 16911 16708 0 -1 4202560 6969 0 0 0 2 1 0 0 18 0 4 0 650671225 360394752 21754 33554432000 4194304 4580107 140736728633120 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 351948

[startup+0.102769 s]
/proc/loadavg: 7.94 8.04 7.12 5/355 16911
/proc/meminfo: memFree=24058304/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=429792 CPUtime=0.33 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 64204 0 0 0 23 10 0 0 21 0 4 0 650671225 440107008 47985 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476752810 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 107448 47985 338 95 0 102430 0
[pid=16911/tid=16912] ppid=16909 vsize=429792 CPUtime=0.07 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) D 16909 16911 16708 0 -1 4202560 14562 0 0 0 5 2 0 0 18 0 4 0 650671225 440107008 47985 33554432000 4194304 4580107 140736728633120 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=429792 CPUtime=0.08 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 16584 0 0 0 6 2 0 0 18 0 4 0 650671225 440107008 47985 33554432000 4194304 4580107 140736728633120 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=429792 CPUtime=0.08 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 16747 0 0 0 6 2 0 0 18 0 4 0 650671225 440107008 47985 33554432000 4194304 4580107 140736728633120 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 429792

[startup+0.306172 s]
/proc/loadavg: 7.94 8.04 7.12 5/355 16911
/proc/meminfo: memFree=24058304/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=507972 CPUtime=1.1 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 76195 0 0 0 89 21 0 0 18 0 4 0 650671225 520163328 59914 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476391691 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 126993 59936 338 95 0 121975 0
[pid=16911/tid=16912] ppid=16909 vsize=507972 CPUtime=0.25 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 19473 0 0 0 20 5 0 0 18 0 4 0 650671225 520163328 59948 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476799982 0 0 4096 2 18446604442489530176 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=507972 CPUtime=0.28 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 18627 0 0 0 23 5 0 0 18 0 4 0 650671225 520163328 59962 33554432000 4194304 4580107 140736728633120 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=507972 CPUtime=0.27 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 19116 0 0 0 23 4 0 0 18 0 4 0 650671225 520163328 59977 33554432000 4194304 4580107 140736728633120 18446744073709551615 239476799982 0 0 4096 2 18446604442489530176 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 507972

[startup+0.700987 s]
/proc/loadavg: 7.94 8.04 7.12 5/355 16911
/proc/meminfo: memFree=24058304/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=588168 CPUtime=2.55 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 103559 0 0 0 208 47 0 0 18 0 4 0 650671225 602284032 87161 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 147042 87161 357 95 0 142024 0
[pid=16911/tid=16912] ppid=16909 vsize=588168 CPUtime=0.61 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 25855 0 0 0 49 12 0 0 18 0 4 0 650671225 602284032 87161 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=588168 CPUtime=0.64 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 25492 0 0 0 55 9 0 0 18 0 4 0 650671225 602284032 87161 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=588168 CPUtime=0.63 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 26596 0 0 0 52 11 0 0 17 0 4 0 650671225 602284032 87161 33554432000 4194304 4580107 140736728633120 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 588168

[startup+1.50083 s]
/proc/loadavg: 7.94 8.04 7.12 9/359 16915
/proc/meminfo: memFree=23695324/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=589092 CPUtime=5.73 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 108539 0 0 0 525 48 0 0 19 0 4 0 650671225 603230208 91533 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 147273 91533 361 95 0 142255 0
[pid=16911/tid=16912] ppid=16909 vsize=589092 CPUtime=1.4 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 27038 0 0 0 128 12 0 0 19 0 4 0 650671225 603230208 91533 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=589092 CPUtime=1.45 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 26744 0 0 0 135 10 0 0 19 0 4 0 650671225 603230208 91533 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=589092 CPUtime=1.43 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 28102 0 0 0 131 12 0 0 19 0 4 0 650671225 603230208 91533 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 589092

[startup+3.10053 s]
/proc/loadavg: 7.94 8.04 7.12 9/359 16915
/proc/meminfo: memFree=23690232/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=589224 CPUtime=12.11 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 110049 0 0 0 1163 48 0 0 22 0 4 0 650671225 603365376 92279 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 147306 92279 361 95 0 142288 0
[pid=16911/tid=16912] ppid=16909 vsize=589224 CPUtime=2.98 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 27047 0 0 0 286 12 0 0 22 0 4 0 650671225 603365376 92279 33554432000 4194304 4580107 140736728633120 18446744073709551615 4234818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=589224 CPUtime=3.05 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 26750 0 0 0 295 10 0 0 22 0 4 0 650671225 603365376 92279 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=589224 CPUtime=3.03 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 29593 0 0 0 291 12 0 0 22 0 4 0 650671225 603365376 92279 33554432000 4194304 4580107 140736728633120 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 589224

[startup+6.30092 s]
/proc/loadavg: 7.94 8.04 7.12 9/359 16916
/proc/meminfo: memFree=23682444/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=622572 CPUtime=24.87 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 111193 0 0 0 2439 48 0 0 25 0 4 0 650671225 637513728 93423 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 155643 93423 361 95 0 150625 0
[pid=16911/tid=16912] ppid=16909 vsize=622572 CPUtime=6.15 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 27049 0 0 0 603 12 0 0 25 0 4 0 650671225 637513728 93423 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=622572 CPUtime=6.25 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 26753 0 0 0 615 10 0 0 25 0 4 0 650671225 637513728 93423 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=622572 CPUtime=6.23 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 30732 0 0 0 611 12 0 0 25 0 4 0 650671225 637513728 93423 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 622572

[startup+12.7007 s]
/proc/loadavg: 7.95 8.04 7.13 9/359 16916
/proc/meminfo: memFree=23656684/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=632724 CPUtime=50.4 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 116566 0 0 0 4990 50 0 0 25 0 4 0 650671225 647909376 98796 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 158181 98796 362 95 0 153163 0
[pid=16911/tid=16912] ppid=16909 vsize=632724 CPUtime=12.47 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 27254 0 0 0 1235 12 0 0 25 0 4 0 650671225 647909376 98796 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=632724 CPUtime=12.65 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 27004 0 0 0 1255 10 0 0 25 0 4 0 650671225 647909376 98796 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=632724 CPUtime=12.64 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 35463 0 0 0 1250 14 0 0 25 0 4 0 650671225 647909376 98796 33554432000 4194304 4580107 140736728633120 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 632724

[startup+25.5002 s]
/proc/loadavg: 7.96 8.04 7.14 9/359 16916
/proc/meminfo: memFree=23420956/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=935076 CPUtime=101.44 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 188512 0 0 0 10077 67 0 0 25 0 4 0 650671225 957517824 155818 33554432000 4194304 4580107 140736728633120 18446744073709551615 4316835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 233769 155818 378 95 0 228751 0
[pid=16911/tid=16912] ppid=16909 vsize=935076 CPUtime=25.13 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 50011 0 0 0 2496 17 0 0 25 0 4 0 650671225 957517824 155818 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=935076 CPUtime=25.44 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 47438 0 0 0 2530 14 0 0 25 0 4 0 650671225 957517824 155818 33554432000 4194304 4580107 140736728633120 18446744073709551615 4321176 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=935076 CPUtime=25.42 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 38599 0 0 0 2527 15 0 0 25 0 4 0 650671225 957517824 155818 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 935076

[startup+51.1003 s]
/proc/loadavg: 8.13 8.07 7.17 9/359 16917
/proc/meminfo: memFree=23404504/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=937724 CPUtime=203.55 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 215013 0 0 0 20278 77 0 0 25 0 4 0 650671225 960229376 159311 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 234431 159311 378 95 0 229413 0
[pid=16911/tid=16912] ppid=16909 vsize=937724 CPUtime=50.46 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 56062 0 0 0 5027 19 0 0 25 0 4 0 650671225 960229376 159311 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=937724 CPUtime=51.03 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 53572 0 0 0 5087 16 0 0 25 0 4 0 650671225 960229376 159311 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=937724 CPUtime=51.03 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 47704 0 0 0 5084 19 0 0 25 0 4 0 650671225 960229376 159311 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (KiB) 937724

[startup+102.314 s]
/proc/loadavg: 8.06 8.05 7.21 9/359 16918
/proc/meminfo: memFree=23363008/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=1176136 CPUtime=407.85 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 340441 0 0 0 40681 104 0 0 25 0 4 0 650671225 1204363264 181629 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 294034 181629 380 95 0 289016 0
[pid=16911/tid=16912] ppid=16909 vsize=1176136 CPUtime=101.1 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 68553 0 0 0 10089 21 0 0 25 0 4 0 650671225 1204363264 181629 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=1176136 CPUtime=102.25 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 78021 0 0 0 10204 21 0 0 25 0 4 0 650671225 1204363264 181629 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=1176136 CPUtime=102.24 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 98533 0 0 0 10194 30 0 0 25 0 4 0 650671225 1204363264 181629 33554432000 4194304 4580107 140736728633120 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 1176136

[startup+162.301 s]
/proc/loadavg: 8.24 8.10 7.28 9/359 16920
/proc/meminfo: memFree=22825300/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=1799804 CPUtime=647.16 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 517326 0 0 0 64569 147 0 0 25 0 4 0 650671225 1842999296 313083 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 449951 313083 380 95 0 444933 0
[pid=16911/tid=16912] ppid=16909 vsize=1799804 CPUtime=160.45 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 81877 0 0 0 16021 24 0 0 25 0 4 0 650671225 1842999296 313083 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=1799804 CPUtime=162.24 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 85380 0 0 0 16200 24 0 0 25 0 4 0 650671225 1842999296 313083 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=1799804 CPUtime=162.23 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 194639 0 0 0 16173 50 0 0 25 0 4 0 650671225 1842999296 313083 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.16
Current children cumulated vsize (KiB) 1799804

[startup+222.301 s]
/proc/loadavg: 8.23 8.11 7.33 9/359 16921
/proc/meminfo: memFree=22179872/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=2397632 CPUtime=886.5 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 705602 0 0 0 88458 192 0 0 25 0 4 0 650671225 2455175168 465561 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 599408 465561 380 95 0 594390 0
[pid=16911/tid=16912] ppid=16909 vsize=2397632 CPUtime=219.78 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 145254 0 0 0 21939 39 0 0 25 0 4 0 650671225 2455175168 465561 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=2397632 CPUtime=222.24 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 151628 0 0 0 22185 39 0 0 25 0 4 0 650671225 2455175168 465561 33554432000 4194304 4580107 140736728633120 18446744073709551615 4497240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=2397632 CPUtime=222.23 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 205901 0 0 0 22169 54 0 0 25 0 4 0 650671225 2455175168 465561 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 886.5
Current children cumulated vsize (KiB) 2397632

[startup+282.301 s]
/proc/loadavg: 8.22 8.12 7.39 9/359 16923
/proc/meminfo: memFree=21695880/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=2862096 CPUtime=1125.87 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 829201 0 0 0 112357 230 0 0 25 0 4 0 650671225 2930786304 581459 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 715524 581459 380 95 0 710506 0
[pid=16911/tid=16912] ppid=16909 vsize=2862096 CPUtime=279.13 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 182442 0 0 0 27864 49 0 0 25 0 4 0 650671225 2930786304 581459 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=2862096 CPUtime=282.24 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 159684 0 0 0 28181 43 0 0 25 0 4 0 650671225 2930786304 581459 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=2862096 CPUtime=282.24 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 253306 0 0 0 28157 67 0 0 25 0 4 0 650671225 2930786304 581459 33554432000 4194304 4580107 140736728633120 18446744073709551615 4499179 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1125.87
Current children cumulated vsize (KiB) 2862096

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

[startup+307.1 s]
/proc/loadavg: 8.14 8.11 7.40 9/359 16924
/proc/meminfo: memFree=21639696/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=2941664 CPUtime=1224.79 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 839005 0 0 0 122246 233 0 0 25 0 4 0 650671225 3012263936 590237 33554432000 4194304 4580107 140736728633120 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 735416 590237 380 95 0 730398 0
[pid=16911/tid=16912] ppid=16909 vsize=2941664 CPUtime=303.67 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 184908 0 0 0 30316 51 0 0 25 0 4 0 650671225 3012263936 590237 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=2941664 CPUtime=307.04 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 162494 0 0 0 30660 44 0 0 25 0 4 0 650671225 3012263936 590237 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=2941664 CPUtime=307.03 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 255212 0 0 0 30636 67 0 0 25 0 4 0 650671225 3012263936 590237 33554432000 4194304 4580107 140736728633120 18446744073709551615 4319389 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1224.79
Current children cumulated vsize (KiB) 2941664

[startup+319.901 s]
/proc/loadavg: 8.11 8.11 7.41 9/359 16924
/proc/meminfo: memFree=21592576/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=3032068 CPUtime=1275.86 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 855531 0 0 0 127346 240 0 0 25 0 4 0 650671225 3104837632 606763 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 758017 606763 380 95 0 752999 0
[pid=16911/tid=16912] ppid=16909 vsize=3032068 CPUtime=316.33 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 186911 0 0 0 31582 51 0 0 25 0 4 0 650671225 3104837632 606763 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=3032068 CPUtime=319.85 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 163311 0 0 0 31939 46 0 0 25 0 4 0 650671225 3104837632 606763 33554432000 4194304 4580107 140736728633120 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=3032068 CPUtime=319.83 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 255217 0 0 0 31916 67 0 0 25 0 4 0 650671225 3104837632 606763 33554432000 4194304 4580107 140736728633120 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1275.86
Current children cumulated vsize (KiB) 3032068

[startup+323.1 s]
/proc/loadavg: 8.11 8.11 7.41 9/359 16924
/proc/meminfo: memFree=21586744/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=3032200 CPUtime=1288.63 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 856504 0 0 0 128622 241 0 0 25 0 4 0 650671225 3104972800 607736 33554432000 4194304 4580107 140736728633120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 758050 607736 380 95 0 753032 0
[pid=16911/tid=16912] ppid=16909 vsize=3032200 CPUtime=319.49 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 187063 0 0 0 31898 51 0 0 25 0 4 0 650671225 3104972800 607736 33554432000 4194304 4580107 140736728633120 18446744073709551615 4320944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=3032200 CPUtime=323.04 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 163467 0 0 0 32258 46 0 0 25 0 4 0 650671225 3104972800 607736 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=3032200 CPUtime=323.03 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 255220 0 0 0 32236 67 0 0 25 0 4 0 650671225 3104972800 607736 33554432000 4194304 4580107 140736728633120 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1288.63
Current children cumulated vsize (KiB) 3032200

[startup+326.301 s]
/proc/loadavg: 8.18 8.12 7.42 7/359 16924
/proc/meminfo: memFree=21578192/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=3034856 CPUtime=1297.36 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 858325 0 0 0 129495 241 0 0 25 0 4 0 650671225 3107692544 609557 33554432000 4194304 4580107 140736728633120 18446744073709551615 4415105 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 758714 609557 380 95 0 753696 0
[pid=16911/tid=16912] ppid=16909 vsize=3034856 CPUtime=320.65 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 187101 0 0 0 32014 51 0 0 25 0 4 0 650671225 3107692544 609557 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=3034856 CPUtime=326.25 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 163551 0 0 0 32579 46 0 0 25 0 4 0 650671225 3107692544 609557 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540134596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=3034856 CPUtime=324.2 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 255220 0 0 0 32353 67 0 0 25 0 4 0 650671225 3107692544 609557 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1297.36
Current children cumulated vsize (KiB) 3034856

[startup+327.101 s]
/proc/loadavg: 8.18 8.12 7.42 7/359 16924
/proc/meminfo: memFree=21575464/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=3034856 CPUtime=1298.95 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 858528 0 0 0 129654 241 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 4293145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 758714 609694 380 95 0 753696 0
[pid=16911/tid=16912] ppid=16909 vsize=3034856 CPUtime=320.65 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 187101 0 0 0 32014 51 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=3034856 CPUtime=327.05 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 163551 0 0 0 32659 46 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540134443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=3034856 CPUtime=324.2 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 255220 0 0 0 32353 67 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1298.95
Current children cumulated vsize (KiB) 3034856

[startup+327.501 s]
/proc/loadavg: 8.18 8.12 7.42 7/359 16924
/proc/meminfo: memFree=21575464/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=3034856 CPUtime=1299.75 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) R 16909 16911 16708 0 -1 4202496 858528 0 0 0 129734 241 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 4290846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 758714 609694 380 95 0 753696 0
[pid=16911/tid=16912] ppid=16909 vsize=3034856 CPUtime=320.65 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 187101 0 0 0 32014 51 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 6 0 0 0
[pid=16911/tid=16913] ppid=16909 vsize=3034856 CPUtime=327.45 cores=0,2,4,6
/proc/16911/task/16913/stat : 16913 (strangenight2-m) R 16909 16911 16708 0 -1 4202560 163551 0 0 0 32699 46 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16911/tid=16914] ppid=16909 vsize=3034856 CPUtime=324.2 cores=0,2,4,6
/proc/16911/task/16914/stat : 16914 (strangenight2-m) S 16909 16911 16708 0 -1 4202560 255220 0 0 0 32353 67 0 0 25 0 4 0 650671225 3107692544 609694 33554432000 4194304 4580107 140736728633120 18446744073709551615 47273540159028 0 0 4096 2 18446604442489530176 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1299.75
Current children cumulated vsize (KiB) 3034856

[startup+327.7 s]
/proc/loadavg: 8.18 8.12 7.42 6/357 16924
/proc/meminfo: memFree=22904992/32950928 swapFree=67056568/67111528
[pid=16911] ppid=16909 vsize=0 CPUtime=1300.1 cores=0,2,4,6
/proc/16911/stat : 16911 (strangenight2-m) Z 16909 16911 16708 0 -1 4203548 858531 0 0 0 129763 247 0 0 25 0 2 0 650671225 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 0 0 0 0 0 0 0
[pid=16911/tid=16912] ppid=16909 vsize=0 CPUtime=320.72 cores=0,2,4,6
/proc/16911/task/16912/stat : 16912 (strangenight2-m) R 16909 16911 16708 0 -1 4203588 187101 0 0 0 32014 58 0 0 18 0 2 0 650671225 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 327.754
CPU time (s): 1300.15
CPU user time (s): 1297.63
CPU system time (s): 2.52262
CPU usage (%): 396.686
Max. virtual memory (cumulated for all children) (KiB): 3034856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.63
system time used= 2.52262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858531
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= 42578
involuntary context switches= 5344

runsolver used 0.98485 second user time and 2.6156 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 18:32:22
IDJOB=3367173
IDBENCH=71039
IDSOLVER=1844
FILE ID=node148/3367173-1305390741
RUNJOBID= node148-1305389192-16726
PBS_JOBID= 13324440
Free space on /tmp= 72812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367173-1305390741/watcher-3367173-1305390741 -o /tmp/evaluation-result-3367173-1305390741/solver-3367173-1305390741 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367173-1305390741.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1280995762

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24058584 kB
Buffers:        311640 kB
Cached:        4602312 kB
SwapCached:       8488 kB
Active:        5245624 kB
Inactive:      3291928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24058584 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           24144 kB
Writeback:           0 kB
AnonPages:     3620844 kB
Mapped:          27764 kB
Slab:           259744 kB
PageTables:      30368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 85495400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72808 MiB
End job on node148 at 2011-05-14 18:37:49