Trace number 3175153

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? (TO) 4800.24 1201.64

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-3175153-1304092854.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	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
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.20/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.20/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.20/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.20/0.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.20/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.01 s
0.20/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.20/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.20/0.05	c calculated reachability. Time: 0.00
0.20/0.05	c Calc default polars -  time:   0.00 s pos:     327 undec:      98 neg:     325
0.20/0.05	c =========================================================================================
0.20/0.05	c types(t): F = full restart, N = normal restart
0.20/0.05	c types(t): S = simplification begin/end, E = solution found
0.20/0.05	c restart types(rt): st = static, dy = dynamic
0.20/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.20/0.05	c  B st     0         0       737      3174         0         0      9587         0   no data   no data  --
0.20/0.12	c Decided on static restart strategy
1.57/0.40	c  N st     8      4922       737      3174         0      4890      9587    153136   no data   no data  --
3.17/0.81	c  N st    10     11307       737      3174         0      4512      9587     96293   no data   no data  --
3.17/0.81	c  N st    11     17050       737      3174         0     10186      9587    286148   no data   no data  --
4.77/1.21	c  F st    12     25000       737      3174         0     12511      9587    353536   no data   no data  --
4.77/1.22	c  N st    12     25000       737      3174         0     12511      9587    353536   no data   no data  --
5.57/1.48	c  N dy    18     30002       737      3174         0     10769      9587    272472   no data   no data  --
5.57/1.48	c  S st    18     30002       737      3174         0     10769      9587    272472   no data   no data  --
5.97/1.51	c  S st    18     30506       737      3174         0     11272      9587    286592   no data   no data  --
5.97/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.17/1.85	c lits-rem:        64  cl-subs:      166  v-elim:      0  v-fix:    0  time:  1.30 s
7.17/1.86	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
7.17/1.86	c calculated reachability. Time: 0.00
7.17/1.86	c  N dy    18     30506       737      3174         0     11106      9587    279854   no data   no data  --
8.38/2.12	c  N dy    31     34619       737      3174         0     15199      9587    403520     19.84     21.34  --
9.16/2.34	c  N dy    48     38703       737      3174         0     11397      9587    224266     19.60     26.46  --
10.36/2.65	c  N dy    77     43581       737      3174         0     16257      9587    373507     20.04     21.54  --
11.16/2.81	c  S st    92     45759       737      3174         0      9510      9587    130250     20.18   no data  --
11.16/2.84	c  S st    92     46263       737      3174         0     10014      9587    145589     20.18   no data  --
11.16/2.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.16/2.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.16/2.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.16/2.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.16/2.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
11.16/2.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.56/2.97	c lits-rem:        13  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.49 s
11.56/2.97	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
11.56/2.97	c vivif2 --  cl tried    10010 cl shrink        0 lits rem          0 time: 0.00
11.56/2.98	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
11.56/2.98	c calculated reachability. Time: 0.00
11.56/2.98	c  N dy    92     46263       737      3174         0     10010      9587    145429     20.18   no data  --
12.77/3.23	c  N dy   112     50575       737      3174         0     14304      9587    274919     20.24     21.33  --
13.95/3.51	c  N dy   132     54675       737      3174         0     18386      9587    398301     20.32     21.76  --
14.75/3.77	c  N dy   147     58738       737      3174         0     12490      9587    191220     20.30     21.66  --
15.95/4.02	c  N dy   171     62750       737      3174         0     16480      9587    312643     20.43     24.41  --
17.17/4.33	c  N dy   196     66878       737      3174         0     20579      9587    438194     20.54     21.70  --
17.94/4.52	c  S st   212     69395       737      3174         0     12154      9587    154443     20.58   no data  --
17.94/4.55	c  S st   212     69900       737      3174         0     12659      9587    169747     20.58   no data  --
17.94/4.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.94/4.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.94/4.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.94/4.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.94/4.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.94/4.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
17.94/4.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.74/4.78	c lits-rem:        43  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.87 s
18.74/4.78	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
18.74/4.78	c vivif2 --  cl tried    12644 cl shrink        0 lits rem          0 time: 0.01
18.74/4.79	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
18.74/4.79	c calculated reachability. Time: 0.00
18.74/4.79	c  N dy   212     69900       737      3174         0     12644      9587    169051     20.58   no data  --
19.95/5.09	c  N dy   240     74405       737      3174         0     17131      9587    308875     20.65     22.56  --
21.56/5.48	c  N dy   273     79180       737      3174         0     21877      9587    454103     20.76     21.90  --
23.14/5.88	c  N dy   302     84296       737      3174         0     15037      9587    218000     20.85     21.99  --
24.34/6.11	c  F st   309     87502       737      3174         0     18219      9587    312481     20.79     17.99  --
25.15/6.35	c  N st   314     90799       737      3174         0     21482      9587    417074     20.79   no data  --
25.55/6.50	c Decided on static restart strategy
27.94/7.06	c  N st   317     99806       737      3174         0     17523      9587    447338     20.79   no data  --
29.92/7.54	c  S st   318    104850       737      3174         0     22521      9587    614968     20.79   no data  --
29.92/7.59	c  S st   318    105351       737      3174         0     23021      9587    629456     20.79   no data  --
29.92/7.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.92/7.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.34/7.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.34/7.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.34/7.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.34/7.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
30.34/7.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.31/9.60	c lits-rem:       329  cl-subs:      540  v-elim:      0  v-fix:    0  time:  7.87 s
38.31/9.60	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
38.31/9.60	c vivif2 --  cl tried    22481 cl shrink        0 lits rem          0 time: 0.03
38.31/9.62	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.08
38.31/9.62	c calculated reachability. Time: 0.00
38.31/9.62	c  N st   318    105351       737      3174         0     22481      9587    605118     20.79   no data  --
41.50/10.49	c  N st   319    114949       737      3174         0     18096      9587    391852     20.79   no data  --
47.49/11.91	c  N st   320    129346       737      3174         0     17452      9587    379557     20.79   no data  --
55.88/14.01	c  N st   321    150942       737      3174         0     22977      9587    523110     20.79   no data  --
58.68/14.77	c  S st   322    158028       737      3174         0     29961      9587    760795     20.79   no data  --
59.08/14.84	c  S st   322    158529       737      3174         0     30460      9587    775500     20.79   no data  --
59.08/14.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.08/14.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.08/14.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.08/14.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.08/14.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.08/14.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
59.08/14.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
67.47/16.96	c lits-rem:      1636  cl-subs:      891  v-elim:      0  v-fix:    0  time:  8.32 s
67.47/16.97	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
67.47/16.97	c vivif2 --  cl tried    29569 cl shrink        0 lits rem          0 time: 0.03
67.87/17.00	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.11
67.87/17.00	c calculated reachability. Time: 0.00
67.87/17.00	c  N st   322    158529       737      3174         0     29569      9587    738346     20.79   no data  --
90.24/22.64	c  N st   323    207118       737      3174         0     24266      9587    513580     20.79   no data  --
106.22/26.68	c  N st   324    237793       737      3174         0     34811      9587    818690     20.79   no data  --
106.22/26.68	c  S st   324    237793       737      3174         0     34811      9587    818690     20.79   no data  --
106.62/26.76	c  S st   324    238299       737      3174         0     35317      9587    833874     20.79   no data  --
106.62/26.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.62/26.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.62/26.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
107.02/26.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.02/26.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.02/26.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
107.02/26.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
117.81/29.56	c lits-rem:       267  cl-subs:     1443  v-elim:      0  v-fix:    0  time: 11.03 s
117.81/29.56	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
117.81/29.57	c vivif2 --  cl tried    33874 cl shrink        0 lits rem          0 time: 0.04
118.22/29.60	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.11
118.22/29.60	c calculated reachability. Time: 0.00
118.22/29.60	c  N st   324    238299       737      3174         0     33874      9587    775741     20.79   no data  --
152.16/38.16	c  F st   325    306253       737      3174         0     35881      9587    836365     20.79   no data  --
152.16/38.16	c  N st   325    306253       737      3174         0     35881      9587    836365     20.79   no data  --
163.35/40.97	c  N dy   402    325985       737      3174         0     31689      9587    535735     20.89     22.28  --
175.75/44.05	c  N dy   505    346672       737      3174         0     27423      9587    346130     21.04     22.34  --
180.92/45.37	c  S st   534    357449       737      3174         0     38099      9587    671943     20.97   no data  --
181.32/45.46	c  S st   534    357950       737      3174         0     38600      9587    686754     20.97   no data  --
181.32/45.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
181.32/45.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.32/45.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
181.72/45.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
181.72/45.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
181.72/45.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
181.72/45.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
189.71/47.58	c lits-rem:       617  cl-subs:      537  v-elim:      0  v-fix:    0  time:  8.31 s
189.71/47.58	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
189.71/47.59	c vivif2 --  cl tried    38063 cl shrink        0 lits rem          0 time: 0.03
190.11/47.63	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.14
190.11/47.63	c calculated reachability. Time: 0.00
190.11/47.63	c  N dy   534    357950       737      3174         0     38063      9587    668782     20.97   no data  --
202.50/50.77	c  N dy   631    377989       737      3174         0     32177      9587    460582     21.04     24.45  --
215.68/54.03	c  N dy   736    398086       737      3174         0     52146      9587   1081657     21.11     25.70  --
226.86/56.89	c  N dy   846    418146       737      3174         0     45271      9587    833166     21.18     26.25  --
239.25/59.97	c  N dy   908    438354       737      3174         0     37529      9587    559778     21.11     22.41  --
253.63/63.55	c  N dy   973    458405       737      3174         0     57433      9587   1173156     21.04     22.22  --
265.22/66.47	c  N dy  1079    478455       737      3174         0     48567      9587    875109     21.08     23.97  --
280.00/70.14	c  N dy  1183    500300       737      3174         0     40471      9587    597561     21.10     22.43  --
294.78/73.81	c  N dy  1260    520312       737      3174         0     60340      9587   1211326     21.06     22.48  --
304.36/76.28	c  S st  1354    536926       737      3174         0     46044      9587    743954     21.10     20.24  --
305.16/76.40	c  S st  1354    537437       737      3174         0     46555      9587    759327     21.10   no data  --
305.16/76.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
305.16/76.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
305.16/76.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
305.16/76.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.16/76.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
305.16/76.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
305.16/76.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
315.55/79.02	c lits-rem:       609  cl-subs:      285  v-elim:      0  v-fix:    0  time: 10.27 s
315.55/79.02	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
315.55/79.03	c vivif2 --  cl tried    46270 cl shrink        0 lits rem          0 time: 0.04
315.55/79.07	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.19
315.55/79.08	c calculated reachability. Time: 0.00
315.55/79.08	c  N dy  1354    537437       737      3174         0     46270      9587    747464     21.10   no data  --
330.73/82.89	c  N dy  1438    557479       737      3174         0     34385      9587    345221     21.09     22.36  --
343.91/86.13	c  N dy  1532    577617       737      3174         0     54414      9587    974700     21.11     22.28  --
359.10/89.98	c  N dy  1648    597876       737      3174         0     41757      9587    551066     21.16     22.33  --
374.67/93.82	c  N dy  1736    617939       737      3174         0     61685      9587   1165524     21.17     26.62  --
389.06/97.45	c  N dy  1837    638041       737      3174         0     47886      9587    720012     21.19     25.04  --
407.03/101.93	c  N dy  1927    658067       737      3174         0     67783      9587   1337208     21.19     22.38  --
421.02/105.42	c  N dy  2023    678161       737      3174         0     52936      9587    847658     21.21     22.40  --
439.41/110.01	c  N dy  2121    698220       737      3174         0     37117      9587    324082     21.23     22.60  --
453.77/113.66	c  N dy  2211    718574       737      3174         0     57332      9587    955027     21.23     22.43  --
472.56/118.38	c  N dy  2325    738595       737      3174         0     40471      9587    403412     21.26     23.71  --
489.74/122.60	c  N dy  2426    761405       737      3174         0     63123      9587   1116545     21.26     22.39  --
507.31/127.02	c  N dy  2532    781499       737      3174         0     45342      9587    531035     21.28     22.86  --
523.29/131.09	c  N dy  2622    801589       737      3174         0     65303      9587   1157269     21.28     26.48  --
528.09/132.29	c  S st  2643    806155       737      3174         0     69834      9587   1296777     21.28     18.95  --
528.89/132.47	c  S st  2643    806657       737      3174         0     70336      9587   1312797     21.28   no data  --
528.89/132.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
528.89/132.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
529.29/132.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
529.29/132.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
529.29/132.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
529.29/132.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
529.29/132.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
536.87/134.47	c lits-rem:       626  cl-subs:      821  v-elim:      0  v-fix:    0  time:  7.67 s
536.87/134.47	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
536.87/134.48	c vivif2 --  cl tried    69515 cl shrink        0 lits rem          0 time: 0.06
537.27/134.56	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.32
537.27/134.56	c calculated reachability. Time: 0.00
537.27/134.56	c  N dy  2643    806657       737      3174         0     69515      9587   1282445     21.28   no data  --
554.05/138.74	c  N dy  2713    826863       737      3174         0     50868      9587    680994     21.27     22.42  --
573.63/143.60	c  N dy  2769    847911       737      3174         0     71719      9587   1334057     21.24     22.58  --
591.61/148.15	c  N dy  2868    869620       737      3174         0     53546      9587    743476     21.24     22.40  --
612.78/153.40	c  N dy  2967    891108       737      3174         0     74875      9587   1417305     21.25     22.43  --
629.96/157.78	c  N dy  3071    911736       737      3174         0     54640      9587    745445     21.27     22.85  --
653.13/163.51	c  N dy  3148    935665       737      3174         0     78391      9587   1490844     21.25     22.38  --
669.91/167.72	c  N dy  3237    955673       737      3174         0     56553      9587    773723     21.24     23.91  --
690.28/172.88	c  N dy  3331    976053       737      3174         0     76785      9587   1411682     21.24     22.51  --
709.46/177.69	c  N dy  3423    996072       737      3174         0     53973      9587    670405     21.25     23.43  --
729.83/182.72	c  N dy  3545   1016178       737      3174         0     73942      9587   1305082     21.27     22.69  --
751.02/188.03	c  N dy  3631   1036192       737      3174         0     50144      9587    530947     21.27     25.52  --
768.19/192.40	c  N dy  3704   1056410       737      3174         0     70221      9587   1160830     21.27     22.48  --
786.18/196.87	c  F st  3756   1071876       737      3174         0     85566      9587   1640571     21.26   no data  --
792.15/198.35	c Decided on static restart strategy
792.15/198.35	c  N st  3762   1077067       737      3174         0     46041      9587    374511     21.26   no data  --
808.93/202.54	c  N st  3766   1100177       737      3174         0     68869      9587   1134074     21.26   no data  --
843.31/211.20	c  N st  3768   1136170       737      3174         0     58819      9587   1327720     21.26   no data  --
874.85/219.08	c  N st  3769   1168564       737      3174         0     90675      9587   2417447     21.26   no data  --
921.59/230.76	c  N st  3770   1209986       737      3174         0     85049      9587   2066889     21.26   no data  --
921.59/230.76	c  S st  3770   1209986       737      3174         0     85049      9587   2066889     21.26   no data  --
922.81/231.01	c  S st  3770   1210487       737      3174         0     85550      9587   2082302     21.26   no data  --
922.81/231.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
922.81/231.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
922.81/231.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
923.18/231.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
923.18/231.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
923.18/231.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
923.18/231.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
969.53/242.74	c lits-rem:        72  cl-subs:     5773  v-elim:      0  v-fix:    0  time: 46.35 s
969.53/242.74	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
969.53/242.76	c vivif2 --  cl tried    79777 cl shrink        0 lits rem          0 time: 0.09
969.93/242.88	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.46
969.93/242.88	c calculated reachability. Time: 0.00
969.93/242.88	c  N st  3770   1210487       737      3174         0     79777      9587   1888325     21.26   no data  --
1040.64/260.54	c  N st  3771   1283371       737      3174         0     56214      9587   1022004     21.26   no data  --
1154.89/289.15	c  N st  3772   1392694       737      3174         0     64488      9587   1252813     21.26   no data  --
1330.67/333.13	c  N st  3773   1556678       737      3174         0     69389      9587   1261806     21.26   no data  --
1520.04/380.52	c  N st  3774   1710488       737      3174         0    111114      9587   2673386     21.26   no data  --
1520.04/380.52	c  S st  3774   1710488       737      3174         0    111114      9587   2673386     21.26   no data  --
1521.22/380.83	c  S st  3774   1710994       737      3174         0    111619      9587   2689819     21.26   no data  --
1521.22/380.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1521.22/380.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1521.62/380.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1521.62/380.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1521.62/380.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1521.62/380.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
1521.62/380.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1607.50/402.49	c lits-rem:        66  cl-subs:     6232  v-elim:      0  v-fix:    0  time: 85.83 s
1607.50/402.49	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
1607.91/402.52	c vivif2 --  cl tried   105387 cl shrink        0 lits rem          0 time: 0.11
1608.32/402.68	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.66
1608.32/402.69	c calculated reachability. Time: 0.00
1608.32/402.69	c  N st  3774   1710994       737      3174         0    105387      9587   2482185     21.26   no data  --
2112.86/528.95	c  N st  3775   2079958       737      3174         0    117655      9587   2715245     21.26   no data  --
2291.83/573.77	c  N st  3776   2210995       737      3174         0    121684      9587   2839767     21.26   no data  --
2291.83/573.77	c  S st  3776   2210995       737      3174         0    121684      9587   2839767     21.26   no data  --
2293.44/574.14	c  S st  3776   2211502       737      3174         0    122191      9587   2855132     21.26   no data  --
2293.44/574.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2293.44/574.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2293.85/574.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2294.22/574.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2294.22/574.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2294.22/574.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
2294.22/574.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2365.74/592.27	c lits-rem:       435  cl-subs:     4280  v-elim:      0  v-fix:    0  time: 71.72 s
2365.74/592.27	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2366.14/592.30	c vivif2 --  cl tried   117911 cl shrink        0 lits rem          0 time: 0.13
2366.54/592.49	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.76
2366.94/592.50	c calculated reachability. Time: 0.00
2366.94/592.50	c  N st  3776   2211502       737      3174         0    117911      9587   2703424     21.26   no data  --
3093.23/774.38	c  N st  3777   2711503       737      3174         0    141260      9587   3415302     21.26   no data  --
3093.23/774.38	c  S st  3777   2711503       737      3174         0    141260      9587   3415302     21.26   no data  --
3096.01/775.01	c  S st  3777   2712005       737      3174         0     70961      9587    800707     21.26   no data  --
3096.01/775.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3096.01/775.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3096.01/775.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3096.01/775.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3096.01/775.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3096.01/775.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
3096.01/775.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3104.39/777.16	c lits-rem:       205  cl-subs:       30  v-elim:      0  v-fix:    0  time:  8.32 s
3104.39/777.16	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3104.39/777.17	c vivif2 --  cl tried    70931 cl shrink        0 lits rem          0 time: 0.05
3104.79/777.26	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.36
3104.79/777.26	c calculated reachability. Time: 0.00
3104.79/777.26	c  N st  3777   2712005       737      3174         0     70931      9587    799914     21.26   no data  --
3884.20/972.31	c  N st  3778   3212005       737      3174         0    117264      9587   2282814     21.26   no data  --
3884.20/972.31	c  S st  3778   3212005       737      3174         0    117264      9587   2282814     21.26   no data  --
3885.78/972.71	c  S st  3778   3212512       737      3174         0    117769      9587   2299053     21.26   no data  --
3885.78/972.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3885.78/972.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3886.18/972.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.32
3886.18/972.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3886.18/972.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3886.18/972.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
3886.18/972.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3943.69/987.22	c lits-rem:        38  cl-subs:     3113  v-elim:      0  v-fix:    0  time: 57.22 s
3943.69/987.22	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3943.69/987.25	c vivif2 --  cl tried   114656 cl shrink        0 lits rem          0 time: 0.12
3944.49/987.45	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.81
3944.49/987.46	c calculated reachability. Time: 0.00
3944.49/987.46	c  N st  3778   3212512       737      3174         0    114656      9587   2193000     21.26   no data  --
4722.67/1182.27	c  N st  3779   3712513       737      3174         0    125621      9587   2524778     21.26   no data  --
4722.67/1182.27	c  S st  3779   3712513       737      3174         0    125621      9587   2524778     21.26   no data  --
4724.26/1182.64	c  S st  3779   3713021       737      3174         0    126129      9587   2540016     21.26   no data  --
4724.26/1182.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4724.26/1182.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4724.66/1182.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
4724.66/1182.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4724.66/1182.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4724.66/1182.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
4724.66/1182.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4790.57/1199.25	c lits-rem:       541  cl-subs:     4185  v-elim:      0  v-fix:    0  time: 65.71 s
4790.57/1199.25	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
4790.57/1199.28	c vivif2 --  cl tried   121944 cl shrink        0 lits rem          0 time: 0.12
4791.38/1199.47	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.79
4791.38/1199.48	c calculated reachability. Time: 0.00
4791.38/1199.48	c  N st  3779   3713021       737      3174         0    121944      9587   2384659     21.26   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-3175153-1304092854/watcher-3175153-1304092854 -o /tmp/evaluation-result-3175153-1304092854/solver-3175153-1304092854 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175153-1304092854.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.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373984/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 4 0 501701008 52465664 353 33554432000 4194304 4650419 140735062119824 18446744073709551615 47295483959218 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 12809 353 303 112 0 7774 0
[pid=7823/tid=7825] ppid=7819 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 501701008 52465664 353 33554432000 4194304 4650419 140735062119824 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 501701008 52465664 353 33554432000 4194304 4650419 140735062119824 18446744073709551615 270333415656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 501701008 52465664 353 33554432000 4194304 4650419 140735062119824 18446744073709551615 270333415656 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.05717 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373984/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=348508 CPUtime=0.2 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 1823 0 0 0 20 0 0 0 18 0 4 0 501701008 356872192 1669 33554432000 4194304 4650419 140735062119824 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 87127 1669 390 112 0 82092 0
[pid=7823/tid=7825] ppid=7819 vsize=348508 CPUtime=0.04 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 405 0 0 0 4 0 0 0 19 0 4 0 501701008 356872192 1669 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=348508 CPUtime=0.04 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 408 0 0 0 4 0 0 0 18 0 4 0 501701008 356872192 1669 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=348508 CPUtime=0.04 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 222 0 0 0 4 0 0 0 18 0 4 0 501701008 356872192 1670 33554432000 4194304 4650419 140735062119824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 348508

[startup+0.15715 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373984/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=348508 CPUtime=0.6 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 2328 0 0 0 60 0 0 0 18 0 4 0 501701008 356872192 2174 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 87127 2174 391 112 0 82092 0
[pid=7823/tid=7825] ppid=7819 vsize=348508 CPUtime=0.14 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 532 0 0 0 14 0 0 0 20 0 4 0 501701008 356872192 2174 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=348508 CPUtime=0.14 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 546 0 0 0 14 0 0 0 18 0 4 0 501701008 356872192 2174 33554432000 4194304 4650419 140735062119824 18446744073709551615 4330666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=348508 CPUtime=0.14 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 346 0 0 0 14 0 0 0 18 0 4 0 501701008 356872192 2174 33554432000 4194304 4650419 140735062119824 18446744073709551615 4333808 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 348508

[startup+0.301122 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373984/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=349840 CPUtime=1.17 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 3322 0 0 0 117 0 0 0 18 0 4 0 501701008 358236160 2405 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 87460 2405 393 112 0 82425 0
[pid=7823/tid=7825] ppid=7819 vsize=349840 CPUtime=0.29 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 768 0 0 0 29 0 0 0 20 0 4 0 501701008 358236160 2405 33554432000 4194304 4650419 140735062119824 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=349840 CPUtime=0.29 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 773 0 0 0 29 0 0 0 18 0 4 0 501701008 358236160 2405 33554432000 4194304 4650419 140735062119824 18446744073709551615 4333812 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=349840 CPUtime=0.29 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 624 0 0 0 29 0 0 0 18 0 4 0 501701008 358236160 2405 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349840

[startup+0.701043 s]
/proc/loadavg: 7.42 7.95 7.93 4/176 7824
/proc/meminfo: memFree=31373984/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=350992 CPUtime=2.77 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 5235 0 0 0 277 0 0 0 18 0 4 0 501701008 359415808 3189 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 87748 3189 393 112 0 82713 0
[pid=7823/tid=7825] ppid=7819 vsize=350992 CPUtime=0.69 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1246 0 0 0 69 0 0 0 21 0 4 0 501701008 359415808 3189 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=350992 CPUtime=0.69 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1265 0 0 0 69 0 0 0 18 0 4 0 501701008 359415808 3189 33554432000 4194304 4650419 140735062119824 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=350992 CPUtime=0.69 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1085 0 0 0 69 0 0 0 18 0 4 0 501701008 359415808 3189 33554432000 4194304 4650419 140735062119824 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350992

[startup+1.50089 s]
/proc/loadavg: 7.42 7.95 7.93 10/184 7833
/proc/meminfo: memFree=31351096/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=352420 CPUtime=5.97 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 8963 0 0 0 596 1 0 0 20 0 4 0 501701008 360878080 3764 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 88105 3764 394 112 0 83070 0
[pid=7823/tid=7825] ppid=7819 vsize=352420 CPUtime=1.48 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 2207 0 0 0 148 0 0 0 23 0 4 0 501701008 360878080 3764 33554432000 4194304 4650419 140735062119824 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=352420 CPUtime=1.48 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 2253 0 0 0 148 0 0 0 20 0 4 0 501701008 360878080 3764 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=352420 CPUtime=1.49 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 1952 0 0 0 149 0 0 0 20 0 4 0 501701008 360878080 3764 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 352420

[startup+3.10057 s]
/proc/loadavg: 7.42 7.95 7.93 10/184 7833
/proc/meminfo: memFree=31319476/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=342368 CPUtime=12.36 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 19598 0 0 0 1234 2 0 0 25 0 4 0 501701008 350584832 11813 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 85592 11813 395 112 0 80557 0
[pid=7823/tid=7825] ppid=7819 vsize=342368 CPUtime=3.07 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 4632 0 0 0 307 0 0 0 25 0 4 0 501701008 350584832 11813 33554432000 4194304 4650419 140735062119824 18446744073709551615 4306746 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=342368 CPUtime=3.08 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 4926 0 0 0 308 0 0 0 25 0 4 0 501701008 350584832 11813 33554432000 4194304 4650419 140735062119824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=342368 CPUtime=3.09 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 4602 0 0 0 309 0 0 0 25 0 4 0 501701008 350584832 11813 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 342368

[startup+6.30093 s]
/proc/loadavg: 7.46 7.96 7.93 10/184 7833
/proc/meminfo: memFree=31263980/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=360496 CPUtime=25.15 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 27858 0 0 0 2510 5 0 0 25 0 4 0 501701008 369147904 17663 33554432000 4194304 4650419 140735062119824 18446744073709551615 4334374 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 90124 17663 395 112 0 85089 0
[pid=7823/tid=7825] ppid=7819 vsize=360496 CPUtime=6.26 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 7402 0 0 0 625 1 0 0 25 0 4 0 501701008 369147904 17663 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=360496 CPUtime=6.28 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 7035 0 0 0 627 1 0 0 25 0 4 0 501701008 369147904 17663 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=360496 CPUtime=6.28 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 6180 0 0 0 628 0 0 0 25 0 4 0 501701008 369147904 17663 33554432000 4194304 4650419 140735062119824 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 360496

[startup+12.7007 s]
/proc/loadavg: 7.50 7.96 7.93 10/184 7842
/proc/meminfo: memFree=31206308/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=426520 CPUtime=50.69 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 41859 0 0 0 5061 8 0 0 25 0 4 0 501701008 436756480 26291 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 106630 26291 395 112 0 101595 0
[pid=7823/tid=7825] ppid=7819 vsize=426520 CPUtime=12.62 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 11540 0 0 0 1260 2 0 0 25 0 4 0 501701008 436756480 26291 33554432000 4194304 4650419 140735062119824 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=426520 CPUtime=12.68 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 9989 0 0 0 1266 2 0 0 25 0 4 0 501701008 436756480 26291 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=426520 CPUtime=12.67 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 8729 0 0 0 1266 1 0 0 25 0 4 0 501701008 436756480 26291 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 426520

[startup+25.5011 s]
/proc/loadavg: 7.61 7.96 7.93 10/184 7842
/proc/meminfo: memFree=31147420/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=429924 CPUtime=101.83 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 63189 0 0 0 10169 14 0 0 25 0 4 0 501701008 440242176 34083 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 107481 34083 395 112 0 102446 0
[pid=7823/tid=7825] ppid=7819 vsize=429924 CPUtime=25.35 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 17965 0 0 0 2532 3 0 0 25 0 4 0 501701008 440242176 34083 33554432000 4194304 4650419 140735062119824 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=429924 CPUtime=25.49 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 13643 0 0 0 2545 4 0 0 25 0 4 0 501701008 440242176 34083 33554432000 4194304 4650419 140735062119824 18446744073709551615 4304288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=429924 CPUtime=25.47 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 13801 0 0 0 2545 2 0 0 25 0 4 0 501701008 440242176 34083 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 429924

[startup+51.1011 s]
/proc/loadavg: 7.86 7.99 7.94 10/184 7843
/proc/meminfo: memFree=31090332/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=447740 CPUtime=204.09 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 91749 0 0 0 20387 22 0 0 25 0 4 0 501701008 458485760 41904 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 111935 41904 395 112 0 106900 0
[pid=7823/tid=7825] ppid=7819 vsize=447740 CPUtime=50.83 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 25169 0 0 0 5078 5 0 0 25 0 4 0 501701008 458485760 41904 33554432000 4194304 4650419 140735062119824 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=447740 CPUtime=51.08 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 19921 0 0 0 5103 5 0 0 25 0 4 0 501701008 458485760 41904 33554432000 4194304 4650419 140735062119824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=447740 CPUtime=51.07 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 19737 0 0 0 5103 4 0 0 25 0 4 0 501701008 458485760 41904 33554432000 4194304 4650419 140735062119824 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 447740

[startup+102.307 s]
/proc/loadavg: 7.94 7.99 7.94 10/184 7844
/proc/meminfo: memFree=31037608/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=447420 CPUtime=408.65 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 124557 0 0 0 40830 35 0 0 25 0 4 0 501701008 458158080 48679 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 111855 48679 395 112 0 106820 0
[pid=7823/tid=7825] ppid=7819 vsize=447420 CPUtime=101.76 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 32581 0 0 0 10169 7 0 0 25 0 4 0 501701008 458158080 48679 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=447420 CPUtime=102.28 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 28375 0 0 0 10218 10 0 0 25 0 4 0 501701008 458158080 48679 33554432000 4194304 4650419 140735062119824 18446744073709551615 4331989 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=447420 CPUtime=102.28 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 28093 0 0 0 10221 7 0 0 25 0 4 0 501701008 458158080 48680 33554432000 4194304 4650419 140735062119824 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 447420

[startup+162.301 s]

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

[pid=7823] ppid=7819 vsize=626532 CPUtime=2565.89 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 385150 0 0 0 256454 135 0 0 25 0 4 0 501701008 641568768 115972 33554432000 4194304 4650419 140735062119824 18446744073709551615 4328378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 156633 115972 395 112 0 151598 0
[pid=7823/tid=7825] ppid=7819 vsize=626532 CPUtime=638.99 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 91943 0 0 0 63869 30 0 0 25 0 4 0 501701008 641568768 115972 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=626532 CPUtime=642.26 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 95583 0 0 0 64190 36 0 0 25 0 4 0 501701008 641568768 115972 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=626532 CPUtime=642.31 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 87248 0 0 0 64201 30 0 0 25 0 4 0 501701008 641568768 115972 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.89
Current children cumulated vsize (KiB) 626532

[startup+702.301 s]
/proc/loadavg: 8.01 8.05 8.00 11/184 7860
/proc/meminfo: memFree=30569216/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=704816 CPUtime=2805.58 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 408071 0 0 0 280411 147 0 0 25 0 4 0 501701008 721731584 123234 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 176204 123234 395 112 0 171169 0
[pid=7823/tid=7825] ppid=7819 vsize=704816 CPUtime=698.68 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 97038 0 0 0 69835 33 0 0 25 0 4 0 501701008 721731584 123234 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=704816 CPUtime=702.25 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 103401 0 0 0 70186 39 0 0 25 0 4 0 501701008 721731584 123234 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=704816 CPUtime=702.3 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 91390 0 0 0 70198 32 0 0 25 0 4 0 501701008 721731584 123234 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.58
Current children cumulated vsize (KiB) 704816

[startup+762.307 s]
/proc/loadavg: 8.08 8.06 8.00 10/184 7862
/proc/meminfo: memFree=30546744/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=718280 CPUtime=3045.29 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 435692 0 0 0 304371 158 0 0 25 0 4 0 501701008 735518720 123814 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 179570 123814 395 112 0 174535 0
[pid=7823/tid=7825] ppid=7819 vsize=718280 CPUtime=758.39 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 105254 0 0 0 75802 37 0 0 25 0 4 0 501701008 735518720 123814 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=718280 CPUtime=762.24 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 111095 0 0 0 76181 43 0 0 25 0 4 0 501701008 735518720 123814 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=718280 CPUtime=762.32 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 97662 0 0 0 76197 35 0 0 25 0 4 0 501701008 735518720 123814 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.29
Current children cumulated vsize (KiB) 718280

[startup+822.301 s]
/proc/loadavg: 8.13 8.07 8.01 10/184 7863
/proc/meminfo: memFree=30523144/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=764988 CPUtime=3284.96 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 459732 0 0 0 328327 169 0 0 25 0 4 0 501701008 783347712 128258 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 191247 128258 395 112 0 186212 0
[pid=7823/tid=7825] ppid=7819 vsize=764988 CPUtime=818.07 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 109631 0 0 0 81769 38 0 0 25 0 4 0 501701008 783347712 128258 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=764988 CPUtime=822.24 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 118603 0 0 0 82178 46 0 0 25 0 4 0 501701008 783347712 128258 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=764988 CPUtime=822.31 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 102942 0 0 0 82193 38 0 0 25 0 4 0 501701008 783347712 128258 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.96
Current children cumulated vsize (KiB) 764988

[startup+882.301 s]
/proc/loadavg: 8.11 8.07 8.01 10/184 7865
/proc/meminfo: memFree=30500416/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=732340 CPUtime=3524.65 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 482442 0 0 0 352287 178 0 0 25 0 4 0 501701008 749916160 131304 33554432000 4194304 4650419 140735062119824 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 183085 131304 395 112 0 178050 0
[pid=7823/tid=7825] ppid=7819 vsize=732340 CPUtime=877.75 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 113866 0 0 0 87735 40 0 0 25 0 4 0 501701008 749916160 131304 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=732340 CPUtime=882.24 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 126397 0 0 0 88175 49 0 0 25 0 4 0 501701008 749916160 131304 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=732340 CPUtime=882.31 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 109109 0 0 0 88192 39 0 0 25 0 4 0 501701008 749916160 131304 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.65
Current children cumulated vsize (KiB) 732340

[startup+942.3 s]
/proc/loadavg: 8.09 8.07 8.01 10/184 7867
/proc/meminfo: memFree=30445196/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=798008 CPUtime=3764.34 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 506457 0 0 0 376247 187 0 0 25 0 4 0 501701008 817160192 138401 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 199502 138401 395 112 0 194467 0
[pid=7823/tid=7825] ppid=7819 vsize=798008 CPUtime=937.44 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 115625 0 0 0 93703 41 0 0 25 0 4 0 501701008 817160192 138401 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=798008 CPUtime=942.23 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 134497 0 0 0 94171 52 0 0 25 0 4 0 501701008 817160192 138401 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=798008 CPUtime=942.32 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 115460 0 0 0 94190 42 0 0 25 0 4 0 501701008 817160192 138401 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.34
Current children cumulated vsize (KiB) 798008

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 8.01 10/184 7868
/proc/meminfo: memFree=30459408/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=839596 CPUtime=4004.02 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 582930 0 0 0 400200 202 0 0 25 0 4 0 501701008 859746304 137068 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 209899 137068 395 112 0 204864 0
[pid=7823/tid=7825] ppid=7819 vsize=839596 CPUtime=997.12 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 178826 0 0 0 99664 48 0 0 25 0 4 0 501701008 859746304 137068 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=839596 CPUtime=1002.22 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 141303 0 0 0 100166 56 0 0 25 0 4 0 501701008 859746304 137068 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=839596 CPUtime=1002.31 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 120581 0 0 0 100187 44 0 0 25 0 4 0 501701008 859746304 137068 33554432000 4194304 4650419 140735062119824 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.02
Current children cumulated vsize (KiB) 839596

[startup+1062.3 s]
/proc/loadavg: 8.16 8.10 8.02 10/184 7870
/proc/meminfo: memFree=30397756/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=864084 CPUtime=4243.71 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 610787 0 0 0 424156 215 0 0 25 0 4 0 501701008 884822016 154054 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 216021 154054 395 112 0 210986 0
[pid=7823/tid=7825] ppid=7819 vsize=864084 CPUtime=1056.81 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 186272 0 0 0 105629 52 0 0 25 0 4 0 501701008 884822016 154054 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=864084 CPUtime=1062.23 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 151327 0 0 0 106163 60 0 0 25 0 4 0 501701008 884822016 154054 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=864084 CPUtime=1062.32 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 126457 0 0 0 106185 47 0 0 25 0 4 0 501701008 884822016 154054 33554432000 4194304 4650419 140735062119824 18446744073709551615 4315147 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.71
Current children cumulated vsize (KiB) 864084

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.01 10/184 7871
/proc/meminfo: memFree=30363368/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=984784 CPUtime=4483.38 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 633656 0 0 0 448114 224 0 0 25 0 4 0 501701008 1008418816 158612 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 246196 158612 395 112 0 241161 0
[pid=7823/tid=7825] ppid=7819 vsize=984784 CPUtime=1116.48 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 191105 0 0 0 111594 54 0 0 25 0 4 0 501701008 1008418816 158612 33554432000 4194304 4650419 140735062119824 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=984784 CPUtime=1122.22 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 157493 0 0 0 112160 62 0 0 25 0 4 0 501701008 1008418816 158612 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=984784 CPUtime=1122.32 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 129725 0 0 0 112184 48 0 0 25 0 4 0 501701008 1008418816 158612 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.38
Current children cumulated vsize (KiB) 984784

[startup+1182.3 s]
/proc/loadavg: 8.02 8.06 8.01 10/184 7873
/proc/meminfo: memFree=30353040/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=919588 CPUtime=4723.07 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 656712 0 0 0 472070 237 0 0 25 0 4 0 501701008 941658112 155048 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 229897 155048 395 112 0 224862 0
[pid=7823/tid=7825] ppid=7819 vsize=919588 CPUtime=1176.16 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 195990 0 0 0 117560 56 0 0 25 0 4 0 501701008 941658112 155048 33554432000 4194304 4650419 140735062119824 18446744073709551615 4326261 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=919588 CPUtime=1182.22 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 165654 0 0 0 118155 67 0 0 25 0 4 0 501701008 941658112 155048 33554432000 4194304 4650419 140735062119824 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=919588 CPUtime=1182.32 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 131162 0 0 0 118184 48 0 0 25 0 4 0 501701008 941658112 155048 33554432000 4194304 4650419 140735062119824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.07
Current children cumulated vsize (KiB) 919588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.01 8.06 8.00 10/184 7874
/proc/meminfo: memFree=30310608/32951124 swapFree=67111356/67111528
[pid=7823] ppid=7819 vsize=919212 CPUtime=4800.18 cores=0,2,4,6
/proc/7823/stat : 7823 (strangenight1-m) R 7819 7823 7164 0 -1 4202496 664842 0 0 0 479779 239 0 0 25 0 4 0 501701008 941273088 158756 33554432000 4194304 4650419 140735062119824 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7823/statm: 229803 158756 395 112 0 224768 0
[pid=7823/tid=7825] ppid=7819 vsize=919212 CPUtime=1195.36 cores=0,2,4,6
/proc/7823/task/7825/stat : 7825 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 201376 0 0 0 119478 58 0 0 25 0 4 0 501701008 941273088 158756 33554432000 4194304 4650419 140735062119824 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7823/tid=7826] ppid=7819 vsize=919212 CPUtime=1201.53 cores=0,2,4,6
/proc/7823/task/7826/stat : 7826 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 168215 0 0 0 120085 68 0 0 25 0 4 0 501701008 941273088 158756 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7823/tid=7828] ppid=7819 vsize=919212 CPUtime=1201.63 cores=0,2,4,6
/proc/7823/task/7828/stat : 7828 (strangenight1-m) R 7819 7823 7164 0 -1 4202560 131162 0 0 0 120115 48 0 0 25 0 4 0 501701008 941273088 158756 33554432000 4194304 4650419 140735062119824 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 919212

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.24
CPU user time (s): 4797.82
CPU system time (s): 2.42363
CPU usage (%): 399.474
Max. virtual memory (cumulated for all children) (KiB): 1087076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.42363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664843
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= 523
involuntary context switches= 41431

runsolver used 1.89271 second user time and 4.39733 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 18:00:54
IDJOB=3175153
IDBENCH=82771
IDSOLVER=1588
FILE ID=node143/3175153-1304092854
RUNJOBID= node143-1304092854-7805
PBS_JOBID= 13170544
Free space on /tmp= 72924 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175153-1304092854/watcher-3175153-1304092854 -o /tmp/evaluation-result-3175153-1304092854/solver-3175153-1304092854 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175153-1304092854.cnf

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

MD5SUM BENCH= 786afedaa52bbc0b93f9aff94029b9c0
RANDOM SEED=1822304145

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31374420 kB
Buffers:        220096 kB
Cached:        1017508 kB
SwapCached:        168 kB
Active:         283552 kB
Inactive:      1017736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31374420 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12452 kB
Writeback:           0 kB
AnonPages:       63528 kB
Mapped:          14640 kB
Slab:           212432 kB
PageTables:       4976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185556 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= 72912 MiB
End job on node143 at 2011-04-29 18:20:58