Trace number 3400683

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 44695.2 1417.61

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39858.6
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400683-1306331010.cnf'
0.00/0.08	c -- header says num vars:         258781
0.00/0.08	c -- header says num clauses:     1372095
182.30/10.28	c -- clauses added:            0 learnts,      1372095 normals,            0 xors
182.30/10.28	c -- vars added     258781
182.30/10.28	c Parsing time:  1.84 s
182.30/10.28	c  N st     0         0    258781    378643    979353         0   3290715         0   no data   no data
213.94/11.39	c asymm  cl-useful: 3/1464/332664 lits-rem:12 time: 0.97
939.43/34.07	c Flit:    82 Blit:   1280 bXBeca:    0 bXProp: 1159 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 22.73
943.24/34.17	c Cleaning up after failed var search:     0.10 s 
948.99/34.33	c Replacing     1159 vars Replaced    35218 lits Time:     0.15 s 
963.59/34.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
966.29/34.91	c bin-w-bin subsume rem        36158 bins  time:  0.10 s
971.37/35.18	c subs with bin:     5231  lits-rem:     48130  v-fix:    0  time:  0.25 s
1037.74/38.25	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:  2524 done:  15395 time:  2.77 s
1051.57/38.72	c Removed useless bin:     685  fixed:     0  props:  20.02M  time:  0.47 s
1121.51/41.08	c lits-rem:      2541  cl-subs:     7148  v-elim:  62934  v-fix:    0  time:  1.67 s
1124.69/41.20	c Finding binary XORs  T:     0.12 s  found:     675
1131.07/41.34	c Replacing      675 vars Replaced    13594 lits Time:     0.15 s 
1140.64/41.62	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
1140.64/41.62	c calculated reachability. Time: 0.01
1140.64/41.68	c Calc default polars -  time:   0.06 s pos:   28415 undec:  127557 neg:  102809
1140.64/41.68	c =========================================================================================
1140.64/41.68	c types(t): F = full restart, N = normal restart
1140.64/41.68	c types(t): S = simplification begin/end, E = solution found
1140.64/41.68	c restart types(rt): st = static, dy = dynamic
1140.64/41.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1140.64/41.68	c  B st     0         0    131627    389046    476461         0   2380949         0   no data   no data
1371.53/48.98	c  N dy    15      4039    116212    360419    414642      3532   2101667    227528      7.23      7.61
1509.65/53.35	c Finding binary XORs  T:     0.11 s  found:    3578
1515.39/53.54	c Replacing     3578 vars Replaced   143892 lits Time:     0.16 s 
1545.32/54.51	c  N dy    35      8119    104643    338637    376149      7078   1918653    490332      9.34     12.39
1747.98/60.90	c  N dy    56     12187    103954    338637    376395     10827   1918653    805594      9.71     10.27
1863.05/64.53	c Finding binary XORs  T:     0.11 s  found:    1468
1866.25/64.68	c Replacing     1468 vars Replaced    60924 lits Time:     0.14 s 
2017.11/69.33	c  N dy    83     16303     95267    302264    357860     14537   1731441   1138899     10.34     11.02
2224.22/75.91	c Finding binary XORs  T:     0.11 s  found:    2929
2231.27/76.08	c Replacing     2929 vars Replaced    95831 lits Time:     0.17 s 
2278.58/77.53	c  N dy   114     20764     88820    283215    347025      9587   1616840    377739     10.87     12.03
2607.75/87.85	c  N dy   145     24808     85639    271378    348403     13189   1554107    962485     11.48     28.92
2620.52/88.28	c  F st   147     25000     85639    271378    348405     13376   1554107    983960     11.60   no data
2710.02/91.08	c Finding binary XORs  T:     0.11 s  found:    1897
2716.42/91.23	c Replacing     1897 vars Replaced    61254 lits Time:     0.15 s 
3029.58/101.06	c  N dy   153     30000     83668    270900    338954     18152   1535443   1919512     11.60   no data
3029.58/101.06	c  S st   153     30000     83668    270900    338954     18152   1535443   1919512     11.60   no data
3147.86/104.74	c  S st   153     30500     81317    256789    338043     17927   1472102   1861439     11.60   no data
3151.03/104.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4209.03/137.95	c Flit:   801 Blit:   2452 bXBeca:    0 bXProp:  917 Bins:  34685 BRemL:   1549 BRemN:     20 P: 200.0M T: 33.11
4212.22/138.03	c Cleaning up after failed var search:     0.08 s 
4218.62/138.22	c Replacing      918 vars Replaced    87314 lits Time:     0.18 s 
4225.02/138.46	c blocked clauses removed:        0 vars:      0 tried:       76543 T: 0.09 s
4228.21/138.53	c bin-w-bin subsume rem        12035 bins  time:  0.06 s
4232.03/138.68	c subs with bin:     3449  lits-rem:      2631  v-fix:    0  time:  0.16 s
4493.51/146.85	c Subs w/ non-existent bins:   2145 l-rem:    338 v-fix:   288 done:  30679 time:  8.16 s
4509.48/147.41	c Removed useless bin:    6083  fixed:     0  props:  20.00M  time:  0.56 s
4538.25/148.21	c lits-rem:       294  cl-subs:     7674  v-elim:   4980  v-fix:    0  time:  0.77 s
4544.64/148.45	c subs with bin:      346  lits-rem:       953  v-fix:    0  time:  0.16 s
4554.21/148.71	c lits-rem:       103  cl-subs:      435  v-elim:      0  v-fix:    0  time:  0.16 s
4602.18/150.27	c asymm  cl-useful: 564/2171/221213 lits-rem:1102 time: 1.56
4605.38/150.32	c calculated reachability. Time: 0.01
4605.38/150.32	c  N dy   153     30500     71275    221213    314499      6822   1293742    274347     11.60   no data
4608.57/150.42	c Finding binary XORs  T:     0.10 s  found:     135
4912.17/159.93	c  N dy   181     34550     71267    221213    314577     10740   1293742    768657     11.75     19.17
5184.50/168.49	c Finding binary XORs  T:     0.10 s  found:     552
5263.75/170.99	c  N dy   214     38853     69444    205174    317718     14725   1233798   1375357     12.36     13.44
5682.46/184.07	c  N dy   243     42984     69427    205174    328045      9992   1233798    601938     13.03     14.10
5957.97/192.63	c  S st   260     45753     68867    205174    328076     12698   1233798   1170537     13.27     11.15
5998.89/193.97	c Finding binary XORs  T:     0.10 s  found:      25
6005.29/194.10	c Replacing      712 vars Replaced    21629 lits Time:     0.14 s 
6037.25/195.15	c  S st   260     46256     68035    199415    322907     13113   1205946   1274366     13.27   no data
6040.45/195.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
7104.81/228.53	c Flit:   841 Blit:   1192 bXBeca:    0 bXProp:  404 Bins:  31776 BRemL:   2384 BRemN:     18 P: 200.0M T: 33.28
7108.01/228.60	c Cleaning up after failed var search:     0.07 s 
7111.20/228.75	c Replacing      424 vars Replaced    28722 lits Time:     0.13 s 
7115.02/228.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7118.21/228.93	c bin-w-bin subsume rem        12545 bins  time:  0.06 s
7120.77/229.08	c subs with bin:     2100  lits-rem:      3661  v-fix:    0  time:  0.14 s
7357.32/236.51	c Subs w/ non-existent bins:   1279 l-rem:    608 v-fix:   189 done:  30142 time:  7.43 s
7379.69/237.12	c Removed useless bin:    7856  fixed:     0  props:  20.00M  time:  0.61 s
7396.31/237.64	c lits-rem:       156  cl-subs:     3617  v-elim:   2250  v-fix:    0  time:  0.51 s
7402.06/237.86	c subs with bin:      154  lits-rem:       501  v-fix:    0  time:  0.16 s
7408.46/238.08	c lits-rem:        12  cl-subs:      151  v-elim:      0  v-fix:    0  time:  0.15 s
7459.61/239.61	c asymm  cl-useful: 200/2891/172279 lits-rem:280 time: 1.53
7459.61/239.65	c calculated reachability. Time: 0.01
7459.61/239.65	c  N dy   260     46256     62225    172279    304219      7448   1068246    316034     13.27   no data
7462.81/239.74	c Finding binary XORs  T:     0.09 s  found:      22
7804.81/250.42	c  N dy   291     50331     60730    166015    319173     11411   1034598   1089769     13.79     19.82
7868.74/252.47	c Finding binary XORs  T:     0.09 s  found:     424
8197.95/262.73	c  N dy   321     54412     60730    166015    319204     15418   1034598   1939617     14.13     16.78
8600.67/275.38	c  N dy   337     58473     60165    166015    328124     19413   1034598   3042448     14.13     15.02
8798.87/281.61	c Finding binary XORs  T:     0.09 s  found:     107
9057.78/289.68	c  N dy   364     62532     59763    162419    331477     23391   1018959   4043357     14.56     31.26
9518.03/304.03	c  N dy   398     66661     59762    162419    331497     15040   1018959   1288334     15.31     16.19
9831.27/313.83	c  S st   411     69384     59739    162419    333156     17726   1018959   1965674     15.37   no data
9895.84/315.84	c Finding binary XORs  T:     0.09 s  found:      60
9901.60/316.02	c Replacing      613 vars Replaced    51967 lits Time:     0.17 s 
9917.59/316.53	c  S st   411     69887     59106    159705    327824     18156   1003419   2031361     15.37   no data
9920.79/316.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
11039.54/351.62	c Flit:   360 Blit:    367 bXBeca:    0 bXProp:  311 Bins:  40789 BRemL:   3061 BRemN:     22 P: 200.0M T: 34.86
11039.54/351.69	c Cleaning up after failed var search:     0.07 s 
11045.93/351.84	c Replacing      312 vars Replaced    19804 lits Time:     0.14 s 
11049.13/351.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
11052.95/352.02	c bin-w-bin subsume rem        14252 bins  time:  0.06 s
11056.15/352.18	c subs with bin:     1326  lits-rem:      2667  v-fix:    0  time:  0.15 s
11240.88/357.98	c Subs w/ non-existent bins:   1161 l-rem:    772 v-fix:     4 done:  36689 time:  5.80 s
11256.91/358.42	c Removed useless bin:    6647  fixed:     0  props:  20.00M  time:  0.43 s
11272.85/358.92	c lits-rem:       100  cl-subs:     4700  v-elim:   1960  v-fix:    0  time:  0.50 s
11279.28/359.19	c subs with bin:      119  lits-rem:       473  v-fix:    0  time:  0.21 s
11288.84/359.41	c lits-rem:        35  cl-subs:      192  v-elim:      0  v-fix:    0  time:  0.15 s
11308.01/360.05	c vivif2 --  cl tried   151828 cl shrink     5978 lits rem       6453 time: 0.63
11311.21/360.16	c vivif2 --  cl tried     8672 cl shrink     2570 lits rem      29418 time: 0.11
11365.56/361.82	c asymm  cl-useful: 208/896/150491 lits-rem:218 time: 1.66
11375.13/362.15	c calculated reachability. Time: 0.30
11375.13/362.16	c  N dy   411     69887     55931    150491    328839      8144    940512    410729     15.37   no data
11407.78/363.19	c Finding binary XORs  T:     1.03 s  found:       1
11854.63/377.14	c Finding binary XORs  T:     0.92 s  found:     184
12203.04/388.03	c  N dy   412     77181     54406    137717    349584     14043    887162   1371660     14.57     15.38
12979.78/412.30	c  N dy   413     83647     54406    137717    349615     20419    887162   2446548     14.08     14.85
13011.71/413.35	c Finding binary XORs  T:     0.92 s  found:      52
13417.66/426.10	c  F st   417     87500     53961    134247    367195     12176    871831    685023     13.83   no data
13424.06/426.20	c Replacing      237 vars Replaced     9038 lits Time:     0.10 s 
13641.43/433.02	c  N st   421     89533     53725    134195    366402     14170    870825   1019730     13.83   no data
14361.21/455.56	c  N dy   429     96175     53300    134195    371225     20740    870825   2243705     13.69     14.66
14657.85/464.83	c Finding binary XORs  T:     0.93 s  found:      78
15386.62/487.62	c  N dy   431    104139     53058    131104    391307     27900    854868   3392835     13.30     14.49
15469.75/490.23	c  S st   432    104830     53058    131104    391313     28584    854868   3501702     13.25      7.60
15536.88/492.38	c  S st   432    105332     52932    131104    394374     29050    854868   3580899     13.25   no data
15540.07/492.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
16674.77/528.00	c Flit:   237 Blit:    196 bXBeca:    0 bXProp:  213 Bins:  30376 BRemL:   1684 BRemN:     13 P: 200.0M T: 35.42
16678.54/528.08	c Cleaning up after failed var search:     0.07 s 
16684.31/528.25	c Replacing      291 vars Replaced    17181 lits Time:     0.17 s 
16687.51/528.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
16690.72/528.44	c bin-w-bin subsume rem        32646 bins  time:  0.07 s
16697.11/528.60	c subs with bin:     1114  lits-rem:      2108  v-fix:    0  time:  0.16 s
16844.13/533.20	c Subs w/ non-existent bins:    196 l-rem:    156 v-fix:     0 done:  38750 time:  4.58 s
16857.55/533.64	c Removed useless bin:    5949  fixed:     0  props:  20.00M  time:  0.43 s
16869.70/534.08	c lits-rem:        48  cl-subs:     5007  v-elim:   1988  v-fix:    0  time:  0.44 s
16882.49/534.45	c subs with bin:      938  lits-rem:       831  v-fix:    0  time:  0.30 s
16889.51/534.68	c lits-rem:       101  cl-subs:      398  v-elim:      0  v-fix:    0  time:  0.16 s
16914.46/535.48	c vivif2 --  cl tried   127708 cl shrink     3449 lits rem       4154 time: 0.80
16920.85/535.70	c vivif2 --  cl tried    10628 cl shrink     2008 lits rem      20715 time: 0.22
16978.38/537.45	c asymm  cl-useful: 144/1062/127066 lits-rem:148 time: 1.75
16991.18/537.90	c calculated reachability. Time: 0.41
16991.18/537.90	c  N dy   432    105332     50172    127065    364575     10379    810828    584601     13.25   no data
17039.11/539.33	c Finding binary XORs  T:     1.43 s  found:       1
18001.25/569.40	c  N dy   441    115665     49970    127065    378432     11817    810828   1025097     12.81     13.55
18039.61/570.66	c Finding binary XORs  T:     1.21 s  found:      10
18624.51/588.95	c Finding binary XORs  T:     1.21 s  found:       0
19612.20/619.81	c  N dy   446    128567     49851    125250    420922     24479    803207   3189245     12.38     13.31
19656.95/621.22	c Finding binary XORs  T:     1.22 s  found:       4
20519.97/648.26	c  N dy   455    137395     49474    121890    464351     33037    790967   4507673     12.12     12.79
21574.73/681.29	c  N dy   461    146706     49236    121890    468143     25597    790967   3121760     11.88     12.53
22012.65/694.90	c Finding binary XORs  T:     1.23 s  found:      45
22977.95/725.16	c  N dy   468    157999     49065    119288    454672     35707    779422   4662082     11.66     10.60
22977.95/725.17	c  S st   468    157999     49065    119288    454672     35707    779422   4662082     11.66     10.60
23045.72/727.25	c  S st   468    158503     48903    119288    458885     36197    779422   4760529     11.66   no data
23048.28/727.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
24192.54/763.16	c Flit:    68 Blit:    146 bXBeca:    0 bXProp:  148 Bins:  29893 BRemL:   3414 BRemN:     14 P: 200.0M T: 35.67
24192.54/763.16	c Cleaning up after failed var search:     0.00 s 
24198.94/763.40	c Replacing      208 vars Replaced     9335 lits Time:     0.23 s 
24202.76/763.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
24205.95/763.60	c bin-w-bin subsume rem        44568 bins  time:  0.09 s
24211.72/763.77	c subs with bin:      922  lits-rem:      1254  v-fix:    0  time:  0.17 s
24349.16/768.03	c Subs w/ non-existent bins:    122 l-rem:     76 v-fix:     8 done:  43437 time:  4.26 s
24365.16/768.57	c Removed useless bin:    6627  fixed:     0  props:  20.00M  time:  0.54 s
24378.53/769.00	c lits-rem:       147  cl-subs:     2218  v-elim:   1659  v-fix:    0  time:  0.43 s
24397.11/769.58	c subs with bin:      233  lits-rem:       995  v-fix:    0  time:  0.48 s
24406.71/769.84	c lits-rem:       100  cl-subs:      917  v-elim:      0  v-fix:    0  time:  0.20 s
24435.47/770.76	c vivif2 --  cl tried   118047 cl shrink     2911 lits rem       3528 time: 0.91
24445.07/771.07	c vivif2 --  cl tried    14443 cl shrink     2299 lits rem      38847 time: 0.31
24505.80/772.95	c asymm  cl-useful: 102/1036/117497 lits-rem:120 time: 1.88
24522.41/773.46	c calculated reachability. Time: 0.48
24522.41/773.46	c  N dy   468    158503     46739    117497    414162     14378    746794    830436     11.66   no data
24579.33/775.21	c Finding binary XORs  T:     1.75 s  found:       2
25260.77/796.53	c Finding binary XORs  T:     1.44 s  found:      12
25614.92/807.62	c  N dy   491    168712     46444    115104    442597     14199    738742   1209349     11.52     12.24
26110.32/823.10	c Finding binary XORs  T:     1.44 s  found:       2
26714.44/842.00	c Finding binary XORs  T:     1.44 s  found:      66
26938.19/849.05	c  N dy   511    180163     46203    114484    473882     25432    734156   2632069     11.38     12.15
28246.11/889.94	c Finding binary XORs  T:     1.47 s  found:      12
28427.71/895.63	c  N dy   534    192386     46112    113935    475987     18932    731779   1312579     11.27     11.92
29709.47/935.72	c Finding binary XORs  T:     1.45 s  found:      20
29958.81/943.51	c  N dy   547    204774     45915    112890    488018     25132    727095   2008435     11.09     11.69
30496.40/960.41	c Finding binary XORs  T:     1.45 s  found:       7
31547.45/993.31	c  N dy   578    218382     45803    112493    522586     38284    725519   3693174     11.00     11.68
32145.19/1011.99	c Finding binary XORs  T:     1.45 s  found:       7
33267.14/1047.03	c  N dy   635    232380     45694    112099    522382     32030    723819   2715541     10.97     11.62
33906.97/1067.10	c  S st   671    237754     45623    112099    522903     37355    723819   3327464     10.98   no data
33967.07/1068.93	c  S st   671    238254     45622    112099    522909     37846    723819   3389003     10.98   no data
33970.27/1069.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
35175.99/1106.73	c Flit:   378 Blit:    120 bXBeca:    0 bXProp:    8 Bins:  66066 BRemL:    475 BRemN:     12 P: 200.0M T: 37.61
35178.55/1106.81	c Cleaning up after failed var search:     0.07 s 
35181.75/1106.96	c Replacing      136 vars Replaced    10048 lits Time:     0.15 s 
35184.94/1107.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
35188.14/1107.17	c bin-w-bin subsume rem        45266 bins  time:  0.10 s
35194.54/1107.36	c subs with bin:      824  lits-rem:       339  v-fix:    0  time:  0.19 s
35328.79/1111.53	c Subs w/ non-existent bins:    164 l-rem:     60 v-fix:     0 done:  44966 time:  4.15 s
35341.58/1111.91	c Removed useless bin:    3359  fixed:     0  props:   9.83M  time:  0.38 s
35354.36/1112.31	c lits-rem:       101  cl-subs:     1674  v-elim:   1224  v-fix:    0  time:  0.40 s
35402.30/1113.81	c subs with bin:      393  lits-rem:      1538  v-fix:    0  time:  1.38 s
35418.91/1114.34	c lits-rem:       413  cl-subs:     1053  v-elim:      0  v-fix:    0  time:  0.47 s
35450.26/1115.38	c vivif2 --  cl tried   108388 cl shrink      969 lits rem       1122 time: 1.04
35466.24/1115.86	c vivif2 --  cl tried    21525 cl shrink     4336 lits rem     131630 time: 0.48
35524.40/1117.72	c asymm  cl-useful: 135/1086/108008 lits-rem:166 time: 1.85
35542.96/1118.27	c calculated reachability. Time: 0.51
35542.96/1118.27	c  N dy   671    238254     43742    108008    503187     21441    694637   1302880     10.98   no data
35603.69/1120.12	c Finding binary XORs  T:     1.84 s  found:       2
36111.94/1136.08	c Finding binary XORs  T:     1.61 s  found:      23
37374.56/1175.56	c  N dy   716    253877     43455    107748    538502     20192    692305   1345214     10.90     11.89
37428.89/1177.24	c Finding binary XORs  T:     1.61 s  found:      13
39254.72/1234.33	c  N dy   767    270166     42962    104792    532517     36073    681085   2906565     10.86     17.09
41079.91/1291.45	c Finding binary XORs  T:     1.61 s  found:      22
41303.00/1298.40	c  N dy   809    287471     42901    102576    553623     29527    673454   1950635     10.81     11.46
42575.23/1338.28	c Finding binary XORs  T:     1.61 s  found:      10
43521.39/1367.81	c  N dy   858    305937     42289     99037    571207     46518    660015   3980411     10.73     11.43
43546.96/1368.61	c  F st   862    306250     42289     99037    571207     46827    660015   4023096     10.73   no data
43553.35/1368.82	c Replacing       70 vars Replaced     9174 lits Time:     0.15 s 
44505.90/1398.64	c Finding binary XORs  T:     1.62 s  found:     495
44509.10/1398.75	c Replacing      495 vars Replaced    30529 lits Time:     0.11 s 
44693.78/1416.38	c Following stats are for *FIRST FINISHED THREAD ONLY*
44693.78/1416.38	c num threads              : 32         
44693.78/1416.38	c restarts                 : 729        
44693.78/1416.38	c dynamic restarts         : 705        
44693.78/1416.38	c static restarts          : 24         
44693.78/1416.38	c full restarts            : 3          
44693.78/1416.38	c total simplify time      : 9.79       
44693.78/1416.38	c learnts DL2              : 0          
44693.78/1416.38	c learnts size 2           : 1993825    
44693.78/1416.38	c learnts size 1           : 145317      (56.15     % of vars)
44693.78/1416.38	c filedLit time            : 56.24       (4.01      % time)
44693.78/1416.38	c v-elim SatELite          : 68366       (26.42     % vars)
44693.78/1416.38	c SatELite time            : 20.56       (1.47      % time)
44693.78/1416.38	c v-elim xor               : 0           (0.00      % vars)
44693.78/1416.38	c xor elim time            : 0.10        (0.01      % time)
44693.78/1416.38	c num binary xor trees     : 8198       
44693.78/1416.38	c binxor trees' crown      : 17452       (2.13      leafs/tree)
44693.78/1416.38	c bin xor find time        : 3.60       
44693.78/1416.38	c OTF clause improved      : 4205        (0.01      clauses/conflict)
44693.78/1416.38	c OTF impr. size diff      : 7313        (1.74       lits/clause)
44693.78/1416.38	c OTF cl watch-shrink      : 183933      (0.53      clauses/conflict)
44693.78/1416.38	c OTF cl watch-sh-lit      : 967964      (5.26       lits/clause)
44693.78/1416.38	c tried to recurMin cls    : 0           (0.00       % of conflicts)
44693.78/1416.38	c updated cache            : 0           (nan        lits/tried recurMin)
44693.78/1416.38	c unit cls recevied        : 21016       (14.46     % of units)
44693.78/1416.38	c unit cls sent            : 982         (0.68      % of units)
44693.78/1416.38	c bin cls recevied         : 814525     
44693.78/1416.38	c bin cls sent             : 9667       
44693.78/1416.38	c clauses over max glue    : 0           (0.00      % of all clauses)
44693.78/1416.38	c conflicts                : 347075      (247.34    / sec)
44693.78/1416.38	c decisions                : 961771      (1.20      % random)
44693.78/1416.38	c bogo-props               : 15535987894 (11071364.25 / sec)
44693.78/1416.38	c conflict literals        : 63781965    (47.09     % deleted)
44693.78/1416.38	c Memory used              : 18330.29    MB
44693.78/1416.38	c single-thread CPU time   : 1403.26     s
44693.78/1416.38	c all-threads sum CPU time : 44527.98    s
44693.78/1416.38	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-3400683-1306331010/watcher-3400683-1306331010 -o /tmp/evaluation-result-3400683-1306331010/solver-3400683-1306331010 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400683-1306331010.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: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=338000 CPUtime=0.88 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) R 15975 15977 15773 0 -1 4202496 437 0 0 0 88 0 0 0 24 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 84500 377 297 95 0 79482 0
[pid=15977/tid=15978] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=338000 CPUtime=0 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=338000 CPUtime=0 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.130849 s]
/proc/loadavg: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=1437156 CPUtime=2.4 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) R 15975 15977 15773 0 -1 4202496 14976 0 0 0 156 84 0 0 18 0 32 0 744587618 1471647744 14261 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653381 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 359354 14270 335 95 0 354336 0
[pid=15977/tid=15978] ppid=15975 vsize=1437416 CPUtime=0.07 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 408 0 0 0 5 2 0 0 17 0 32 0 744587618 1471913984 14348 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604477748911584 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=1437608 CPUtime=0.07 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 480 0 0 0 5 2 0 0 21 0 32 0 744587618 1472110592 14430 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604504073600480 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=1438052 CPUtime=0.07 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 515 0 0 0 5 2 0 0 17 0 32 0 744587618 1472565248 14477 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=1438052 CPUtime=0.07 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 511 0 0 0 5 2 0 0 17 0 32 0 744587618 1472565248 14508 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566928944 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=1438052 CPUtime=0.08 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 618 0 0 0 5 3 0 0 17 0 32 0 744587618 1472565248 14517 268435456000 4194304 4580107 140734749580544 18446744073709551615 4308004 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=1438052 CPUtime=0.08 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 539 0 0 0 5 3 0 0 17 0 32 0 744587618 1472565248 14532 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=1438052 CPUtime=0.02 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 390 0 0 0 0 2 0 0 17 0 32 0 744587618 1472565248 14627 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=1438052 CPUtime=0.06 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 398 0 0 0 4 2 0 0 17 0 32 0 744587618 1472565248 14656 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=1437920 CPUtime=0.07 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 570 0 0 0 5 2 0 0 17 0 32 0 744587618 1472430080 14673 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=1437920 CPUtime=0.06 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 551 0 0 0 5 1 0 0 17 0 32 0 744587618 1472430080 14717 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604486425042400 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=1438180 CPUtime=0.04 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 270 0 0 0 2 2 0 0 17 0 32 0 744587618 1472696320 14768 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 598 0 0 0 3 3 0 0 18 0 32 0 744587618 1472696320 14768 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 463 0 0 0 4 2 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=1438180 CPUtime=0.08 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 590 0 0 0 5 3 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604492060851680 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 466 0 0 0 4 2 0 0 24 0 32 0 744587619 1472696320 14785 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=1438888 CPUtime=0.06 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 282 0 0 0 4 2 0 0 17 0 32 0 744587619 1473421312 14828 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604479452085728 0 0 -1 9 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=1438888 CPUtime=0.05 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 272 0 0 0 4 1 0 0 17 0 32 0 744587619 1473421312 14886 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 10 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=1438888 CPUtime=0.08 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 582 0 0 0 5 3 0 0 17 0 32 0 744587619 1473421312 14892 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 7 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=1438888 CPUtime=0.07 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 373 0 0 0 5 2 0 0 17 0 32 0 744587619 1473421312 14909 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566923984 0 0 -1 14 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=1439148 CPUtime=0.08 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 633 0 0 0 5 3 0 0 18 0 32 0 744587619 1473687552 14990 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 386 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15001 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 698 0 0 0 4 3 0 0 25 0 32 0 744587619 1474215936 15039 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 338 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15101 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566926744 0 0 -1 15 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 520 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15110 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650616986 0 0 4096 2 1597440 0 0 -1 17 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 343 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15118 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604499794968032 0 0 -1 22 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 460 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15196 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15196 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604477748911584 0 0 -1 21 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 567 0 0 0 4 3 0 0 17 0 32 0 744587619 1474215936 15210 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=1439664 CPUtime=0.08 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 497 0 0 0 5 3 0 0 17 0 32 0 744587619 1474215936 15238 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566927104 0 0 -1 23 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=1439664 CPUtime=0.08 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 618 0 0 0 5 3 0 0 17 0 32 0 744587619 1474215936 15244 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 1437156

[startup+0.20793 s]
/proc/loadavg: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=1488096 CPUtime=3.29 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) D 15975 15977 15773 0 -1 4202496 34050 0 0 0 171 158 0 0 18 0 32 0 744587618 1523810304 29734 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 371895 29619 337 95 0 366877 0
[pid=15977/tid=15978] ppid=15975 vsize=1487580 CPUtime=0.08 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 767 0 0 0 5 3 0 0 17 0 32 0 744587618 1523281920 29630 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=1487580 CPUtime=0.1 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1268 0 0 0 5 5 0 0 17 0 32 0 744587618 1523281920 29781 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=1487580 CPUtime=0.11 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1297 0 0 0 6 5 0 0 17 0 32 0 744587618 1523281920 29783 268435456000 4194304 4580107 140734749580544 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=1487864 CPUtime=0.09 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1240 0 0 0 5 4 0 0 17 0 32 0 744587618 1523572736 29993 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=1487864 CPUtime=0.11 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1401 0 0 0 5 6 0 0 17 0 32 0 744587618 1523572736 30011 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=1487348 CPUtime=0.11 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1233 0 0 0 5 6 0 0 17 0 32 0 744587618 1523044352 29883 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=1487348 CPUtime=0.04 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 917 0 0 0 0 4 0 0 17 0 32 0 744587618 1523044352 29905 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=1487348 CPUtime=0.1 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1051 0 0 0 5 5 0 0 17 0 32 0 744587618 1523044352 29906 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=1487348 CPUtime=0.08 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 845 0 0 0 5 3 0 0 17 0 32 0 744587618 1523044352 29955 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=1487348 CPUtime=0.09 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1165 0 0 0 5 4 0 0 17 0 32 0 744587618 1523044352 29955 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=1487348 CPUtime=0.05 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 309 0 0 0 3 2 0 0 17 0 32 0 744587618 1523044352 30037 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604501502729696 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=1487348 CPUtime=0.11 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1488 0 0 0 4 7 0 0 18 0 32 0 744587618 1523044352 30226 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=1487348 CPUtime=0.08 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 965 0 0 0 5 3 0 0 17 0 32 0 744587619 1523044352 30234 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604481404648928 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=1487348 CPUtime=0.1 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1256 0 0 0 5 5 0 0 17 0 32 0 744587619 1523044352 30105 268435456000 4194304 4580107 140734749580544 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=1486832 CPUtime=0.07 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 389 0 0 0 5 2 0 0 17 0 32 0 744587619 1522515968 30137 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566926744 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=1486832 CPUtime=0.09 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1021 0 0 0 5 4 0 0 17 0 32 0 744587619 1522515968 30137 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=1488884 CPUtime=0.08 cores=0-31

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

/proc/15977/stat : 15977 (strangenight2-m) S 15975 15977 15773 0 -1 4202496 6850331 0 0 0 4452401 16597 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 4692552 3877387 378 95 0 4687534 0
[pid=15977/tid=15978] ppid=15975 vsize=18770208 CPUtime=1396.29 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219795 0 0 0 139077 552 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479452085728 0 0 -1 29 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=18770208 CPUtime=1397.47 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 209410 0 0 0 139226 521 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604573090176480 0 0 -1 11 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=18770208 CPUtime=1391.43 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203752 0 0 0 138643 500 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476273278432 0 0 -1 19 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=18770208 CPUtime=1393.68 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 186716 0 0 0 138856 512 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478144069088 0 0 -1 15 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=18770208 CPUtime=1396.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 230548 0 0 0 139030 573 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481240096224 0 0 -1 13 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=18770208 CPUtime=1396.94 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 198399 0 0 0 139137 557 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484807220704 0 0 -1 20 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 180183 0 0 0 139232 523 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505052093920 0 0 -1 17 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=18770208 CPUtime=1408.08 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 213578 0 0 0 140299 509 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=18770208 CPUtime=1397.25 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 155891 0 0 0 139232 493 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474284129760 0 0 -1 25 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=18770208 CPUtime=1405.58 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 158273 0 0 0 140127 431 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686138923 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=18770208 CPUtime=1396.28 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 159204 0 0 0 139090 538 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479484001760 0 0 -1 27 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=18770208 CPUtime=1397.26 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202403 0 0 0 139178 548 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604500187659744 0 0 -1 16 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=18770208 CPUtime=1397.6 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219646 0 0 0 139275 485 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504131050976 0 0 -1 7 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=18770208 CPUtime=1398.04 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 189933 0 0 0 139356 448 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474729799136 0 0 -1 28 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=18770208 CPUtime=1395.88 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202582 0 0 0 139061 527 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504073600480 0 0 -1 22 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=18770208 CPUtime=1396.97 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 211578 0 0 0 139162 535 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505062161888 0 0 -1 8 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=18770208 CPUtime=1396.38 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 242104 0 0 0 139093 545 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501699444192 0 0 -1 2 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=18770208 CPUtime=1388.06 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 222390 0 0 0 138288 518 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604503502003680 0 0 -1 31 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=18770208 CPUtime=1396.13 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 197033 0 0 0 139080 533 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484754038240 0 0 -1 12 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=18770208 CPUtime=1396.33 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239329 0 0 0 139049 584 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504630894048 0 0 -1 1 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=18770208 CPUtime=1380.78 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 263374 0 0 0 137523 555 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481404648928 0 0 -1 29 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=18770208 CPUtime=1396.72 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203438 0 0 0 139150 522 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604492060851680 0 0 -1 4 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=18770208 CPUtime=1396.41 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 236103 0 0 0 139162 479 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501502729696 0 0 -1 14 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=18770208 CPUtime=1395.86 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239766 0 0 0 139060 526 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604475899338208 0 0 -1 9 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=18770208 CPUtime=1397.3 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 226631 0 0 0 139204 526 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744071566923944 0 0 -1 30 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=18770208 CPUtime=1397.87 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 276161 0 0 0 139265 522 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604499794968032 0 0 -1 6 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=18770208 CPUtime=1396.58 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 207993 0 0 0 139075 583 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478851759584 0 0 -1 24 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=18770208 CPUtime=1399.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 247328 0 0 0 139585 318 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604498980527584 0 0 -1 10 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=18770208 CPUtime=1398.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203654 0 0 0 139301 502 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476746251744 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=18770208 CPUtime=1396.61 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 227645 0 0 0 139074 587 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604477748911584 0 0 -1 0 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 237112 0 0 0 139247 508 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478660378080 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44690
Current children cumulated vsize (KiB) 18770208

[startup+1416 s]
/proc/loadavg: 27.53 31.09 30.41 3/445 16056
/proc/meminfo: memFree=239586124/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=18770208 CPUtime=44693.2 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) S 15975 15977 15773 0 -1 4202496 6850492 0 0 0 4452721 16597 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 4692552 3877548 378 95 0 4687534 0
[pid=15977/tid=15978] ppid=15975 vsize=18770208 CPUtime=1396.29 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219795 0 0 0 139077 552 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479452085728 0 0 -1 29 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=18770208 CPUtime=1397.47 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 209410 0 0 0 139226 521 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604573090176480 0 0 -1 11 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=18770208 CPUtime=1391.43 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203752 0 0 0 138643 500 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476273278432 0 0 -1 19 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=18770208 CPUtime=1393.68 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 186716 0 0 0 138856 512 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478144069088 0 0 -1 15 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=18770208 CPUtime=1396.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 230548 0 0 0 139030 573 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481240096224 0 0 -1 13 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=18770208 CPUtime=1396.94 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 198399 0 0 0 139137 557 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484807220704 0 0 -1 20 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 180183 0 0 0 139232 523 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505052093920 0 0 -1 17 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=18770208 CPUtime=1409.68 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 213739 0 0 0 140459 509 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=18770208 CPUtime=1397.25 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 155891 0 0 0 139232 493 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474284129760 0 0 -1 25 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=18770208 CPUtime=1407.18 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 158273 0 0 0 140287 431 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686138923 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=18770208 CPUtime=1396.28 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 159204 0 0 0 139090 538 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479484001760 0 0 -1 27 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=18770208 CPUtime=1397.26 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202403 0 0 0 139178 548 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604500187659744 0 0 -1 16 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=18770208 CPUtime=1397.6 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219646 0 0 0 139275 485 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504131050976 0 0 -1 7 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=18770208 CPUtime=1398.04 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 189933 0 0 0 139356 448 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474729799136 0 0 -1 28 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=18770208 CPUtime=1395.88 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202582 0 0 0 139061 527 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504073600480 0 0 -1 22 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=18770208 CPUtime=1396.97 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 211578 0 0 0 139162 535 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505062161888 0 0 -1 8 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=18770208 CPUtime=1396.38 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 242104 0 0 0 139093 545 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501699444192 0 0 -1 2 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=18770208 CPUtime=1388.06 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 222390 0 0 0 138288 518 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604503502003680 0 0 -1 31 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=18770208 CPUtime=1396.13 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 197033 0 0 0 139080 533 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484754038240 0 0 -1 12 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=18770208 CPUtime=1396.33 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239329 0 0 0 139049 584 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504630894048 0 0 -1 1 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=18770208 CPUtime=1380.78 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 263374 0 0 0 137523 555 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481404648928 0 0 -1 29 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=18770208 CPUtime=1396.72 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203438 0 0 0 139150 522 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604492060851680 0 0 -1 4 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=18770208 CPUtime=1396.41 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 236103 0 0 0 139162 479 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501502729696 0 0 -1 14 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=18770208 CPUtime=1395.86 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239766 0 0 0 139060 526 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604475899338208 0 0 -1 9 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=18770208 CPUtime=1397.3 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 226631 0 0 0 139204 526 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744071566923944 0 0 -1 30 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=18770208 CPUtime=1397.87 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 276161 0 0 0 139265 522 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604499794968032 0 0 -1 6 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=18770208 CPUtime=1396.58 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 207993 0 0 0 139075 583 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478851759584 0 0 -1 24 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=18770208 CPUtime=1399.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 247328 0 0 0 139585 318 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604498980527584 0 0 -1 10 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=18770208 CPUtime=1398.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203654 0 0 0 139301 502 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476746251744 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=18770208 CPUtime=1396.61 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 227645 0 0 0 139074 587 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604477748911584 0 0 -1 0 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 237112 0 0 0 139247 508 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478660378080 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44693.2
Current children cumulated vsize (KiB) 18770208

[startup+1416.8 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44694.4 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16644 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1396.86 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 524 0 0 18 0 2 0 744587619 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) 44694.4
Current children cumulated vsize (KiB) 0

[startup+1417.2 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44694.8 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16681 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1397.22 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 560 0 0 18 0 2 0 744587619 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) 44694.8
Current children cumulated vsize (KiB) 0

[startup+1417.6 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44695.2 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16721 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1397.62 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 600 0 0 19 0 2 0 744587619 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) 44695.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1417.61
CPU time (s): 44695.2
CPU user time (s): 44528
CPU system time (s): 167.214
CPU usage (%): 3152.86
Max. virtual memory (cumulated for all children) (KiB): 18770208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44528
system time used= 167.214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6850496
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= 3449771
involuntary context switches= 142973

runsolver used 8.25574 second user time and 32.3311 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 15:43:32
IDJOB=3400683
IDBENCH=71036
IDSOLVER=1886
FILE ID=node200/3400683-1306331010
RUNJOBID= node200-1306330849-15787
PBS_JOBID= 13411792
Free space on /tmp= 62020 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400683-1306331010/watcher-3400683-1306331010 -o /tmp/evaluation-result-3400683-1306331010/solver-3400683-1306331010 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400683-1306331010.cnf

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=1432750434

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:      255118216 kB
Buffers:        467748 kB
Cached:        8259352 kB
SwapCached:          0 kB
Active:        7800740 kB
Inactive:       996600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255118216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31284 kB
Writeback:           0 kB
AnonPages:       70092 kB
Mapped:          14536 kB
Slab:           256424 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   170212 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= 62016 MiB
End job on node200 at 2011-05-25 16:07:10