Trace number 3321239

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-mtUNSAT 30129.5 3770.98

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
MD5SUMcb369c4583eb075a3a8cb5a04701e120
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1644.38
Satisfiable
(Un)Satisfiability was proved
Number of variables985042
Number of clauses3113540
Sum of the clauses size7976612
Maximum clause length618
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 21490897
Number of clauses of size 31578048
Number of clauses of size 428388
Number of clauses of size 59876
Number of clauses of size over 56173

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321239-1304332772.cnf'
0.00/0.03	c -- header says num vars:         985042
0.00/0.03	c -- header says num clauses:     3113540
38.00/5.80	c -- clauses added:            0 learnts,      3113540 normals,            0 xors
38.00/5.80	c -- vars added     985042
38.00/5.80	c Parsing time:  3.41 s
38.00/5.81	c  N st     0         0    985042   1620902   1490503         0   7970771         0   no data   no data
57.18/8.26	c asymm  cl-useful: 0/175/1592883 lits-rem:0 time: 2.37
429.66/54.82	c Flit:    42 Blit:    307 bXBeca:    0 bXProp: 40473 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 46.56
432.05/55.17	c Cleaning up after failed var search:     0.33 s 
437.65/55.84	c Replacing    40625 vars Replaced   572404 lits Time:     0.65 s 
448.84/57.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
452.74/57.71	c bin-w-bin subsume rem           12 bins  time:  0.44 s
463.05/59.02	c subs with bin:     2718  lits-rem:      3854  v-fix:    0  time:  1.29 s
766.71/97.07	c Subs w/ non-existent bins:   1613 l-rem:     22 v-fix:   164 done:   6074 time: 38.02 s
781.11/98.84	c Removed useless bin:       3  fixed:     0  props:  20.05M  time:  1.78 s
864.25/109.36	c lits-rem:      1392  cl-subs:    80892  v-elim: 300875  v-fix: 1096  time:  9.98 s
868.24/109.84	c Finding binary XORs  T:     0.47 s  found:    8933
873.02/110.45	c Replacing     8933 vars Replaced   320347 lits Time:     0.60 s 
892.88/112.91	c Finding non-binary XORs:     1.59 s (found:  237993, avg size: 3.0)
892.88/112.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    229 locsubst: 33934 time:   0.77
897.61/113.55	c Replacing    16967 vars Replaced   182035 lits Time:     0.64 s 
899.21/113.72	c calculated reachability. Time: 0.02
900.80/113.95	c Calc default polars -  time:   0.23 s pos:  224652 undec:  431016 neg:  329374
900.80/113.95	c =========================================================================================
900.80/113.95	c types(t): F = full restart, N = normal restart
900.80/113.95	c types(t): S = simplification begin/end, E = solution found
900.80/113.95	c restart types(rt): st = static, dy = dynamic
900.80/113.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
900.80/113.95	c  B st     0         0    574294    501029    755256         0   3916267         0   no data   no data
1047.78/132.35	c Decided on static restart strategy
1145.31/144.58	c  N st     8      4917    568177    492588    748487      4325   3863490    283129   no data   no data
1256.48/158.42	c Finding binary XORs  T:     0.42 s  found:    5280
1259.63/158.84	c Replacing     8833 vars Replaced    89912 lits Time:     0.40 s 
1435.47/180.86	c  N st    10     11300    515379    448382    796560      9413   3507701   1202699   no data   no data
1618.53/203.71	c Finding binary XORs  T:     0.43 s  found:    1132
1764.82/222.10	c  N st    11     17044    514605    446285    811886     14859   3496375   1992349   no data   no data
2062.96/259.35	c  F st    12     25000    514406    446285    813294     15117   3496374   1355306   no data   no data
2070.94/260.31	c Replacing     1540 vars Replaced    31140 lits Time:     0.63 s 
2078.93/261.31	c Replacing        9 vars Replaced      147 lits Time:     0.61 s 
2086.12/262.28	c Replacing       15 vars Replaced      105 lits Time:     0.57 s 
3229.81/405.35	c  N st    12     25000    512836    444519    809816     15092   3483665   1347143   no data   no data
3611.89/453.16	c Decided on static restart strategy
3611.89/453.16	c  N st    18     30004    512614    444519    809895     19924   3483664   2021397   no data   no data
3611.89/453.17	c  S st    18     30004    512614    444519    809895     19924   3483664   2021397   no data   no data
3678.98/461.55	c  S st    18     30505    512546    444519    809934     20345   3483664   2041460   no data   no data
3684.56/462.29	c x-sub: 15042 x-cut:      0 vfix:      0 v-elim:   1238 locsubst:    86 time:   0.74
3873.22/485.89	c Flit:     0 Blit:    257 bXBeca:    0 bXProp:  109 Bins:  48718 BRemL:      0 BRemN:      3 P: 200.2M T: 23.60
3874.02/485.95	c Cleaning up after failed var search:     0.00 s 
3880.42/486.74	c Replacing      385 vars Replaced     6844 lits Time:     0.70 s 
3885.27/487.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
3886.81/487.58	c bin-w-bin subsume rem       132394 bins  time:  0.26 s
3893.26/488.37	c subs with bin:    39380  lits-rem:     57206  v-fix:    0  time:  0.80 s
4037.84/506.43	c Subs w/ non-existent bins:   1022 l-rem:    800 v-fix:   235 done:  23956 time: 18.05 s
4044.20/507.28	c Removed useless bin:    1428  fixed:   251  props:  20.01M  time:  0.79 s
4086.61/512.55	c lits-rem:     42444  cl-subs:   102085  v-elim: 148723  v-fix:    3  time:  5.16 s
4088.95/512.88	c Replacing       41 vars Replaced      366 lits Time:     0.31 s 
4092.15/513.27	c subs with bin:      157  lits-rem:       368  v-fix:    0  time:  0.21 s
4098.54/514.04	c lits-rem:        54  cl-subs:      216  v-elim:      0  v-fix:    0  time:  0.65 s
4109.74/515.48	c asymm  cl-useful: 0/244/335576 lits-rem:0 time: 1.44
4111.33/515.61	c calculated reachability. Time: 0.03
4111.33/515.66	c  N st    18     30505    361627    335576    450925      5203   2756922    139967   no data   no data
4113.78/515.99	c Finding binary XORs  T:     0.33 s  found:    4376
4116.93/516.32	c Replacing     4385 vars Replaced    62912 lits Time:     0.33 s 
4335.95/543.76	c  N st    20     37615    355639    334726    451184     12072   2736800    741920   no data   no data
4364.72/547.39	c Finding binary XORs  T:     0.32 s  found:     949
4430.32/555.52	c  N st    21     44014    355563    331658    448824     12091   2715587    567342   no data   no data
4479.83/561.72	c  S st    22     45757    355554    331658    448877     13752   2715587    645137   no data   no data
4533.38/568.46	c  S st    22     46258    355441    331658    449850     14186   2715586    673510   no data   no data
4537.38/568.99	c x-sub:    39 x-cut:      0 vfix:      0 v-elim:    949 locsubst:     0 time:   0.52
4722.02/592.03	c Flit:     0 Blit:     15 bXBeca:    0 bXProp:   14 Bins:   4069 BRemL:      0 BRemN:      6 P: 200.9M T: 23.04
4726.83/592.63	c Replacing     1255 vars Replaced    30439 lits Time:     0.48 s 
4730.02/593.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
4730.82/593.10	c bin-w-bin subsume rem        15706 bins  time:  0.10 s
4734.81/593.67	c subs with bin:    26104  lits-rem:     43983  v-fix:    0  time:  0.58 s
4849.91/608.05	c Subs w/ non-existent bins:    434 l-rem:   2373 v-fix:    48 done:  22560 time: 14.34 s
4854.64/608.64	c Removed useless bin:     836  fixed:     0  props:  20.04M  time:  0.58 s
4864.23/609.83	c lits-rem:      5491  cl-subs:     6635  v-elim:   5318  v-fix:    1  time:  1.18 s
4866.64/610.16	c Replacing       16 vars Replaced      124 lits Time:     0.31 s 
4870.63/610.61	c subs with bin:       49  lits-rem:       475  v-fix:    0  time:  0.26 s
4877.03/611.42	c lits-rem:       321  cl-subs:      433  v-elim:      0  v-fix:    0  time:  0.68 s
4887.48/612.73	c asymm  cl-useful: 120/510/300363 lits-rem:1686 time: 1.31
4888.21/612.86	c calculated reachability. Time: 0.03
4889.02/612.91	c  N st    22     46258    347827    300351    439071     12227   2583736    329949   no data   no data
4891.42/613.21	c Finding binary XORs  T:     0.31 s  found:    2074
5188.75/650.48	c  N st    23     60657    346462    300351    442666     26300   2583693   1697905   no data   no data
5382.94/674.73	c  N st    24     69387    346439    300351    443962     23811   2583692   2226555   no data   no data
5382.94/674.74	c  S st    24     69387    346439    300351    443962     23811   2583692   2226555   no data   no data
5386.93/675.26	c Finding binary XORs  T:     0.29 s  found:    1107
5423.75/679.82	c  S st    24     69887    345698    296744    470124     24172   2554453   2307305   no data   no data
5427.70/680.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1797 locsubst:     2 time:   0.48
5599.62/701.82	c Flit:     3 Blit:    119 bXBeca:    0 bXProp:  123 Bins:   3938 BRemL:      0 BRemN:      4 P: 200.1M T: 21.52
5599.62/701.87	c Cleaning up after failed var search:     0.00 s 
5605.16/702.57	c Replacing     3501 vars Replaced    77415 lits Time:     0.62 s 
5608.41/702.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
5609.16/703.05	c bin-w-bin subsume rem        38670 bins  time:  0.11 s
5613.16/703.55	c subs with bin:     4646  lits-rem:      7389  v-fix:    0  time:  0.49 s
5749.81/720.69	c Subs w/ non-existent bins:    289 l-rem:   1349 v-fix:    57 done:  24136 time: 17.14 s
5755.41/721.32	c Removed useless bin:    1784  fixed:    65  props:  20.00M  time:  0.63 s
5765.00/722.50	c lits-rem:      3942  cl-subs:     7808  v-elim:   3581  v-fix:    0  time:  1.18 s
5768.19/722.90	c Replacing       28 vars Replaced      270 lits Time:     0.38 s 
5778.59/724.24	c subs with bin:       47  lits-rem:      3296  v-fix:    0  time:  0.95 s
5797.77/726.60	c lits-rem:      1408  cl-subs:      651  v-elim:      0  v-fix:    0  time:  2.21 s
5808.17/727.98	c asymm  cl-useful: 1449/2587/284474 lits-rem:7042 time: 1.39
5809.81/728.15	c calculated reachability. Time: 0.03
5810.62/728.25	c  N st    24     69887    336620    284060    419002     22714   2451656   2013878   no data   no data
5812.96/728.59	c Finding binary XORs  T:     0.34 s  found:      54
6152.70/771.04	c Finding binary XORs  T:     0.32 s  found:     272
6282.14/787.22	c  F st    25     87501    336254    283623    424871     25617   2447552   1468257   no data   no data
6284.58/787.56	c Replacing      366 vars Replaced     4617 lits Time:     0.33 s 
6289.32/788.11	c Replacing       19 vars Replaced      154 lits Time:     0.33 s 
6293.38/788.66	c Replacing        2 vars Replaced       14 lits Time:     0.33 s 
6834.46/856.38	c  N st    25     87501    335858    283312    424110     25617   2444912   1467127   no data   no data
6975.95/874.00	c Decided on static restart strategy
7023.16/879.96	c  N st    32     95539    335641    283312    427160     33512   2444909   2143468   no data   no data
7240.53/907.18	c  N st    34    104830    335579    283312    427449     42635   2444891   2662781   no data   no data
7240.53/907.18	c  S st    34    104830    335579    283312    427449     42635   2444891   2662781   no data   no data
7244.53/907.68	c Finding binary XORs  T:     0.30 s  found:     273
7280.49/912.18	c  S st    34    105335    335511    282236    430163     43088   2435636   2712805   no data   no data
7284.49/912.68	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:    644 locsubst:   594 time:   0.50
7450.75/933.49	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   11 Bins:   2056 BRemL:      2 BRemN:      2 P: 200.5M T: 20.81
7455.54/934.01	c Replacing      372 vars Replaced     5854 lits Time:     0.40 s 
7457.94/934.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
7458.74/934.41	c bin-w-bin subsume rem         5425 bins  time:  0.09 s
7461.94/934.83	c subs with bin:     5084  lits-rem:      4676  v-fix:    0  time:  0.42 s
7591.44/951.09	c Subs w/ non-existent bins:    143 l-rem:    396 v-fix:    30 done:  21516 time: 16.26 s
7596.23/951.61	c Removed useless bin:    1608  fixed:    31  props:  20.00M  time:  0.51 s
7602.63/952.49	c lits-rem:      2160  cl-subs:     3073  v-elim:   1838  v-fix:    1  time:  0.88 s
7605.82/952.80	c Replacing       22 vars Replaced      179 lits Time:     0.30 s 
7617.81/954.31	c subs with bin:      111  lits-rem:      1942  v-fix:    0  time:  1.18 s
7625.81/955.39	c lits-rem:      1009  cl-subs:      756  v-elim:      0  v-fix:    0  time:  0.95 s
7633.80/956.31	c asymm  cl-useful: 450/1241/274289 lits-rem:1171 time: 0.92
7634.60/956.42	c calculated reachability. Time: 0.03
7634.60/956.48	c  N st    34    105335    332579    274234    420627     39468   2400278   1648727   no data   no data
7792.87/976.24	c Finding binary XORs  T:     0.27 s  found:     156
7812.06/978.62	c  N st    35    114934    332391    273822    429765     32794   2396688   1319999   no data   no data
8115.83/1016.68	c  N st    36    129331    332391    273822    429808     47002   2396679   3491297   no data   no data
8570.72/1073.51	c  N st    37    150926    332228    273822    431879     49368   2396569   2514899   no data   no data
8672.98/1086.31	c  S st    38    158003    332191    273822    432250     56269   2396552   3288803   no data   no data
8676.23/1086.78	c Finding binary XORs  T:     0.27 s  found:     399
8712.95/1091.32	c  S st    38    158509    332053    273359    442281     56744   2393170   3381264   no data   no data
8716.14/1091.78	c x-sub:    39 x-cut:      0 vfix:      0 v-elim:    290 locsubst:   420 time:   0.46
8872.02/1111.26	c Flit:     5 Blit:      4 bXBeca:    0 bXProp:   11 Bins:   1169 BRemL:      0 BRemN:      1 P: 200.1M T: 19.48
8876.82/1111.82	c Replacing      699 vars Replaced    14201 lits Time:     0.44 s 
8879.27/1112.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
8880.01/1112.22	c bin-w-bin subsume rem         4406 bins  time:  0.09 s
8883.22/1112.65	c subs with bin:     7355  lits-rem:     10328  v-fix:    0  time:  0.43 s
9014.30/1129.05	c Subs w/ non-existent bins:    176 l-rem:    905 v-fix:    14 done:  20720 time: 16.39 s
9018.28/1129.57	c Removed useless bin:    2422  fixed:    24  props:  20.01M  time:  0.51 s
9025.48/1130.42	c lits-rem:      1576  cl-subs:     2307  v-elim:   1299  v-fix:    0  time:  0.85 s
9027.93/1130.75	c Replacing       20 vars Replaced      150 lits Time:     0.31 s 
9047.86/1133.29	c subs with bin:      189  lits-rem:      9272  v-fix:    0  time:  2.12 s
9073.42/1136.41	c lits-rem:      1717  cl-subs:     1265  v-elim:      0  v-fix:    0  time:  2.99 s
9079.82/1137.27	c asymm  cl-useful: 261/644/262387 lits-rem:692 time: 0.86
9080.67/1137.38	c calculated reachability. Time: 0.03
9081.48/1137.43	c  N st    38    158509    329703    262359    432320     53152   2349716   2957039   no data   no data
10105.36/1265.50	c  N st    39    207099    329703    262359    432413     58358   2349707   5454475   no data   no data
10108.56/1266.00	c Finding binary XORs  T:     0.27 s  found:     584
10576.95/1324.51	c Finding binary XORs  T:     0.27 s  found:     151
10762.40/1347.79	c  N st    40    237765    328801    260976    448247     63809   2337108   4494518   no data   no data
10763.20/1347.80	c  S st    40    237765    328801    260976    448247     63809   2337108   4494518   no data   no data
10795.23/1351.87	c  S st    40    238270    328782    260976    448630     64286   2337107   4531134   no data   no data
10799.18/1352.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1005 locsubst:     6 time:   0.46
10953.50/1371.63	c Flit:     2 Blit:     11 bXBeca:    0 bXProp:   25 Bins:    807 BRemL:      0 BRemN:      2 P: 200.1M T: 19.29
10958.24/1372.22	c Replacing      915 vars Replaced    17205 lits Time:     0.47 s 
10960.64/1372.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
10961.44/1372.63	c bin-w-bin subsume rem         9956 bins  time:  0.09 s
10964.63/1373.03	c subs with bin:     2939  lits-rem:      4890  v-fix:    0  time:  0.40 s
11097.33/1389.66	c Subs w/ non-existent bins:    100 l-rem:    755 v-fix:     8 done:  19153 time: 16.63 s
11102.11/1390.23	c Removed useless bin:    5651  fixed:    19  props:  20.01M  time:  0.56 s
11109.30/1391.10	c lits-rem:       713  cl-subs:     1259  v-elim:    699  v-fix:    0  time:  0.87 s
11111.76/1391.44	c Replacing       19 vars Replaced      143 lits Time:     0.32 s 
11138.13/1394.77	c subs with bin:      225  lits-rem:      3689  v-fix:    0  time:  2.86 s
11162.87/1397.80	c lits-rem:      1874  cl-subs:      827  v-elim:      0  v-fix:    0  time:  2.91 s
11169.26/1398.60	c asymm  cl-useful: 222/679/254989 lits-rem:536 time: 0.80
11170.06/1398.71	c calculated reachability. Time: 0.03
11170.06/1398.76	c  N st    40    238270    326123    254970    431174     60524   2296811   3784550   no data   no data
12455.41/1559.65	c  F st    41    306251    326123    254970    431320     76749   2296741   4807438   no data   no data
12457.80/1559.96	c Replacing       10 vars Replaced       78 lits Time:     0.29 s 
12461.81/1560.43	c Replacing        3 vars Replaced       28 lits Time:     0.28 s 
12465.85/1560.91	c Replacing        2 vars Replaced       18 lits Time:     0.27 s 
12469.00/1561.38	c Replacing        1 vars Replaced        6 lits Time:     0.28 s 
12698.41/1590.04	c  N st    41    306251    326101    254967    431279     76749   2296637   4807424   no data   no data
12702.46/1590.59	c Finding binary XORs  T:     0.30 s  found:     296
12836.70/1607.39	c Decided on static restart strategy
13419.44/1680.26	c  N st    51    334556    322587    248141    445968     58467   2248984   2418402   no data   no data
13863.93/1735.87	c  N st    53    357406    322359    248141    447986     60198   2248972   2783853   no data   no data
13863.93/1735.88	c  S st    53    357406    322359    248141    447986     60198   2248972   2783853   no data   no data
13900.65/1740.49	c  S st    53    357911    319966    248141    448822     60678   2248972   2816725   no data   no data
13904.65/1740.99	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:   3928 locsubst:    26 time:   0.50
14064.51/1760.99	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:   37 Bins:   1919 BRemL:      0 BRemN:      0 P: 200.4M T: 20.00
14070.11/1761.61	c Replacing     5355 vars Replaced    83237 lits Time:     0.49 s 
14072.52/1761.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
14073.32/1762.02	c bin-w-bin subsume rem        10382 bins  time:  0.09 s
14076.51/1762.40	c subs with bin:     3429  lits-rem:      3096  v-fix:    0  time:  0.38 s
14206.05/1778.67	c Subs w/ non-existent bins:    138 l-rem:    393 v-fix:     8 done:  24270 time: 16.27 s
14210.00/1779.19	c Removed useless bin:    2664  fixed:    28  props:  20.00M  time:  0.51 s
14216.40/1780.00	c lits-rem:       969  cl-subs:     1718  v-elim:   2615  v-fix:    1  time:  0.81 s
14219.60/1780.30	c Replacing       46 vars Replaced      414 lits Time:     0.29 s 
14233.98/1782.10	c subs with bin:      261  lits-rem:      4239  v-fix:    0  time:  1.48 s
14245.17/1783.50	c lits-rem:      1124  cl-subs:     1109  v-elim:      0  v-fix:    0  time:  1.29 s
14251.56/1784.32	c asymm  cl-useful: 238/620/234176 lits-rem:567 time: 0.82
14252.36/1784.42	c calculated reachability. Time: 0.02
14252.36/1784.47	c  N st    53    357911    308042    234154    414005     51317   2135602   2108119   no data   no data
14254.77/1784.73	c Finding binary XORs  T:     0.26 s  found:     214
14854.28/1859.79	c Finding binary XORs  T:     0.26 s  found:    4883
14856.73/1860.08	c Replacing     5175 vars Replaced    85670 lits Time:     0.28 s 
14927.89/1868.94	c  N st    54    390303    297397    224309    393829     43600   2037604   1423261   no data   no data
16480.99/2063.27	c  N st    55    438891    297397    224309    393999     71030   2037603   7618953   no data   no data
16484.98/2063.79	c Finding binary XORs  T:     0.26 s  found:    4399
16488.17/2064.14	c Replacing     5026 vars Replaced    61037 lits Time:     0.34 s 
18060.47/2260.88	c Finding binary XORs  T:     0.27 s  found:   13224
18063.67/2261.26	c Replacing    13509 vars Replaced   236479 lits Time:     0.36 s 
18293.89/2290.04	c  N st    56    511773    255504    208289    351778     74079   1808343   4050696   no data   no data
18847.86/2359.34	c  N st    57    536867    255392    208289    353520     70673   1808342   3876823   no data   no data
18847.86/2359.35	c  S st    57    536867    255392    208289    353520     70673   1808342   3876823   no data   no data
18872.64/2362.45	c  S st    57    537370    255389    208289    353541     71149   1808342   3904017   no data   no data
18875.89/2362.88	c x-sub:   222 x-cut:      0 vfix:      0 v-elim:  16436 locsubst:   938 time:   0.43
19031.71/2382.35	c Flit:    17 Blit:    159 bXBeca:    0 bXProp:  108 Bins:   1846 BRemL:      2 BRemN:      1 P: 200.0M T: 19.47
19031.71/2382.39	c Cleaning up after failed var search:     0.00 s 
19035.70/2382.88	c Replacing      383 vars Replaced    16949 lits Time:     0.43 s 
19038.10/2383.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
19038.90/2383.21	c bin-w-bin subsume rem        14453 bins  time:  0.08 s
19041.30/2383.50	c subs with bin:     6540  lits-rem:      5074  v-fix:    0  time:  0.29 s
19166.79/2399.21	c Subs w/ non-existent bins:    296 l-rem:    444 v-fix:    66 done:  34565 time: 15.71 s
19170.00/2399.67	c Removed useless bin:    1716  fixed:    70  props:  20.00M  time:  0.45 s
19177.19/2400.57	c lits-rem:      1429  cl-subs:     4026  v-elim:   6295  v-fix:    2  time:  0.90 s
19179.59/2400.86	c Replacing       26 vars Replaced      226 lits Time:     0.26 s 
19203.56/2403.81	c subs with bin:      524  lits-rem:     16067  v-fix:    0  time:  2.50 s
19225.95/2406.64	c lits-rem:      2113  cl-subs:     1601  v-elim:      0  v-fix:    0  time:  2.73 s
19233.14/2407.59	c asymm  cl-useful: 880/1862/187487 lits-rem:1861 time: 0.96
19233.94/2407.68	c calculated reachability. Time: 0.02
19234.74/2407.72	c  N st    57    537370    231985    187315    322221     63369   1654060   3123136   no data   no data
19236.39/2407.93	c Finding binary XORs  T:     0.21 s  found:     133
19448.17/2434.42	c Replacing     4684 vars Replaced    69968 lits Time:     0.25 s 
20002.13/2503.79	c Finding binary XORs  T:     0.21 s  found:     464
22810.30/2855.07	c  N st    58    701355    221867    177990    310340     84493   1562253   5405231   no data   no data
22814.35/2855.52	c Finding binary XORs  T:     0.22 s  found:    3516
22817.49/2855.90	c Replacing     4007 vars Replaced   105177 lits Time:     0.37 s 
24602.47/3079.28	c Finding binary XORs  T:     0.21 s  found:    2272
24604.87/3079.58	c Replacing     2520 vars Replaced   104660 lits Time:     0.29 s 
25129.25/3145.15	c  N st    59    806056    209229    168076    299099     91147   1459975   3789225   no data   no data
25129.25/3145.15	c  S st    59    806056    209229    168076    299099     91147   1459975   3789225   no data   no data
25133.25/3145.61	c Finding binary XORs  T:     0.21 s  found:    5945
25136.50/3146.02	c Replacing    16541 vars Replaced   243512 lits Time:     0.34 s 
25157.23/3148.68	c  S st    59    806562    175005    154271    272570     67211   1268263   2722609   no data   no data
25160.43/3149.02	c x-sub:   748 x-cut:      0 vfix:      0 v-elim:  17845 locsubst:   496 time:   0.34
25319.51/3168.97	c Flit:    32 Blit:    274 bXBeca:    0 bXProp:  216 Bins:  20778 BRemL:     20 BRemN:      3 P: 200.3M T: 19.95
25319.51/3169.00	c Cleaning up after failed var search:     0.00 s 
25323.50/3169.41	c Replacing     1075 vars Replaced    57866 lits Time:     0.37 s 
25324.30/3169.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
25325.10/3169.66	c bin-w-bin subsume rem        17127 bins  time:  0.07 s
25326.70/3169.88	c subs with bin:     7363  lits-rem:      4379  v-fix:    0  time:  0.22 s
25404.23/3179.59	c Subs w/ non-existent bins:    608 l-rem:   1597 v-fix:    73 done:  60630 time:  9.70 s
25408.28/3180.04	c Removed useless bin:    3158  fixed:    95  props:  20.00M  time:  0.45 s
25413.82/3180.76	c lits-rem:       998  cl-subs:     3768  v-elim:   7456  v-fix:    5  time:  0.71 s
25415.42/3180.98	c Replacing       49 vars Replaced      835 lits Time:     0.21 s 
25431.41/3182.91	c subs with bin:     1271  lits-rem:     27482  v-fix:    0  time:  1.63 s
25439.40/3183.92	c lits-rem:      1424  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  0.94 s
25446.60/3184.81	c asymm  cl-useful: 328/915/130331 lits-rem:585 time: 0.89
25446.60/3184.87	c calculated reachability. Time: 0.01
25446.60/3184.90	c  N st    59    806562    147663    130277    246702     54812   1081162   1945002   no data   no data
25448.19/3185.06	c Finding binary XORs  T:     0.17 s  found:     117
27180.41/3401.79	c Finding binary XORs  T:     0.17 s  found:    1233
28153.24/3523.44	c Finding binary XORs  T:     0.17 s  found:     774
28155.64/3523.76	c Replacing     2487 vars Replaced    68692 lits Time:     0.31 s 
29938.23/3746.73	c Finding binary XORs  T:     0.17 s  found:    1995
29940.63/3747.02	c Replacing     2112 vars Replaced    71806 lits Time:     0.28 s 
29963.06/3749.80	c Replacing     2151 vars Replaced    56871 lits Time:     0.21 s 
30128.49/3770.57	c Following stats are for *FIRST FINISHED THREAD ONLY*
30128.49/3770.57	c num threads              : 8          
30128.49/3770.57	c restarts                 : 59         
30128.49/3770.57	c dynamic restarts         : 0          
30128.49/3770.57	c static restarts          : 59         
30128.49/3770.57	c full restarts            : 3          
30128.49/3770.57	c total simplify time      : 20.81      
30128.49/3770.57	c learnts DL2              : 0          
30128.49/3770.57	c learnts size 2           : 2534678    
30128.49/3770.57	c learnts size 1           : 178643      (18.14     % of vars)
30128.49/3770.57	c filedLit time            : 208.20      (5.56      % time)
30128.49/3770.57	c v-elim SatELite          : 472891      (48.01     % vars)
30128.49/3770.57	c SatELite time            : 219.19      (5.85      % time)
30128.49/3770.57	c v-elim xor               : 33524       (3.40      % vars)
30128.49/3770.57	c xor elim time            : 3.84        (0.10      % time)
30128.49/3770.57	c num binary xor trees     : 40393      
30128.49/3770.57	c binxor trees' crown      : 148466      (3.68      leafs/tree)
30128.49/3770.57	c bin xor find time        : 8.48       
30128.49/3770.57	c OTF clause improved      : 16752       (0.02      clauses/conflict)
30128.49/3770.57	c OTF impr. size diff      : 26456       (1.58       lits/clause)
30128.49/3770.57	c OTF cl watch-shrink      : 612573      (0.58      clauses/conflict)
30128.49/3770.57	c OTF cl watch-sh-lit      : 2233533     (3.65       lits/clause)
30128.49/3770.57	c tried to recurMin cls    : 0           (0.00       % of conflicts)
30128.49/3770.57	c updated cache            : 0           (nan        lits/tried recurMin)
30128.49/3770.57	c unit cls recevied        : 6812        (3.81      % of units)
30128.49/3770.57	c unit cls sent            : 15188       (8.50      % of units)
30128.49/3770.57	c bin cls recevied         : 744475     
30128.49/3770.57	c bin cls sent             : 247908     
30128.49/3770.57	c clauses over max glue    : 0           (0.00      % of all clauses)
30128.49/3770.57	c conflicts                : 1063137     (283.98    / sec)
30128.49/3770.57	c decisions                : 3606975     (1.00      % random)
30128.49/3770.57	c bogo-props               : 75693879723 (20218781.82 / sec)
30128.49/3770.57	c conflict literals        : 114410597   (41.38     % deleted)
30128.49/3770.57	c Memory used              : 10398.63    MB
30128.49/3770.57	c single-thread CPU time   : 3743.74     s
30128.49/3770.57	c all-threads sum CPU time : 30055.74    s
30128.49/3770.57	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: 935)

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-3321239-1304332772/watcher-3321239-1304332772 -o /tmp/evaluation-result-3321239-1304332772/solver-3321239-1304332772 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321239-1304332772.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.25 1.63 3.14 1/202 25945
/proc/meminfo: memFree=17949520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=92188 CPUtime=0.01 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255980 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 23047 352 299 106 0 18018 0
[pid=25945/tid=25946] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255980 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255980 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=92188 CPUtime=0 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544876457 94400512 352 33554432000 4194304 4627427 140735472413024 18446744073709551615 47037383255986 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.085781 s]
/proc/loadavg: 4.25 1.63 3.14 1/202 25945
/proc/meminfo: memFree=17949520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=457248 CPUtime=0.42 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) D 25943 25945 25883 0 -1 4202496 49397 0 0 0 29 13 0 0 17 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 114312 39097 337 106 0 109283 0
[pid=25945/tid=25946] ppid=25943 vsize=457248 CPUtime=0.03 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 1019 0 0 0 3 0 0 0 22 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=457248 CPUtime=0.05 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 8392 0 0 0 3 2 0 0 18 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594924458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=457248 CPUtime=0.04 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 6189 0 0 0 3 1 0 0 17 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=457248 CPUtime=0.04 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 7434 0 0 0 3 1 0 0 18 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=457248 CPUtime=0.05 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 7236 0 0 0 4 1 0 0 18 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4358525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=457248 CPUtime=0.05 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 5766 0 0 0 4 1 0 0 17 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=457248 CPUtime=0.03 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 6915 0 0 0 1 2 0 0 18 0 8 0 544876457 468221952 39097 33554432000 4194304 4627427 140735472413024 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 457248

[startup+0.102141 s]
/proc/loadavg: 4.25 1.63 3.14 1/202 25945
/proc/meminfo: memFree=17949520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=476620 CPUtime=0.51 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) D 25943 25945 25883 0 -1 4202496 64263 0 0 0 33 18 0 0 17 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 119155 50810 337 106 0 114126 0
[pid=25945/tid=25946] ppid=25943 vsize=476620 CPUtime=0.03 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 1347 0 0 0 3 0 0 0 22 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 4 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=476620 CPUtime=0.06 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 10760 0 0 0 4 2 0 0 18 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=476620 CPUtime=0.05 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 7938 0 0 0 3 2 0 0 17 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594563673 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=476620 CPUtime=0.06 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 9585 0 0 0 4 2 0 0 18 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=476620 CPUtime=0.07 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 9446 0 0 0 5 2 0 0 18 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594563673 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=476620 CPUtime=0.07 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 8330 0 0 0 5 2 0 0 17 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594924458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=476620 CPUtime=0.05 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) D 25943 25945 25883 0 -1 4202560 8767 0 0 0 2 3 0 0 18 0 8 0 544876457 488058880 50810 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 476620

[startup+0.30362 s]
/proc/loadavg: 4.25 1.63 3.14 1/202 25945
/proc/meminfo: memFree=17949520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=1176624 CPUtime=1.69 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 254854 0 0 0 102 67 0 0 17 0 8 0 544876457 1204862976 195702 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594564033 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 294156 195758 337 106 0 289127 0
[pid=25945/tid=25946] ppid=25943 vsize=1176624 CPUtime=0.04 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2458 0 0 0 4 0 0 0 22 0 8 0 544876457 1204862976 195782 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=1176624 CPUtime=0.23 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 38217 0 0 0 13 10 0 0 18 0 8 0 544876457 1204862976 195814 33554432000 4194304 4627427 140735472413024 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=1176624 CPUtime=0.19 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 30585 0 0 0 12 7 0 0 17 0 8 0 544876457 1204862976 195848 33554432000 4194304 4627427 140735472413024 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=1176624 CPUtime=0.23 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 38904 0 0 0 14 9 0 0 18 0 8 0 544876457 1204862976 195878 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=1176624 CPUtime=0.24 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 37450 0 0 0 14 10 0 0 17 0 8 0 544876457 1204862976 195908 33554432000 4194304 4627427 140735472413024 18446744073709551615 4313601 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=1176624 CPUtime=0.24 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 34107 0 0 0 16 8 0 0 18 0 8 0 544876457 1204862976 195945 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=1176624 CPUtime=0.21 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 36671 0 0 0 11 10 0 0 18 0 8 0 544876457 1204862976 195973 33554432000 4194304 4627427 140735472413024 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 1176624

[startup+0.700548 s]
/proc/loadavg: 4.25 1.63 3.14 1/202 25945
/proc/meminfo: memFree=17949520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=2536528 CPUtime=4.32 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 627113 0 0 0 269 163 0 0 18 0 8 0 544876457 2597404672 506496 33554432000 4194304 4627427 140735472413024 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 634132 506505 341 106 0 629103 0
[pid=25945/tid=25946] ppid=25943 vsize=2536528 CPUtime=0.29 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 35181 0 0 0 23 6 0 0 21 0 8 0 544876457 2597404672 506510 33554432000 4194304 4627427 140735472413024 18446744073709551615 4313459 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=2536528 CPUtime=0.55 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 84683 0 0 0 33 22 0 0 17 0 8 0 544876457 2597404672 506516 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=2536528 CPUtime=0.53 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 77349 0 0 0 32 21 0 0 17 0 8 0 544876457 2597404672 506518 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=2536528 CPUtime=0.6 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 81516 0 0 0 38 22 0 0 18 0 8 0 544876457 2597404672 506523 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=2536528 CPUtime=0.59 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 84867 0 0 0 37 22 0 0 17 0 8 0 544876457 2597404672 506529 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=2536528 CPUtime=0.58 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 84787 0 0 0 36 22 0 0 17 0 8 0 544876457 2597404672 506534 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594909879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=2536528 CPUtime=0.53 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 86554 0 0 0 31 22 0 0 17 0 8 0 544876457 2597404672 506538 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594533850 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 2536528

[startup+1.50041 s]
/proc/loadavg: 4.25 1.63 3.14 2/210 25953
/proc/meminfo: memFree=15741264/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=2991844 CPUtime=9.68 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) S 25943 25945 25883 0 -1 4202496 710126 0 0 0 712 256 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 747961 580759 341 106 0 742932 0
[pid=25945/tid=25946] ppid=25943 vsize=2991844 CPUtime=0.99 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 82797 0 0 0 77 22 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=2991844 CPUtime=1.23 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 88252 0 0 0 90 33 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594526150 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=2991844 CPUtime=1.2 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 80746 0 0 0 87 33 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=2991844 CPUtime=1.28 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 88443 0 0 0 97 31 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=2991844 CPUtime=1.24 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 89679 0 0 0 89 35 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 1 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=2991844 CPUtime=1.25 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 90945 0 0 0 95 30 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=2991844 CPUtime=1.19 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) S 25943 25945 25883 0 -1 4202560 90224 0 0 0 86 33 0 0 17 0 8 0 544876457 3063648256 580759 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 18446604453816750464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 2991844

[startup+3.10113 s]
/proc/loadavg: 4.25 1.63 3.14 9/210 25953
/proc/meminfo: memFree=15479520/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=3465468 CPUtime=19.28 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 799147 0 0 0 1444 484 0 0 16 0 8 0 544876457 3548639232 669780 33554432000 4194304 4627427 140735472413024 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 866367 669780 341 106 0 861338 0
[pid=25945/tid=25946] ppid=25943 vsize=3465468 CPUtime=2.01 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 92730 0 0 0 158 43 0 0 17 0 8 0 544876457 3548639232 669783 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=3465468 CPUtime=2.46 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 99001 0 0 0 186 60 0 0 17 0 8 0 544876457 3548639232 669783 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=3465468 CPUtime=2.55 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 92288 0 0 0 185 70 0 0 16 0 8 0 544876457 3548639232 669784 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=3465468 CPUtime=2.11 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 96771 0 0 0 164 47 0 0 17 0 8 0 544876457 3548639232 669785 33554432000 4194304 4627427 140735472413024 18446744073709551615 4302658 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=3465468 CPUtime=2.47 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 102147 0 0 0 181 66 0 0 16 0 8 0 544876457 3548639232 669788 33554432000 4194304 4627427 140735472413024 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=3465468 CPUtime=2.61 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 102280 0 0 0 202 59 0 0 16 0 8 0 544876457 3548639232 669789 33554432000 4194304 4627427 140735472413024 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=3465468 CPUtime=2.44 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 101928 0 0 0 179 65 0 0 16 0 8 0 544876457 3548639232 669789 33554432000 4194304 4627427 140735472413024 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 3465468

[startup+6.30057 s]
/proc/loadavg: 4.55 1.73 3.17 9/210 25953
/proc/meminfo: memFree=14814024/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=3926692 CPUtime=41.99 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 945331 0 0 0 3230 969 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 981673 815956 363 106 0 976644 0
[pid=25945/tid=25946] ppid=25943 vsize=3926692 CPUtime=4.83 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 113050 0 0 0 378 105 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=3926692 CPUtime=5.32 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 116151 0 0 0 408 124 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=3926692 CPUtime=5.36 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 110655 0 0 0 400 136 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=3926692 CPUtime=5.05 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 115126 0 0 0 412 93 0 0 18 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=3926692 CPUtime=5.3 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 120354 0 0 0 400 130 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=3926692 CPUtime=5.5 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 119152 0 0 0 443 107 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=3926692 CPUtime=5.27 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 119887 0 0 0 393 134 0 0 16 0 8 0 544876457 4020932608 815956 33554432000 4194304 4627427 140735472413024 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 5 0 0 0

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

[pid=25945/tid=25950] ppid=25943 vsize=11020744 CPUtime=3640.95 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5019203 0 0 0 362949 1146 0 0 25 0 8 0 544876457 11285241856 2357913 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=11020744 CPUtime=3641.17 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3548949 0 0 0 363265 852 0 0 25 0 8 0 544876457 11285241856 2357913 33554432000 4194304 4627427 140735472413024 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=11020744 CPUtime=3639.31 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6163163 0 0 0 362763 1168 0 0 25 0 8 0 544876457 11285241856 2357913 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29103.7
Current children cumulated vsize (KiB) 11020744

[startup+3702.3 s]
/proc/loadavg: 8.08 8.05 7.93 9/210 26064
/proc/meminfo: memFree=8582744/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10894960 CPUtime=29583.3 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35325362 0 0 0 2951006 7325 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2723740 2337455 391 106 0 2718711 0
[pid=25945/tid=25946] ppid=25943 vsize=10894960 CPUtime=3683.25 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738680 0 0 0 367590 735 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10894960 CPUtime=3701.06 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3551164 0 0 0 369381 725 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10894960 CPUtime=3700.61 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2990538 0 0 0 369456 605 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10894960 CPUtime=3696.64 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4466391 0 0 0 368845 819 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4515526 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10894960 CPUtime=3700.95 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021254 0 0 0 368947 1148 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10894960 CPUtime=3701.17 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3557016 0 0 0 369262 855 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10894960 CPUtime=3699.3 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6170979 0 0 0 368760 1170 0 0 25 0 8 0 544876457 11156439040 2337455 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29583.3
Current children cumulated vsize (KiB) 10894960

[startup+3762.3 s]
/proc/loadavg: 8.09 8.06 7.93 9/210 26065
/proc/meminfo: memFree=8561272/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10648196 CPUtime=30062.9 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35339227 0 0 0 2998959 7335 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2662049 2342549 391 106 0 2657020 0
[pid=25945/tid=25946] ppid=25943 vsize=10648196 CPUtime=3742.86 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738947 0 0 0 373551 735 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10648196 CPUtime=3761.06 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3551796 0 0 0 375381 725 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10648196 CPUtime=3760.61 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2992775 0 0 0 375454 607 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10648196 CPUtime=3756.64 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4471986 0 0 0 374844 820 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10648196 CPUtime=3760.95 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021460 0 0 0 374947 1148 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10648196 CPUtime=3761.18 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3560434 0 0 0 375259 859 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4254317 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10648196 CPUtime=3759.31 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6172488 0 0 0 374759 1172 0 0 25 0 8 0 544876457 10903752704 2342549 33554432000 4194304 4627427 140735472413024 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30062.9
Current children cumulated vsize (KiB) 10648196

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

[startup+3763.11 s]
/proc/loadavg: 8.09 8.06 7.93 9/210 26065
/proc/meminfo: memFree=8561024/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10648196 CPUtime=30069.4 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35339281 0 0 0 2999603 7335 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2662049 2342603 391 106 0 2657020 0
[pid=25945/tid=25946] ppid=25943 vsize=10648196 CPUtime=3743.66 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738947 0 0 0 373631 735 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10648196 CPUtime=3761.86 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3551813 0 0 0 375461 725 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10648196 CPUtime=3761.42 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2992775 0 0 0 375535 607 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10648196 CPUtime=3757.45 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4472003 0 0 0 374925 820 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10648196 CPUtime=3761.76 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021460 0 0 0 375028 1148 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10648196 CPUtime=3761.98 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3560434 0 0 0 375339 859 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4254317 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10648196 CPUtime=3760.12 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6172508 0 0 0 374840 1172 0 0 25 0 8 0 544876457 10903752704 2342603 33554432000 4194304 4627427 140735472413024 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30069.4
Current children cumulated vsize (KiB) 10648196

[startup+3766.3 s]
/proc/loadavg: 8.08 8.06 7.93 9/210 26065
/proc/meminfo: memFree=8559656/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10648196 CPUtime=30095 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35339595 0 0 0 3002161 7335 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4299718 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2662049 2342917 391 106 0 2657020 0
[pid=25945/tid=25946] ppid=25943 vsize=10648196 CPUtime=3746.84 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738947 0 0 0 373949 735 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10648196 CPUtime=3765.07 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3551896 0 0 0 375781 726 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10648196 CPUtime=3764.62 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2992775 0 0 0 375855 607 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10648196 CPUtime=3760.65 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4472079 0 0 0 375245 820 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10648196 CPUtime=3764.96 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021460 0 0 0 375348 1148 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10648196 CPUtime=3765.18 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3560515 0 0 0 375659 859 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10648196 CPUtime=3763.31 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6172582 0 0 0 375159 1172 0 0 25 0 8 0 544876457 10903752704 2342917 33554432000 4194304 4627427 140735472413024 18446744073709551615 4332840 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30095
Current children cumulated vsize (KiB) 10648196

[startup+3769.5 s]
/proc/loadavg: 8.08 8.06 7.93 9/210 26065
/proc/meminfo: memFree=8558912/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10648196 CPUtime=30120.5 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35339939 0 0 0 3004714 7335 0 0 25 0 8 0 544876457 10903752704 2343261 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2662049 2343261 391 106 0 2657020 0
[pid=25945/tid=25946] ppid=25943 vsize=10648196 CPUtime=3750.02 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738947 0 0 0 374267 735 0 0 25 0 8 0 544876457 10903752704 2343261 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10648196 CPUtime=3768.27 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3551978 0 0 0 376101 726 0 0 25 0 8 0 544876457 10903752704 2343261 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10648196 CPUtime=3767.81 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2992775 0 0 0 376174 607 0 0 25 0 8 0 544876457 10903752704 2343261 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10648196 CPUtime=3763.84 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4472152 0 0 0 375564 820 0 0 25 0 8 0 544876457 10903752704 2343262 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10648196 CPUtime=3768.15 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021460 0 0 0 375667 1148 0 0 25 0 8 0 544876457 10903752704 2343262 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10648196 CPUtime=3768.38 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3560612 0 0 0 375979 859 0 0 25 0 8 0 544876457 10903752704 2343262 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10648196 CPUtime=3766.51 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6172675 0 0 0 375479 1172 0 0 25 0 8 0 544876457 10903752704 2343262 33554432000 4194304 4627427 140735472413024 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30120.5
Current children cumulated vsize (KiB) 10648196

[startup+3770.3 s]
/proc/loadavg: 8.08 8.06 7.93 9/210 26066
/proc/meminfo: memFree=8558416/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=10648196 CPUtime=30126.9 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) R 25943 25945 25883 0 -1 4202496 35340026 0 0 0 3005354 7335 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 2662049 2343348 391 106 0 2657020 0
[pid=25945/tid=25946] ppid=25943 vsize=10648196 CPUtime=3750.81 cores=0-7
/proc/25945/task/25946/stat : 25946 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3738947 0 0 0 374346 735 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25945/tid=25947] ppid=25943 vsize=10648196 CPUtime=3769.07 cores=0-7
/proc/25945/task/25947/stat : 25947 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3552006 0 0 0 376181 726 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25945/tid=25948] ppid=25943 vsize=10648196 CPUtime=3768.61 cores=0-7
/proc/25945/task/25948/stat : 25948 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 2992775 0 0 0 376254 607 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25945/tid=25949] ppid=25943 vsize=10648196 CPUtime=3764.64 cores=0-7
/proc/25945/task/25949/stat : 25949 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 4472169 0 0 0 375644 820 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25945/tid=25950] ppid=25943 vsize=10648196 CPUtime=3768.95 cores=0-7
/proc/25945/task/25950/stat : 25950 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 5021460 0 0 0 375747 1148 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4299718 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25945/tid=25951] ppid=25943 vsize=10648196 CPUtime=3769.18 cores=0-7
/proc/25945/task/25951/stat : 25951 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 3560634 0 0 0 376059 859 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=10648196 CPUtime=3767.31 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4202560 6172694 0 0 0 375559 1172 0 0 25 0 8 0 544876457 10903752704 2343348 33554432000 4194304 4627427 140735472413024 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30126.9
Current children cumulated vsize (KiB) 10648196

[startup+3770.7 s]
/proc/loadavg: 8.08 8.06 7.93 2/204 26066
/proc/meminfo: memFree=11146420/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=0 CPUtime=30129.2 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) Z 25943 25945 25883 0 -1 4203548 35340056 0 0 0 3005574 7348 0 0 25 0 2 0 544876457 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 0 0 0 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=0 CPUtime=3767.71 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4203588 6172700 0 0 0 375586 1185 0 0 25 0 2 0 544876457 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30129.2
Current children cumulated vsize (KiB) 0

[startup+3770.9 s]
/proc/loadavg: 8.08 8.06 7.93 2/204 26066
/proc/meminfo: memFree=11146420/32950928 swapFree=67111404/67111528
[pid=25945] ppid=25943 vsize=0 CPUtime=30129.4 cores=0-7
/proc/25945/stat : 25945 (strangenight2-m) Z 25943 25945 25883 0 -1 4203548 35340056 0 0 0 3005574 7368 0 0 25 0 2 0 544876457 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25945/statm: 0 0 0 0 0 0 0
[pid=25945/tid=25952] ppid=25943 vsize=0 CPUtime=3767.9 cores=0-7
/proc/25945/task/25952/stat : 25952 (strangenight2-m) R 25943 25945 25883 0 -1 4203588 6172700 0 0 0 375586 1204 0 0 25 0 2 0 544876457 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30129.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 3770.98
CPU time (s): 30129.5
CPU user time (s): 30055.7
CPU system time (s): 73.7558
CPU usage (%): 798.984
Max. virtual memory (cumulated for all children) (KiB): 11257872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30055.7
system time used= 73.7558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35340056
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= 976970
involuntary context switches= 151735

runsolver used 6.37103 second user time and 17.9013 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-02 12:39:37
IDJOB=3321239
IDBENCH=84238
IDSOLVER=1709
FILE ID=node120/3321239-1304332772
RUNJOBID= node120-1304332713-25897
PBS_JOBID= 13177728
Free space on /tmp= 73716 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321239-1304332772/watcher-3321239-1304332772 -o /tmp/evaluation-result-3321239-1304332772/solver-3321239-1304332772 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321239-1304332772.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=2038667517

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17950048 kB
Buffers:        590048 kB
Cached:        1450096 kB
SwapCached:          8 kB
Active:       13486392 kB
Inactive:      1112200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17950048 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           69348 kB
Writeback:           0 kB
AnonPages:    12558668 kB
Mapped:          18200 kB
Slab:           310016 kB
PageTables:      30448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13429316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73708 MiB
End job on node120 at 2011-05-02 13:42:28