Trace number 3400646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 3297.63 106.944

General information on the benchmark

Namemanol-pipe-c6bidw_i.cnf
MD5SUM8aeb1eb6b7bf22d54183762fb5b6410c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark634.837
Satisfiable
(Un)Satisfiability was proved
Number of variables96089
Number of clauses283993
Sum of the clauses size662649
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2189328
Number of clauses of size 394664
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400646-1306269982.cnf'
0.00/0.09	c -- header says num vars:          96089
0.00/0.09	c -- header says num clauses:      283993
40.72/2.92	c -- clauses added:            0 learnts,       283993 normals,            0 xors
40.72/2.92	c -- vars added      96089
40.72/2.92	c Parsing time:  0.46 s
40.72/2.92	c  N st     0         0     96089     94664    189328         0    662648         0   no data   no data
72.16/3.95	c asymm  cl-useful: 0/53604/94663 lits-rem:0 time: 1.02
154.89/6.51	c Flit:    84 Blit:   4222 bXBeca:    0 bXProp: 6441 Bins:      0 BRemL:      0 BRemN:      0 P: 29.3M T:  2.55
154.89/6.54	c Cleaning up after failed var search:     0.03 s 
157.93/6.64	c Replacing     6441 vars Replaced   112191 lits Time:     0.06 s 
167.18/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
167.18/7.16	c bin-w-bin subsume rem          196 bins  time:  0.04 s
169.84/7.27	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  0.10 s
181.48/7.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     6 done:  84467 time:  0.34 s
190.48/7.99	c Removed useless bin:      83  fixed:     0  props:  20.00M  time:  0.34 s
234.52/9.81	c lits-rem:        27  cl-subs:       78  v-elim:  28156  v-fix:    0  time:  0.80 s
234.52/9.86	c Finding binary XORs  T:     0.04 s  found:      27
234.52/9.90	c Replacing       27 vars Replaced      168 lits Time:     0.04 s 
238.75/10.01	c Finding non-binary XORs:     0.06 s (found:    1959, avg size: 3.0)
238.75/10.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
238.75/10.03	c calculated reachability. Time: 0.00
242.01/10.05	c Calc default polars -  time:   0.02 s pos:   20182 undec:   39953 neg:   35954
242.01/10.05	c =========================================================================================
242.01/10.05	c types(t): F = full restart, N = normal restart
242.01/10.05	c types(t): S = simplification begin/end, E = solution found
242.01/10.05	c restart types(rt): st = static, dy = dynamic
242.01/10.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
242.01/10.05	c  B st     0         0     56281     68867    112964         0    472000         0   no data   no data
298.32/11.86	c  N dy    17      4023     56272     68867    113066      3495    472000     51480      7.36      7.75
365.44/13.90	c  N dy    37      8748     56130     68867    113752      7574    472000    104682      7.30      7.87
417.21/15.57	c  N dy    62     12827     55882     68867    114020     11148    472000    150329      7.39      7.78
477.31/17.42	c  N dy    78     17208     55777     68867    114034     15010    472000    196458      7.22      7.63
550.82/19.80	c  N dy   104     21365     55664     66931    112673      9974    459809     69732      7.28      7.67
608.28/21.59	c  F st   124     25001     55611     66931    112962     13357    459809    116230      7.31   no data
611.47/21.65	c Replacing       24 vars Replaced      347 lits Time:     0.03 s 
659.96/23.20	c  N st   126     25627     55587     66839    112701     13916    458938    124108      7.31   no data
713.64/24.81	c  N dy   130     30003     55587     66839    112706     18093    458938    197611      7.31   no data
713.64/24.81	c  S st   130     30003     55587     66839    112706     18093    458938    197611      7.31   no data
726.43/25.20	c  S st   130     30504     55586     66839    112720     18569    458938    203363      7.31   no data
726.43/25.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     57 locsubst:     0 time:   0.03
867.05/29.69	c Flit:    12 Blit:    195 bXBeca:    0 bXProp: 2245 Bins: 118772 BRemL:  37171 BRemN:   1247 P: 27.2M T:  4.42
867.05/29.69	c Cleaning up after failed var search:     0.00 s 
870.83/29.78	c Replacing     2245 vars Replaced   130925 lits Time:     0.08 s 
874.06/29.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.06/29.89	c bin-w-bin subsume rem        31446 bins  time:  0.06 s
876.62/29.96	c subs with bin:      165  lits-rem:       542  v-fix:    0  time:  0.07 s
883.01/30.12	c Subs w/ non-existent bins:     40 l-rem:    156 v-fix:     0 done:  52770 time:  0.16 s
886.21/30.25	c Removed useless bin:     101  fixed:     0  props:   4.84M  time:  0.13 s
902.18/30.81	c lits-rem:        80  cl-subs:      653  v-elim:  35180  v-fix:    0  time:  0.48 s
905.95/30.85	c subs with bin:      234  lits-rem:      1031  v-fix:    0  time:  0.02 s
909.18/30.93	c lits-rem:       854  cl-subs:     1090  v-elim:      0  v-fix:    0  time:  0.05 s
914.94/31.16	c asymm  cl-useful: 1/22482/76086 lits-rem:3 time: 0.22
914.94/31.18	c calculated reachability. Time: 0.01
914.94/31.18	c  N dy   130     30504     17590     76085     26638      8971    347413     85850      7.31   no data
918.13/31.26	c Finding binary XORs  T:     0.04 s  found:      64
950.02/32.21	c  N dy   143     34656     17587     76024     27049     12437    347207    129410      7.19      7.70
985.15/33.33	c  N dy   158     38692     17587     76024     48447     15768    347207    211466      7.12      7.60
997.92/33.72	c Finding binary XORs  T:     0.03 s  found:       1
1023.47/34.58	c  N dy   168     43053     17587     76024     48244     10007    347147    115744      7.01      7.43
1046.43/35.23	c  S st   179     45757     17587     76024     48339     12326    347146    145181      6.98   no data
1052.18/35.40	c  S st   179     46260     17587     76024     48343     12800    347146    150380      6.98   no data
1052.18/35.43	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    80 time:   0.02
1071.37/36.08	c Flit:     1 Blit:      7 bXBeca:    0 bXProp:   47 Bins:   9006 BRemL:  23413 BRemN:     68 P:  7.4M T:  0.65
1074.55/36.12	c Replacing      134 vars Replaced     6376 lits Time:     0.04 s 
1074.55/36.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1074.55/36.17	c bin-w-bin subsume rem         9386 bins  time:  0.01 s
1077.74/36.20	c subs with bin:      406  lits-rem:       776  v-fix:    0  time:  0.03 s
1077.74/36.24	c Subs w/ non-existent bins:    163 l-rem:    347 v-fix:     0 done:  17445 time:  0.04 s
1077.74/36.27	c Removed useless bin:      22  fixed:     0  props:   0.44M  time:  0.02 s
1084.72/36.42	c lits-rem:       112  cl-subs:      270  v-elim:   1756  v-fix:    0  time:  0.14 s
1084.72/36.46	c subs with bin:       76  lits-rem:       305  v-fix:    0  time:  0.02 s
1087.31/36.54	c lits-rem:       388  cl-subs:      582  v-elim:      0  v-fix:    0  time:  0.05 s
1087.31/36.56	c vivif2 --  cl tried    75601 cl shrink      482 lits rem        784 time: 0.03
1087.31/36.57	c vivif2 --  cl tried    11284 cl shrink      580 lits rem       1310 time: 0.01
1112.84/37.37	c asymm  cl-useful: 420/75569/75569 lits-rem:759 time: 0.80
1112.84/37.39	c calculated reachability. Time: 0.01
1112.84/37.39	c  N dy   179     46260     15689     75569     16777     11276    352107     79397      6.98   no data
1112.84/37.42	c Finding binary XORs  T:     0.02 s  found:       0
1151.78/38.54	c  N dy   201     50302     15688     75569     24300     14670    352107    139782      6.98      7.40
1151.78/38.58	c Finding binary XORs  T:     0.02 s  found:      10
1183.14/39.56	c  N dy   220     54312     15688     75558     24300     18121    352064    182813      6.94      7.37
1218.21/40.62	c  N dy   237     58501     15688     75558     27713     21693    352064    235070      6.91      7.32
1253.28/41.70	c  N dy   256     62509     15687     75558     29684     25064    352064    287385      6.92      7.31
1253.28/41.81	c Finding binary XORs  T:     0.02 s  found:       1
1288.43/42.90	c  N dy   276     67161     15687     75547     29684     15520    352018    122046      6.88      7.26
1307.59/43.48	c  S st   289     69390     15685     75547     31597     17408    352018    152002      6.89   no data
1313.99/43.66	c  S st   289     69892     15685     75547     31601     17868    352018    156932      6.89   no data
1313.99/43.68	c x-sub:    31 x-cut:      0 vfix:      0 v-elim:      9 locsubst:     8 time:   0.02
1327.37/44.09	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   53 Bins:   1112 BRemL:  10459 BRemN:     35 P:  4.9M T:  0.40
1330.57/44.13	c Replacing       68 vars Replaced     3484 lits Time:     0.04 s 
1330.57/44.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1330.57/44.18	c bin-w-bin subsume rem         5223 bins  time:  0.01 s
1333.13/44.20	c subs with bin:      151  lits-rem:       162  v-fix:    0  time:  0.02 s
1333.13/44.24	c Subs w/ non-existent bins:     45 l-rem:      4 v-fix:     0 done:  15607 time:  0.03 s
1333.13/44.26	c Removed useless bin:      23  fixed:     0  props:   0.30M  time:  0.02 s
1336.33/44.36	c lits-rem:        30  cl-subs:      287  v-elim:    180  v-fix:    0  time:  0.10 s
1339.53/44.40	c subs with bin:       67  lits-rem:       510  v-fix:    0  time:  0.02 s
1339.53/44.49	c lits-rem:       436  cl-subs:      692  v-elim:      0  v-fix:    0  time:  0.06 s
1342.73/44.51	c vivif2 --  cl tried    74954 cl shrink      428 lits rem        876 time: 0.02
1342.73/44.52	c vivif2 --  cl tried    16624 cl shrink      573 lits rem       1493 time: 0.01
1371.49/45.41	c asymm  cl-useful: 539/74937/74937 lits-rem:2399 time: 0.88
1371.49/45.42	c calculated reachability. Time: 0.00
1371.49/45.42	c  N dy   289     69892     15427     74857     16257     16623    346822    112889      6.89   no data
1406.64/46.59	c Finding binary XORs  T:     0.02 s  found:       0
1409.84/46.68	c  N dy   313     74393     15427     74857     17054     20483    346822    167598      6.90      7.36
1451.41/47.92	c  N dy   339     79207     15427     74857     17055     24654    346822    222715      6.90      7.34
1499.35/49.49	c  N dy   363     84894     15427     74857     18513     29544    346822    291123      6.89      7.26
1528.12/50.30	c  F st   380     87500     15427     74857     18636     31795    346822    321902      6.89   no data
1563.25/51.45	c  N st   385     90795     15427     74857     18637     18318    346822    115076      6.89   no data
1582.42/52.02	c Finding binary XORs  T:     0.02 s  found:       3
1614.37/53.07	c  N dy   407     96712     15427     74857     18665     23448    346822    196283      6.90      7.51
1678.87/55.11	c  N dy   448    102881     15427     74857     19452     28826    346822    278072      6.93      7.40
1700.65/55.79	c  S st   460    104838     15427     74857     19453     30552    346822    301094      6.94   no data
1710.24/56.01	c  S st   460    105341     15427     74857     19505     31024    346822    306706      6.94   no data
1710.24/56.03	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.02
1723.01/56.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   1399 BRemL:   3744 BRemN:     41 P:  5.2M T:  0.41
1723.01/56.47	c Replacing       10 vars Replaced     1362 lits Time:     0.02 s 
1726.21/56.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1726.21/56.52	c bin-w-bin subsume rem          882 bins  time:  0.01 s
1726.21/56.55	c subs with bin:       88  lits-rem:       157  v-fix:    0  time:  0.03 s
1726.21/56.58	c Subs w/ non-existent bins:     29 l-rem:     13 v-fix:     0 done:  15414 time:  0.03 s
1729.41/56.60	c Removed useless bin:      14  fixed:     0  props:   0.32M  time:  0.02 s
1732.60/56.70	c lits-rem:        95  cl-subs:      197  v-elim:    218  v-fix:    0  time:  0.10 s
1732.60/56.78	c subs with bin:      104  lits-rem:       945  v-fix:    0  time:  0.04 s
1738.99/56.93	c lits-rem:      1620  cl-subs:     1454  v-elim:      0  v-fix:    0  time:  0.11 s
1738.99/56.96	c vivif2 --  cl tried    74058 cl shrink      182 lits rem        320 time: 0.02
1738.99/56.99	c vivif2 --  cl tried    29211 cl shrink     1927 lits rem       4585 time: 0.03
1758.10/57.59	c asymm  cl-useful: 366/36642/74050 lits-rem:1747 time: 0.60
1761.29/57.61	c calculated reachability. Time: 0.00
1761.29/57.61	c  N dy   460    105341     15196     74005     15782     29209    340862    271740      6.94   no data
1761.29/57.63	c Finding binary XORs  T:     0.02 s  found:       0
1834.81/59.92	c  N dy   500    112199     15196     74005     16421     35231    340862    362155      6.97      7.97
1898.73/61.90	c  N dy   536    119426     15196     74005     18650     23084    340861    155697      6.98      7.52
1905.12/62.18	c Finding binary XORs  T:     0.02 s  found:       9
1972.25/64.23	c  N dy   584    127224     15196     74005     18735     30085    340861    259910      7.00      7.38
2052.14/66.77	c  N dy   637    135440     15195     74005     22114     37356    340861    381903      7.02      7.41
2080.90/67.60	c Finding binary XORs  T:     0.02 s  found:       9
2144.83/69.62	c  N dy   697    144247     15192     73969     22099     26422    340722    186398      7.05      7.49
2231.10/72.31	c  N dy   744    153496     15085     73969     22146     34730    340721    308844      7.04      7.60
2282.21/73.99	c  S st   776    158011     15083     73969     22790     38697    340719    368641      7.05      6.38
2291.81/74.20	c  S st   776    158512     15083     73969     22791     39179    340719    375732      7.05   no data
2291.81/74.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.02
2314.81/74.95	c Flit:     3 Blit:      3 bXBeca:    0 bXProp:  396 Bins:  12286 BRemL:   9689 BRemN:     19 P:  9.8M T:  0.72
2317.37/75.03	c Replacing      434 vars Replaced    55217 lits Time:     0.07 s 
2317.37/75.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2317.37/75.08	c bin-w-bin subsume rem         1023 bins  time:  0.01 s
2320.57/75.11	c subs with bin:      661  lits-rem:       664  v-fix:    0  time:  0.03 s
2320.57/75.14	c Subs w/ non-existent bins:    179 l-rem:    161 v-fix:     0 done:  14630 time:  0.03 s
2320.57/75.16	c Removed useless bin:      38  fixed:     0  props:   0.30M  time:  0.02 s
2326.96/75.32	c lits-rem:        85  cl-subs:      763  v-elim:    755  v-fix:    0  time:  0.15 s
2330.16/75.41	c subs with bin:      922  lits-rem:      5668  v-fix:    0  time:  0.05 s
2333.35/75.57	c lits-rem:      2085  cl-subs:     1923  v-elim:      0  v-fix:    0  time:  0.13 s
2333.35/75.60	c vivif2 --  cl tried    67643 cl shrink      318 lits rem        465 time: 0.03
2336.55/75.63	c vivif2 --  cl tried    30801 cl shrink     2504 lits rem       4828 time: 0.03
2352.53/76.10	c asymm  cl-useful: 48/30992/67634 lits-rem:144 time: 0.47
2352.53/76.12	c calculated reachability. Time: 0.01
2352.53/76.12	c  N dy   776    158512     13875     67586     16174     30785    315284    255121      7.05   no data
2352.53/76.14	c Finding binary XORs  T:     0.03 s  found:      13
2457.96/79.48	c Finding binary XORs  T:     0.02 s  found:     289
2461.15/79.51	c Replacing      302 vars Replaced    13000 lits Time:     0.03 s 
2461.15/79.55	c  N dy   838    168662     13568     67413     29917     21958    314151    139053      7.07      7.45
2566.64/82.89	c  N dy   900    179506     13566     67413     32297     31609    314151    283761      7.08      7.52
2605.00/84.04	c Finding binary XORs  T:     0.02 s  found:     112
2701.53/87.03	c  N dy   962    191246     13565     67408     33846     41964    314083    441101      7.09      7.48
2783.99/89.67	c Finding binary XORs  T:     0.02 s  found:      78
2787.18/89.71	c Replacing      190 vars Replaced     9714 lits Time:     0.03 s 
2828.74/91.06	c  N dy  1038    203513     13375     67356     33574     32984    313653    283760      7.11      7.58
2895.85/93.19	c Finding binary XORs  T:     0.02 s  found:      95
2988.51/96.00	c  N dy  1108    216709     13370     67347     37194     44664    313618    488268      7.11      7.56
3106.78/99.77	c Finding binary XORs  T:     0.02 s  found:      26
3145.14/100.96	c Finding binary XORs  T:     0.03 s  found:      48
3148.33/101.00	c Replacing      169 vars Replaced    30139 lits Time:     0.05 s 
3151.53/101.16	c  N dy  1203    230608     13197     67231     46932     36203    312736    334111      7.15      8.13
3234.63/103.76	c  S st  1241    237769     13003     63658     41821     36882    295415    344695      7.15      6.32
3244.23/104.01	c  S st  1241    238273     13003     63658     41826     37358    295415    350430      7.15   no data
3244.23/104.03	c x-sub:   115 x-cut:      0 vfix:      0 v-elim:      7 locsubst:     0 time:   0.02
3264.03/104.62	c Flit:    11 Blit:      7 bXBeca:    0 bXProp: 1309 Bins:   5217 BRemL:  18039 BRemN:     58 P:  6.7M T:  0.58
3266.58/104.71	c Replacing     1309 vars Replaced   120280 lits Time:     0.09 s 
3266.58/104.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3266.58/104.76	c bin-w-bin subsume rem         8427 bins  time:  0.01 s
3266.58/104.79	c subs with bin:     1367  lits-rem:       605  v-fix:    0  time:  0.03 s
3269.79/104.82	c Subs w/ non-existent bins:     30 l-rem:     77 v-fix:     0 done:  11667 time:  0.03 s
3269.79/104.84	c Removed useless bin:      79  fixed:     0  props:   0.26M  time:  0.02 s
3276.18/105.02	c lits-rem:       482  cl-subs:     4603  v-elim:   2013  v-fix:    0  time:  0.18 s
3276.18/105.10	c subs with bin:      581  lits-rem:      6471  v-fix:    0  time:  0.04 s
3282.57/105.26	c lits-rem:      3859  cl-subs:     4862  v-elim:      0  v-fix:    0  time:  0.14 s
3282.57/105.29	c vivif2 --  cl tried    49138 cl shrink      802 lits rem       1161 time: 0.02
3285.78/105.31	c vivif2 --  cl tried    26801 cl shrink     1573 lits rem       2827 time: 0.03
3295.57/105.90	c asymm  cl-useful: 1254/49136/49136 lits-rem:6060 time: 0.58
3295.87/105.90	c calculated reachability. Time: 0.00
3295.87/105.91	c  N dy  1241    238273      9654     48310     13258     26795    225988    198044      7.15   no data
3297.02/106.45	c Following stats are for *FIRST FINISHED THREAD ONLY*
3297.02/106.45	c num threads              : 32         
3297.02/106.45	c restarts                 : 951        
3297.02/106.45	c dynamic restarts         : 933        
3297.02/106.45	c static restarts          : 18         
3297.02/106.45	c full restarts            : 2          
3297.02/106.45	c total simplify time      : 1.30       
3297.02/106.45	c learnts DL2              : 0          
3297.02/106.45	c learnts size 2           : 579180     
3297.02/106.45	c learnts size 1           : 7956        (8.28      % of vars)
3297.02/106.45	c filedLit time            : 6.79        (6.59      % time)
3297.02/106.45	c v-elim SatELite          : 62890       (65.45     % vars)
3297.02/106.45	c SatELite time            : 1.60        (1.56      % time)
3297.02/106.45	c v-elim xor               : 57          (0.06      % vars)
3297.02/106.45	c xor elim time            : 0.08        (0.08      % time)
3297.02/106.45	c num binary xor trees     : 4910       
3297.02/106.45	c binxor trees' crown      : 12732       (2.59      leafs/tree)
3297.02/106.45	c bin xor find time        : 0.53       
3297.02/106.45	c OTF clause improved      : 21753       (0.10      clauses/conflict)
3297.02/106.45	c OTF impr. size diff      : 22976       (1.06       lits/clause)
3297.02/106.45	c OTF cl watch-shrink      : 74955       (0.35      clauses/conflict)
3297.02/106.45	c OTF cl watch-sh-lit      : 195346      (2.61       lits/clause)
3297.02/106.45	c tried to recurMin cls    : 55068       (25.77      % of conflicts)
3297.02/106.45	c updated cache            : 0           (0.00       lits/tried recurMin)
3297.02/106.45	c unit cls recevied        : 213         (2.68      % of units)
3297.02/106.45	c unit cls sent            : 346         (4.35      % of units)
3297.02/106.45	c bin cls recevied         : 339600     
3297.02/106.45	c bin cls sent             : 4051       
3297.02/106.45	c clauses over max glue    : 0           (0.00      % of all clauses)
3297.02/106.45	c conflicts                : 213719      (2075.76   / sec)
3297.02/106.45	c decisions                : 2665457     (2.03      % random)
3297.02/106.45	c bogo-props               : 1961705298  (19053202.60 / sec)
3297.02/106.45	c conflict literals        : 2989705     (21.39     % deleted)
3297.02/106.45	c Memory used              : 4929.73     MB
3297.02/106.45	c single-thread CPU time   : 102.96      s
3297.02/106.45	c all-threads sum CPU time : 3249.59     s
3297.02/106.45	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400646-1306269982/watcher-3400646-1306269982 -o /tmp/evaluation-result-3400646-1306269982/solver-3400646-1306269982 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400646-1306269982.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.28 31.16 31.35 1/413 10995
/proc/meminfo: memFree=255161280/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=338000 CPUtime=0.86 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) R 10993 10995 10911 0 -1 4202496 435 0 0 0 86 0 0 0 25 0 32 0 738484708 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878508 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/10995/statm: 84500 376 297 95 0 79482 0
[pid=10995/tid=10996] ppid=10993 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10995/task/10996/stat : 10996 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10995/tid=10997] ppid=10993 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10995/task/10997/stat : 10997 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10995/tid=10998] ppid=10993 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10995/task/10998/stat : 10998 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10995/tid=10999] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/10999/stat : 10999 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10995/tid=11000] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11000/stat : 11000 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878512 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10995/tid=11001] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11001/stat : 11001 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878504 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10995/tid=11002] ppid=10993 vsize=338000 CPUtime=0 cores=0-31
/proc/10995/task/11002/stat : 11002 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10995/tid=11003] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11003/stat : 11003 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=10995/tid=11004] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11004/stat : 11004 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878512 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10995/tid=11005] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11005/stat : 11005 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10995/tid=11006] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11006/stat : 11006 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10995/tid=11007] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11007/stat : 11007 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878518 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10995/tid=11008] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11008/stat : 11008 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878512 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10995/tid=11009] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11009/stat : 11009 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10995/tid=11010] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11010/stat : 11010 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10995/tid=11011] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11011/stat : 11011 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10995/tid=11012] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11012/stat : 11012 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10995/tid=11013] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11013/stat : 11013 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10995/tid=11014] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11014/stat : 11014 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10995/tid=11016] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11016/stat : 11016 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10995/tid=11017] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11017/stat : 11017 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878512 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10995/tid=11018] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11018/stat : 11018 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10995/tid=11019] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11019/stat : 11019 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878518 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10995/tid=11020] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11020/stat : 11020 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10995/tid=11021] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11021/stat : 11021 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10995/tid=11022] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11022/stat : 11022 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10995/tid=11023] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11023/stat : 11023 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878508 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10995/tid=11024] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11024/stat : 11024 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878512 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10995/tid=11025] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11025/stat : 11025 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878514 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10995/tid=11026] ppid=10993 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10995/task/11026/stat : 11026 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738484709 346112000 376 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878504 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.136029 s]
/proc/loadavg: 29.28 31.16 31.35 1/413 10995
/proc/meminfo: memFree=255161280/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=1323748 CPUtime=3 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) R 10993 10995 10911 0 -1 4202496 11147 0 0 0 203 97 0 0 17 0 32 0 738484708 1355517952 11008 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/10995/statm: 330937 11025 334 95 0 325919 0
[pid=10995/tid=10996] ppid=10993 vsize=1323748 CPUtime=0.1 cores=0-31
/proc/10995/task/10996/stat : 10996 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 351 0 0 0 7 3 0 0 17 0 32 0 738484709 1355517952 11054 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 1 0 0 0
[pid=10995/tid=10997] ppid=10993 vsize=1323748 CPUtime=0.09 cores=0-31
/proc/10995/task/10997/stat : 10997 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 320 0 0 0 6 3 0 0 17 0 32 0 738484709 1355517952 11055 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604478391090656 0 0 -1 2 0 0 0
[pid=10995/tid=10998] ppid=10993 vsize=1323748 CPUtime=0.08 cores=0-31
/proc/10995/task/10998/stat : 10998 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 354 0 0 0 6 2 0 0 17 0 32 0 738484709 1355517952 11074 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604500561681888 0 0 -1 4 0 0 0
[pid=10995/tid=10999] ppid=10993 vsize=1323748 CPUtime=0.08 cores=0-31
/proc/10995/task/10999/stat : 10999 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 379 0 0 0 6 2 0 0 17 0 32 0 738484709 1355517952 11078 268435456000 4194304 4580107 140733398226352 18446744073709551615 4311177 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10995/tid=11000] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11000/stat : 11000 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 323 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11094 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604500561681888 0 0 -1 16 0 0 0
[pid=10995/tid=11001] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11001/stat : 11001 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 317 0 0 0 5 3 0 0 17 0 32 0 738484709 1355657216 11142 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604495778659808 0 0 -1 31 0 0 0
[pid=10995/tid=11002] ppid=10993 vsize=1323884 CPUtime=0.03 cores=0-31
/proc/10995/task/11002/stat : 11002 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 333 0 0 0 1 2 0 0 17 0 32 0 738484709 1355657216 11166 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650604748 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10995/tid=11003] ppid=10993 vsize=1323884 CPUtime=0.07 cores=0-31
/proc/10995/task/11003/stat : 11003 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 336 0 0 0 5 2 0 0 17 0 32 0 738484709 1355657216 11168 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604481514241504 0 0 -1 27 0 0 0
[pid=10995/tid=11004] ppid=10993 vsize=1323884 CPUtime=0.09 cores=0-31
/proc/10995/task/11004/stat : 11004 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 327 0 0 0 6 3 0 0 17 0 32 0 738484709 1355657216 11185 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604505816890848 0 0 -1 30 0 0 0
[pid=10995/tid=11005] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11005/stat : 11005 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 358 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11190 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10995/tid=11006] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11006/stat : 11006 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 339 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11205 268435456000 4194304 4580107 140733398226352 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10995/tid=11007] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11007/stat : 11007 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 371 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11214 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10995/tid=11008] ppid=10993 vsize=1323884 CPUtime=0.09 cores=0-31
/proc/10995/task/11008/stat : 11008 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 341 0 0 0 6 3 0 0 17 0 32 0 738484709 1355657216 11237 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10995/tid=11009] ppid=10993 vsize=1323884 CPUtime=0.09 cores=0-31
/proc/10995/task/11009/stat : 11009 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 359 0 0 0 6 3 0 0 17 0 32 0 738484709 1355657216 11258 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604485904514528 0 0 -1 6 0 0 0
[pid=10995/tid=11010] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11010/stat : 11010 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 324 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11269 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604487922695648 0 0 -1 3 0 0 0
[pid=10995/tid=11011] ppid=10993 vsize=1323884 CPUtime=0.08 cores=0-31
/proc/10995/task/11011/stat : 11011 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 295 0 0 0 6 2 0 0 17 0 32 0 738484709 1355657216 11275 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 18446744071566925904 0 0 -1 9 0 0 0
[pid=10995/tid=11012] ppid=10993 vsize=1323884 CPUtime=0.09 cores=0-31
/proc/10995/task/11012/stat : 11012 (strangenight2-m) D 10993 10995 10911 0 -1 4202560 306 0 0 0 6 3 0 0 17 0 32 0 738484709 1355657216 11278 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10995/tid=11013] ppid=10993 vsize=1324016 CPUtime=0.08 cores=0-31
/proc/10995/task/11013/stat : 11013 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 286 0 0 0 6 2 0 0 17 0 32 0 738484709 1355792384 11300 268435456000 4194304 4580107 140733398226352 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10995/tid=11014] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11014/stat : 11014 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 410 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11310 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 13 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 374 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11313 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604487506861536 0 0 -1 14 0 0 0
[pid=10995/tid=11016] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11016/stat : 11016 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 333 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11344 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604504514395616 0 0 -1 11 0 0 0
[pid=10995/tid=11017] ppid=10993 vsize=1324016 CPUtime=0.08 cores=0-31
/proc/10995/task/11017/stat : 11017 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 357 0 0 0 6 2 0 0 17 0 32 0 738484709 1355792384 11345 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10995/tid=11018] ppid=10993 vsize=1324016 CPUtime=0.08 cores=0-31
/proc/10995/task/11018/stat : 11018 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 326 0 0 0 6 2 0 0 17 0 32 0 738484709 1355792384 11364 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10995/tid=11019] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11019/stat : 11019 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 327 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11374 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604504667872736 0 0 -1 15 0 0 0
[pid=10995/tid=11020] ppid=10993 vsize=1324016 CPUtime=0.08 cores=0-31
/proc/10995/task/11020/stat : 11020 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 320 0 0 0 6 2 0 0 17 0 32 0 738484709 1355792384 11382 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604505816890848 0 0 -1 21 0 0 0
[pid=10995/tid=11021] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11021/stat : 11021 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 394 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11433 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604567603027424 0 0 -1 22 0 0 0
[pid=10995/tid=11022] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11022/stat : 11022 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 378 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11442 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604499502644704 0 0 -1 19 0 0 0
[pid=10995/tid=11023] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11023/stat : 11023 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 345 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11443 268435456000 4194304 4580107 140733398226352 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10995/tid=11024] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11024/stat : 11024 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 329 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11445 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604504667872736 0 0 -1 26 0 0 0
[pid=10995/tid=11025] ppid=10993 vsize=1324016 CPUtime=0.09 cores=0-31
/proc/10995/task/11025/stat : 11025 (strangenight2-m) D 10993 10995 10911 0 -1 4202560 328 0 0 0 6 3 0 0 17 0 32 0 738484709 1355792384 11453 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10995/tid=11026] ppid=10993 vsize=1324148 CPUtime=0.09 cores=0-31
/proc/10995/task/11026/stat : 11026 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 349 0 0 0 6 3 0 0 17 0 32 0 738484709 1355927552 11469 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1323748

[startup+0.206152 s]
/proc/loadavg: 29.28 31.16 31.35 1/413 10995
/proc/meminfo: memFree=255161280/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=1335744 CPUtime=4.19 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) R 10993 10995 10911 0 -1 4202496 20946 0 0 0 244 175 0 0 17 0 32 0 738484708 1367801856 19806 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/10995/statm: 333936 19834 334 95 0 328918 0
[pid=10995/tid=10996] ppid=10993 vsize=1335744 CPUtime=0.13 cores=0-31
/proc/10995/task/10996/stat : 10996 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 682 0 0 0 8 5 0 0 17 0 32 0 738484709 1367801856 19841 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604483584400864 0 0 -1 1 0 0 0
[pid=10995/tid=10997] ppid=10993 vsize=1335744 CPUtime=0.13 cores=0-31
/proc/10995/task/10997/stat : 10997 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 585 0 0 0 8 5 0 0 17 0 32 0 738484709 1367801856 19842 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604500561681888 0 0 -1 2 0 0 0
[pid=10995/tid=10998] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/10998/stat : 10998 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 667 0 0 0 8 4 0 0 17 0 32 0 738484709 1367801856 19860 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10995/tid=10999] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/10999/stat : 10999 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 688 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19875 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10995/tid=11000] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11000/stat : 11000 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 548 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19903 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650623178 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10995/tid=11001] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11001/stat : 11001 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 638 0 0 0 6 6 0 0 17 0 32 0 738484709 1367801856 19914 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604503757118944 0 0 -1 31 0 0 0
[pid=10995/tid=11002] ppid=10993 vsize=1335744 CPUtime=0.07 cores=0-31
/proc/10995/task/11002/stat : 11002 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 619 0 0 0 3 4 0 0 17 0 32 0 738484709 1367801856 19925 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604478391090656 0 0 -1 28 0 0 0
[pid=10995/tid=11003] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11003/stat : 11003 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 686 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19927 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604505255460320 0 0 -1 27 0 0 0
[pid=10995/tid=11004] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11004/stat : 11004 (strangenight2-m) D 10993 10995 10911 0 -1 4202560 582 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19929 268435456000 4194304 4580107 140733398226352 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10995/tid=11005] ppid=10993 vsize=1335744 CPUtime=0.11 cores=0-31
/proc/10995/task/11005/stat : 11005 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 681 0 0 0 7 4 0 0 17 0 32 0 738484709 1367801856 19940 268435456000 4194304 4580107 140733398226352 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10995/tid=11006] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11006/stat : 11006 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 580 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19968 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446744071566927504 0 0 -1 24 0 0 0
[pid=10995/tid=11007] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11007/stat : 11007 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 673 0 0 0 8 4 0 0 17 0 32 0 738484709 1367801856 19970 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604477285924320 0 0 -1 12 0 0 0
[pid=10995/tid=11008] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11008/stat : 11008 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 635 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 19999 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604504514395616 0 0 -1 5 0 0 0
[pid=10995/tid=11009] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11009/stat : 11009 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 690 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 20013 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 18446604505611369952 0 0 -1 6 0 0 0
[pid=10995/tid=11010] ppid=10993 vsize=1335744 CPUtime=0.12 cores=0-31
/proc/10995/task/11010/stat : 11010 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 542 0 0 0 7 5 0 0 17 0 32 0 738484709 1367801856 20016 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10995/tid=11011] ppid=10993 vsize=1335744 CPUtime=0.13 cores=0-31
/proc/10995/task/11011/stat : 11011 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 592 0 0 0 8 5 0 0 17 0 32 0 738484709 1367801856 20034 268435456000 4194304 4580107 140733398226352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10995/tid=11012] ppid=10993 vsize=1401280 CPUtime=0.12 cores=0-31

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

[pid=10995/tid=11025] ppid=10993 vsize=5048036 CPUtime=101.22 cores=0-31
/proc/10995/task/11025/stat : 11025 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 91165 0 0 0 9974 148 0 0 25 0 32 0 738484709 5169188864 893588 268435456000 4194304 4580107 140733398226352 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10995/tid=11026] ppid=10993 vsize=5048036 CPUtime=102.04 cores=0-31
/proc/10995/task/11026/stat : 11026 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 26192 0 0 0 10115 89 0 0 25 0 32 0 738484709 5169188864 893588 268435456000 4194304 4580107 140733398226352 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3244.23
Current children cumulated vsize (KiB) 5048036

[startup+105.602 s]
/proc/loadavg: 31.66 31.48 31.44 6/445 11031
/proc/meminfo: memFree=251563436/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=5048036 CPUtime=3295.01 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) R 10993 10995 10911 0 -1 4202496 3485035 0 0 0 324749 4752 0 0 25 0 32 0 738484708 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/10995/statm: 1262009 898992 378 95 0 1256991 0
[pid=10995/tid=10996] ppid=10993 vsize=5048036 CPUtime=102.86 cores=0-31
/proc/10995/task/10996/stat : 10996 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 98733 0 0 0 10124 162 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604500561681888 0 0 -1 8 0 0 0
[pid=10995/tid=10997] ppid=10993 vsize=5048036 CPUtime=102.85 cores=0-31
/proc/10995/task/10997/stat : 10997 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 95211 0 0 0 10119 166 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604481368899040 0 0 -1 3 0 0 0
[pid=10995/tid=10998] ppid=10993 vsize=5048036 CPUtime=102.98 cores=0-31
/proc/10995/task/10998/stat : 10998 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 104939 0 0 0 10137 161 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446744071566924704 0 0 -1 16 0 0 0
[pid=10995/tid=10999] ppid=10993 vsize=5048036 CPUtime=102.8 cores=0-31
/proc/10995/task/10999/stat : 10999 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 103587 0 0 0 10109 171 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604503757118944 0 0 -1 24 0 0 0
[pid=10995/tid=11000] ppid=10993 vsize=5048036 CPUtime=102.78 cores=0-31
/proc/10995/task/11000/stat : 11000 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 87295 0 0 0 10118 160 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478045625824 0 0 -1 2 0 0 0
[pid=10995/tid=11001] ppid=10993 vsize=5048036 CPUtime=102.71 cores=0-31
/proc/10995/task/11001/stat : 11001 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 79763 0 0 0 10120 151 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487506861536 0 0 -1 17 0 0 0
[pid=10995/tid=11002] ppid=10993 vsize=5048036 CPUtime=103.5 cores=0-31
/proc/10995/task/11002/stat : 11002 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 94860 0 0 0 10212 138 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896853547 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10995/tid=11003] ppid=10993 vsize=5048036 CPUtime=102.63 cores=0-31
/proc/10995/task/11003/stat : 11003 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 88638 0 0 0 10115 148 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604481514241504 0 0 -1 25 0 0 0
[pid=10995/tid=11004] ppid=10993 vsize=5048036 CPUtime=102.32 cores=0-31
/proc/10995/task/11004/stat : 11004 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 75683 0 0 0 10118 114 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604480019004896 0 0 -1 31 0 0 0
[pid=10995/tid=11005] ppid=10993 vsize=5048036 CPUtime=102.76 cores=0-31
/proc/10995/task/11005/stat : 11005 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 179923 0 0 0 10130 146 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604495778659808 0 0 -1 1 0 0 0
[pid=10995/tid=11006] ppid=10993 vsize=5048036 CPUtime=103.1 cores=0-31
/proc/10995/task/11006/stat : 11006 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 126971 0 0 0 10159 151 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478391090656 0 0 -1 12 0 0 0
[pid=10995/tid=11007] ppid=10993 vsize=5048036 CPUtime=103.3 cores=0-31
/proc/10995/task/11007/stat : 11007 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 119032 0 0 0 10195 135 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487922695648 0 0 -1 4 0 0 0
[pid=10995/tid=11008] ppid=10993 vsize=5048036 CPUtime=102.92 cores=0-31
/proc/10995/task/11008/stat : 11008 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 114535 0 0 0 10133 159 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604477265272288 0 0 -1 27 0 0 0
[pid=10995/tid=11009] ppid=10993 vsize=5048036 CPUtime=102.87 cores=0-31
/proc/10995/task/11009/stat : 11009 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 109862 0 0 0 10116 171 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604502934281696 0 0 -1 10 0 0 0
[pid=10995/tid=11010] ppid=10993 vsize=5048036 CPUtime=101.96 cores=0-31
/proc/10995/task/11010/stat : 11010 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 85992 0 0 0 10050 146 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604483462258144 0 0 -1 7 0 0 0
[pid=10995/tid=11011] ppid=10993 vsize=5048036 CPUtime=102.81 cores=0-31
/proc/10995/task/11011/stat : 11011 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 106149 0 0 0 10127 154 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 4491362 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10995/tid=11012] ppid=10993 vsize=5048036 CPUtime=103.05 cores=0-31
/proc/10995/task/11012/stat : 11012 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 103289 0 0 0 10174 131 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487563795936 0 0 -1 0 0 0 0
[pid=10995/tid=11013] ppid=10993 vsize=5048036 CPUtime=102.94 cores=0-31
/proc/10995/task/11013/stat : 11013 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 111546 0 0 0 10148 146 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604504231869920 0 0 -1 5 0 0 0
[pid=10995/tid=11014] ppid=10993 vsize=5048036 CPUtime=103.53 cores=0-31
/proc/10995/task/11014/stat : 11014 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 129597 0 0 0 10213 140 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878105 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=5048036 CPUtime=103.63 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 189485 0 0 0 10227 136 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604504667872736 0 0 -1 14 0 0 0
[pid=10995/tid=11016] ppid=10993 vsize=5048036 CPUtime=103.05 cores=0-31
/proc/10995/task/11016/stat : 11016 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 84749 0 0 0 10156 149 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505255460320 0 0 -1 11 0 0 0
[pid=10995/tid=11017] ppid=10993 vsize=5048036 CPUtime=103.07 cores=0-31
/proc/10995/task/11017/stat : 11017 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 174945 0 0 0 10151 156 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478361304544 0 0 -1 9 0 0 0
[pid=10995/tid=11018] ppid=10993 vsize=5048036 CPUtime=103.5 cores=0-31
/proc/10995/task/11018/stat : 11018 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 105247 0 0 0 10230 120 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604479243779552 0 0 -1 18 0 0 0
[pid=10995/tid=11019] ppid=10993 vsize=5048036 CPUtime=102.85 cores=0-31
/proc/10995/task/11019/stat : 11019 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 134230 0 0 0 10121 164 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604497242922464 0 0 -1 19 0 0 0
[pid=10995/tid=11020] ppid=10993 vsize=5048036 CPUtime=103 cores=0-31
/proc/10995/task/11020/stat : 11020 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 113535 0 0 0 10150 150 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604479138389472 0 0 -1 21 0 0 0
[pid=10995/tid=11021] ppid=10993 vsize=5048036 CPUtime=103.44 cores=0-31
/proc/10995/task/11021/stat : 11021 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 114839 0 0 0 10202 142 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604477285924320 0 0 -1 22 0 0 0
[pid=10995/tid=11022] ppid=10993 vsize=5048036 CPUtime=102.32 cores=0-31
/proc/10995/task/11022/stat : 11022 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 106210 0 0 0 10069 163 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604474906377696 0 0 -1 23 0 0 0
[pid=10995/tid=11023] ppid=10993 vsize=5048036 CPUtime=103.07 cores=0-31
/proc/10995/task/11023/stat : 11023 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 102672 0 0 0 10155 152 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505816890848 0 0 -1 13 0 0 0
[pid=10995/tid=11024] ppid=10993 vsize=5048036 CPUtime=102.86 cores=0-31
/proc/10995/task/11024/stat : 11024 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 117494 0 0 0 10127 159 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505611369952 0 0 -1 26 0 0 0
[pid=10995/tid=11025] ppid=10993 vsize=5048036 CPUtime=102.8 cores=0-31
/proc/10995/task/11025/stat : 11025 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 91197 0 0 0 10132 148 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478768512480 0 0 -1 6 0 0 0
[pid=10995/tid=11026] ppid=10993 vsize=5048036 CPUtime=103.62 cores=0-31
/proc/10995/task/11026/stat : 11026 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 26193 0 0 0 10273 89 0 0 25 0 32 0 738484709 5169188864 898992 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604499502644704 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3295.01
Current children cumulated vsize (KiB) 5048036

[startup+106.402 s]
/proc/loadavg: 31.66 31.48 31.44 6/445 11031
/proc/meminfo: memFree=251563436/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=5048036 CPUtime=3297.02 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) S 10993 10995 10911 0 -1 4202496 3490656 0 0 0 324948 4754 0 0 25 0 32 0 738484708 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/10995/statm: 1262009 902214 384 95 0 1256991 0
[pid=10995/tid=10996] ppid=10993 vsize=5048036 CPUtime=102.86 cores=0-31
/proc/10995/task/10996/stat : 10996 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 98733 0 0 0 10124 162 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604500561681888 0 0 -1 8 0 0 0
[pid=10995/tid=10997] ppid=10993 vsize=5048036 CPUtime=102.85 cores=0-31
/proc/10995/task/10997/stat : 10997 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 95211 0 0 0 10119 166 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604481368899040 0 0 -1 3 0 0 0
[pid=10995/tid=10998] ppid=10993 vsize=5048036 CPUtime=102.98 cores=0-31
/proc/10995/task/10998/stat : 10998 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 104939 0 0 0 10137 161 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446744071566924704 0 0 -1 16 0 0 0
[pid=10995/tid=10999] ppid=10993 vsize=5048036 CPUtime=102.8 cores=0-31
/proc/10995/task/10999/stat : 10999 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 103587 0 0 0 10109 171 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604503757118944 0 0 -1 24 0 0 0
[pid=10995/tid=11000] ppid=10993 vsize=5048036 CPUtime=102.78 cores=0-31
/proc/10995/task/11000/stat : 11000 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 87295 0 0 0 10118 160 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478045625824 0 0 -1 2 0 0 0
[pid=10995/tid=11001] ppid=10993 vsize=5048036 CPUtime=102.71 cores=0-31
/proc/10995/task/11001/stat : 11001 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 79763 0 0 0 10120 151 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487506861536 0 0 -1 17 0 0 0
[pid=10995/tid=11002] ppid=10993 vsize=5048036 CPUtime=104.28 cores=0-31
/proc/10995/task/11002/stat : 11002 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 94860 0 0 0 10290 138 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896853547 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10995/tid=11003] ppid=10993 vsize=5048036 CPUtime=102.63 cores=0-31
/proc/10995/task/11003/stat : 11003 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 88638 0 0 0 10115 148 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604481514241504 0 0 -1 25 0 0 0
[pid=10995/tid=11004] ppid=10993 vsize=5048036 CPUtime=102.32 cores=0-31
/proc/10995/task/11004/stat : 11004 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 75683 0 0 0 10118 114 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604480019004896 0 0 -1 31 0 0 0
[pid=10995/tid=11005] ppid=10993 vsize=5048036 CPUtime=102.76 cores=0-31
/proc/10995/task/11005/stat : 11005 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 179923 0 0 0 10130 146 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604495778659808 0 0 -1 1 0 0 0
[pid=10995/tid=11006] ppid=10993 vsize=5048036 CPUtime=103.1 cores=0-31
/proc/10995/task/11006/stat : 11006 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 126971 0 0 0 10159 151 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478391090656 0 0 -1 12 0 0 0
[pid=10995/tid=11007] ppid=10993 vsize=5048036 CPUtime=103.3 cores=0-31
/proc/10995/task/11007/stat : 11007 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 119032 0 0 0 10195 135 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487922695648 0 0 -1 4 0 0 0
[pid=10995/tid=11008] ppid=10993 vsize=5048036 CPUtime=102.92 cores=0-31
/proc/10995/task/11008/stat : 11008 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 114535 0 0 0 10133 159 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604477265272288 0 0 -1 27 0 0 0
[pid=10995/tid=11009] ppid=10993 vsize=5048036 CPUtime=102.87 cores=0-31
/proc/10995/task/11009/stat : 11009 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 109862 0 0 0 10116 171 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604502934281696 0 0 -1 10 0 0 0
[pid=10995/tid=11010] ppid=10993 vsize=5048036 CPUtime=101.96 cores=0-31
/proc/10995/task/11010/stat : 11010 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 85992 0 0 0 10050 146 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604483462258144 0 0 -1 7 0 0 0
[pid=10995/tid=11011] ppid=10993 vsize=5048036 CPUtime=103.59 cores=0-31
/proc/10995/task/11011/stat : 11011 (strangenight2-m) R 10993 10995 10911 0 -1 4202560 111770 0 0 0 10203 156 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10995/tid=11012] ppid=10993 vsize=5048036 CPUtime=103.05 cores=0-31
/proc/10995/task/11012/stat : 11012 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 103289 0 0 0 10174 131 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604487563795936 0 0 -1 0 0 0 0
[pid=10995/tid=11013] ppid=10993 vsize=5048036 CPUtime=102.94 cores=0-31
/proc/10995/task/11013/stat : 11013 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 111546 0 0 0 10148 146 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604504231869920 0 0 -1 5 0 0 0
[pid=10995/tid=11014] ppid=10993 vsize=5048036 CPUtime=103.55 cores=0-31
/proc/10995/task/11014/stat : 11014 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 129597 0 0 0 10215 140 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604504514395616 0 0 -1 14 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=5048036 CPUtime=103.63 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 189485 0 0 0 10227 136 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604504667872736 0 0 -1 14 0 0 0
[pid=10995/tid=11016] ppid=10993 vsize=5048036 CPUtime=103.05 cores=0-31
/proc/10995/task/11016/stat : 11016 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 84749 0 0 0 10156 149 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505255460320 0 0 -1 11 0 0 0
[pid=10995/tid=11017] ppid=10993 vsize=5048036 CPUtime=103.07 cores=0-31
/proc/10995/task/11017/stat : 11017 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 174945 0 0 0 10151 156 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478361304544 0 0 -1 9 0 0 0
[pid=10995/tid=11018] ppid=10993 vsize=5048036 CPUtime=103.5 cores=0-31
/proc/10995/task/11018/stat : 11018 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 105247 0 0 0 10230 120 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604479243779552 0 0 -1 18 0 0 0
[pid=10995/tid=11019] ppid=10993 vsize=5048036 CPUtime=102.85 cores=0-31
/proc/10995/task/11019/stat : 11019 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 134230 0 0 0 10121 164 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604497242922464 0 0 -1 19 0 0 0
[pid=10995/tid=11020] ppid=10993 vsize=5048036 CPUtime=103 cores=0-31
/proc/10995/task/11020/stat : 11020 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 113535 0 0 0 10150 150 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604479138389472 0 0 -1 21 0 0 0
[pid=10995/tid=11021] ppid=10993 vsize=5048036 CPUtime=103.44 cores=0-31
/proc/10995/task/11021/stat : 11021 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 114839 0 0 0 10202 142 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604477285924320 0 0 -1 22 0 0 0
[pid=10995/tid=11022] ppid=10993 vsize=5048036 CPUtime=102.32 cores=0-31
/proc/10995/task/11022/stat : 11022 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 106210 0 0 0 10069 163 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604474906377696 0 0 -1 23 0 0 0
[pid=10995/tid=11023] ppid=10993 vsize=5048036 CPUtime=103.07 cores=0-31
/proc/10995/task/11023/stat : 11023 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 102672 0 0 0 10155 152 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505816890848 0 0 -1 13 0 0 0
[pid=10995/tid=11024] ppid=10993 vsize=5048036 CPUtime=102.86 cores=0-31
/proc/10995/task/11024/stat : 11024 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 117494 0 0 0 10127 159 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604505611369952 0 0 -1 26 0 0 0
[pid=10995/tid=11025] ppid=10993 vsize=5048036 CPUtime=102.8 cores=0-31
/proc/10995/task/11025/stat : 11025 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 91197 0 0 0 10132 148 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604478768512480 0 0 -1 6 0 0 0
[pid=10995/tid=11026] ppid=10993 vsize=5048036 CPUtime=103.62 cores=0-31
/proc/10995/task/11026/stat : 11026 (strangenight2-m) S 10993 10995 10911 0 -1 4202560 26193 0 0 0 10273 89 0 0 25 0 32 0 738484709 5169188864 902214 268435456000 4194304 4580107 140733398226352 18446744073709551615 47152896878132 0 0 4096 2 18446604499502644704 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3297.02
Current children cumulated vsize (KiB) 5048036

[startup+106.834 s]
/proc/loadavg: 31.66 31.48 31.44 2/415 11031
/proc/meminfo: memFree=253314416/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=0 CPUtime=3297.51 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) Z 10993 10995 10911 0 -1 4203548 3490660 0 0 0 324959 4792 0 0 21 0 2 0 738484708 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/10995/statm: 0 0 0 0 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=0 CPUtime=104.01 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) R 10993 10995 10911 0 -1 4203588 189485 0 0 0 10227 174 0 0 18 0 2 0 738484709 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 3297.51
Current children cumulated vsize (KiB) 0

[startup+106.901 s]
/proc/loadavg: 31.66 31.48 31.44 2/415 11031
/proc/meminfo: memFree=253314416/264257624 swapFree=67111528/67111528
[pid=10995] ppid=10993 vsize=0 CPUtime=3297.57 cores=0-31
/proc/10995/stat : 10995 (strangenight2-m) Z 10993 10995 10911 0 -1 4203548 3490660 0 0 0 324959 4798 0 0 21 0 2 0 738484708 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/10995/statm: 0 0 0 0 0 0 0
[pid=10995/tid=11015] ppid=10993 vsize=0 CPUtime=104.08 cores=0-31
/proc/10995/task/11015/stat : 11015 (strangenight2-m) R 10993 10995 10911 0 -1 4203588 189485 0 0 0 10227 181 0 0 18 0 2 0 738484709 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 3297.57
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 106.944
CPU time (s): 3297.63
CPU user time (s): 3249.6
CPU system time (s): 48.0307
CPU usage (%): 3083.52
Max. virtual memory (cumulated for all children) (KiB): 5048036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3249.6
system time used= 48.0307
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3490660
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= 1264613
involuntary context switches= 19339

runsolver used 0.670898 second user time and 2.56561 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 22:46:23
IDJOB=3400646
IDBENCH=69599
IDSOLVER=1886
FILE ID=node200/3400646-1306269982
RUNJOBID= node200-1306269946-10925
PBS_JOBID= 13411768
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400646-1306269982/watcher-3400646-1306269982 -o /tmp/evaluation-result-3400646-1306269982/solver-3400646-1306269982 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400646-1306269982.cnf

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

MD5SUM BENCH= 8aeb1eb6b7bf22d54183762fb5b6410c
RANDOM SEED=800540083

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.049
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.09
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.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.049
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.09
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.049
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.17
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.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.06
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.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.049
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.09
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.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255161692 kB
Buffers:        465152 kB
Cached:        8223684 kB
SwapCached:          0 kB
Active:        7773820 kB
Inactive:       983856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255161692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10540 kB
Writeback:           0 kB
AnonPages:       71456 kB
Mapped:          14864 kB
Slab:           255484 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185004 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= 62036 MiB
End job on node200 at 2011-05-24 22:48:10