Trace number 3289702

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? (TO) 4800.41 1201.77

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
MD5SUMa6df2ce216327c64a0156683acb72fc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32733
Number of clauses109177
Sum of the clauses size278009
Maximum clause length1080
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256533
Number of clauses of size 352066
Number of clauses of size 4152
Number of clauses of size 515
Number of clauses of size over 5410

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3289702-1304117877.cnf'
0.00/0.00	c -- header says num vars:          32733
0.00/0.00	c -- header says num clauses:      109177
0.04/0.05	c -- clauses added:            0 learnts,       109177 normals,            0 xors
0.04/0.05	c -- vars added      32733
0.04/0.05	c Parsing time:  0.04 s
0.04/0.05	c  N st     0         0     32733     51834     50731         0    262491         0   no data   no data
3.17/0.87	c asymm  cl-useful: 8/43842/51834 lits-rem:89 time: 0.81
10.35/2.61	c Flit:    71 Blit:   2980 bXBeca:    0 bXProp: 5339 Bins:      0 BRemL:      0 BRemN:      0 P: 32.7M T:  1.71
10.35/2.61	c Cleaning up after failed var search:     0.00 s 
10.35/2.63	c Replacing     5339 vars Replaced   146931 lits Time:     0.01 s 
10.35/2.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.35/2.65	c bin-w-bin subsume rem          701 bins  time:  0.00 s
10.35/2.66	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
10.35/2.68	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  22743 time:  0.02 s
10.75/2.70	c Removed useless bin:      42  fixed:     0  props:   3.28M  time:  0.02 s
11.15/2.80	c lits-rem:         0  cl-subs:      210  v-elim:   7581  v-fix:    0  time:  0.09 s
11.15/2.85	c Finding binary XORs  T:     0.05 s  found:      17
11.15/2.85	c Replacing       17 vars Replaced      212 lits Time:     0.00 s 
11.15/2.89	c Finding non-binary XORs:     0.02 s (found:    7191, avg size: 3.0)
11.15/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1151 locsubst:  4592 time:   0.01
11.15/2.89	c Replacing     2296 vars Replaced    13776 lits Time:     0.01 s 
11.55/2.90	c calculated reachability. Time: 0.00
11.55/2.90	c Calc default polars -  time:   0.00 s pos:    1544 undec:   21077 neg:   10112
11.55/2.90	c =========================================================================================
11.55/2.90	c types(t): F = full restart, N = normal restart
11.55/2.90	c types(t): S = simplification begin/end, E = solution found
11.55/2.90	c restart types(rt): st = static, dy = dynamic
11.55/2.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.55/2.90	c  B st     0         0     11698     19122     15531         0    126043         0   no data   no data
11.95/3.05	c Decided on static restart strategy
13.17/3.34	c  N st     8      4916     11698     19122     15582      4685    126043    180261   no data   no data
16.75/4.25	c  N st    10     11301     11682     19122     15661      6791    126043    300239   no data   no data
19.94/5.08	c  N st    11     17047     11679     19122     15711     12395    126043    475766   no data   no data
25.95/6.56	c  F st    12     25001     11676     19122     16101     13632    126043   1205841   no data   no data
25.95/6.58	c  N st    12     25001     11676     19120     15849     13618    125514   1205476   no data   no data
26.35/6.62	c Finding binary XORs  T:     0.03 s  found:       1
29.52/7.43	c Decided on static restart strategy
29.52/7.43	c  N st    18     30000     11672     19119     15965     10095    125462    389210   no data   no data
29.52/7.43	c  S st    18     30000     11672     19119     15965     10095    125462    389210   no data   no data
29.92/7.55	c  S st    18     30505     11670     19119     16040     10521    125462    396778   no data   no data
29.92/7.56	c x-sub:  2296 x-cut:      0 vfix:      0 v-elim:    576 locsubst:     0 time:   0.01
32.72/8.22	c Flit:    72 Blit:      2 bXBeca:    0 bXProp:    7 Bins: 155508 BRemL:  72992 BRemN:      8 P:  9.9M T:  0.66
32.72/8.23	c Replacing        9 vars Replaced      806 lits Time:     0.01 s 
32.72/8.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.72/8.25	c bin-w-bin subsume rem          275 bins  time:  0.01 s
32.72/8.26	c subs with bin:      685  lits-rem:       559  v-fix:    0  time:  0.01 s
32.72/8.29	c Subs w/ non-existent bins:      0 l-rem:      7 v-fix:     0 done:  11012 time:  0.02 s
32.72/8.29	c Removed useless bin:      54  fixed:     0  props:   0.37M  time:  0.01 s
33.11/8.33	c lits-rem:       241  cl-subs:      207  v-elim:   1760  v-fix:    0  time:  0.04 s
33.11/8.35	c subs with bin:       75  lits-rem:       284  v-fix:    0  time:  0.02 s
33.11/8.37	c lits-rem:       152  cl-subs:      207  v-elim:      0  v-fix:    0  time:  0.01 s
33.92/8.59	c asymm  cl-useful: 193/18730/18730 lits-rem:854 time: 0.22
34.32/8.60	c calculated reachability. Time: 0.00
34.32/8.60	c  N st    18     30505      9252     18730     82737      3603    110867    209854   no data   no data
34.32/8.64	c Finding binary XORs  T:     0.04 s  found:       0
38.31/9.69	c  N st    20     37617      9251     18730     82777     10664    110867    844510   no data   no data
43.11/10.86	c  N st    21     44016      9245     18730     82777     10231    110867    606355   no data   no data
43.52/10.93	c Finding binary XORs  T:     0.03 s  found:       1
44.70/11.21	c  S st    22     45757      9245     18723    137379     11940    110528    809285   no data   no data
45.10/11.32	c  S st    22     46259      9245     18723    137384     12434    110528    820442   no data   no data
45.10/11.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    288 locsubst:     0 time:   0.01
46.70/11.78	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   16 Bins:   3594 BRemL:  78026 BRemN:     75 P:  5.1M T:  0.45
46.70/11.79	c Replacing       17 vars Replaced      450 lits Time:     0.01 s 
47.10/11.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.10/11.80	c bin-w-bin subsume rem          312 bins  time:  0.00 s
47.10/11.81	c subs with bin:      111  lits-rem:        63  v-fix:    0  time:  0.01 s
47.10/11.82	c Subs w/ non-existent bins:      0 l-rem:     30 v-fix:     0 done:   8930 time:  0.01 s
47.10/11.82	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.00 s
47.10/11.84	c lits-rem:         3  cl-subs:       67  v-elim:     45  v-fix:    0  time:  0.01 s
47.10/11.89	c subs with bin:        1  lits-rem:       202  v-fix:    0  time:  0.05 s
47.50/11.93	c lits-rem:       167  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.03 s
47.50/11.93	c vivif2 --  cl tried    18518 cl shrink      127 lits rem        293 time: 0.00
47.50/11.94	c vivif2 --  cl tried     6616 cl shrink      375 lits rem       1548 time: 0.01
48.32/12.17	c asymm  cl-useful: 89/18494/18494 lits-rem:244 time: 0.23
48.32/12.17	c calculated reachability. Time: 0.00
48.32/12.17	c  N st    22     46259      8885     18494     45939      6615    108258    245837   no data   no data
61.50/15.46	c  N st    23     60657      8885     18494     45940     14147    108258   1402422   no data   no data
61.88/15.51	c Finding binary XORs  T:     0.03 s  found:      19
69.08/17.30	c  N st    24     69389      8872     18432     63506     12669    107729    946798   no data   no data
69.08/17.30	c  S st    24     69389      8872     18432     63506     12669    107729    946798   no data   no data
69.48/17.40	c  S st    24     69892      8871     18432     64847     13169    107728    965064   no data   no data
69.48/17.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    144 locsubst:     0 time:   0.01
70.67/17.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   89 Bins:   1454 BRemL:  10600 BRemN:      4 P:  5.8M T:  0.32
70.67/17.76	c Replacing      108 vars Replaced     4010 lits Time:     0.02 s 
70.67/17.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
70.67/17.77	c bin-w-bin subsume rem        11673 bins  time:  0.01 s
70.67/17.78	c subs with bin:      249  lits-rem:       177  v-fix:    0  time:  0.01 s
70.67/17.79	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:   8619 time:  0.01 s
70.67/17.80	c Removed useless bin:       5  fixed:     0  props:   0.24M  time:  0.00 s
71.07/17.82	c lits-rem:        21  cl-subs:      232  v-elim:     89  v-fix:    0  time:  0.02 s
71.86/18.07	c subs with bin:        0  lits-rem:      1013  v-fix:    0  time:  0.23 s
72.66/18.27	c lits-rem:       282  cl-subs:      229  v-elim:      0  v-fix:    0  time:  0.19 s
72.66/18.27	c vivif2 --  cl tried    17866 cl shrink       51 lits rem         70 time: 0.00
73.07/18.30	c vivif2 --  cl tried    11146 cl shrink     2164 lits rem      78228 time: 0.03
73.87/18.51	c asymm  cl-useful: 94/17866/17866 lits-rem:166 time: 0.21
73.87/18.52	c calculated reachability. Time: 0.00
73.87/18.52	c  N st    24     69892      8530     17860     39216     11146    105106    611852   no data   no data
73.87/18.56	c Finding binary XORs  T:     0.03 s  found:       0
87.05/21.82	c  F st    25     87501      8529     17859     38300     17184    105094   1043990   no data   no data
87.05/21.83	c  N st    25     87501      8529     17859     38300     17184    105094   1043990   no data   no data
90.65/22.79	c Decided on static restart strategy
92.64/23.24	c  N st    32     95546      8528     17859     38319     25121    105094   1647033   no data   no data
92.64/23.28	c Finding binary XORs  T:     0.03 s  found:       1
99.83/25.04	c  N st    34    104841      8526     17854     38630     21011    105017   1455727   no data   no data
99.83/25.04	c  S st    34    104841      8526     17854     38630     21011    105017   1455727   no data   no data
100.23/25.17	c  S st    34    105344      8521     17854     38892     21513    105017   1469684   no data   no data
100.23/25.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.42/25.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    178 BRemL:    604 BRemN:      5 P:  6.0M T:  0.31
101.82/25.51	c Replacing        3 vars Replaced      863 lits Time:     0.02 s 
101.82/25.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.82/25.52	c bin-w-bin subsume rem          380 bins  time:  0.00 s
101.82/25.52	c subs with bin:       22  lits-rem:        11  v-fix:    0  time:  0.01 s
101.82/25.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8518 time:  0.01 s
101.82/25.54	c Removed useless bin:       3  fixed:     0  props:   0.25M  time:  0.00 s
101.82/25.56	c lits-rem:         1  cl-subs:       81  v-elim:     31  v-fix:    0  time:  0.03 s
104.63/26.28	c subs with bin:        1  lits-rem:       962  v-fix:    0  time:  0.67 s
107.42/26.91	c lits-rem:       516  cl-subs:      321  v-elim:      0  v-fix:    0  time:  0.63 s
107.42/26.91	c vivif2 --  cl tried    17709 cl shrink        0 lits rem          0 time: 0.00
107.42/26.98	c vivif2 --  cl tried    20647 cl shrink     3813 lits rem      73763 time: 0.07
108.62/27.24	c asymm  cl-useful: 57/17709/17709 lits-rem:106 time: 0.25
108.62/27.24	c calculated reachability. Time: 0.00
108.62/27.24	c  N st    34    105344      8487     17698     33978     20647    104120   1310474   no data   no data
117.01/29.31	c  N st    35    114942      8487     17698     33978     15515    104120    646228   no data   no data
117.01/29.34	c Finding binary XORs  T:     0.03 s  found:       1
131.41/32.99	c  N st    36    129343      8479     17692     33818     29844    103876   2411736   no data   no data
152.16/38.14	c  N st    37    150938      8477     17692     33908     34845    103875   2261655   no data   no data
158.17/39.61	c  S st    38    158021      8475     17692     34037     24798    103875   1263642   no data   no data
158.55/39.75	c  S st    38    158521      8475     17692     34041     25293    103875   1276871   no data   no data
158.55/39.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
159.75/40.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:    653 BRemL:   1591 BRemN:      2 P:  6.7M T:  0.31
159.75/40.09	c Replacing       11 vars Replaced      286 lits Time:     0.02 s 
159.75/40.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
160.15/40.10	c bin-w-bin subsume rem          216 bins  time:  0.00 s
160.15/40.10	c subs with bin:       32  lits-rem:        46  v-fix:    0  time:  0.01 s
160.15/40.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8464 time:  0.01 s
160.15/40.12	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
160.15/40.15	c lits-rem:         0  cl-subs:       31  v-elim:      5  v-fix:    0  time:  0.03 s
161.74/40.58	c subs with bin:       20  lits-rem:       435  v-fix:    0  time:  0.40 s
164.54/41.26	c lits-rem:       730  cl-subs:      641  v-elim:      0  v-fix:    0  time:  0.67 s
164.54/41.26	c vivif2 --  cl tried    17613 cl shrink        0 lits rem          0 time: 0.00
164.94/41.33	c vivif2 --  cl tried    24445 cl shrink     5619 lits rem      43575 time: 0.07
166.14/41.61	c asymm  cl-useful: 39/17613/17613 lits-rem:71 time: 0.28
166.14/41.61	c calculated reachability. Time: 0.00
166.14/41.61	c  N st    38    158521      8459     17608     31806     24445    103383   1180883   no data   no data
166.14/41.64	c Finding binary XORs  T:     0.03 s  found:       1
206.50/51.72	c  N st    39    207109      8459     17608     31806     35008    103383   1930778   no data   no data
239.24/59.92	c  N st    40    237781      8459     17608     31847     23971    103383    980348   no data   no data
239.24/59.92	c  S st    40    237781      8459     17608     31847     23971    103383    980348   no data   no data
239.24/59.96	c Finding binary XORs  T:     0.03 s  found:       1
240.04/60.10	c  S st    40    238283      8455     17604     31982     24458    103326    991246   no data   no data
240.04/60.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
240.84/60.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     75 BRemL:    990 BRemN:      0 P:  5.9M T:  0.28
240.84/60.40	c Replacing        6 vars Replaced      157 lits Time:     0.01 s 
241.26/60.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.26/60.41	c bin-w-bin subsume rem          239 bins  time:  0.00 s
241.26/60.42	c subs with bin:       21  lits-rem:        35  v-fix:    0  time:  0.01 s
241.26/60.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8449 time:  0.01 s
241.26/60.43	c Removed useless bin:       1  fixed:     0  props:   0.25M  time:  0.00 s
241.26/60.46	c lits-rem:         2  cl-subs:       18  v-elim:      9  v-fix:    0  time:  0.02 s
242.83/60.86	c subs with bin:       15  lits-rem:        94  v-fix:    0  time:  0.38 s
244.03/61.14	c lits-rem:       340  cl-subs:      318  v-elim:      0  v-fix:    0  time:  0.27 s
244.03/61.14	c vivif2 --  cl tried    17569 cl shrink        0 lits rem          0 time: 0.00
244.03/61.18	c vivif2 --  cl tried    24045 cl shrink     1591 lits rem       9819 time: 0.04
245.23/61.46	c asymm  cl-useful: 25/17569/17569 lits-rem:58 time: 0.28
245.23/61.47	c calculated reachability. Time: 0.00
245.23/61.47	c  N st    40    238283      8440     17567     30483     24045    103168    961618   no data   no data
319.14/79.92	c  F st    41    306250      8440     17567     30483     45680    103168   2925330   no data   no data
319.14/79.93	c  N st    41    306250      8440     17567     30483     45680    103168   2925330   no data   no data
324.33/81.21	c Decided on static restart strategy
334.31/83.75	c Finding binary XORs  T:     0.03 s  found:       6
340.70/85.35	c  N st    51    334552      8436     17564     30197     49144    103071   2173892   no data   no data
363.47/91.05	c  N st    53    357425      8436     17564     30199     46709    103071   3618179   no data   no data
363.47/91.05	c  S st    53    357425      8436     17564     30199     46709    103071   3618179   no data   no data
364.29/91.27	c  S st    53    357926      8436     17564     30201     47208    103071   3633758   no data   no data
364.29/91.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
365.87/91.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    125 BRemL:    283 BRemN:      0 P:  8.4M T:  0.38
365.87/91.68	c Replacing       11 vars Replaced      982 lits Time:     0.02 s 
365.87/91.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
365.87/91.69	c bin-w-bin subsume rem           58 bins  time:  0.00 s
366.27/91.70	c subs with bin:       20  lits-rem:        13  v-fix:    0  time:  0.01 s
366.27/91.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8425 time:  0.01 s
366.27/91.71	c Removed useless bin:       3  fixed:     0  props:   0.26M  time:  0.00 s
366.27/91.76	c lits-rem:         2  cl-subs:       13  v-elim:      3  v-fix:    0  time:  0.05 s
373.08/93.46	c subs with bin:        4  lits-rem:       978  v-fix:    0  time:  1.58 s
382.27/95.79	c lits-rem:      4863  cl-subs:      945  v-elim:      0  v-fix:    0  time:  2.33 s
382.27/95.79	c vivif2 --  cl tried    17509 cl shrink        0 lits rem          0 time: 0.00
383.45/96.01	c vivif2 --  cl tried    45870 cl shrink    11581 lits rem     175602 time: 0.21
384.65/96.34	c asymm  cl-useful: 18/12434/17509 lits-rem:40 time: 0.33
384.65/96.35	c calculated reachability. Time: 0.00
384.65/96.35	c  N st    53    357926      8422     17508     29971     45870    102816   3333239   no data   no data
414.60/103.80	c  N st    54    390318      8422     17508     29974     51607    102815   2059462   no data   no data
428.59/107.35	c Finding binary XORs  T:     0.03 s  found:       0
460.96/115.50	c  N st    55    438907      8418     17507     29678     44462    102800   2541635   no data   no data
568.40/142.31	c  N st    56    511789      8418     17507     29689     57136    102800   3135561   no data   no data
568.40/142.36	c Finding binary XORs  T:     0.03 s  found:       7
591.97/148.26	c  N st    57    536889      8415     17502     28028     50731    102678   2640402   no data   no data
591.97/148.26	c  S st    57    536889      8415     17502     28028     50731    102678   2640402   no data   no data
592.78/148.49	c  S st    57    537391      8415     17502     28092     51227    102678   2656351   no data   no data
593.18/148.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
594.36/148.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    284 BRemL:   1106 BRemN:      0 P:  8.6M T:  0.37
594.36/148.89	c Replacing        7 vars Replaced      695 lits Time:     0.01 s 
594.36/148.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
594.76/148.90	c bin-w-bin subsume rem          100 bins  time:  0.00 s
594.76/148.90	c subs with bin:       35  lits-rem:        35  v-fix:    0  time:  0.01 s
594.76/148.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8408 time:  0.01 s
594.76/148.92	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.01 s
594.76/148.96	c lits-rem:         3  cl-subs:       17  v-elim:      4  v-fix:    0  time:  0.04 s
600.35/150.37	c subs with bin:       27  lits-rem:      2929  v-fix:    0  time:  1.33 s
614.33/153.85	c lits-rem:      3860  cl-subs:     1840  v-elim:      0  v-fix:    0  time:  3.48 s
614.33/153.85	c vivif2 --  cl tried    17443 cl shrink        0 lits rem          0 time: 0.00
614.75/153.99	c vivif2 --  cl tried    49084 cl shrink     8044 lits rem      41302 time: 0.13
615.53/154.10	c asymm  cl-useful: 0/5009/17443 lits-rem:0 time: 0.11
615.53/154.11	c calculated reachability. Time: 0.00
615.53/154.11	c  N st    57    537391      8404     17443     27142     49084    102485   2503731   no data   no data
888.76/222.51	c  N st    58    701379      8404     17443     27143     40312    102485   1396796   no data   no data
888.76/222.55	c Finding binary XORs  T:     0.03 s  found:       0
1058.55/265.08	c  N st    59    806087      8401     17441     26423     68487    102402   3975495   no data   no data
1058.55/265.08	c  S st    59    806087      8401     17441     26423     68487    102402   3975495   no data   no data
1058.95/265.13	c Finding binary XORs  T:     0.03 s  found:       4
1060.12/265.42	c  S st    59    806588      8399     17433     26359     68930    102330   3985099   no data   no data
1060.12/265.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1061.73/265.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     76 BRemL:    322 BRemN:      1 P: 10.0M T:  0.42
1061.73/265.88	c Replacing        5 vars Replaced      647 lits Time:     0.02 s 
1061.73/265.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1061.73/265.89	c bin-w-bin subsume rem           52 bins  time:  0.00 s
1061.73/265.89	c subs with bin:       29  lits-rem:        32  v-fix:    0  time:  0.01 s
1062.13/265.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8394 time:  0.01 s
1062.13/265.91	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
1062.13/265.96	c lits-rem:         2  cl-subs:       10  v-elim:      4  v-fix:    0  time:  0.06 s
1069.32/267.71	c subs with bin:       15  lits-rem:     13373  v-fix:    0  time:  1.64 s
1092.89/273.62	c lits-rem:      6291  cl-subs:     2440  v-elim:      0  v-fix:    0  time:  5.91 s
1092.89/273.63	c vivif2 --  cl tried    17390 cl shrink        0 lits rem          0 time: 0.00
1093.71/273.88	c vivif2 --  cl tried    64569 cl shrink    19001 lits rem     112983 time: 0.25
1095.28/274.26	c asymm  cl-useful: 43/5514/17390 lits-rem:45 time: 0.37
1095.28/274.26	c calculated reachability. Time: 0.00
1095.28/274.26	c  N st    59    806588      8390     17390     25924     64569    102145   3521471   no data   no data
1623.77/406.51	c  F st    60   1071875      8390     17390     25924     77930    102145   4050110   no data   no data
1623.77/406.52	c  N st    60   1071875      8390     17390     25924     77930    102145   4050110   no data   no data
1623.77/406.58	c Finding binary XORs  T:     0.03 s  found:       0
1628.97/407.85	c Decided on static restart strategy
1657.73/415.01	c  N st    70   1100173      8387     17389     27091     61473    102131   2995659   no data   no data
1704.07/426.66	c  N st    72   1136168      8387     17389     27098     51223    102131   1856705   no data   no data
1761.60/441.05	c  N st    73   1168560      8387     17389     27105     83352    102131   5804926   no data   no data
1815.52/454.57	c  N st    74   1209883      8387     17389     27109     77521    102131   5818818   no data   no data
1815.52/454.57	c  S st    74   1209883      8387     17389     27109     77521    102131   5818818   no data   no data
1816.72/454.88	c  S st    74   1210383      8387     17389     27125     78021    102131   5831975   no data   no data
1817.12/454.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1818.73/455.38	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    8 Bins:    111 BRemL:   1641 BRemN:      2 P: 11.1M T:  0.47
1819.13/455.45	c Replacing        8 vars Replaced     2032 lits Time:     0.07 s 
1819.13/455.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1819.13/455.46	c bin-w-bin subsume rem           94 bins  time:  0.00 s
1819.13/455.47	c subs with bin:       10  lits-rem:         6  v-fix:    0  time:  0.01 s
1819.13/455.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8378 time:  0.01 s
1819.13/455.48	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.00 s
1819.51/455.56	c lits-rem:         1  cl-subs:       14  v-elim:      7  v-fix:    0  time:  0.07 s
1826.70/457.40	c subs with bin:       18  lits-rem:      1246  v-fix:    0  time:  1.68 s
1847.07/462.49	c lits-rem:      1976  cl-subs:      916  v-elim:      0  v-fix:    0  time:  5.10 s
1847.47/462.50	c vivif2 --  cl tried    17348 cl shrink        0 lits rem          0 time: 0.00
1848.67/462.83	c vivif2 --  cl tried    73278 cl shrink    17215 lits rem     233015 time: 0.32
1849.89/463.18	c asymm  cl-useful: 6/10865/17348 lits-rem:6 time: 0.35
1849.89/463.18	c calculated reachability. Time: 0.00
1849.89/463.18	c  N st    74   1210383      8371     17348     25178     73278    101862   5121452   no data   no data
1850.26/463.21	c Finding binary XORs  T:     0.03 s  found:       0
1938.95/485.46	c  N st    75   1283268      8371     17348     25182     50996    101862   1619825   no data   no data
2083.16/521.52	c  N st    76   1392595      8371     17348     25211     58665    101862   2107446   no data   no data
2339.21/585.63	c  N st    77   1556580      8371     17348     25302     61482    101862   2141882   no data   no data
2339.21/585.66	c Finding binary XORs  T:     0.03 s  found:       0
2638.41/660.59	c  N st    78   1710385      8370     17348     25459    103026    101862   7394706   no data   no data
2638.41/660.59	c  S st    78   1710385      8370     17348     25459    103026    101862   7394706   no data   no data
2640.82/661.12	c  S st    78   1710889      8369     17348     25488    103524    101862   7408230   no data   no data
2640.82/661.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2643.21/661.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     90 BRemL:    219 BRemN:      0 P: 14.0M T:  0.56
2643.21/661.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2643.21/661.71	c bin-w-bin subsume rem          109 bins  time:  0.00 s
2643.21/661.72	c subs with bin:        5  lits-rem:         3  v-fix:    0  time:  0.01 s
2643.21/661.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8369 time:  0.01 s
2643.21/661.73	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.00 s
2643.61/661.83	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.10 s
2651.59/663.84	c subs with bin:        3  lits-rem:      1502  v-fix:    0  time:  1.74 s
2713.51/679.38	c lits-rem:     19422  cl-subs:     3501  v-elim:      0  v-fix:    0  time: 15.54 s
2713.51/679.38	c vivif2 --  cl tried    17338 cl shrink        1 lits rem          1 time: 0.00
2715.53/679.89	c vivif2 --  cl tried   100011 cl shrink    29904 lits rem     156646 time: 0.50
2715.90/679.94	c asymm  cl-useful: 0/959/17338 lits-rem:0 time: 0.06
2715.90/679.95	c calculated reachability. Time: 0.00
2715.90/679.95	c  N st    78   1710889      8369     17338     24883    100011    101761   7042831   no data   no data
3249.99/813.67	c  N st    79   2079856      8369     17338     24887    105361    101760   4227101   no data   no data
3250.39/813.73	c Finding binary XORs  T:     0.03 s  found:       0
3423.36/857.08	c  N st    80   2210890      8366     17334     24823    110002    101678   4116312   no data   no data
3423.36/857.09	c  S st    80   2210890      8366     17334     24823    110002    101678   4116312   no data   no data
3424.96/857.49	c  S st    80   2211394      8366     17334     24849    110503    101678   4130027   no data   no data
3425.36/857.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3427.37/858.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    106 BRemL:    304 BRemN:      0 P: 13.0M T:  0.56
3427.37/858.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3427.37/858.08	c bin-w-bin subsume rem           34 bins  time:  0.00 s
3427.37/858.09	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  0.01 s
3427.75/858.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8366 time:  0.01 s
3427.75/858.10	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.00 s
3427.75/858.17	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.07 s
3457.74/865.64	c subs with bin:    18822  lits-rem:        59  v-fix:    0  time:  7.33 s
3471.31/869.01	c lits-rem:      3576  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  3.37 s
3471.31/869.02	c vivif2 --  cl tried    17319 cl shrink        0 lits rem          0 time: 0.00
3472.09/869.23	c vivif2 --  cl tried    90458 cl shrink    16249 lits rem     125364 time: 0.21
3473.69/869.65	c asymm  cl-useful: 24/5132/17319 lits-rem:34 time: 0.42
3473.69/869.66	c calculated reachability. Time: 0.00
3473.69/869.66	c  N st    80   2211394      8366     17318     24622     90457    101597   3388275   no data   no data
4271.82/1069.41	c  N st    81   2711397      8366     17318     24627    111267    101597   4683413   no data   no data
4271.82/1069.41	c  S st    81   2711397      8366     17318     24627    111267    101597   4683413   no data   no data
4271.82/1069.44	c Finding binary XORs  T:     0.03 s  found:       1
4273.42/1069.88	c  S st    81   2711900      8366     17318     24683    111769    101597   4700510   no data   no data
4273.82/1069.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4275.81/1070.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    522 BRemL:    860 BRemN:      0 P: 13.8M T:  0.59
4276.21/1070.51	c Replacing        1 vars Replaced       18 lits Time:     0.02 s 
4276.21/1070.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4276.21/1070.52	c bin-w-bin subsume rem           13 bins  time:  0.00 s
4276.21/1070.52	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.01 s
4276.21/1070.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8365 time:  0.01 s
4276.21/1070.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.00 s
4276.61/1070.61	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.07 s
4283.82/1072.44	c subs with bin:       15  lits-rem:       363  v-fix:    0  time:  1.68 s
4321.76/1081.90	c lits-rem:      5898  cl-subs:     4744  v-elim:      0  v-fix:    0  time:  9.46 s
4321.76/1081.91	c vivif2 --  cl tried    17317 cl shrink        0 lits rem          0 time: 0.00
4322.96/1082.21	c vivif2 --  cl tried   105947 cl shrink    18552 lits rem     187416 time: 0.30
4324.15/1082.59	c asymm  cl-useful: 1/8949/17317 lits-rem:1 time: 0.38
4324.55/1082.60	c calculated reachability. Time: 0.00
4324.55/1082.60	c  N st    81   2711900      8363     17317     24194    105947    101577   4226126   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3289702-1304117877/watcher-3289702-1304117877 -o /tmp/evaluation-result-3289702-1304117877/solver-3289702-1304117877 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3289702-1304117877.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.77 4.10 4.97 3/172 27577
/proc/meminfo: memFree=30943812/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 409 0 0 0 0 0 0 0 22 0 4 0 523385712 52441088 348 33554432000 4194304 4627427 140733669335440 18446744073709551615 47785080670130 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 12803 348 299 106 0 7774 0
[pid=27577/tid=27578] ppid=27575 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523385712 52441088 348 33554432000 4194304 4627427 140733669335440 18446744073709551615 47785080670120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 523385712 52441088 348 33554432000 4194304 4627427 140733669335440 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 523385712 52441088 348 33554432000 4194304 4627427 140733669335440 18446744073709551615 228134511670 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.01608 s]
/proc/loadavg: 3.77 4.10 4.97 3/172 27577
/proc/meminfo: memFree=30943812/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=266800 CPUtime=0.04 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) D 27575 27577 26898 0 -1 4202496 7379 0 0 0 2 2 0 0 18 0 4 0 523385712 273203200 6355 33554432000 4194304 4627427 140733669335440 18446744073709551615 228122757210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 66700 6355 337 106 0 61671 0
[pid=27577/tid=27578] ppid=27575 vsize=266800 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) D 27575 27577 26898 0 -1 4202560 1674 0 0 0 0 0 0 0 18 0 4 0 523385712 273203200 6355 33554432000 4194304 4627427 140733669335440 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=266800 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 1797 0 0 0 0 0 0 0 24 0 4 0 523385712 273203200 6355 33554432000 4194304 4627427 140733669335440 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=266800 CPUtime=0 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) D 27575 27577 26898 0 -1 4202560 1860 0 0 0 0 0 0 0 18 0 4 0 523385712 273203200 6355 33554432000 4194304 4627427 140733669335440 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 266800

[startup+0.101036 s]
/proc/loadavg: 3.77 4.10 4.97 3/172 27577
/proc/meminfo: memFree=30943812/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=309756 CPUtime=0.36 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 17244 0 0 0 31 5 0 0 18 0 4 0 523385712 317190144 15106 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 77439 15106 366 106 0 72410 0
[pid=27577/tid=27578] ppid=27575 vsize=309756 CPUtime=0.09 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4126 0 0 0 8 1 0 0 18 0 4 0 523385712 317190144 15106 33554432000 4194304 4627427 140733669335440 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=309756 CPUtime=0.08 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4102 0 0 0 7 1 0 0 24 0 4 0 523385712 317190144 15106 33554432000 4194304 4627427 140733669335440 18446744073709551615 4523446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=309756 CPUtime=0.08 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4472 0 0 0 7 1 0 0 18 0 4 0 523385712 317190144 15106 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 309756

[startup+0.301 s]
/proc/loadavg: 3.77 4.10 4.97 3/172 27577
/proc/meminfo: memFree=30943812/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=309756 CPUtime=1.16 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 17397 0 0 0 111 5 0 0 18 0 4 0 523385712 317190144 15200 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 77439 15200 366 106 0 72410 0
[pid=27577/tid=27578] ppid=27575 vsize=309756 CPUtime=0.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4126 0 0 0 28 1 0 0 18 0 4 0 523385712 317190144 15200 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=309756 CPUtime=0.28 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4102 0 0 0 27 1 0 0 25 0 4 0 523385712 317190144 15200 33554432000 4194304 4627427 140733669335440 18446744073709551615 4297757 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=309756 CPUtime=0.28 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4625 0 0 0 27 1 0 0 18 0 4 0 523385712 317190144 15200 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 309756

[startup+0.70093 s]
/proc/loadavg: 3.77 4.10 4.97 3/172 27577
/proc/meminfo: memFree=30943812/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=309756 CPUtime=2.77 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 17542 0 0 0 271 6 0 0 18 0 4 0 523385712 317190144 15286 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 77439 15286 367 106 0 72410 0
[pid=27577/tid=27578] ppid=27575 vsize=309756 CPUtime=0.69 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4127 0 0 0 68 1 0 0 18 0 4 0 523385712 317190144 15286 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=309756 CPUtime=0.68 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4103 0 0 0 67 1 0 0 25 0 4 0 523385712 317190144 15286 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=309756 CPUtime=0.68 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 4767 0 0 0 67 1 0 0 18 0 4 0 523385712 317190144 15286 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 309756

[startup+1.50078 s]
/proc/loadavg: 3.77 4.10 4.97 9/184 27590
/proc/meminfo: memFree=30766068/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=340216 CPUtime=5.96 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 40002 0 0 0 585 11 0 0 20 0 4 0 523385712 348381184 37746 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 85054 37748 369 106 0 80025 0
[pid=27577/tid=27578] ppid=27575 vsize=340216 CPUtime=1.48 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 11367 0 0 0 145 3 0 0 20 0 4 0 523385712 348381184 37748 33554432000 4194304 4627427 140733669335440 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=340216 CPUtime=1.48 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 11333 0 0 0 146 2 0 0 18 0 4 0 523385712 348381184 37750 33554432000 4194304 4627427 140733669335440 18446744073709551615 4238272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=340216 CPUtime=1.49 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 5408 0 0 0 147 2 0 0 20 0 4 0 523385712 348381184 37750 33554432000 4194304 4627427 140733669335440 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 340216

[startup+3.1005 s]
/proc/loadavg: 4.11 4.17 4.99 9/184 27590
/proc/meminfo: memFree=30502692/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=505084 CPUtime=12.35 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 67812 0 0 0 1219 16 0 0 19 0 4 0 523385712 517206016 62413 33554432000 4194304 4627427 140733669335440 18446744073709551615 4332812 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 126271 62413 389 106 0 121242 0
[pid=27577/tid=27578] ppid=27575 vsize=505084 CPUtime=3.08 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 20786 0 0 0 303 5 0 0 25 0 4 0 523385712 517206016 62414 33554432000 4194304 4627427 140733669335440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=505084 CPUtime=3.07 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 19583 0 0 0 304 3 0 0 20 0 4 0 523385712 517206016 62414 33554432000 4194304 4627427 140733669335440 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=505084 CPUtime=3.09 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 6150 0 0 0 307 2 0 0 25 0 4 0 523385712 517206016 62415 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 505084

[startup+6.30092 s]
/proc/loadavg: 4.11 4.17 4.99 9/184 27590
/proc/meminfo: memFree=30295596/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=510976 CPUtime=25.14 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 77907 0 0 0 2496 18 0 0 25 0 4 0 523385712 523239424 66464 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309760 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 127744 66464 390 106 0 122715 0
[pid=27577/tid=27578] ppid=27575 vsize=510976 CPUtime=6.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 23213 0 0 0 623 6 0 0 25 0 4 0 523385712 523239424 66464 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=510976 CPUtime=6.25 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 21391 0 0 0 622 3 0 0 25 0 4 0 523385712 523239424 66464 33554432000 4194304 4627427 140733669335440 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=510976 CPUtime=6.28 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 9557 0 0 0 626 2 0 0 25 0 4 0 523385712 523239424 66464 33554432000 4194304 4627427 140733669335440 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 510976

[startup+12.7008 s]
/proc/loadavg: 4.71 4.29 5.02 9/184 27591
/proc/meminfo: memFree=30140516/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=500928 CPUtime=50.7 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 104000 0 0 0 5047 23 0 0 25 0 4 0 523385712 512950272 81769 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 125232 81769 391 106 0 120203 0
[pid=27577/tid=27578] ppid=27575 vsize=500928 CPUtime=12.69 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 28978 0 0 0 1262 7 0 0 25 0 4 0 523385712 512950272 81769 33554432000 4194304 4627427 140733669335440 18446744073709551615 4327449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=500928 CPUtime=12.62 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 25726 0 0 0 1258 4 0 0 25 0 4 0 523385712 512950272 81770 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=500928 CPUtime=12.68 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 18440 0 0 0 1264 4 0 0 25 0 4 0 523385712 512950272 81770 33554432000 4194304 4627427 140733669335440 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 500928

[startup+25.5005 s]
/proc/loadavg: 5.29 4.43 5.06 9/184 27591
/proc/meminfo: memFree=29973096/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=525676 CPUtime=101.82 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 130565 0 0 0 10153 29 0 0 25 0 4 0 523385712 538292224 88704 33554432000 4194304 4627427 140733669335440 18446744073709551615 4257172 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 131419 88704 391 106 0 126390 0
[pid=27577/tid=27578] ppid=27575 vsize=525676 CPUtime=25.49 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 37293 0 0 0 2540 9 0 0 25 0 4 0 523385712 538292224 88704 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=525676 CPUtime=25.34 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 30389 0 0 0 2530 4 0 0 25 0 4 0 523385712 538292224 88704 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=525676 CPUtime=25.48 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 21783 0 0 0 2543 5 0 0 25 0 4 0 523385712 538292224 88704 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 525676

[startup+51.1008 s]
/proc/loadavg: 6.27 4.73 5.14 9/184 27592
/proc/meminfo: memFree=29816548/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=651524 CPUtime=204.09 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 182467 0 0 0 20367 42 0 0 25 0 4 0 523385712 667160576 108864 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 162881 108864 391 106 0 157852 0
[pid=27577/tid=27578] ppid=27575 vsize=651524 CPUtime=51.08 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 50367 0 0 0 5096 12 0 0 25 0 4 0 523385712 667160576 108864 33554432000 4194304 4627427 140733669335440 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=651524 CPUtime=50.8 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 41133 0 0 0 5074 6 0 0 25 0 4 0 523385712 667160576 108864 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=651524 CPUtime=51.09 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 29135 0 0 0 5102 7 0 0 25 0 4 0 523385712 667160576 108864 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 651524

[startup+102.307 s]
/proc/loadavg: 7.36 5.29 5.31 9/184 27593
/proc/meminfo: memFree=29632224/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=784988 CPUtime=408.64 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 269246 0 0 0 40798 66 0 0 25 0 4 0 523385712 803827712 131827 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309609 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 196247 131827 391 106 0 191218 0
[pid=27577/tid=27578] ppid=27575 vsize=784988 CPUtime=102.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 71305 0 0 0 10211 18 0 0 25 0 4 0 523385712 803827712 131827 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=784988 CPUtime=101.73 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 63961 0 0 0 10161 12 0 0 25 0 4 0 523385712 803827712 131827 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=784988 CPUtime=102.29 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 41110 0 0 0 10218 11 0 0 25 0 4 0 523385712 803827712 131827 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 784988

[startup+162.301 s]

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

[pid=27577] ppid=27575 vsize=1525268 CPUtime=2805.38 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 964175 0 0 0 280245 293 0 0 25 0 4 0 523385712 1561874432 281084 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309713 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 381317 281084 391 106 0 376288 0
[pid=27577/tid=27578] ppid=27575 vsize=1525268 CPUtime=702.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 294698 0 0 0 70140 89 0 0 25 0 4 0 523385712 1561874432 281084 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1525268 CPUtime=698.46 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 267484 0 0 0 69764 82 0 0 25 0 4 0 523385712 1561874432 281084 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1525268 CPUtime=702.3 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 129088 0 0 0 70190 40 0 0 25 0 4 0 523385712 1561874432 281084 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 1525268

[startup+762.307 s]
/proc/loadavg: 8.19 7.83 6.74 9/184 27623
/proc/meminfo: memFree=28244740/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1544548 CPUtime=3045.08 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1004222 0 0 0 304200 308 0 0 25 0 4 0 523385712 1581617152 289493 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 386137 289493 391 106 0 381108 0
[pid=27577/tid=27578] ppid=27575 vsize=1544548 CPUtime=762.3 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 303368 0 0 0 76138 92 0 0 25 0 4 0 523385712 1581617152 289493 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1544548 CPUtime=758.14 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 283561 0 0 0 75725 89 0 0 25 0 4 0 523385712 1581617152 289493 33554432000 4194304 4627427 140733669335440 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1544548 CPUtime=762.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 135362 0 0 0 76189 42 0 0 25 0 4 0 523385712 1581617152 289493 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 1544548

[startup+822.301 s]
/proc/loadavg: 8.19 7.89 6.82 9/184 27624
/proc/meminfo: memFree=27985396/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1414176 CPUtime=3284.74 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1041103 0 0 0 328149 325 0 0 25 0 4 0 523385712 1448116224 287691 33554432000 4194304 4627427 140733669335440 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 353544 287691 391 106 0 348515 0
[pid=27577/tid=27578] ppid=27575 vsize=1414176 CPUtime=822.3 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 315909 0 0 0 82131 99 0 0 25 0 4 0 523385712 1448116224 287691 33554432000 4194304 4627427 140733669335440 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1414176 CPUtime=817.81 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 288721 0 0 0 81688 93 0 0 25 0 4 0 523385712 1448116224 287691 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1414176 CPUtime=822.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 142340 0 0 0 82186 45 0 0 25 0 4 0 523385712 1448116224 287691 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 1414176

[startup+882.301 s]
/proc/loadavg: 8.18 7.94 6.90 9/184 27626
/proc/meminfo: memFree=27849676/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1632276 CPUtime=3524.42 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1080444 0 0 0 352101 341 0 0 25 0 4 0 523385712 1671450624 308482 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 408069 308482 391 106 0 403040 0
[pid=27577/tid=27578] ppid=27575 vsize=1632276 CPUtime=882.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 329397 0 0 0 88127 102 0 0 25 0 4 0 523385712 1671450624 308482 33554432000 4194304 4627427 140733669335440 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1632276 CPUtime=877.48 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 295049 0 0 0 87652 96 0 0 25 0 4 0 523385712 1671450624 308482 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1632276 CPUtime=882.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 149728 0 0 0 88181 50 0 0 25 0 4 0 523385712 1671450624 308482 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 1632276

[startup+942.3 s]
/proc/loadavg: 8.17 7.98 6.98 9/184 27627
/proc/meminfo: memFree=27916116/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1556252 CPUtime=3764.1 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1113640 0 0 0 376053 357 0 0 25 0 4 0 523385712 1593602048 304187 33554432000 4194304 4627427 140733669335440 18446744073709551615 4330958 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 389063 304187 391 106 0 384034 0
[pid=27577/tid=27578] ppid=27575 vsize=1556252 CPUtime=942.29 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 338866 0 0 0 94124 105 0 0 25 0 4 0 523385712 1593602048 304187 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1556252 CPUtime=937.16 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 304470 0 0 0 93615 101 0 0 25 0 4 0 523385712 1593602048 304187 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1556252 CPUtime=942.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 154590 0 0 0 94178 53 0 0 25 0 4 0 523385712 1593602048 304187 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 1556252

[startup+1002.3 s]
/proc/loadavg: 8.16 8.01 7.05 9/184 27629
/proc/meminfo: memFree=27883820/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1639824 CPUtime=4003.78 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1159591 0 0 0 400004 374 0 0 25 0 4 0 523385712 1679179776 311280 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 409956 311280 391 106 0 404927 0
[pid=27577/tid=27578] ppid=27575 vsize=1639824 CPUtime=1002.3 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 353126 0 0 0 100120 110 0 0 25 0 4 0 523385712 1679179776 311280 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1639824 CPUtime=996.83 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 315321 0 0 0 99577 106 0 0 25 0 4 0 523385712 1679179776 311280 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1639824 CPUtime=1002.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 159595 0 0 0 100176 55 0 0 25 0 4 0 523385712 1679179776 311280 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 1639824

[startup+1062.3 s]
/proc/loadavg: 8.15 8.03 7.12 9/184 27631
/proc/meminfo: memFree=27839004/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1401808 CPUtime=4243.46 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1197341 0 0 0 423954 392 0 0 25 0 4 0 523385712 1435451392 304189 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 350452 304189 391 106 0 345423 0
[pid=27577/tid=27578] ppid=27575 vsize=1401808 CPUtime=1062.3 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 362554 0 0 0 106116 114 0 0 25 0 4 0 523385712 1435451392 304189 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1401808 CPUtime=1056.51 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 325310 0 0 0 105539 112 0 0 25 0 4 0 523385712 1435451392 304189 33554432000 4194304 4627427 140733669335440 18446744073709551615 4329590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1401808 CPUtime=1062.31 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 167961 0 0 0 106173 58 0 0 25 0 4 0 523385712 1435451392 304189 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 1401808

[startup+1122.3 s]
/proc/loadavg: 8.14 8.05 7.18 9/184 27632
/proc/meminfo: memFree=27715828/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1726856 CPUtime=4483.14 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1237149 0 0 0 447906 408 0 0 25 0 4 0 523385712 1768300544 324346 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 431714 324346 391 106 0 426685 0
[pid=27577/tid=27578] ppid=27575 vsize=1726856 CPUtime=1122.3 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 374520 0 0 0 112111 119 0 0 25 0 4 0 523385712 1768300544 324346 33554432000 4194304 4627427 140733669335440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1726856 CPUtime=1116.18 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 333132 0 0 0 111503 115 0 0 25 0 4 0 523385712 1768300544 324346 33554432000 4194304 4627427 140733669335440 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1726856 CPUtime=1122.32 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 172533 0 0 0 112171 61 0 0 25 0 4 0 523385712 1768300544 324346 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 1726856

[startup+1182.3 s]
/proc/loadavg: 8.13 8.07 7.24 9/184 27634
/proc/meminfo: memFree=27439368/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1687900 CPUtime=4722.82 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1272505 0 0 0 471855 427 0 0 25 0 4 0 523385712 1728409600 330378 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 421975 330378 391 106 0 416946 0
[pid=27577/tid=27578] ppid=27575 vsize=1687900 CPUtime=1182.31 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 385237 0 0 0 118107 124 0 0 25 0 4 0 523385712 1728409600 330378 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1687900 CPUtime=1175.86 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 342658 0 0 0 117464 122 0 0 25 0 4 0 523385712 1728409600 330378 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1687900 CPUtime=1182.32 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 179415 0 0 0 118167 65 0 0 25 0 4 0 523385712 1728409600 330378 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 1687900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.08 7.26 9/184 27634
/proc/meminfo: memFree=27487472/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1629348 CPUtime=4800.33 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1283991 0 0 0 479601 432 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 407337 328806 391 106 0 402308 0
[pid=27577/tid=27578] ppid=27575 vsize=1629348 CPUtime=1201.71 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 390586 0 0 0 120046 125 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1629348 CPUtime=1195.15 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 345324 0 0 0 119392 123 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1629348 CPUtime=1201.72 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 180177 0 0 0 120107 65 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1629348

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1201.7 s]
/proc/loadavg: 8.17 8.08 7.26 9/184 27634
/proc/meminfo: memFree=27487472/32951124 swapFree=67111444/67111528
[pid=27577] ppid=27575 vsize=1629348 CPUtime=4800.33 cores=1,3,5,7
/proc/27577/stat : 27577 (strangenight2-m) R 27575 27577 26898 0 -1 4202496 1283991 0 0 0 479601 432 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27577/statm: 407337 328806 391 106 0 402308 0
[pid=27577/tid=27578] ppid=27575 vsize=1629348 CPUtime=1201.71 cores=1,3,5,7
/proc/27577/task/27578/stat : 27578 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 390586 0 0 0 120046 125 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27577/tid=27579] ppid=27575 vsize=1629348 CPUtime=1195.15 cores=1,3,5,7
/proc/27577/task/27579/stat : 27579 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 345324 0 0 0 119392 123 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27577/tid=27580] ppid=27575 vsize=1629348 CPUtime=1201.72 cores=1,3,5,7
/proc/27577/task/27580/stat : 27580 (strangenight2-m) R 27575 27577 26898 0 -1 4202560 180177 0 0 0 120107 65 0 0 25 0 4 0 523385712 1668452352 328806 33554432000 4194304 4627427 140733669335440 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1629348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.41
CPU user time (s): 4796.04
CPU system time (s): 4.37733
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 1771132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.04
system time used= 4.37733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1283992
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= 2556
involuntary context switches= 19186

runsolver used 1.87871 second user time and 4.69029 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 00:57:57
IDJOB=3289702
IDBENCH=83134
IDSOLVER=1586
FILE ID=node138/3289702-1304117877
RUNJOBID= node138-1304117877-27564
PBS_JOBID= 13170689
Free space on /tmp= 71812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289702-1304117877/watcher-3289702-1304117877 -o /tmp/evaluation-result-3289702-1304117877/solver-3289702-1304117877 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3289702-1304117877.cnf

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

MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=183139236

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30943952 kB
Buffers:        608888 kB
Cached:         946164 kB
SwapCached:         84 kB
Active:          75852 kB
Inactive:      1542692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30943952 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           10508 kB
Writeback:           8 kB
AnonPages:       63732 kB
Mapped:          14400 kB
Slab:           324080 kB
PageTables:       4380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187592 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= 71800 MiB
End job on node138 at 2011-04-30 01:18:01