Trace number 3400877

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)SAT 2154.52 68.6141

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
MD5SUM833432e05c2a1599e13dca28680b5df9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1714.43
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of clauses161664
Sum of the clauses size423264
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 263584
Number of clauses of size 398016
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3400877-1307099734.cnf'
0.79/0.07	c -- header says num vars:           1024
0.79/0.07	c -- header says num clauses:      161664
18.30/1.57	c -- clauses added:            0 learnts,       161664 normals,            0 xors
18.30/1.57	c -- vars added       1024
18.30/1.57	c Parsing time:  0.14 s
18.30/1.57	c  N st     0         0      1024     98080     63584         0    423264         0   no data   no data
55.79/2.77	c asymm  cl-useful: 122/6592/98080 lits-rem:364 time: 1.20
61.36/2.98	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.21
65.60/3.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.05/3.23	c bin-w-bin subsume rem        31784 bins  time:  0.03 s
74.65/3.43	c subs with bin:    16992  lits-rem:     11408  v-fix:    0  time:  0.20 s
74.65/3.45	c Subs w/ non-existent bins:    228 l-rem:     61 v-fix:     0 done:   1023 time:  0.02 s
77.84/3.51	c Removed useless bin:    6520  fixed:     0  props:   4.62M  time:  0.03 s
81.04/3.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
81.04/3.70	c Finding binary XORs  T:     0.00 s  found:       0
84.23/3.72	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
84.23/3.72	c calculated reachability. Time: 0.00
84.23/3.73	c Calc default polars -  time:   0.00 s pos:       0 undec:       1 neg:    1023
84.23/3.73	c =========================================================================================
84.23/3.73	c types(t): F = full restart, N = normal restart
84.23/3.73	c types(t): S = simplification begin/end, E = solution found
84.23/3.73	c restart types(rt): st = static, dy = dynamic
84.23/3.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
84.23/3.73	c  B st     0         0      1023     80049     37212         0    316425         0   no data   no data
113.00/4.62	c  N dy    17      4029      1023     80049     37216      3977    316425     97275      8.25      9.96
139.17/5.43	c Finding binary XORs  T:     0.00 s  found:       0
139.17/5.51	c  N dy    41      8062      1023     80049     43170      7955    316425    202882      8.69     10.04
170.55/6.49	c  N dy    65     12388      1023     80049     43171     12228    316425    305455      8.72      9.18
202.51/7.42	c  N dy    88     16548      1023     80049     43185     16344    316425    407202      8.76      9.31
231.27/8.38	c  N dy   114     20646      1023     80049     43196     10514    316425    188196      8.83      9.59
260.04/9.29	c  N dy   137     24691      1023     80049     43201     14517    316425    283853      8.89      9.38
263.23/9.37	c  F st   139     25001      1023     80049     43201     14823    316425    290300      8.89      8.41
301.59/10.60	c  N dy   145     30000      1023     80049     43203     19739    316425    411780      8.89   no data
301.59/10.60	c  S st   145     30000      1023     80049     43203     19739    316425    411780      8.89   no data
308.00/10.72	c  S st   145     30503      1023     80049     43203     20242    316425    423020      8.89   no data
308.00/10.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
314.98/10.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     61 BRemL:   5889 BRemN:      0 P:  7.8M T:  0.23
314.98/10.97	c blocked clauses removed:        0 vars:      0 tried:        1023 T: 0.00 s
314.98/10.98	c bin-w-bin subsume rem         2815 bins  time:  0.01 s
318.21/11.09	c subs with bin:      126  lits-rem:        84  v-fix:    0  time:  0.11 s
320.77/11.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.02 s
320.77/11.12	c Removed useless bin:      21  fixed:     0  props:   3.23M  time:  0.01 s
320.77/11.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
365.46/12.51	c subs with bin:       20  lits-rem:       393  v-fix:    0  time:  1.33 s
375.05/12.84	c lits-rem:       816  cl-subs:     3553  v-elim:      0  v-fix:    0  time:  0.31 s
390.95/13.30	c asymm  cl-useful: 0/3245/79923 lits-rem:0 time: 0.46
390.95/13.31	c calculated reachability. Time: 0.00
390.95/13.31	c  N dy   145     30503      1023     79923     34623     16669    310617    365802      8.89   no data
420.34/14.32	c  N dy   168     34713      1023     79923     34626     20832    310617    468876      8.95      9.63
451.65/15.26	c  N dy   192     38781      1023     79923     34630     24853    310617    570117      8.96      9.50
483.62/16.26	c  N dy   221     42893      1023     79923     34632     28918    310617    667148      9.03      9.54
505.99/16.99	c  S st   241     45754      1023     79923     34632     16467    310617    256316      9.07   no data
512.38/17.10	c  S st   241     46254      1023     79923     34632     16967    310617    267769      9.07   no data
512.38/17.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
518.78/17.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      6 BRemN:     15 P:  7.7M T:  0.21
518.78/17.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
518.78/17.35	c bin-w-bin subsume rem           76 bins  time:  0.01 s
521.98/17.46	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.11 s
521.98/17.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.02 s
521.98/17.49	c Removed useless bin:      37  fixed:     0  props:   3.30M  time:  0.01 s
521.98/17.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
547.47/18.26	c subs with bin:        3  lits-rem:        74  v-fix:    0  time:  0.73 s
550.67/18.36	c lits-rem:       269  cl-subs:      738  v-elim:      0  v-fix:    0  time:  0.08 s
550.67/18.38	c vivif2 --  cl tried    79917 cl shrink        0 lits rem          0 time: 0.03
553.86/18.41	c vivif2 --  cl tried    16226 cl shrink     2625 lits rem       3656 time: 0.03
566.66/18.88	c asymm  cl-useful: 0/3238/79917 lits-rem:0 time: 0.47
566.66/18.89	c calculated reachability. Time: 0.00
566.66/18.89	c  N dy   241     46254      1023     79917     34507     16226    310477    255962      9.07   no data
601.65/19.95	c  N dy   269     50534      1023     79917     34513     20442    310477    361178      9.12      9.62
634.25/20.96	c  N dy   286     54685      1023     79917     34513     24526    310477    459157      9.10     10.38
666.14/21.92	c  N dy   309     58745      1023     79917     34514     28535    310477    561593      9.12      9.63
697.48/22.95	c  N dy   335     62789      1023     79917     34516     32525    310477    658880      9.16      9.68
732.56/24.06	c  N dy   359     66958      1023     79917     34516     36631    310477    754153      9.16      9.74
754.93/24.70	c  S st   377     69383      1023     79917     34518     20532    310477    298121      9.19   no data
758.12/24.82	c  S st   377     69884      1023     79917     34518     21033    310477    309517      9.19   no data
758.12/24.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
764.52/25.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      2 BRemN:      0 P:  8.0M T:  0.22
764.52/25.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
764.52/25.07	c bin-w-bin subsume rem            4 bins  time:  0.01 s
767.71/25.18	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.11 s
767.71/25.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.02 s
767.71/25.21	c Removed useless bin:       0  fixed:     0  props:   3.30M  time:  0.01 s
771.50/25.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
796.48/26.05	c subs with bin:       14  lits-rem:        83  v-fix:    0  time:  0.81 s
799.69/26.18	c lits-rem:       194  cl-subs:     1329  v-elim:      0  v-fix:    0  time:  0.11 s
802.88/26.21	c vivif2 --  cl tried    79914 cl shrink        0 lits rem          0 time: 0.03
802.88/26.23	c vivif2 --  cl tried    19690 cl shrink     1439 lits rem       2084 time: 0.02
815.65/26.69	c asymm  cl-useful: 6/3125/79914 lits-rem:18 time: 0.46
818.86/26.70	c calculated reachability. Time: 0.00
818.86/26.70	c  N dy   377     69884      1023     79908     34522     19690    310466    294350      9.19   no data
853.97/27.82	c  N dy   405     74496      1023     79908     34528     24244    310466    409863      9.21     10.19
892.26/29.03	c  N dy   425     79455      1023     79908     34532     29141    310466    531039      9.19      9.75
937.03/30.43	c  N dy   453     84812      1023     79908     34532     34416    310466    657836      9.19      9.74
962.52/31.21	c  F st   468     87500      1023     79908     34540     37066    310466    721776      9.19   no data
988.09/32.06	c  N st   473     90804      1023     79908     34540     40321    310466    810158      9.19   no data
1035.91/33.55	c  N dy   498     96602      1023     79908     34552     25461    310466    343573      9.23      9.78
1077.41/34.87	c Finding binary XORs  T:     0.00 s  found:       0
1083.81/35.05	c  N dy   527    102776      1023     79908     34555     31568    310466    496611      9.20      9.83
1099.78/35.58	c  S st   541    104826      1023     79908     34557     33597    310466    546971      9.21   no data
1106.18/35.71	c  S st   541    105327      1023     79908     34557     34098    310466    558557      9.21   no data
1106.18/35.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1112.57/35.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.4M T:  0.23
1112.57/35.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1112.57/35.98	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1115.77/36.10	c subs with bin:       12  lits-rem:        12  v-fix:    0  time:  0.11 s
1118.97/36.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.02 s
1118.97/36.12	c Removed useless bin:       0  fixed:     0  props:   3.28M  time:  0.01 s
1118.97/36.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1170.07/37.78	c subs with bin:       65  lits-rem:       148  v-fix:    0  time:  1.59 s
1182.83/38.15	c lits-rem:       746  cl-subs:     3003  v-elim:      0  v-fix:    0  time:  0.36 s
1182.83/38.18	c vivif2 --  cl tried    79896 cl shrink        0 lits rem          0 time: 0.03
1186.03/38.23	c vivif2 --  cl tried    31030 cl shrink     4475 lits rem       7148 time: 0.05
1198.81/38.68	c asymm  cl-useful: 6/2975/79896 lits-rem:18 time: 0.46
1198.81/38.69	c calculated reachability. Time: 0.00
1198.81/38.69	c  N dy   541    105327      1023     79890     34574     31030    310448    513686      9.21   no data
1256.35/40.46	c  N dy   585    112086      1023     79890     34576     37690    310448    679915      9.24     13.80
1320.19/42.43	c  N dy   623    119453      1023     79890     34579     22851    310448    232818      9.26      9.87
1377.67/44.30	c  N dy   671    127144      1023     79890     34587     30430    310448    416548      9.28      9.89
1447.90/46.41	c  N dy   720    135425      1023     79890     34590     38604    310448    615974      9.28      9.81
1524.49/48.86	c  N dy   766    144145      1023     79890     34604     23818    310448    248206      9.28      9.84
1597.97/51.14	c  N dy   822    153429      1023     79890     34607     32956    310448    472891      9.32     10.19
1636.32/52.32	c  S st   853    157990      1023     79890     34613     37439    310448    586775      9.34   no data
1639.52/52.45	c  S st   853    158493      1023     79890     34613     37942    310448    599258      9.34   no data
1639.52/52.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1645.92/52.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      4 BRemN:      0 P:  8.6M T:  0.25
1649.71/52.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1649.71/52.74	c bin-w-bin subsume rem           12 bins  time:  0.01 s
1652.94/52.86	c subs with bin:       21  lits-rem:        18  v-fix:    0  time:  0.12 s
1652.94/52.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.02 s
1652.94/52.89	c Removed useless bin:       0  fixed:     0  props:   3.28M  time:  0.01 s
1655.49/52.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1709.80/54.64	c subs with bin:       70  lits-rem:       176  v-fix:    0  time:  1.69 s
1725.73/55.15	c lits-rem:       713  cl-subs:     3294  v-elim:      0  v-fix:    0  time:  0.49 s
1725.73/55.18	c vivif2 --  cl tried    79869 cl shrink        0 lits rem          0 time: 0.03
1728.93/55.23	c vivif2 --  cl tried    34578 cl shrink     4639 lits rem       7525 time: 0.05
1741.72/55.69	c asymm  cl-useful: 3/2787/79869 lits-rem:9 time: 0.46
1741.72/55.70	c calculated reachability. Time: 0.00
1741.72/55.70	c  N dy   853    158493      1023     79866     34620     34578    310424    548429      9.34   no data
1831.21/58.43	c  N dy   917    168648      1023     79866     34630     44622    310424    808491      9.35     10.39
1923.86/61.36	c  N dy   975    179431      1023     79866     34647     30758    310424    378339      9.35      9.85
2019.76/64.37	c  N dy  1053    191086      1023     79866     34653     42238    310424    666965      9.39     10.35
2125.25/67.62	c  N dy  1122    203419      1023     79866     34655     28855    310424    271806      9.40     10.02
2154.01/68.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
2154.01/68.51	c num threads              : 32         
2154.01/68.51	c restarts                 : 1250       
2154.01/68.51	c dynamic restarts         : 1232       
2154.01/68.51	c static restarts          : 18         
2154.01/68.51	c full restarts            : 2          
2154.01/68.51	c total simplify time      : 0.01       
2154.01/68.51	c learnts DL2              : 0          
2154.01/68.51	c learnts size 2           : 81895      
2154.01/68.51	c learnts size 1           : 1           (0.10      % of vars)
2154.01/68.51	c filedLit time            : 0.45        (0.66      % time)
2154.01/68.51	c v-elim SatELite          : 0           (0.00      % vars)
2154.01/68.51	c SatELite time            : 1.06        (1.57      % time)
2154.01/68.51	c v-elim xor               : 0           (0.00      % vars)
2154.01/68.51	c xor elim time            : 0.01        (0.01      % time)
2154.01/68.51	c num binary xor trees     : 0          
2154.01/68.51	c binxor trees' crown      : 0           (nan       leafs/tree)
2154.01/68.51	c bin xor find time        : 0.01       
2154.01/68.51	c OTF clause improved      : 3197        (0.01      clauses/conflict)
2154.01/68.51	c OTF impr. size diff      : 4266        (1.33       lits/clause)
2154.01/68.51	c OTF cl watch-shrink      : 147085      (0.60      clauses/conflict)
2154.01/68.51	c OTF cl watch-sh-lit      : 777445      (5.29       lits/clause)
2154.01/68.51	c tried to recurMin cls    : 83580       (33.97      % of conflicts)
2154.01/68.51	c updated cache            : 0           (0.00       lits/tried recurMin)
2154.01/68.51	c unit cls recevied        : 0           (0.00      % of units)
2154.01/68.51	c unit cls sent            : 0           (0.00      % of units)
2154.01/68.51	c bin cls recevied         : 6203       
2154.01/68.51	c bin cls sent             : 34         
2154.01/68.51	c clauses over max glue    : 0           (0.00      % of all clauses)
2154.01/68.51	c conflicts                : 246005      (3659.33   / sec)
2154.01/68.51	c decisions                : 547477      (1.06      % random)
2154.01/68.51	c bogo-props               : 2742531213  (40795219.61 / sec)
2154.01/68.51	c conflict literals        : 5992316     (56.57     % deleted)
2154.01/68.51	c Memory used              : 2428.82     MB
2154.01/68.51	c single-thread CPU time   : 67.23       s
2154.01/68.51	c all-threads sum CPU time : 2146.07     s
2154.01/68.51	s SATISFIABLE
2154.01/68.51	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400877-1307099734/watcher-3400877-1307099734 -o /tmp/evaluation-result-3400877-1307099734/solver-3400877-1307099734 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400877-1307099734.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 28.64 29.39 28.19 1/413 14675
/proc/meminfo: memFree=262926644/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=731448 CPUtime=0.58 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) D 14673 14675 14531 0 -1 4202496 1442 0 0 0 51 7 0 0 25 0 32 0 15885811 749002752 1320 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650417485 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14675/statm: 182862 1323 319 95 0 177844 0
[pid=14675/tid=14676] ppid=14673 vsize=731452 CPUtime=0.01 cores=0-31
/proc/14675/task/14676/stat : 14676 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 28 0 0 0 1 0 0 0 24 0 32 0 15885812 749006848 1335 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14675/tid=14677] ppid=14673 vsize=731452 CPUtime=0.01 cores=0-31
/proc/14675/task/14677/stat : 14677 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 46 0 0 0 1 0 0 0 18 0 32 0 15885812 749006848 1339 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14678] ppid=14673 vsize=731452 CPUtime=0.01 cores=0-31
/proc/14675/task/14678/stat : 14678 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 23 0 0 0 1 0 0 0 24 0 32 0 15885812 749006848 1343 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14679] ppid=14673 vsize=731456 CPUtime=0 cores=0-31
/proc/14675/task/14679/stat : 14679 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 32 0 15885812 749010944 1348 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14675/tid=14680] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14680/stat : 14680 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 17 0 0 0 1 0 0 0 24 0 32 0 15885812 749010944 1354 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14681] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14681/stat : 14681 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 68 0 0 0 1 0 0 0 18 0 32 0 15885812 749010944 1354 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14675/tid=14682] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14682/stat : 14682 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 78 0 0 0 1 0 0 0 18 0 32 0 15885812 749010944 1360 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14675/tid=14683] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14683/stat : 14683 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 9 0 0 0 1 0 0 0 25 0 32 0 15885812 749010944 1376 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14675/tid=14684] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14684/stat : 14684 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 23 0 0 0 1 0 0 0 25 0 32 0 15885812 749010944 1379 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14675/tid=14685] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14685/stat : 14685 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 61 0 0 0 1 0 0 0 18 0 32 0 15885812 749010944 1382 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14675/tid=14686] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14686/stat : 14686 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 23 0 0 0 1 0 0 0 25 0 32 0 15885812 749010944 1382 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14675/tid=14687] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14687/stat : 14687 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 37 0 0 0 1 0 0 0 25 0 32 0 15885812 749010944 1382 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14675/tid=14688] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14688/stat : 14688 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 37 0 0 0 1 0 0 0 18 0 32 0 15885812 749010944 1382 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14675/tid=14689] ppid=14673 vsize=731456 CPUtime=0.01 cores=0-31
/proc/14675/task/14689/stat : 14689 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 6 0 0 0 1 0 0 0 25 0 32 0 15885812 749010944 1393 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14675/tid=14690] ppid=14673 vsize=731460 CPUtime=0.01 cores=0-31
/proc/14675/task/14690/stat : 14690 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 7 0 0 0 1 0 0 0 25 0 32 0 15885812 749015040 1399 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14675/tid=14691] ppid=14673 vsize=731464 CPUtime=0.01 cores=0-31
/proc/14675/task/14691/stat : 14691 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 6 0 0 0 1 0 0 0 18 0 32 0 15885812 749019136 1406 268435456000 4194304 4580107 140734955170928 18446744073709551615 258666957298 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=731464 CPUtime=0.01 cores=0-31
/proc/14675/task/14692/stat : 14692 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 23 0 0 0 1 0 0 0 25 0 32 0 15885812 749019136 1411 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14675/tid=14693] ppid=14673 vsize=731464 CPUtime=0.01 cores=0-31
/proc/14675/task/14693/stat : 14693 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 15885812 749019136 1420 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14675/tid=14694] ppid=14673 vsize=731464 CPUtime=0 cores=0-31
/proc/14675/task/14694/stat : 14694 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 32 0 15885812 749019136 1477 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14675/tid=14695] ppid=14673 vsize=731464 CPUtime=0.01 cores=0-31
/proc/14675/task/14695/stat : 14695 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 9 0 0 0 1 0 0 0 25 0 32 0 15885812 749019136 1477 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14675/tid=14696] ppid=14673 vsize=731464 CPUtime=0.01 cores=0-31
/proc/14675/task/14696/stat : 14696 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 32 0 0 0 1 0 0 0 25 0 32 0 15885812 749019136 1478 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14675/tid=14697] ppid=14673 vsize=731472 CPUtime=0.01 cores=0-31
/proc/14675/task/14697/stat : 14697 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 8 0 0 0 1 0 0 0 25 0 32 0 15885812 749027328 1486 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14675/tid=14698] ppid=14673 vsize=731476 CPUtime=0.01 cores=0-31
/proc/14675/task/14698/stat : 14698 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 69 0 0 0 1 0 0 0 18 0 32 0 15885812 749031424 1497 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14675/tid=14699] ppid=14673 vsize=731476 CPUtime=0.01 cores=0-31
/proc/14675/task/14699/stat : 14699 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 11 0 0 0 1 0 0 0 25 0 32 0 15885812 749031424 1514 268435456000 4194304 4580107 140734955170928 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14675/tid=14700] ppid=14673 vsize=731476 CPUtime=0.01 cores=0-31
/proc/14675/task/14700/stat : 14700 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 39 0 0 0 1 0 0 0 18 0 32 0 15885812 749031424 1532 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14675/tid=14701] ppid=14673 vsize=731476 CPUtime=0.01 cores=0-31
/proc/14675/task/14701/stat : 14701 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 34 0 0 0 1 0 0 0 25 0 32 0 15885812 749031424 1612 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14675/tid=14702] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14702/stat : 14702 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 93 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 1692 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14675/tid=14703] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14703/stat : 14703 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 22 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 1755 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14675/tid=14704] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14704/stat : 14704 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 84 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 1828 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14675/tid=14705] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14705/stat : 14705 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 76 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 1906 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14675/tid=14706] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14706/stat : 14706 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 58 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 1959 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.0429239 s]
/proc/loadavg: 28.64 29.39 28.19 1/413 14675
/proc/meminfo: memFree=262926644/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=732432 CPUtime=0.79 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) R 14673 14675 14531 0 -1 4202496 4150 0 0 0 51 28 0 0 25 0 32 0 15885811 750010368 4028 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14675/statm: 183108 4092 322 95 0 178090 0
[pid=14675/tid=14676] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14676/stat : 14676 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 118 0 0 0 1 1 0 0 24 0 32 0 15885812 750010368 4147 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14675/tid=14677] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14677/stat : 14677 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 137 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 4219 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14678] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14678/stat : 14678 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 27 0 0 0 1 0 0 0 24 0 32 0 15885812 750010368 4272 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14679] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14679/stat : 14679 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 169 0 0 0 0 1 0 0 18 0 32 0 15885812 750010368 4344 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14675/tid=14680] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14680/stat : 14680 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 114 0 0 0 1 0 0 0 24 0 32 0 15885812 750010368 4396 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14681] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14681/stat : 14681 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 182 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 4433 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14675/tid=14682] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14682/stat : 14682 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 183 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 4488 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14675/tid=14683] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14683/stat : 14683 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 104 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 4556 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14675/tid=14684] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14684/stat : 14684 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 116 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 4623 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14675/tid=14685] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14685/stat : 14685 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 160 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 4648 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14675/tid=14686] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14686/stat : 14686 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 146 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 4690 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14675/tid=14687] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14687/stat : 14687 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 139 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 4727 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14675/tid=14688] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14688/stat : 14688 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 140 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 4787 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14675/tid=14689] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14689/stat : 14689 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 113 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 4840 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14675/tid=14690] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14690/stat : 14690 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 114 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 4894 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14675/tid=14691] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14691/stat : 14691 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 105 0 0 0 1 0 0 0 18 0 32 0 15885812 750010368 4925 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14692/stat : 14692 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 167 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 4980 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14675/tid=14693] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14693/stat : 14693 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 131 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 5037 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14675/tid=14694] ppid=14673 vsize=732432 CPUtime=0 cores=0-31
/proc/14675/task/14694/stat : 14694 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 156 0 0 0 0 0 0 0 25 0 32 0 15885812 750010368 5090 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14675/tid=14695] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14695/stat : 14695 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 121 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 5173 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14675/tid=14696] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14696/stat : 14696 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 152 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 5227 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14675/tid=14697] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14697/stat : 14697 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 129 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 5271 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14675/tid=14698] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14698/stat : 14698 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 213 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 5317 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14675/tid=14699] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14699/stat : 14699 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 131 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 5362 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14675/tid=14700] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14700/stat : 14700 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 158 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 5409 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14675/tid=14701] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14701/stat : 14701 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 180 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 5469 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14675/tid=14702] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14702/stat : 14702 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 215 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 5519 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14675/tid=14703] ppid=14673 vsize=732432 CPUtime=0.01 cores=0-31
/proc/14675/task/14703/stat : 14703 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 131 0 0 0 1 0 0 0 25 0 32 0 15885812 750010368 5566 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14675/tid=14704] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14704/stat : 14704 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 221 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 5592 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14675/tid=14705] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14705/stat : 14705 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 194 0 0 0 1 1 0 0 18 0 32 0 15885812 750010368 5625 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14675/tid=14706] ppid=14673 vsize=732432 CPUtime=0.02 cores=0-31
/proc/14675/task/14706/stat : 14706 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 176 0 0 0 1 1 0 0 25 0 32 0 15885812 750010368 5678 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 732432

[startup+0.105901 s]
/proc/loadavg: 28.64 29.39 28.19 1/413 14675
/proc/meminfo: memFree=262926644/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=1389568 CPUtime=1.56 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) S 14673 14675 14531 0 -1 4202496 12613 0 0 0 68 88 0 0 17 0 32 0 15885811 1422917632 12491 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14675/statm: 347392 12494 334 95 0 342374 0
[pid=14675/tid=14676] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14676/stat : 14676 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 383 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12500 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604446183382496 0 0 -1 1 0 0 0
[pid=14675/tid=14677] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14677/stat : 14677 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 414 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12504 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14678] ppid=14673 vsize=1389568 CPUtime=0.02 cores=0-31
/proc/14675/task/14678/stat : 14678 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 355 0 0 0 1 1 0 0 17 0 32 0 15885812 1422917632 12504 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604471117381088 0 0 -1 20 0 0 0
[pid=14675/tid=14679] ppid=14673 vsize=1389568 CPUtime=0.03 cores=0-31
/proc/14675/task/14679/stat : 14679 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 372 0 0 0 1 2 0 0 17 0 32 0 15885812 1422917632 12508 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604465438318048 0 0 -1 24 0 0 0
[pid=14675/tid=14680] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14680/stat : 14680 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 396 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12516 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14675/tid=14681] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14681/stat : 14681 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 408 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12521 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14675/tid=14682] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14682/stat : 14682 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 442 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12537 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 21 0 0 0
[pid=14675/tid=14683] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14683/stat : 14683 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 345 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12538 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 6 0 0 0
[pid=14675/tid=14684] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14684/stat : 14684 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 386 0 0 0 1 3 0 0 17 0 32 0 15885812 1422917632 12540 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14675/tid=14685] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14685/stat : 14685 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 359 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12543 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604501655453152 0 0 -1 10 0 0 0
[pid=14675/tid=14686] ppid=14673 vsize=1389568 CPUtime=0.03 cores=0-31
/proc/14675/task/14686/stat : 14686 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 396 0 0 0 2 1 0 0 17 0 32 0 15885812 1422917632 12552 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14675/tid=14687] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14687/stat : 14687 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 361 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12558 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604502353870304 0 0 -1 8 0 0 0
[pid=14675/tid=14688] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14688/stat : 14688 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 358 0 0 0 1 3 0 0 17 0 32 0 15885812 1422917632 12558 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604484157054432 0 0 -1 8 0 0 0
[pid=14675/tid=14689] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14689/stat : 14689 (strangenight2-m) S 14673 14675 14531 0 -1 4202560 411 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12561 268435456000 4194304 4580107 140734955170928 18446744073709551615 258651060958 0 0 4096 2 18446604503260159456 0 0 -1 28 0 0 0
[pid=14675/tid=14690] ppid=14673 vsize=1389568 CPUtime=0.05 cores=0-31
/proc/14675/task/14690/stat : 14690 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 355 0 0 0 2 3 0 0 17 0 32 0 15885812 1422917632 12567 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14675/tid=14691] ppid=14673 vsize=1389568 CPUtime=0.04 cores=0-31
/proc/14675/task/14691/stat : 14691 (strangenight2-m) D 14673 14675 14531 0 -1 4202560 369 0 0 0 2 2 0 0 17 0 32 0 15885812 1422917632 12572 268435456000 4194304 4580107 140734955170928 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=1389568 CPUtime=0.03 cores=0-31

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

/proc/14675/task/14699/stat : 14699 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18309 0 0 0 6619 26 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14675/tid=14700] ppid=14673 vsize=2487104 CPUtime=66.63 cores=0-31
/proc/14675/task/14700/stat : 14700 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16549 0 0 0 6637 26 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14675/tid=14701] ppid=14673 vsize=2487104 CPUtime=66.43 cores=0-31
/proc/14675/task/14701/stat : 14701 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18760 0 0 0 6617 26 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14702] ppid=14673 vsize=2487104 CPUtime=67.05 cores=0-31
/proc/14675/task/14702/stat : 14702 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20251 0 0 0 6681 24 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14675/tid=14703] ppid=14673 vsize=2487104 CPUtime=66.71 cores=0-31
/proc/14675/task/14703/stat : 14703 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15225 0 0 0 6646 25 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14675/tid=14704] ppid=14673 vsize=2487104 CPUtime=66.65 cores=0-31
/proc/14675/task/14704/stat : 14704 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 17921 0 0 0 6641 24 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14675/tid=14705] ppid=14673 vsize=2487104 CPUtime=66.54 cores=0-31
/proc/14675/task/14705/stat : 14705 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 13075 0 0 0 6632 22 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14675/tid=14706] ppid=14673 vsize=2487104 CPUtime=66.47 cores=0-31
/proc/14675/task/14706/stat : 14706 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14793 0 0 0 6628 19 0 0 25 0 32 0 15885812 2546794496 334801 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2134.84
Current children cumulated vsize (KiB) 2487104

[startup+68.3021 s]
/proc/loadavg: 30.95 29.93 28.45 33/445 14707
/proc/meminfo: memFree=261600164/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=2487104 CPUtime=2147.62 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) R 14673 14675 14531 0 -1 4202496 561809 0 0 0 213929 833 0 0 25 0 32 0 15885811 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14675/statm: 621776 335205 377 95 0 616758 0
[pid=14675/tid=14676] ppid=14673 vsize=2487104 CPUtime=67.17 cores=0-31
/proc/14675/task/14676/stat : 14676 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18136 0 0 0 6693 24 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14675/tid=14677] ppid=14673 vsize=2487104 CPUtime=67.37 cores=0-31
/proc/14675/task/14677/stat : 14677 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15949 0 0 0 6714 23 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14675/tid=14678] ppid=14673 vsize=2487104 CPUtime=66.77 cores=0-31
/proc/14675/task/14678/stat : 14678 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19327 0 0 0 6652 25 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14675/tid=14679] ppid=14673 vsize=2487104 CPUtime=66.92 cores=0-31
/proc/14675/task/14679/stat : 14679 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20485 0 0 0 6661 31 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14675/tid=14680] ppid=14673 vsize=2487104 CPUtime=67.01 cores=0-31
/proc/14675/task/14680/stat : 14680 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16135 0 0 0 6670 31 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14675/tid=14681] ppid=14673 vsize=2487104 CPUtime=67.66 cores=0-31
/proc/14675/task/14681/stat : 14681 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20710 0 0 0 6737 29 0 0 25 0 32 0 15885812 2546794496 335205 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14675/tid=14682] ppid=14673 vsize=2487104 CPUtime=67.64 cores=0-31
/proc/14675/task/14682/stat : 14682 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 22252 0 0 0 6735 29 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14675/tid=14683] ppid=14673 vsize=2487104 CPUtime=67.54 cores=0-31
/proc/14675/task/14683/stat : 14683 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20178 0 0 0 6726 28 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14675/tid=14684] ppid=14673 vsize=2487104 CPUtime=67.21 cores=0-31
/proc/14675/task/14684/stat : 14684 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16728 0 0 0 6696 25 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14675/tid=14685] ppid=14673 vsize=2487104 CPUtime=66.94 cores=0-31
/proc/14675/task/14685/stat : 14685 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15278 0 0 0 6671 23 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14675/tid=14686] ppid=14673 vsize=2487104 CPUtime=67.17 cores=0-31
/proc/14675/task/14686/stat : 14686 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19773 0 0 0 6693 24 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14675/tid=14687] ppid=14673 vsize=2487104 CPUtime=67.16 cores=0-31
/proc/14675/task/14687/stat : 14687 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18477 0 0 0 6689 27 0 0 18 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14688] ppid=14673 vsize=2487104 CPUtime=66.01 cores=0-31
/proc/14675/task/14688/stat : 14688 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16397 0 0 0 6574 27 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14675/tid=14689] ppid=14673 vsize=2487104 CPUtime=67.49 cores=0-31
/proc/14675/task/14689/stat : 14689 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16974 0 0 0 6723 26 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14675/tid=14690] ppid=14673 vsize=2487104 CPUtime=67.27 cores=0-31
/proc/14675/task/14690/stat : 14690 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19550 0 0 0 6701 26 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14675/tid=14691] ppid=14673 vsize=2487104 CPUtime=66.91 cores=0-31
/proc/14675/task/14691/stat : 14691 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16519 0 0 0 6662 29 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=2487104 CPUtime=67.45 cores=0-31
/proc/14675/task/14692/stat : 14692 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16570 0 0 0 6717 28 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14675/tid=14693] ppid=14673 vsize=2487104 CPUtime=66.91 cores=0-31
/proc/14675/task/14693/stat : 14693 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15935 0 0 0 6671 20 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14675/tid=14694] ppid=14673 vsize=2487104 CPUtime=67.5 cores=0-31
/proc/14675/task/14694/stat : 14694 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19473 0 0 0 6725 25 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14675/tid=14695] ppid=14673 vsize=2487104 CPUtime=66.97 cores=0-31
/proc/14675/task/14695/stat : 14695 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14498 0 0 0 6670 27 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14675/tid=14696] ppid=14673 vsize=2487104 CPUtime=66.98 cores=0-31
/proc/14675/task/14696/stat : 14696 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 13486 0 0 0 6676 22 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14675/tid=14697] ppid=14673 vsize=2487104 CPUtime=67.33 cores=0-31
/proc/14675/task/14697/stat : 14697 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14821 0 0 0 6712 21 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14675/tid=14698] ppid=14673 vsize=2487104 CPUtime=66.93 cores=0-31
/proc/14675/task/14698/stat : 14698 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 21060 0 0 0 6666 27 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14675/tid=14699] ppid=14673 vsize=2487104 CPUtime=66.85 cores=0-31
/proc/14675/task/14699/stat : 14699 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18356 0 0 0 6659 26 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14675/tid=14700] ppid=14673 vsize=2487104 CPUtime=67.03 cores=0-31
/proc/14675/task/14700/stat : 14700 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16549 0 0 0 6677 26 0 0 25 0 32 0 15885812 2546794496 335206 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14675/tid=14701] ppid=14673 vsize=2487104 CPUtime=66.83 cores=0-31
/proc/14675/task/14701/stat : 14701 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18763 0 0 0 6657 26 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14702] ppid=14673 vsize=2487104 CPUtime=67.45 cores=0-31
/proc/14675/task/14702/stat : 14702 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20291 0 0 0 6721 24 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14675/tid=14703] ppid=14673 vsize=2487104 CPUtime=67.11 cores=0-31
/proc/14675/task/14703/stat : 14703 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15267 0 0 0 6686 25 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14675/tid=14704] ppid=14673 vsize=2487104 CPUtime=67.05 cores=0-31
/proc/14675/task/14704/stat : 14704 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 17922 0 0 0 6681 24 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14675/tid=14705] ppid=14673 vsize=2487104 CPUtime=66.94 cores=0-31
/proc/14675/task/14705/stat : 14705 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 13075 0 0 0 6672 22 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4317534 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14675/tid=14706] ppid=14673 vsize=2487104 CPUtime=66.87 cores=0-31
/proc/14675/task/14706/stat : 14706 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14833 0 0 0 6668 19 0 0 25 0 32 0 15885812 2546794496 335207 268435456000 4194304 4580107 140734955170928 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2147.62
Current children cumulated vsize (KiB) 2487104

[startup+68.5021 s]
/proc/loadavg: 30.95 29.93 28.45 33/445 14707
/proc/meminfo: memFree=261600164/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=2487104 CPUtime=2154.01 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) R 14673 14675 14531 0 -1 4202496 562039 0 0 0 214568 833 0 0 25 0 32 0 15885811 2546794496 335435 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616403 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14675/statm: 621776 335436 377 95 0 616758 0
[pid=14675/tid=14676] ppid=14673 vsize=2487104 CPUtime=67.37 cores=0-31
/proc/14675/task/14676/stat : 14676 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18136 0 0 0 6713 24 0 0 25 0 32 0 15885812 2546794496 335436 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616413 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14675/tid=14677] ppid=14673 vsize=2487104 CPUtime=67.57 cores=0-31
/proc/14675/task/14677/stat : 14677 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15949 0 0 0 6734 23 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616407 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14675/tid=14678] ppid=14673 vsize=2487104 CPUtime=66.97 cores=0-31
/proc/14675/task/14678/stat : 14678 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19349 0 0 0 6672 25 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616407 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14675/tid=14679] ppid=14673 vsize=2487104 CPUtime=67.12 cores=0-31
/proc/14675/task/14679/stat : 14679 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20504 0 0 0 6681 31 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616403 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14675/tid=14680] ppid=14673 vsize=2487104 CPUtime=67.21 cores=0-31
/proc/14675/task/14680/stat : 14680 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16135 0 0 0 6690 31 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14675/tid=14681] ppid=14673 vsize=2487104 CPUtime=67.86 cores=0-31
/proc/14675/task/14681/stat : 14681 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20729 0 0 0 6757 29 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616400 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14675/tid=14682] ppid=14673 vsize=2487104 CPUtime=67.84 cores=0-31
/proc/14675/task/14682/stat : 14682 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 22252 0 0 0 6755 29 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14675/tid=14683] ppid=14673 vsize=2487104 CPUtime=67.74 cores=0-31
/proc/14675/task/14683/stat : 14683 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20178 0 0 0 6746 28 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14675/tid=14684] ppid=14673 vsize=2487104 CPUtime=67.41 cores=0-31
/proc/14675/task/14684/stat : 14684 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16728 0 0 0 6716 25 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616407 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14675/tid=14685] ppid=14673 vsize=2487104 CPUtime=67.14 cores=0-31
/proc/14675/task/14685/stat : 14685 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15278 0 0 0 6691 23 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14675/tid=14686] ppid=14673 vsize=2487104 CPUtime=67.37 cores=0-31
/proc/14675/task/14686/stat : 14686 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19792 0 0 0 6713 24 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14675/tid=14687] ppid=14673 vsize=2487104 CPUtime=67.36 cores=0-31
/proc/14675/task/14687/stat : 14687 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18477 0 0 0 6709 27 0 0 18 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14675/tid=14688] ppid=14673 vsize=2487104 CPUtime=66.2 cores=0-31
/proc/14675/task/14688/stat : 14688 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16397 0 0 0 6593 27 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616400 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14675/tid=14689] ppid=14673 vsize=2487104 CPUtime=67.69 cores=0-31
/proc/14675/task/14689/stat : 14689 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16992 0 0 0 6743 26 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14675/tid=14690] ppid=14673 vsize=2487104 CPUtime=67.47 cores=0-31
/proc/14675/task/14690/stat : 14690 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19550 0 0 0 6721 26 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529591851 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14675/tid=14691] ppid=14673 vsize=2487104 CPUtime=67.11 cores=0-31
/proc/14675/task/14691/stat : 14691 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16519 0 0 0 6682 29 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=2487104 CPUtime=67.65 cores=0-31
/proc/14675/task/14692/stat : 14692 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16570 0 0 0 6737 28 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616413 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14675/tid=14693] ppid=14673 vsize=2487104 CPUtime=67.11 cores=0-31
/proc/14675/task/14693/stat : 14693 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15937 0 0 0 6691 20 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616413 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14675/tid=14694] ppid=14673 vsize=2487104 CPUtime=67.7 cores=0-31
/proc/14675/task/14694/stat : 14694 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 19473 0 0 0 6745 25 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14675/tid=14695] ppid=14673 vsize=2487104 CPUtime=67.17 cores=0-31
/proc/14675/task/14695/stat : 14695 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14498 0 0 0 6690 27 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616403 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14675/tid=14696] ppid=14673 vsize=2487104 CPUtime=67.18 cores=0-31
/proc/14675/task/14696/stat : 14696 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 13488 0 0 0 6696 22 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14675/tid=14697] ppid=14673 vsize=2487104 CPUtime=67.53 cores=0-31
/proc/14675/task/14697/stat : 14697 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14840 0 0 0 6732 21 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616413 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14675/tid=14698] ppid=14673 vsize=2487104 CPUtime=67.13 cores=0-31
/proc/14675/task/14698/stat : 14698 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 21074 0 0 0 6686 27 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14675/tid=14699] ppid=14673 vsize=2487104 CPUtime=67.05 cores=0-31
/proc/14675/task/14699/stat : 14699 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18374 0 0 0 6679 26 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14675/tid=14700] ppid=14673 vsize=2487104 CPUtime=67.23 cores=0-31
/proc/14675/task/14700/stat : 14700 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 16549 0 0 0 6697 26 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616407 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14675/tid=14701] ppid=14673 vsize=2487104 CPUtime=67.03 cores=0-31
/proc/14675/task/14701/stat : 14701 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 18783 0 0 0 6677 26 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 4486051 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14675/tid=14702] ppid=14673 vsize=2487104 CPUtime=67.65 cores=0-31
/proc/14675/task/14702/stat : 14702 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 20312 0 0 0 6741 24 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616407 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14675/tid=14703] ppid=14673 vsize=2487104 CPUtime=67.31 cores=0-31
/proc/14675/task/14703/stat : 14703 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 15284 0 0 0 6706 25 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14675/tid=14704] ppid=14673 vsize=2487104 CPUtime=67.25 cores=0-31
/proc/14675/task/14704/stat : 14704 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 17923 0 0 0 6701 24 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14675/tid=14705] ppid=14673 vsize=2487104 CPUtime=67.14 cores=0-31
/proc/14675/task/14705/stat : 14705 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 13077 0 0 0 6692 22 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14675/tid=14706] ppid=14673 vsize=2487104 CPUtime=67.07 cores=0-31
/proc/14675/task/14706/stat : 14706 (strangenight2-m) R 14673 14675 14531 0 -1 4202560 14851 0 0 0 6688 19 0 0 25 0 32 0 15885812 2546794496 335437 268435456000 4194304 4580107 140734955170928 18446744073709551615 47588529616409 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2154.01
Current children cumulated vsize (KiB) 2487104

[startup+68.6023 s]
/proc/loadavg: 30.95 29.93 28.45 33/445 14707
/proc/meminfo: memFree=261600164/264257624 swapFree=67054988/67111528
[pid=14675] ppid=14673 vsize=0 CPUtime=2154.51 cores=0-31
/proc/14675/stat : 14675 (strangenight2-m) Z 14673 14675 14531 0 -1 4203548 562050 0 0 0 214607 844 0 0 25 0 2 0 15885811 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14675/statm: 0 0 0 0 0 0 0
[pid=14675/tid=14692] ppid=14673 vsize=0 CPUtime=67.76 cores=0-31
/proc/14675/task/14692/stat : 14692 (strangenight2-m) R 14673 14675 14531 0 -1 4203588 16570 0 0 0 6739 37 0 0 25 0 2 0 15885812 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2154.51
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 68.6141
CPU time (s): 2154.52
CPU user time (s): 2146.07
CPU system time (s): 8.45371
CPU usage (%): 3140.06
Max. virtual memory (cumulated for all children) (KiB): 2497008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2146.07
system time used= 8.45371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562050
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= 334298
involuntary context switches= 8140

runsolver used 0.45693 second user time and 1.53477 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 13:15:34
IDJOB=3400877
IDBENCH=85975
IDSOLVER=1886
FILE ID=node200/3400877-1307099734
RUNJOBID= node200-1307099685-14545
PBS_JOBID= 13498408
Free space on /tmp= 61740 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400877-1307099734/watcher-3400877-1307099734 -o /tmp/evaluation-result-3400877-1307099734/solver-3400877-1307099734 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400877-1307099734.cnf

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

MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=894496479

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.043
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.043
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.05
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.043
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.08
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.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.04
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.043
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.06
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.043
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	: 3989.96
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.043
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.09
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.043
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.05
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.043
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.09
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.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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	: 3990.09
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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	: 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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	: 3990.05
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.043
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.043
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.35
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.043
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:      262927048 kB
Buffers:        107084 kB
Cached:        1016080 kB
SwapCached:       8428 kB
Active:         109168 kB
Inactive:      1032888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262927048 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            8212 kB
Writeback:           8 kB
AnonPages:       16784 kB
Mapped:           8852 kB
Slab:            89924 kB
PageTables:       5316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181944 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= 61736 MiB
End job on node200 at 2011-06-03 13:16:43