Trace number 3368762

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-1-mt (fixed)? (TO) 4800.47 1202.65

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf
MD5SUM786afedaa52bbc0b93f9aff94029b9c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.038994
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368762-1305402465.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
3.56/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.56/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.56/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.56/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
3.56/0.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.56/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.01 s
3.56/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.56/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.56/0.90	c calculated reachability. Time: 0.00
3.56/0.90	c Calc default polars -  time:   0.00 s pos:     327 undec:      98 neg:     325
3.56/0.90	c =========================================================================================
3.56/0.90	c types(t): F = full restart, N = normal restart
3.56/0.90	c types(t): S = simplification begin/end, E = solution found
3.56/0.90	c restart types(rt): st = static, dy = dynamic
3.56/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.90	c  B st     0         0       737      3174         0         0      9587         0   no data   no data  --
3.56/0.90	c Decided on static restart strategy
3.56/0.90	c  N st     8      4922       737      3174         0      4890      9587    153136   no data   no data  --
3.56/0.90	c  N st    10     11307       737      3174         0      4512      9587     96293   no data   no data  --
3.56/0.90	c  N st    11     17050       737      3174         0     10186      9587    286148   no data   no data  --
5.15/1.30	c  F st    12     25000       737      3174         0     12511      9587    353536   no data   no data  --
5.15/1.30	c  N st    12     25000       737      3174         0     12511      9587    353536   no data   no data  --
5.95/1.50	c  N dy    18     30002       737      3174         0     10769      9587    272472   no data   no data  --
5.95/1.50	c  S st    18     30002       737      3174         0     10769      9587    272472   no data   no data  --
6.35/1.60	c  S st    18     30506       737      3174         0     11272      9587    286592   no data   no data  --
6.35/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.35/1.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.35/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
6.35/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.35/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
6.35/1.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.16/1.86	c lits-rem:        64  cl-subs:      166  v-elim:      0  v-fix:    0  time:  1.31 s
7.16/1.87	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
7.16/1.87	c calculated reachability. Time: 0.00
7.16/1.87	c  N dy    18     30506       737      3174         0     11106      9587    279854   no data   no data  --
8.35/2.13	c  N dy    31     34619       737      3174         0     15199      9587    403520     19.84     21.34  --
9.18/2.35	c  N dy    48     38703       737      3174         0     11397      9587    224266     19.60     26.46  --
10.34/2.67	c  N dy    77     43581       737      3174         0     16257      9587    373507     20.04     21.54  --
11.14/2.82	c  S st    92     45759       737      3174         0      9510      9587    130250     20.18   no data  --
11.14/2.85	c  S st    92     46263       737      3174         0     10014      9587    145589     20.18   no data  --
11.14/2.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.14/2.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.14/2.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.14/2.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.14/2.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.14/2.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
11.14/2.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.54/2.98	c lits-rem:        13  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.49 s
11.54/2.98	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
11.54/2.99	c vivif2 --  cl tried    10010 cl shrink        0 lits rem          0 time: 0.00
11.54/2.99	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.03
11.54/2.99	c calculated reachability. Time: 0.00
11.54/2.99	c  N dy    92     46263       737      3174         0     10010      9587    145429     20.18   no data  --
12.75/3.24	c  N dy   112     50575       737      3174         0     14304      9587    274919     20.24     21.33  --
13.94/3.52	c  N dy   132     54675       737      3174         0     18386      9587    398301     20.32     21.76  --
14.74/3.79	c  N dy   147     58738       737      3174         0     12490      9587    191220     20.30     21.66  --
15.94/4.04	c  N dy   171     62750       737      3174         0     16480      9587    312643     20.43     24.41  --
17.14/4.35	c  N dy   196     66878       737      3174         0     20579      9587    438194     20.54     21.70  --
17.97/4.54	c  S st   212     69395       737      3174         0     12154      9587    154443     20.58   no data  --
17.97/4.58	c  S st   212     69900       737      3174         0     12659      9587    169747     20.58   no data  --
17.97/4.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.97/4.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.97/4.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.97/4.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.97/4.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
17.97/4.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.13/4.80	c lits-rem:        43  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.86 s
19.13/4.80	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
19.13/4.80	c vivif2 --  cl tried    12644 cl shrink        0 lits rem          0 time: 0.01
19.13/4.81	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
19.13/4.81	c calculated reachability. Time: 0.00
19.13/4.81	c  N dy   212     69900       737      3174         0     12644      9587    169051     20.58   no data  --
20.33/5.11	c  N dy   240     74405       737      3174         0     17131      9587    308875     20.65     22.56  --
21.53/5.50	c  N dy   273     79180       737      3174         0     21877      9587    454103     20.76     21.90  --
23.12/5.90	c  N dy   302     84296       737      3174         0     15037      9587    218000     20.85     21.99  --
24.32/6.12	c  F st   309     87502       737      3174         0     18219      9587    312481     20.79     17.99  --
25.12/6.37	c  N st   314     90799       737      3174         0     21482      9587    417074     20.79   no data  --
25.92/6.52	c Decided on static restart strategy
27.91/7.08	c  N st   317     99806       737      3174         0     17523      9587    447338     20.79   no data  --
29.91/7.55	c  S st   318    104850       737      3174         0     22521      9587    614968     20.79   no data  --
30.31/7.61	c  S st   318    105351       737      3174         0     23021      9587    629456     20.79   no data  --
30.31/7.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.31/7.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.31/7.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
30.31/7.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.31/7.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.31/7.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
30.31/7.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.30/9.62	c lits-rem:       329  cl-subs:      540  v-elim:      0  v-fix:    0  time:  7.89 s
38.30/9.62	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
38.30/9.63	c vivif2 --  cl tried    22481 cl shrink        0 lits rem          0 time: 0.03
38.30/9.65	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.08
38.30/9.65	c calculated reachability. Time: 0.00
38.30/9.65	c  N st   318    105351       737      3174         0     22481      9587    605118     20.79   no data  --
41.88/10.51	c  N st   319    114949       737      3174         0     18096      9587    391852     20.79   no data  --
47.47/11.94	c  N st   320    129346       737      3174         0     17452      9587    379557     20.79   no data  --
55.86/14.04	c  N st   321    150942       737      3174         0     22977      9587    523110     20.79   no data  --
59.05/14.80	c  S st   322    158028       737      3174         0     29961      9587    760795     20.79   no data  --
59.05/14.87	c  S st   322    158529       737      3174         0     30460      9587    775500     20.79   no data  --
59.05/14.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.05/14.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.05/14.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.45/14.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.45/14.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.45/14.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
59.45/14.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
67.83/17.00	c lits-rem:      1636  cl-subs:      891  v-elim:      0  v-fix:    0  time:  8.33 s
67.83/17.00	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
67.83/17.01	c vivif2 --  cl tried    29569 cl shrink        0 lits rem          0 time: 0.03
67.83/17.04	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.11
67.83/17.04	c calculated reachability. Time: 0.00
67.83/17.04	c  N st   322    158529       737      3174         0     29569      9587    738346     20.79   no data  --
90.19/22.67	c  N st   323    207118       737      3174         0     24266      9587    513580     20.79   no data  --
106.55/26.74	c  N st   324    237793       737      3174         0     34811      9587    818690     20.79   no data  --
106.55/26.74	c  S st   324    237793       737      3174         0     34811      9587    818690     20.79   no data  --
106.95/26.82	c  S st   324    238299       737      3174         0     35317      9587    833874     20.79   no data  --
106.95/26.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.95/26.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.95/26.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
106.95/26.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.95/26.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.95/26.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
106.95/26.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
118.14/29.64	c lits-rem:       267  cl-subs:     1443  v-elim:      0  v-fix:    0  time: 11.11 s
118.14/29.64	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
118.14/29.65	c vivif2 --  cl tried    33874 cl shrink        0 lits rem          0 time: 0.04
118.14/29.68	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.12
118.14/29.68	c calculated reachability. Time: 0.00
118.14/29.68	c  N st   324    238299       737      3174         0     33874      9587    775741     20.79   no data  --
152.48/38.28	c  F st   325    306253       737      3174         0     35881      9587    836365     20.79   no data  --
152.48/38.28	c  N st   325    306253       737      3174         0     35881      9587    836365     20.79   no data  --
164.04/41.10	c  N dy   402    325985       737      3174         0     31689      9587    535735     20.89     22.28  --
176.06/44.19	c  N dy   505    346672       737      3174         0     27423      9587    346130     21.04     22.34  --
181.61/45.51	c  S st   534    357449       737      3174         0     38099      9587    671943     20.97   no data  --
182.01/45.60	c  S st   534    357950       737      3174         0     38600      9587    686754     20.97   no data  --
182.01/45.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
182.01/45.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.01/45.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
182.01/45.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
182.01/45.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
182.01/45.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
182.01/45.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
190.39/47.74	c lits-rem:       617  cl-subs:      537  v-elim:      0  v-fix:    0  time:  8.36 s
190.39/47.74	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
190.39/47.74	c vivif2 --  cl tried    38063 cl shrink        0 lits rem          0 time: 0.03
190.39/47.78	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.14
190.39/47.78	c calculated reachability. Time: 0.00
190.39/47.78	c  N dy   534    357950       737      3174         0     38063      9587    668782     20.97   no data  --
203.17/50.93	c  N dy   631    377989       737      3174         0     32177      9587    460582     21.04     24.45  --
216.35/54.23	c  N dy   736    398086       737      3174         0     52146      9587   1081657     21.11     25.70  --
227.93/57.11	c  N dy   846    418146       737      3174         0     45271      9587    833166     21.18     26.25  --
240.30/60.20	c  N dy   908    438354       737      3174         0     37529      9587    559778     21.11     22.41  --
254.29/63.79	c  N dy   973    458405       737      3174         0     57433      9587   1173156     21.04     22.22  --
266.25/66.70	c  N dy  1079    478455       737      3174         0     48567      9587    875109     21.08     23.97  --
280.63/70.37	c  N dy  1183    500300       737      3174         0     40471      9587    597561     21.10     22.43  --
295.40/74.03	c  N dy  1260    520312       737      3174         0     60340      9587   1211326     21.06     22.48  --
305.38/76.52	c  S st  1354    536926       737      3174         0     46044      9587    743954     21.10     20.24  --
305.79/76.64	c  S st  1354    537437       737      3174         0     46555      9587    759327     21.10   no data  --
305.79/76.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
305.79/76.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
305.79/76.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
305.79/76.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.79/76.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
305.79/76.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
305.79/76.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
316.18/79.27	c lits-rem:       609  cl-subs:      285  v-elim:      0  v-fix:    0  time: 10.29 s
316.18/79.27	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
316.18/79.28	c vivif2 --  cl tried    46270 cl shrink        0 lits rem          0 time: 0.04
316.59/79.32	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.19
316.59/79.33	c calculated reachability. Time: 0.00
316.59/79.33	c  N dy  1354    537437       737      3174         0     46270      9587    747464     21.10   no data  --
331.73/83.16	c  N dy  1438    557479       737      3174         0     34385      9587    345221     21.09     22.36  --
344.90/86.41	c  N dy  1532    577617       737      3174         0     54414      9587    974700     21.11     22.28  --
360.10/90.26	c  N dy  1648    597876       737      3174         0     41757      9587    551066     21.16     22.33  --
375.65/94.10	c  N dy  1736    617939       737      3174         0     61685      9587   1165524     21.17     26.62  --
390.02/97.76	c  N dy  1837    638041       737      3174         0     47886      9587    720012     21.19     25.04  --
407.99/102.25	c  N dy  1927    658067       737      3174         0     67783      9587   1337208     21.19     22.38  --
421.99/105.78	c  N dy  2023    678161       737      3174         0     52936      9587    847658     21.21     22.40  --
440.73/110.48	c  N dy  2121    698220       737      3174         0     37117      9587    324082     21.23     22.60  --
455.11/114.07	c  N dy  2211    718574       737      3174         0     57332      9587    955027     21.23     22.43  --
474.29/118.82	c  N dy  2325    738595       737      3174         0     40471      9587    403412     21.26     23.71  --
491.03/123.06	c  N dy  2426    761405       737      3174         0     63123      9587   1116545     21.26     22.39  --
509.00/127.52	c  N dy  2532    781499       737      3174         0     45342      9587    531035     21.28     22.86  --
525.37/131.64	c  N dy  2622    801589       737      3174         0     65303      9587   1157269     21.28     26.48  --
530.17/132.83	c  S st  2643    806155       737      3174         0     69834      9587   1296777     21.28     18.95  --
530.97/133.01	c  S st  2643    806657       737      3174         0     70336      9587   1312797     21.28   no data  --
530.97/133.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
530.97/133.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
530.97/133.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
530.97/133.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
530.97/133.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
530.97/133.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
530.97/133.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
538.95/135.03	c lits-rem:       626  cl-subs:      821  v-elim:      0  v-fix:    0  time:  7.75 s
538.95/135.03	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
538.95/135.05	c vivif2 --  cl tried    69515 cl shrink        0 lits rem          0 time: 0.06
539.35/135.13	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.32
539.35/135.13	c calculated reachability. Time: 0.00
539.35/135.13	c  N dy  2643    806657       737      3174         0     69515      9587   1282445     21.28   no data  --
556.11/139.32	c  N dy  2713    826863       737      3174         0     50868      9587    680994     21.27     22.42  --
575.72/144.21	c  N dy  2769    847911       737      3174         0     71719      9587   1334057     21.24     22.58  --
594.04/148.81	c  N dy  2868    869620       737      3174         0     53546      9587    743476     21.24     22.40  --
614.82/154.07	c  N dy  2967    891108       737      3174         0     74875      9587   1417305     21.25     22.43  --
632.39/158.48	c  N dy  3071    911736       737      3174         0     54640      9587    745445     21.27     22.85  --
655.52/164.21	c  N dy  3148    935665       737      3174         0     78391      9587   1490844     21.25     22.38  --
672.32/168.44	c  N dy  3237    955673       737      3174         0     56553      9587    773723     21.24     23.91  --
692.66/173.60	c  N dy  3331    976053       737      3174         0     76785      9587   1411682     21.24     22.51  --
712.22/178.43	c  N dy  3423    996072       737      3174         0     53973      9587    670405     21.25     23.43  --
732.18/183.48	c  N dy  3545   1016178       737      3174         0     73942      9587   1305082     21.27     22.69  --
753.75/188.85	c  N dy  3631   1036192       737      3174         0     50144      9587    530947     21.27     25.52  --
771.31/193.26	c  N dy  3704   1056410       737      3174         0     70221      9587   1160830     21.27     22.48  --
789.28/197.74	c  F st  3756   1071876       737      3174         0     85566      9587   1640571     21.26   no data  --
795.29/199.24	c Decided on static restart strategy
795.29/199.24	c  N st  3762   1077067       737      3174         0     46041      9587    374511     21.26   no data  --
812.03/203.43	c  N st  3766   1100177       737      3174         0     68869      9587   1134074     21.26   no data  --
846.77/212.11	c  N st  3768   1136170       737      3174         0     58819      9587   1327720     21.26   no data  --
878.32/220.03	c  N st  3769   1168564       737      3174         0     90675      9587   2417447     21.26   no data  --
925.81/231.94	c  N st  3770   1209986       737      3174         0     85049      9587   2066889     21.26   no data  --
925.81/231.94	c  S st  3770   1209986       737      3174         0     85049      9587   2066889     21.26   no data  --
927.04/232.21	c  S st  3770   1210487       737      3174         0     85550      9587   2082302     21.26   no data  --
927.04/232.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
927.04/232.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
927.04/232.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
927.40/232.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
927.40/232.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
927.40/232.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
927.40/232.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
971.71/243.47	c lits-rem:        72  cl-subs:     5773  v-elim:      0  v-fix:    0  time: 44.41 s
971.71/243.47	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
971.71/243.49	c vivif2 --  cl tried    79777 cl shrink        0 lits rem          0 time: 0.09
972.50/243.61	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.47
972.50/243.62	c calculated reachability. Time: 0.00
972.50/243.62	c  N st  3770   1210487       737      3174         0     79777      9587   1888325     21.26   no data  --
1043.18/261.34	c  N st  3771   1283371       737      3174         0     56214      9587   1022004     21.26   no data  --
1158.16/290.12	c  N st  3772   1392694       737      3174         0     64488      9587   1252813     21.26   no data  --
1334.24/334.24	c  N st  3773   1556678       737      3174         0     69389      9587   1261806     21.26   no data  --
1523.49/381.68	c  N st  3774   1710488       737      3174         0    111114      9587   2673386     21.26   no data  --
1523.49/381.68	c  S st  3774   1710488       737      3174         0    111114      9587   2673386     21.26   no data  --
1524.68/381.99	c  S st  3774   1710994       737      3174         0    111619      9587   2689819     21.26   no data  --
1525.08/382.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1525.08/382.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1525.08/382.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1525.48/382.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1525.48/382.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1525.48/382.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
1525.48/382.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1610.51/403.49	c lits-rem:        66  cl-subs:     6232  v-elim:      0  v-fix:    0  time: 85.14 s
1610.51/403.49	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
1610.91/403.52	c vivif2 --  cl tried   105387 cl shrink        0 lits rem          0 time: 0.12
1611.31/403.68	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.66
1611.31/403.69	c calculated reachability. Time: 0.00
1611.31/403.69	c  N st  3774   1710994       737      3174         0    105387      9587   2482185     21.26   no data  --
2117.54/530.40	c  N st  3775   2079958       737      3174         0    117655      9587   2715245     21.26   no data  --
2296.82/575.39	c  N st  3776   2210995       737      3174         0    121684      9587   2839767     21.26   no data  --
2296.82/575.39	c  S st  3776   2210995       737      3174         0    121684      9587   2839767     21.26   no data  --
2298.40/575.77	c  S st  3776   2211502       737      3174         0    122191      9587   2855132     21.26   no data  --
2298.40/575.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2298.40/575.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2298.80/575.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2299.20/575.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2299.20/575.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2299.20/575.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
2299.20/575.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2371.06/593.90	c lits-rem:       435  cl-subs:     4280  v-elim:      0  v-fix:    0  time: 71.68 s
2371.06/593.90	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2371.06/593.93	c vivif2 --  cl tried   117911 cl shrink        0 lits rem          0 time: 0.13
2371.89/594.13	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.76
2371.89/594.13	c calculated reachability. Time: 0.00
2371.89/594.13	c  N st  3776   2211502       737      3174         0    117911      9587   2703424     21.26   no data  --
3100.92/776.79	c  N st  3777   2711503       737      3174         0    141260      9587   3415302     21.26   no data  --
3100.92/776.79	c  S st  3777   2711503       737      3174         0    141260      9587   3415302     21.26   no data  --
3103.68/777.43	c  S st  3777   2712005       737      3174         0     70961      9587    800707     21.26   no data  --
3103.68/777.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3103.68/777.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3103.68/777.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3103.68/777.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3103.68/777.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3103.68/777.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
3103.68/777.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3112.06/779.56	c lits-rem:       205  cl-subs:       30  v-elim:      0  v-fix:    0  time:  8.26 s
3112.06/779.56	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3112.06/779.57	c vivif2 --  cl tried    70931 cl shrink        0 lits rem          0 time: 0.05
3112.46/779.66	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.35
3112.46/779.66	c calculated reachability. Time: 0.00
3112.46/779.66	c  N st  3777   2712005       737      3174         0     70931      9587    799914     21.26   no data  --
3898.56/976.58	c  N st  3778   3212005       737      3174         0    117264      9587   2282814     21.26   no data  --
3898.56/976.58	c  S st  3778   3212005       737      3174         0    117264      9587   2282814     21.26   no data  --
3900.18/976.95	c  S st  3778   3212512       737      3174         0    117769      9587   2299053     21.26   no data  --
3900.18/976.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3900.18/976.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3900.56/977.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.28
3900.96/977.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3900.96/977.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3900.96/977.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
3900.96/977.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3953.64/990.31	c lits-rem:        38  cl-subs:     3113  v-elim:      0  v-fix:    0  time: 52.66 s
3953.64/990.31	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3953.64/990.34	c vivif2 --  cl tried   114656 cl shrink        0 lits rem          0 time: 0.12
3954.45/990.54	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.81
3954.45/990.55	c calculated reachability. Time: 0.00
3954.45/990.55	c  N st  3778   3212512       737      3174         0    114656      9587   2193000     21.26   no data  --
4730.93/1185.25	c  N st  3779   3712513       737      3174         0    125621      9587   2524778     21.26   no data  --
4730.93/1185.25	c  S st  3779   3712513       737      3174         0    125621      9587   2524778     21.26   no data  --
4732.52/1185.62	c  S st  3779   3713021       737      3174         0    126129      9587   2540016     21.26   no data  --
4732.52/1185.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4732.52/1185.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4732.92/1185.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
4732.92/1185.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4732.92/1185.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4732.92/1185.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
4732.92/1185.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s

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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368762-1305402465/watcher-3368762-1305402465 -o /tmp/evaluation-result-3368762-1305402465/solver-3368762-1305402465 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368762-1305402465.cnf 

running on 4 cores: 0,2,4,6

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: 7.92 8.08 8.08 6/253 12842
/proc/meminfo: memFree=21535304/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651844387 52465664 352 33554432000 4194304 4650419 140736023412080 18446744073709551615 271550594033 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 12809 352 303 112 0 7774 0
[pid=12842/tid=12843] ppid=12840 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651844388 52465664 355 33554432000 4194304 4650419 140736023412080 18446744073709551615 47195028710937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651844388 52465664 355 33554432000 4194304 4650419 140736023412080 18446744073709551615 47195028710937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651844388 52465664 355 33554432000 4194304 4650419 140736023412080 18446744073709551615 47195028711346 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.177196 s]
/proc/loadavg: 7.92 8.08 8.08 6/253 12842
/proc/meminfo: memFree=21535304/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=283264 CPUtime=0.66 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 2364 0 0 0 66 0 0 0 18 0 4 0 651844387 290062336 2195 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 70816 2195 391 112 0 65781 0
[pid=12842/tid=12843] ppid=12840 vsize=283264 CPUtime=0.16 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 571 0 0 0 16 0 0 0 18 0 4 0 651844388 290062336 2195 33554432000 4194304 4650419 140736023412080 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=283264 CPUtime=0.16 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 509 0 0 0 16 0 0 0 18 0 4 0 651844388 290062336 2195 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=283264 CPUtime=0.16 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 345 0 0 0 16 0 0 0 18 0 4 0 651844388 290062336 2195 33554432000 4194304 4650419 140736023412080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 283264

[startup+0.209671 s]
/proc/loadavg: 7.92 8.08 8.08 6/253 12842
/proc/meminfo: memFree=21535304/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=284596 CPUtime=0.8 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 2937 0 0 0 80 0 0 0 18 0 4 0 651844387 291426304 2005 33554432000 4194304 4650419 140736023412080 18446744073709551615 4368114 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 71149 2005 393 112 0 66114 0
[pid=12842/tid=12843] ppid=12840 vsize=284596 CPUtime=0.2 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 717 0 0 0 20 0 0 0 18 0 4 0 651844388 291426304 2006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=284596 CPUtime=0.2 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 644 0 0 0 20 0 0 0 18 0 4 0 651844388 291426304 2006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=284596 CPUtime=0.19 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 500 0 0 0 19 0 0 0 18 0 4 0 651844388 291426304 2006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4334468 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 284596

[startup+0.300655 s]
/proc/loadavg: 7.92 8.08 8.08 6/253 12842
/proc/meminfo: memFree=21535304/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=284596 CPUtime=1.16 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 3275 0 0 0 116 0 0 0 18 0 4 0 651844387 291426304 2343 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 71149 2343 393 112 0 66114 0
[pid=12842/tid=12843] ppid=12840 vsize=284596 CPUtime=0.29 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 800 0 0 0 29 0 0 0 18 0 4 0 651844388 291426304 2344 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=284596 CPUtime=0.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 726 0 0 0 29 0 0 0 18 0 4 0 651844388 291426304 2344 33554432000 4194304 4650419 140736023412080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=284596 CPUtime=0.29 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 592 0 0 0 29 0 0 0 18 0 4 0 651844388 291426304 2344 33554432000 4194304 4650419 140736023412080 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284596

[startup+0.700583 s]
/proc/loadavg: 7.92 8.08 8.08 6/253 12842
/proc/meminfo: memFree=21535304/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=285768 CPUtime=2.76 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 5154 0 0 0 276 0 0 0 18 0 4 0 651844387 292626432 3093 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 71442 3093 393 112 0 66407 0
[pid=12842/tid=12843] ppid=12840 vsize=285768 CPUtime=0.69 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 1277 0 0 0 69 0 0 0 18 0 4 0 651844388 292626432 3093 33554432000 4194304 4650419 140736023412080 18446744073709551615 4304288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=285768 CPUtime=0.69 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 1210 0 0 0 69 0 0 0 18 0 4 0 651844388 292626432 3093 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=285768 CPUtime=0.68 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 1049 0 0 0 68 0 0 0 18 0 4 0 651844388 292626432 3093 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285768

[startup+1.50044 s]
/proc/loadavg: 7.92 8.08 8.08 10/257 12846
/proc/meminfo: memFree=21522500/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=287448 CPUtime=5.95 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 8944 0 0 0 594 1 0 0 19 0 4 0 651844387 294346752 3757 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 71862 3757 394 112 0 66827 0
[pid=12842/tid=12843] ppid=12840 vsize=287448 CPUtime=1.48 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 2291 0 0 0 148 0 0 0 19 0 4 0 651844388 294346752 3757 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=287448 CPUtime=1.48 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 2110 0 0 0 148 0 0 0 19 0 4 0 651844388 294346752 3757 33554432000 4194304 4650419 140736023412080 18446744073709551615 4360522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=287448 CPUtime=1.47 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 1920 0 0 0 147 0 0 0 20 0 4 0 651844388 294346752 3757 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 287448

[startup+3.10115 s]
/proc/loadavg: 7.92 8.08 8.08 9/257 12846
/proc/meminfo: memFree=21507744/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=288236 CPUtime=12.35 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 19712 0 0 0 1231 4 0 0 25 0 4 0 651844387 295153664 11585 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364468 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 72059 11585 395 112 0 67024 0
[pid=12842/tid=12843] ppid=12840 vsize=288236 CPUtime=3.09 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 4725 0 0 0 308 1 0 0 25 0 4 0 651844388 295153664 11585 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=288236 CPUtime=3.08 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 4854 0 0 0 308 0 0 0 25 0 4 0 651844388 295153664 11585 33554432000 4194304 4650419 140736023412080 18446744073709551615 4541686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=288236 CPUtime=3.06 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 4774 0 0 0 306 0 0 0 25 0 4 0 651844388 295153664 11585 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 288236

[startup+6.30057 s]
/proc/loadavg: 7.92 8.08 8.08 9/257 12846
/proc/meminfo: memFree=21467448/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=306632 CPUtime=25.12 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 28600 0 0 0 2507 5 0 0 25 0 4 0 651844387 313991168 16826 33554432000 4194304 4650419 140736023412080 18446744073709551615 4333687 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 76658 16826 395 112 0 71623 0
[pid=12842/tid=12843] ppid=12840 vsize=306632 CPUtime=6.28 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 8182 0 0 0 627 1 0 0 25 0 4 0 651844388 313991168 16826 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=306632 CPUtime=6.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 7067 0 0 0 628 1 0 0 25 0 4 0 651844388 313991168 16826 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=306632 CPUtime=6.24 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 6584 0 0 0 623 1 0 0 25 0 4 0 651844388 313991168 16826 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 306632

[startup+12.7004 s]
/proc/loadavg: 8.09 8.11 8.09 9/257 12846
/proc/meminfo: memFree=21427568/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=316676 CPUtime=50.66 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 43383 0 0 0 5058 8 0 0 25 0 4 0 651844387 324276224 26874 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 79169 26874 395 112 0 74134 0
[pid=12842/tid=12843] ppid=12840 vsize=316676 CPUtime=12.69 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 13039 0 0 0 1267 2 0 0 25 0 4 0 651844388 324276224 26874 33554432000 4194304 4650419 140736023412080 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=316676 CPUtime=12.68 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 9782 0 0 0 1267 1 0 0 25 0 4 0 651844388 324276224 26874 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=316676 CPUtime=12.59 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 9487 0 0 0 1257 2 0 0 25 0 4 0 651844388 324276224 26874 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 316676

[startup+25.5011 s]
/proc/loadavg: 8.07 8.11 8.09 9/257 12846
/proc/meminfo: memFree=21396452/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=317768 CPUtime=101.76 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 60934 0 0 0 10163 13 0 0 25 0 4 0 651844387 325394432 34644 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 79442 34644 395 112 0 74407 0
[pid=12842/tid=12843] ppid=12840 vsize=317768 CPUtime=25.49 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 20294 0 0 0 2545 4 0 0 25 0 4 0 651844388 325394432 34644 33554432000 4194304 4650419 140736023412080 18446744073709551615 4476376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=317768 CPUtime=25.49 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 13025 0 0 0 2547 2 0 0 25 0 4 0 651844388 325394432 34644 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=317768 CPUtime=25.29 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 10631 0 0 0 2527 2 0 0 25 0 4 0 651844388 325394432 34644 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 317768

[startup+51.1004 s]
/proc/loadavg: 8.04 8.10 8.08 9/257 12847
/proc/meminfo: memFree=21356392/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=326656 CPUtime=203.97 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 81430 0 0 0 20376 21 0 0 25 0 4 0 651844387 334495744 42211 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 81664 42211 395 112 0 76629 0
[pid=12842/tid=12843] ppid=12840 vsize=326656 CPUtime=51.09 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 26857 0 0 0 5102 7 0 0 25 0 4 0 651844388 334495744 42211 33554432000 4194304 4650419 140736023412080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=326656 CPUtime=51.09 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 18724 0 0 0 5105 4 0 0 25 0 4 0 651844388 334495744 42211 33554432000 4194304 4650419 140736023412080 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=326656 CPUtime=50.7 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 13881 0 0 0 5067 3 0 0 25 0 4 0 651844388 334495744 42211 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 326656

[startup+102.301 s]
/proc/loadavg: 8.11 8.11 8.09 9/257 12848
/proc/meminfo: memFree=21312188/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=467948 CPUtime=408.41 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 102151 0 0 0 40811 30 0 0 25 0 4 0 651844387 479178752 54563 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 116987 54563 395 112 0 111952 0
[pid=12842/tid=12843] ppid=12840 vsize=467948 CPUtime=102.29 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 36865 0 0 0 10218 11 0 0 25 0 4 0 651844388 479178752 54564 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=467948 CPUtime=102.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 21274 0 0 0 10225 4 0 0 25 0 4 0 651844388 479178752 54564 33554432000 4194304 4650419 140736023412080 18446744073709551615 4328261 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=467948 CPUtime=101.52 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 15305 0 0 0 10149 3 0 0 25 0 4 0 651844388 479178752 54564 33554432000 4194304 4650419 140736023412080 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 467948

[startup+162.3 s]

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

[pid=12842] ppid=12840 vsize=721324 CPUtime=2803.84 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 362528 0 0 0 280247 137 0 0 25 0 4 0 651844387 738635776 127351 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 180331 127351 395 112 0 175296 0
[pid=12842/tid=12843] ppid=12840 vsize=721324 CPUtime=702.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 114592 0 0 0 70186 45 0 0 25 0 4 0 651844388 738635776 127351 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=721324 CPUtime=702.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 83279 0 0 0 70200 29 0 0 25 0 4 0 651844388 738635776 127351 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=721324 CPUtime=697.01 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 72337 0 0 0 69675 26 0 0 25 0 4 0 651844388 738635776 127351 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.84
Current children cumulated vsize (KiB) 721324

[startup+762.3 s]
/proc/loadavg: 8.09 8.17 8.13 9/257 12896
/proc/meminfo: memFree=20941836/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=768040 CPUtime=3043.41 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 378352 0 0 0 304198 143 0 0 25 0 4 0 651844387 786472960 131680 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 192010 131680 395 112 0 186975 0
[pid=12842/tid=12843] ppid=12840 vsize=768040 CPUtime=762.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 118626 0 0 0 76186 45 0 0 25 0 4 0 651844388 786472960 131680 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=768040 CPUtime=762.31 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 84683 0 0 0 76201 30 0 0 25 0 4 0 651844388 786472960 131680 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=768040 CPUtime=756.57 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 78642 0 0 0 75628 29 0 0 25 0 4 0 651844388 786472960 131680 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.41
Current children cumulated vsize (KiB) 768040

[startup+822.3 s]
/proc/loadavg: 8.20 8.20 8.14 9/257 12907
/proc/meminfo: memFree=20887044/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=748328 CPUtime=3282.94 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 390601 0 0 0 328144 150 0 0 25 0 4 0 651844387 766287872 137624 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 187082 137624 395 112 0 182047 0
[pid=12842/tid=12843] ppid=12840 vsize=748328 CPUtime=822.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 123071 0 0 0 82183 48 0 0 25 0 4 0 651844388 766287872 137624 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=748328 CPUtime=822.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 88166 0 0 0 82198 31 0 0 25 0 4 0 651844388 766287872 137624 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=748328 CPUtime=816.13 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 82076 0 0 0 81581 32 0 0 25 0 4 0 651844388 766287872 137624 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.94
Current children cumulated vsize (KiB) 748328

[startup+882.31 s]
/proc/loadavg: 8.15 8.19 8.14 9/257 12908
/proc/meminfo: memFree=20906452/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=739164 CPUtime=3522.53 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 405537 0 0 0 352097 156 0 0 25 0 4 0 651844387 756903936 135318 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 184791 135318 395 112 0 179756 0
[pid=12842/tid=12843] ppid=12840 vsize=739164 CPUtime=882.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 127911 0 0 0 88182 49 0 0 25 0 4 0 651844388 756903936 135318 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=739164 CPUtime=882.31 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 96460 0 0 0 88196 35 0 0 25 0 4 0 651844388 756903936 135318 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=739164 CPUtime=875.69 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 82787 0 0 0 87537 32 0 0 25 0 4 0 651844388 756903936 135318 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.53
Current children cumulated vsize (KiB) 739164

[startup+942.301 s]
/proc/loadavg: 8.33 8.24 8.16 9/257 12910
/proc/meminfo: memFree=20844176/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=802524 CPUtime=3762.04 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 428790 0 0 0 376036 168 0 0 25 0 4 0 651844387 821784576 140566 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 200631 140566 395 112 0 195596 0
[pid=12842/tid=12843] ppid=12840 vsize=802524 CPUtime=942.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 135413 0 0 0 94177 54 0 0 25 0 4 0 651844388 821784576 140566 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=802524 CPUtime=942.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 104288 0 0 0 94192 37 0 0 25 0 4 0 651844388 821784576 140566 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=802524 CPUtime=935.23 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 83606 0 0 0 93491 32 0 0 25 0 4 0 651844388 821784576 140566 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.04
Current children cumulated vsize (KiB) 802524

[startup+1002.3 s]
/proc/loadavg: 8.23 8.22 8.16 9/257 12913
/proc/meminfo: memFree=20782384/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=977308 CPUtime=4001.55 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 498731 0 0 0 399973 182 0 0 25 0 4 0 651844387 1000763392 155485 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 244327 155485 395 112 0 239292 0
[pid=12842/tid=12843] ppid=12840 vsize=977308 CPUtime=1002.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 194453 0 0 0 100169 62 0 0 25 0 4 0 651844388 1000763392 155485 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=977308 CPUtime=1002.29 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 109736 0 0 0 100189 40 0 0 25 0 4 0 651844388 1000763392 155485 33554432000 4194304 4650419 140736023412080 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=977308 CPUtime=994.75 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 84061 0 0 0 99442 33 0 0 25 0 4 0 651844388 1000763392 155485 33554432000 4194304 4650419 140736023412080 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.55
Current children cumulated vsize (KiB) 977308

[startup+1062.3 s]
/proc/loadavg: 8.33 8.27 8.18 9/257 12916
/proc/meminfo: memFree=20832260/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=805640 CPUtime=4240.27 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 520515 0 0 0 423834 193 0 0 25 0 4 0 651844387 824975360 149933 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 201410 149933 395 112 0 196375 0
[pid=12842/tid=12843] ppid=12840 vsize=805640 CPUtime=1062.31 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 202342 0 0 0 106166 65 0 0 25 0 4 0 651844388 824975360 149933 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=805640 CPUtime=1062.14 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 115738 0 0 0 106171 43 0 0 25 0 4 0 651844388 824975360 149933 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=805640 CPUtime=1053.62 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 87004 0 0 0 105328 34 0 0 25 0 4 0 651844388 824975360 149933 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.27
Current children cumulated vsize (KiB) 805640

[startup+1122.3 s]
/proc/loadavg: 8.22 8.25 8.18 9/257 12918
/proc/meminfo: memFree=20747684/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=840320 CPUtime=4479.81 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 544715 0 0 0 447777 204 0 0 25 0 4 0 651844387 860487680 158006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 210080 158006 395 112 0 205045 0
[pid=12842/tid=12843] ppid=12840 vsize=840320 CPUtime=1122.32 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 210786 0 0 0 112162 70 0 0 25 0 4 0 651844388 860487680 158006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=840320 CPUtime=1122.15 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 122479 0 0 0 112169 46 0 0 25 0 4 0 651844388 860487680 158006 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=840320 CPUtime=1113.17 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 87774 0 0 0 111282 35 0 0 25 0 4 0 651844388 860487680 158007 33554432000 4194304 4650419 140736023412080 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.81
Current children cumulated vsize (KiB) 840320

[startup+1182.3 s]
/proc/loadavg: 8.20 8.24 8.18 9/257 12919
/proc/meminfo: memFree=20813248/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=822724 CPUtime=4719.35 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 572030 0 0 0 471718 217 0 0 25 0 4 0 651844387 842469376 151528 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 205681 151528 395 112 0 200646 0
[pid=12842/tid=12843] ppid=12840 vsize=822724 CPUtime=1182.32 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 219813 0 0 0 118158 74 0 0 25 0 4 0 651844388 842469376 151528 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=822724 CPUtime=1182.15 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 131117 0 0 0 118165 50 0 0 25 0 4 0 651844388 842469376 151528 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=822724 CPUtime=1172.72 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 88806 0 0 0 117237 35 0 0 25 0 4 0 651844388 842469376 151528 33554432000 4194304 4650419 140736023412080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.35
Current children cumulated vsize (KiB) 822724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.14 8.23 8.17 9/257 12920
/proc/meminfo: memFree=20758548/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=950364 CPUtime=4800.4 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 580066 0 0 0 479821 219 0 0 25 0 4 0 651844387 973172736 158953 33554432000 4194304 4650419 140736023412080 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 237591 158953 395 112 0 232556 0
[pid=12842/tid=12843] ppid=12840 vsize=950364 CPUtime=1202.63 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 225528 0 0 0 120188 75 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=950364 CPUtime=1202.45 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 132373 0 0 0 120195 50 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=950364 CPUtime=1192.85 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 88987 0 0 0 119250 35 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 950364

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

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

[startup+1202.6 s]
/proc/loadavg: 8.14 8.23 8.17 9/257 12920
/proc/meminfo: memFree=20758548/32951124 swapFree=67056788/67111528
[pid=12842] ppid=12840 vsize=950364 CPUtime=4800.4 cores=0,2,4,6
/proc/12842/stat : 12842 (strangenight1-m) R 12840 12842 12464 0 -1 4202496 580066 0 0 0 479821 219 0 0 25 0 4 0 651844387 973172736 158953 33554432000 4194304 4650419 140736023412080 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12842/statm: 237591 158953 395 112 0 232556 0
[pid=12842/tid=12843] ppid=12840 vsize=950364 CPUtime=1202.63 cores=0,2,4,6
/proc/12842/task/12843/stat : 12843 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 225528 0 0 0 120188 75 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12842/tid=12844] ppid=12840 vsize=950364 CPUtime=1202.45 cores=0,2,4,6
/proc/12842/task/12844/stat : 12844 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 132373 0 0 0 120195 50 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12842/tid=12845] ppid=12840 vsize=950364 CPUtime=1192.85 cores=0,2,4,6
/proc/12842/task/12845/stat : 12845 (strangenight1-m) R 12840 12842 12464 0 -1 4202560 88987 0 0 0 119250 35 0 0 25 0 4 0 651844388 973172736 158954 33554432000 4194304 4650419 140736023412080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 950364

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.65
CPU time (s): 4800.47
CPU user time (s): 4798.25
CPU system time (s): 2.22366
CPU usage (%): 399.159
Max. virtual memory (cumulated for all children) (KiB): 996884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.25
system time used= 2.22366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580067
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= 786
involuntary context switches= 69910

runsolver used 2.6346 second user time and 6.49301 second system time

The end

Launcher Data

Begin job on node133 at 2011-05-14 21:47:45
IDJOB=3368762
IDBENCH=82771
IDSOLVER=1846
FILE ID=node133/3368762-1305402465
RUNJOBID= node133-1305402083-12779
PBS_JOBID= 13324488
Free space on /tmp= 73648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368762-1305402465/watcher-3368762-1305402465 -o /tmp/evaluation-result-3368762-1305402465/solver-3368762-1305402465 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368762-1305402465.cnf

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

MD5SUM BENCH= 786afedaa52bbc0b93f9aff94029b9c0
RANDOM SEED=505687175

node133.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.834
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.66
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.834
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      21535584 kB
Buffers:        273000 kB
Cached:        3219992 kB
SwapCached:       8724 kB
Active:        8716672 kB
Inactive:      2419044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21535584 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:     7640088 kB
Mapped:          21528 kB
Slab:           194776 kB
PageTables:      23888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19523124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-14 22:07:50