Trace number 3368989

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.41 1201.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
MD5SUM053eacf65ab310107e284aa82f53766f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.963852
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

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-3368989-1307657356.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.40/0.20	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.40/0.20	c -- vars added         90
0.40/0.20	c Parsing time:  0.01 s
0.40/0.20	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.40/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.40/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.17/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.17/0.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:      54 undec:       1 neg:      35
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.17/0.85	c  N dy     7      4243        90      8010         0      3930     56070    119257     26.39     27.79  --
3.17/0.85	c  N dy     9      8919        90      8010         0      5922     56070    164431     25.38     26.74  --
3.17/0.85	c  N dy    26     12920        90      8010         0      5721     56070    143223     25.63     27.69  --
3.57/0.95	c  N dy    44     16938        90      8010         0      9467     56070    255684     25.88     27.91  --
4.38/1.15	c  N dy    47     21314        90      8010         0      8267     56070    200036     25.65     27.05  --
5.17/1.35	c  F st    49     25001        90      8010         0     11691     56070    298813     25.41     23.60  --
5.17/1.35	c  N st    51     25629        90      8010         0     12271     56070    316405     25.41   no data  --
5.97/1.55	c  N dy    55     30003        90      8010         0     10012     56070    236912     25.41   no data  --
5.97/1.55	c  S st    55     30003        90      8010         0     10012     56070    236912     25.41   no data  --
5.97/1.59	c  S st    55     30507        90      8010         0     10497     56070    251636     25.41   no data  --
5.97/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.37/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.37/1.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.83	c lits-rem:      1398  cl-subs:      780  v-elim:      0  v-fix:    0  time:  4.88 s
12.76/3.21	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.53
12.76/3.21	c calculated reachability. Time: 0.00
12.76/3.21	c  N dy    55     30507        90      8010         0      9717     56070    225461     25.41   no data  --
13.58/3.44	c  N dy    67     34557        90      8010         0     13509     56070    338474     25.44     27.02  --
14.75/3.72	c  N dy    69     39464        90      8010         0     10696     56070    236337     25.28     26.84  --
15.55/3.97	c  N dy    85     43616        90      8010         0     14535     56070    349050     25.30     26.74  --
15.95/4.09	c  S st    86     45760        90      8010         0     16520     56070    406866     25.28     23.79  --
16.35/4.14	c  S st    86     46265        90      8010         0      8732     56070    163767     25.28   no data  --
16.35/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.35/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.35/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.35/4.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.01	c lits-rem:       169  cl-subs:       37  v-elim:      0  v-fix:    0  time:  3.44 s
19.95/5.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.01	c vivif2 --  cl tried     8695 cl shrink        0 lits rem          0 time: 0.01
21.14/5.31	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.16
21.14/5.31	c calculated reachability. Time: 0.00
21.14/5.31	c  N dy    86     46265        90      8010         0      8695     56070    162224     25.28   no data  --
23.54/5.95	c  N dy    93     57619        90      8010         0      9945     56070    183359     24.85     26.31  --
24.74/6.29	c  N dy   115     63583        90      8010         0     15493     56070    347344     24.92     26.42  --
25.94/6.58	c  N dy   142     67663        90      8010         0     19292     56070    459194     24.99     28.24  --
26.75/6.72	c  S st   149     69397        90      8010         0     10735     56070    189982     25.01     23.54  --
26.75/6.75	c  S st   149     69901        90      8010         0     11208     56070    204077     25.01   no data  --
26.75/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.75/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.75/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.75/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.15/7.83	c lits-rem:       341  cl-subs:      138  v-elim:      0  v-fix:    0  time:  4.26 s
31.15/7.84	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.15/7.84	c vivif2 --  cl tried    11070 cl shrink        0 lits rem          0 time: 0.01
32.73/8.20	c asymm  cl-useful: 0/7983/8010 lits-rem:0 time: 1.44
32.73/8.20	c calculated reachability. Time: 0.00
32.73/8.20	c  N dy   149     69901        90      8010         0     11070     56070    199203     25.01   no data  --
33.92/8.52	c  N dy   163     74980        90      8010         0     15795     56070    337804     25.04     26.45  --
37.12/9.38	c  F st   172     87500        90      8010         0     16225     56070    332004     24.87     23.01  --
37.12/9.39	c  N st   172     87500        90      8010         0     16225     56070    332004     24.87     23.01  --
39.12/9.83	c  N dy   181     93139        90      8010         0     21416     56070    485428     24.87     26.26  --
41.11/10.33	c  N dy   200    100204        90      8010         0     15945     56070    307614     24.89     26.33  --
42.31/10.67	c  S st   224    104851        90      8010         0     20271     56070    435069     24.93   no data  --
42.71/10.73	c  S st   224    105353        90      8010         0     20748     56070    449234     24.93   no data  --
42.71/10.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.71/10.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.71/10.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
42.71/10.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.71/10.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.71/10.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.71/10.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.31/12.69	c lits-rem:      2004  cl-subs:     1439  v-elim:      0  v-fix:    0  time:  7.75 s
50.31/12.69	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.31/12.69	c vivif2 --  cl tried    19309 cl shrink        0 lits rem          0 time: 0.02
52.30/13.10	c asymm  cl-useful: 0/5703/8010 lits-rem:0 time: 1.61
52.30/13.10	c calculated reachability. Time: 0.00
52.30/13.10	c  N dy   224    105353        90      8010         0     19309     56070    402366     24.93   no data  --
54.30/13.69	c  N dy   254    112161        90      8010         0     25612     56070    587985     24.98     27.48  --
56.70/14.20	c  N dy   282    119379        90      8010         0     19427     56070    395465     25.02     26.41  --
59.09/14.82	c  N dy   304    127033        90      8010         0     26496     56070    603486     25.04     28.07  --
61.91/15.52	c  N dy   344    136255        90      8010         0     21213     56070    431643     25.10     26.53  --
65.90/16.51	c  N dy   379    148363        90      8010         0     17587     56070    302327     25.11     26.59  --
69.08/17.35	c  N dy   438    158031        90      8010         0     26557     56070    567989     25.18     23.98  --
69.08/17.35	c  S st   438    158031        90      8010         0     26557     56070    567989     25.18     23.98  --
69.48/17.42	c  S st   438    158535        90      8010         0     27037     56070    582344     25.18   no data  --
69.48/17.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.48/17.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.48/17.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.48/17.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.48/17.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.48/17.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.48/17.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.86/20.09	c lits-rem:      2383  cl-subs:     2027  v-elim:      0  v-fix:    0  time: 10.54 s
79.86/20.09	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.26/20.10	c vivif2 --  cl tried    25010 cl shrink        0 lits rem          0 time: 0.02
81.06/20.34	c asymm  cl-useful: 0/1907/8010 lits-rem:0 time: 0.98
81.06/20.34	c calculated reachability. Time: 0.00
81.06/20.34	c  N dy   438    158535        90      8010         0     25010     56070    515403     25.18   no data  --
85.06/21.39	c  N dy   477    168742        90      8010         0     18788     56070    320132     25.20     26.61  --
90.25/22.66	c  N dy   517    182169        90      8010         0     31246     56070    686416     25.22     26.57  --
94.24/23.68	c  N dy   542    194290        90      8010         0     25753     56070    505836     25.19     26.59  --
99.84/25.02	c  N dy   559    208295        90      8010         0     21153     56070    354333     25.16     26.54  --
110.63/27.78	c  N dy   588    237803        90      8010         0     29803     56070    582907     24.96     23.47  --
110.63/27.78	c  S st   588    237803        90      8010         0     29803     56070    582907     24.96     23.47  --
111.03/27.85	c  S st   588    238304        90      8010         0     30274     56070    597058     24.96   no data  --
111.03/27.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.03/27.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.03/27.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.03/27.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.03/27.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.03/27.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.03/27.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.43/30.91	c lits-rem:      2875  cl-subs:     2714  v-elim:      0  v-fix:    0  time: 12.10 s
123.43/30.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.43/30.91	c vivif2 --  cl tried    27560 cl shrink        0 lits rem          0 time: 0.02
124.21/31.10	c asymm  cl-useful: 0/2212/8010 lits-rem:0 time: 0.76
124.21/31.11	c calculated reachability. Time: 0.00
124.21/31.11	c  N dy   588    238304        90      8010         0     27560     56070    518891     24.96   no data  --
132.21/33.17	c  N dy   655    258554        90      8010         0     27017     56070    489487     24.97     26.65  --
139.79/35.07	c  N dy   724    275078        90      8010         0     22025     56070    331088     25.01     26.84  --
146.98/36.90	c  N dy   799    292968        90      8010         0     38617     56070    819820     25.05     26.48  --
152.57/38.26	c  F st   835    306250        90      8010         0     29660     56070    532041     25.04     22.52  --
154.96/38.84	c  N dy   842    312357        90      8010         0     35322     56070    702764     25.04     26.42  --
163.76/41.08	c  N dy   919    332477        90      8010         0     31778     56070    579320     25.06     26.61  --
173.34/43.40	c  N dy   980    352688        90      8010         0     27400     56070    428681     25.06     26.48  --
174.94/43.88	c  S st   994    357458        90      8010         0     31846     56070    558813     25.07     25.31  --
175.34/43.97	c  S st   994    357961        90      8010         0     32332     56070    573085     25.07   no data  --
175.34/43.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.34/43.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.34/43.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
175.34/44.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.34/44.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.34/44.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.34/44.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
186.13/46.70	c lits-rem:      1645  cl-subs:     1580  v-elim:      0  v-fix:    0  time: 10.76 s
186.53/46.70	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
186.53/46.70	c vivif2 --  cl tried    30752 cl shrink        0 lits rem          0 time: 0.02
187.33/46.96	c asymm  cl-useful: 0/1731/8010 lits-rem:0 time: 1.01
187.33/46.96	c calculated reachability. Time: 0.00
187.33/46.96	c  N dy   994    357961        90      8010         0     30752     56070    521787     25.07   no data  --
202.52/50.72	c  N dy  1061    382817        90      8010         0     29670     56070    475943     25.06     26.43  --
214.89/53.85	c  N dy  1152    402847        90      8010         0     48232     56070   1024010     25.09     29.58  --
225.27/56.48	c  N dy  1259    422937        90      8010         0     41895     56070    823007     25.13     27.19  --
236.46/59.26	c  N dy  1356    443017        90      8010         0     34612     56070    588928     25.17     28.52  --
249.26/62.40	c  N dy  1422    465923        90      8010         0     28888     56070    402315     25.17     26.55  --
261.23/65.47	c  N dy  1520    489332        90      8010         0     50493     56070   1041134     25.19     26.61  --
270.82/67.86	c  N dy  1536    509364        90      8010         0     41219     56070    742204     25.14     26.60  --
282.39/70.78	c  N dy  1602    529428        90      8010         0     31120     56070    432152     25.14     28.81  --
286.39/71.70	c  S st  1642    536941        90      8010         0     38119     56070    640944     25.16     25.35  --
286.79/71.80	c  S st  1642    537447        90      8010         0     38602     56070    655224     25.16   no data  --
286.79/71.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.79/71.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.79/71.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
286.79/71.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.79/71.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.79/71.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
286.79/71.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
297.58/74.54	c lits-rem:      1068  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 10.80 s
297.58/74.54	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
297.58/74.55	c vivif2 --  cl tried    37102 cl shrink        0 lits rem          0 time: 0.03
298.38/74.78	c asymm  cl-useful: 0/1437/8010 lits-rem:0 time: 0.92
298.38/74.78	c calculated reachability. Time: 0.00
298.38/74.78	c  N dy  1642    537447        90      8010         0     37102     56070    604562     25.16   no data  --
309.57/77.55	c  N dy  1663    558748        90      8010         0     56649     56070   1173903     25.13     26.53  --
319.95/80.19	c  N dy  1724    579126        90      8010         0     46105     56070    856058     25.13     26.67  --
335.54/84.05	c  N dy  1809    603021        90      8010         0     37741     56070    588676     25.15     26.59  --
348.32/87.22	c  N dy  1880    623680        90      8010         0     56918     56070   1153983     25.16     26.50  --
362.69/90.80	c  N dy  1957    647341        90      8010         0     47320     56070    853304     25.17     26.78  --
378.30/94.79	c  N dy  2002    671891        90      8010         0     37557     56070    544342     25.14     26.71  --
393.46/98.54	c  N dy  2053    697535        90      8010         0     61235     56070   1241793     25.13     26.48  --
405.84/101.69	c  N dy  2116    717616        90      8010         0     46535     56070    796612     25.14     27.60  --
421.02/105.46	c  N dy  2157    737638        90      8010         0     64968     56070   1338248     25.13     28.32  --
435.43/109.07	c  N dy  2259    757666        90      8010         0     49392     56070    865377     25.15     27.18  --
450.99/112.94	c  N dy  2316    778401        90      8010         0     68542     56070   1431823     25.16     26.57  --
462.56/115.88	c  N dy  2355    798704        90      8010         0     52077     56070    906405     25.12     26.53  --
466.97/116.98	c  S st  2359    806170        90      8010         0     58934     56070   1105894     25.11     24.58  --
467.76/117.13	c  S st  2359    806672        90      8010         0     59416     56070   1120788     25.11   no data  --
467.76/117.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
467.76/117.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.76/117.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
467.76/117.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.76/117.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.76/117.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
467.76/117.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
504.91/126.42	c lits-rem:      2045  cl-subs:     5171  v-elim:      0  v-fix:    0  time: 36.82 s
504.91/126.42	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
504.91/126.43	c vivif2 --  cl tried    54245 cl shrink        0 lits rem          0 time: 0.05
506.10/126.78	c asymm  cl-useful: 0/1006/8010 lits-rem:0 time: 1.38
506.10/126.78	c calculated reachability. Time: 0.00
506.10/126.78	c  N dy  2359    806672        90      8010         0     54245     56070    971219     25.11   no data  --
524.09/131.25	c  N dy  2447    827097        90      8010         0     37417     56070    472254     25.13     26.65  --
537.26/134.59	c  N dy  2532    848014        90      8010         0     56824     56070   1049405     25.15     26.53  --
552.44/138.37	c  N dy  2545    871097        90      8010         0     41152     56070    557840     25.11     26.44  --
565.63/141.68	c  N dy  2634    891137        90      8010         0     59695     56070   1109556     25.12     27.38  --
589.22/147.58	c  N dy  2691    926522        90      8010         0     54498     56070    928299     25.07     26.42  --
609.17/152.57	c  N dy  2696    957753        90      8010         0     44460     56070    621678     24.98     26.57  --
624.37/156.33	c  N dy  2793    979300        90      8010         0     64405     56070   1212382     25.00     26.35  --
644.72/161.49	c  N dy  2904   1002097        90      8010         0     45831     56070    640724     25.01     26.56  --
661.90/165.71	c  N dy  3050   1023380        90      8010         0     65584     56070   1231632     25.05     26.40  --
683.87/171.22	c  N dy  3188   1044368        90      8010         0     44399     56070    581303     25.08     26.40  --
699.07/175.04	c  N dy  3311   1064762        90      8010         0     63339     56070   1146899     25.10     26.55  --
705.44/176.61	c  F st  3339   1071875        90      8010         0     69923     56070   1340934     25.10   no data  --
718.63/179.96	c  N dy  3386   1085470        90      8010         0     82521     56070   1718392     25.11     26.47  --
733.01/183.55	c  N dy  3467   1105515        90      8010         0     59361     56070   1002308     25.12     27.67  --
752.18/188.36	c  N dy  3572   1125903        90      8010         0     78285     56070   1567181     25.14     26.53  --
769.76/192.73	c  N dy  3661   1145931        90      8010         0     54230     56070    837573     25.15     26.57  --
791.35/198.13	c  N dy  3770   1165991        90      8010         0     72852     56070   1394824     25.17     28.36  --
813.69/203.77	c  N dy  3846   1186310        90      8010         0     48121     56070    636096     25.17     26.51  --
832.48/208.46	c  N dy  3920   1207524        90      8010         0     67722     56070   1212615     25.18     26.59  --
835.29/209.18	c  S st  3934   1210009        90      8010         0     70025     56070   1281071     25.18     23.55  --
836.47/209.42	c  S st  3934   1210514        90      8010         0     70505     56070   1295284     25.18   no data  --
836.47/209.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.47/209.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.47/209.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
836.87/209.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
836.87/209.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.87/209.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
836.87/209.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
926.35/231.98	c lits-rem:      3510  cl-subs:     4894  v-elim:      0  v-fix:    0  time: 89.78 s
926.35/231.98	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
926.35/231.99	c vivif2 --  cl tried    65611 cl shrink        0 lits rem          0 time: 0.06
927.94/232.37	c asymm  cl-useful: 0/879/8010 lits-rem:0 time: 1.47
927.94/232.37	c calculated reachability. Time: 0.00
927.94/232.37	c  N dy  3934   1210514        90      8010         0     65611     56070   1139058     25.18   no data  --
953.12/238.64	c  N dy  4047   1231153        90      8010         0     84711     56070   1708467     25.20     26.67  --
974.69/244.06	c  N dy  4117   1253883        90      8010         0     61424     56070   1008606     25.20     26.58  --
996.25/249.41	c  N dy  4171   1273954        90      8010         0     79991     56070   1557458     25.21     27.36  --
1020.62/255.57	c  N dy  4262   1295498        90      8010         0     54732     56070    795561     25.21     26.66  --
1041.00/260.63	c  N dy  4360   1315579        90      8010         0     73325     56070   1347623     25.23     26.61  --
1066.96/267.12	c  N dy  4449   1335912        90      8010         0     92152     56070   1909608     25.24     26.57  --
1084.54/271.53	c  N dy  4517   1356010        90      8010         0     64475     56070   1062831     25.24     29.46  --
1106.51/277.05	c  N dy  4593   1376425        90      8010         0     83380     56070   1623457     25.25     26.79  --
1128.08/282.43	c  N dy  4693   1398291        90      8010         0     56432     56070    805110     25.26     26.61  --
1145.66/286.89	c  N dy  4745   1420900        90      8010         0     77261     56070   1419681     25.26     26.67  --
1168.43/292.58	c  N dy  4822   1441000        90      8010         0     95883     56070   1972341     25.26     27.70  --
1185.60/296.82	c  N dy  4916   1461077        90      8010         0     66405     56070   1086828     25.28     27.72  --
1203.59/301.39	c  N dy  4951   1481752        90      8010         0     85417     56070   1645717     25.27     26.66  --
1226.74/307.15	c  N dy  5051   1501837        90      8010         0     55061     56070    730003     25.28     29.40  --
1242.73/311.17	c  N dy  5111   1522063        90      8010         0     73731     56070   1284808     25.28     26.73  --
1265.52/316.81	c  N dy  5193   1542108        90      8010         0     92293     56070   1835344     25.29     26.63  --
1288.27/322.57	c  N dy  5246   1567384        90      8010         0     65696     56070   1015502     25.28     26.69  --
1311.03/328.29	c  N dy  5311   1592129        90      8010         0     88566     56070   1692942     25.28     26.70  --
1333.82/333.94	c  N dy  5343   1615597        90      8010         0     59415     56070    819518     25.26     26.79  --
1352.18/338.59	c  N dy  5404   1636867        90      8010         0     79098     56070   1402570     25.27     26.64  --
1376.56/344.68	c  N dy  5480   1656874        90      8010         0     97678     56070   1956858     25.27     28.16  --
1399.32/350.39	c  N dy  5574   1676880        90      8010         0     64425     56070    950749     25.28     27.42  --
1418.10/355.08	c  N dy  5648   1697051        90      8010         0     83042     56070   1501778     25.28     26.82  --
1434.08/359.09	c  S st  5699   1710514        90      8010         0     95490     56070   1873974     25.29     23.18  --
1435.28/359.36	c  S st  5699   1711017        90      8010         0     95963     56070   1888416     25.29   no data  --
1435.28/359.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1435.28/359.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1435.68/359.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1435.68/359.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1435.68/359.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1435.68/359.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1435.68/359.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1843.53/461.59	c lits-rem:      5661  cl-subs:     8088  v-elim:      0  v-fix:    0  time: 407.75 s
1843.53/461.59	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1843.93/461.61	c vivif2 --  cl tried    87875 cl shrink        0 lits rem          0 time: 0.08
1845.13/461.97	c asymm  cl-useful: 0/634/8010 lits-rem:0 time: 1.43
1845.13/461.97	c calculated reachability. Time: 0.00
1845.13/461.97	c  N dy  5699   1711017        90      8010         0     87875     56070   1629879     25.29   no data  --
1871.09/468.49	c  N dy  5762   1734631        90      8010         0     57318     56070    724722     25.28     26.66  --
1889.07/473.00	c  N dy  5863   1754650        90      8010         0     75937     56070   1281349     25.29     26.76  --
1918.64/480.31	c  N dy  5932   1782489        90      8010         0    101662     56070   2045595     25.29     26.72  --
1949.39/488.00	c  N dy  5997   1814265        90      8010         0     77278     56070   1276160     25.27     26.78  --
1973.76/494.10	c  N dy  6107   1834359        90      8010         0     95926     56070   1833514     25.28     27.50  --
1999.75/500.62	c  N dy  6199   1854510        90      8010         0     60169     56070    775786     25.29     26.66  --
2026.89/507.44	c  N dy  6241   1884941        90      8010         0     88195     56070   1596071     25.28     26.63  --
2052.07/513.74	c  N dy  6283   1905372        90      8010         0    106943     56070   2147735     25.28     26.62  --
2074.45/519.31	c  N dy  6349   1925767        90      8010         0     70473     56070   1061569     25.28     26.83  --
2095.60/524.61	c  N dy  6443   1946018        90      8010         0     89197     56070   1621254     25.29     26.78  --
2122.38/531.35	c  N dy  6515   1966048        90      8010         0    107738     56070   2173796     25.30     27.66  --
2143.94/536.74	c  N dy  6557   1986091        90      8010         0     69891     56070   1017416     25.29     28.24  --
2165.91/542.23	c  N dy  6615   2006104        90      8010         0     88361     56070   1564612     25.29     29.19  --
2190.67/548.45	c  N dy  6671   2026121        90      8010         0    106863     56070   2114935     25.30     27.82  --
2217.44/555.14	c  N dy  6738   2050048        90      8010         0     71705     56070   1052237     25.30     26.71  --
2239.81/560.72	c  N dy  6827   2070127        90      8010         0     90227     56070   1605908     25.30     27.89  --
2266.57/567.45	c  N dy  6903   2091157        90      8010         0    109646     56070   2179751     25.31     26.73  --
2290.54/573.48	c  N dy  7004   2111177        90      8010         0     70067     56070    996074     25.32     28.48  --
2313.31/579.17	c  N dy  7092   2132207        90      8010         0     89546     56070   1581465     25.32     26.71  --
2338.88/585.54	c  N dy  7153   2152411        90      8010         0    108217     56070   2133682     25.32     26.66  --
2364.84/592.00	c  N dy  7251   2172481        90      8010         0     67643     56070    903284     25.33     28.90  --
2392.01/598.87	c  N dy  7292   2202833        90      8010         0     95639     56070   1724176     25.32     26.68  --
2404.01/601.83	c  S st  7332   2211017        90      8010         0    103159     56070   1947883     25.32   no data  --
2405.19/602.12	c  S st  7332   2211522        90      8010         0    103635     56070   1962480     25.32   no data  --
2405.19/602.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2405.19/602.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2405.19/602.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2405.59/602.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2405.59/602.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2405.59/602.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2405.59/602.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2843.81/711.97	c lits-rem:      5625  cl-subs:     8716  v-elim:      0  v-fix:    0  time: 438.20 s
2843.81/711.97	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2843.81/712.00	c vivif2 --  cl tried    94919 cl shrink        0 lits rem          0 time: 0.08
2845.41/712.33	c asymm  cl-useful: 0/791/8010 lits-rem:0 time: 1.35
2845.41/712.34	c calculated reachability. Time: 0.00
2845.41/712.34	c  N dy  7332   2211522        90      8010         0     94919     56070   1691621     25.32   no data  --
2883.35/721.84	c  N dy  7442   2235097        90      8010         0    116702     56070   2342904     25.33     26.70  --
2911.32/728.86	c  N dy  7541   2257613        90      8010         0     77736     56070   1186865     25.34     26.90  --
2932.89/734.21	c  N dy  7595   2277639        90      8010         0     96195     56070   1732343     25.33     28.36  --
2967.24/742.86	c  N dy  7713   2299668        90      8010         0    116577     56070   2343288     25.34     26.72  --
2991.21/748.82	c  N dy  7804   2319724        90      8010         0     74368     56070   1065422     25.35     27.01  --
3013.98/754.55	c  N dy  7868   2340604        90      8010         0     93701     56070   1641199     25.35     26.75  --
3041.94/761.55	c  N dy  7951   2360630        90      8010         0    112241     56070   2193970     25.36     28.33  --
3073.11/769.37	c  N dy  8067   2381488        90      8010         0     69665     56070    904886     25.37     26.86  --
3131.43/783.92	c  N dy  8144   2435645        90      8010         0    119334     56070   2357744     25.34     26.76  --
3155.42/789.98	c  N dy  8202   2456205        90      8010         0     75650     56070   1063423     25.34     26.81  --
3177.76/795.54	c  N dy  8245   2476501        90      8010         0     94353     56070   1611473     25.34     26.83  --
3204.93/802.36	c  N dy  8310   2496918        90      8010         0    113221     56070   2171839     25.33     26.74  --
3238.90/810.88	c  N dy  8385   2517043        90      8010         0     68227     56070    824843     25.34     26.76  --
3266.04/817.69	c  N dy  8490   2540867        90      8010         0     90307     56070   1484116     25.34     26.81  --
3292.81/824.38	c  N dy  8567   2561328        90      8010         0    109248     56070   2047933     25.34     26.79  --
3328.77/833.36	c  N dy  8668   2582684        90      8010         0    129021     56070   2637262     25.35     26.70  --
3349.54/838.51	c  N dy  8734   2602783        90      8010         0     82856     56070   1241115     25.35     28.75  --
3371.50/844.09	c  N dy  8778   2623321        90      8010         0    101781     56070   1797931     25.35     26.72  --
3401.86/851.67	c  N dy  8842   2644192        90      8010         0    121018     56070   2365231     25.35     26.77  --
3432.62/859.35	c  N dy  8950   2665492        90      8010         0     75219     56070   1003422     25.35     26.91  --
3457.39/865.51	c  N dy  9072   2685500        90      8010         0     93747     56070   1562024     25.36     28.52  --
3484.98/872.42	c  N dy  9157   2705540        90      8010         0    112289     56070   2119397     25.37     27.41  --
3494.94/874.97	c  S st  9192   2711522        90      8010         0    117836     56070   2286242     25.37     24.72  --
3496.54/875.31	c  S st  9192   2712025        90      8010         0    118312     56070   2300731     25.37   no data  --
3496.54/875.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3496.54/875.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3496.54/875.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3496.94/875.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3496.94/875.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3496.94/875.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3496.94/875.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4628.14/1158.87	c lits-rem:      6649  cl-subs:     8488  v-elim:      0  v-fix:    0  time: 1131.09 s
4628.14/1158.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4628.54/1158.90	c vivif2 --  cl tried   109824 cl shrink        0 lits rem          0 time: 0.11
4630.14/1159.32	c asymm  cl-useful: 0/611/8010 lits-rem:0 time: 1.71
4630.14/1159.33	c calculated reachability. Time: 0.00
4630.14/1159.33	c  N dy  9192   2712025        90      8010         0    109824     56070   2016721     25.37   no data  --
4664.50/1167.92	c  N dy  9220   2732055        90      8010         0    128236     56070   2554734     25.37     26.81  --
4697.26/1176.13	c  N dy  9311   2756453        90      8010         0     84567     56070   1263175     25.37     26.75  --
4724.43/1182.95	c  N dy  9345   2778349        90      8010         0    104709     56070   1853941     25.36     26.72  --
4786.76/1198.56	c  N dy  9366   2824533        90      8010         0     79871     56070   1091584     25.33     26.69  --

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

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-3368989-1307657356/watcher-3368989-1307657356 -o /tmp/evaluation-result-3368989-1307657356/solver-3368989-1307657356 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368989-1307657356.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.37 7.81 6.32 2/173 13014
/proc/meminfo: memFree=32273688/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 858151205 52465664 357 33554432000 4194304 4650419 140736516821632 18446744073709551615 270338383803 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 12809 357 306 112 0 7774 0
[pid=13014/tid=13018] ppid=13011 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 858151206 52465664 357 33554432000 4194304 4650419 140736516821632 18446744073709551615 46915546736562 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 858151206 52465664 357 33554432000 4194304 4650419 140736516821632 18446744073709551615 46915546736562 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 858151206 52465664 357 33554432000 4194304 4650419 140736516821632 18446744073709551615 270333430870 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.107363 s]
/proc/loadavg: 7.37 7.81 6.32 2/173 13014
/proc/meminfo: memFree=32273688/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=282164 CPUtime=0.4 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 1647 0 0 0 40 0 0 0 18 0 4 0 858151205 288935936 1554 33554432000 4194304 4650419 140736516821632 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 70541 1554 366 112 0 65506 0
[pid=13014/tid=13018] ppid=13011 vsize=282164 CPUtime=0.09 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 272 0 0 0 9 0 0 0 25 0 4 0 858151206 288935936 1554 33554432000 4194304 4650419 140736516821632 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=282164 CPUtime=0.1 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 269 0 0 0 10 0 0 0 18 0 4 0 858151206 288935936 1554 33554432000 4194304 4650419 140736516821632 18446744073709551615 4370626 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=282164 CPUtime=0.1 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 393 0 0 0 10 0 0 0 18 0 4 0 858151206 288935936 1554 33554432000 4194304 4650419 140736516821632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282164

[startup+0.200347 s]
/proc/loadavg: 7.37 7.81 6.32 2/173 13014
/proc/meminfo: memFree=32273688/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=285460 CPUtime=0.77 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) D 13011 13014 12306 0 -1 4202496 2874 0 0 0 77 0 0 0 18 0 4 0 858151205 292311040 2294 33554432000 4194304 4650419 140736516821632 18446744073709551615 270338080523 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 71365 2294 378 112 0 66330 0
[pid=13014/tid=13018] ppid=13011 vsize=285460 CPUtime=0.19 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 507 0 0 0 19 0 0 0 25 0 4 0 858151206 292311040 2294 33554432000 4194304 4650419 140736516821632 18446744073709551615 270338427063 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=285460 CPUtime=0.19 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) D 13011 13014 12306 0 -1 4202560 485 0 0 0 19 0 0 0 18 0 4 0 858151206 292311040 2294 33554432000 4194304 4650419 140736516821632 18446744073709551615 270338427063 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=285460 CPUtime=0.19 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 723 0 0 0 19 0 0 0 18 0 4 0 858151206 292311040 2294 33554432000 4194304 4650419 140736516821632 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285460

[startup+0.300328 s]
/proc/loadavg: 7.37 7.81 6.32 2/173 13014
/proc/meminfo: memFree=32273688/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=286248 CPUtime=1.17 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 4191 0 0 0 117 0 0 0 18 0 4 0 858151205 293117952 3530 33554432000 4194304 4650419 140736516821632 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 71562 3530 390 112 0 66527 0
[pid=13014/tid=13018] ppid=13011 vsize=286248 CPUtime=0.29 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 983 0 0 0 29 0 0 0 25 0 4 0 858151206 293117952 3530 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=286248 CPUtime=0.29 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 961 0 0 0 29 0 0 0 18 0 4 0 858151206 293117952 3530 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=286248 CPUtime=0.29 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 802 0 0 0 29 0 0 0 18 0 4 0 858151206 293117952 3530 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286248

[startup+0.700249 s]
/proc/loadavg: 7.37 7.81 6.32 2/173 13014
/proc/meminfo: memFree=32273688/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=288208 CPUtime=2.77 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 6759 0 0 0 277 0 0 0 18 0 4 0 858151205 295124992 4123 33554432000 4194304 4650419 140736516821632 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 72052 4123 390 112 0 67017 0
[pid=13014/tid=13018] ppid=13011 vsize=288208 CPUtime=0.69 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 1701 0 0 0 69 0 0 0 25 0 4 0 858151206 295124992 4124 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=288208 CPUtime=0.69 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 1638 0 0 0 69 0 0 0 18 0 4 0 858151206 295124992 4124 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=288208 CPUtime=0.69 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 1322 0 0 0 69 0 0 0 18 0 4 0 858151206 295124992 4124 33554432000 4194304 4650419 140736516821632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288208

[startup+1.50109 s]
/proc/loadavg: 7.37 7.81 6.32 9/184 13025
/proc/meminfo: memFree=32242108/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=289468 CPUtime=5.97 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 10910 0 0 0 596 1 0 0 20 0 4 0 858151205 296415232 4895 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 72367 4895 391 112 0 67332 0
[pid=13014/tid=13018] ppid=13011 vsize=289468 CPUtime=1.48 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 2747 0 0 0 148 0 0 0 25 0 4 0 858151206 296415232 4895 33554432000 4194304 4650419 140736516821632 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=289468 CPUtime=1.49 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 2687 0 0 0 149 0 0 0 19 0 4 0 858151206 296415232 4895 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=289468 CPUtime=1.49 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 2356 0 0 0 149 0 0 0 20 0 4 0 858151206 296415232 4896 33554432000 4194304 4650419 140736516821632 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289468

[startup+3.10078 s]
/proc/loadavg: 7.37 7.81 6.32 9/184 13025
/proc/meminfo: memFree=32211480/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=305592 CPUtime=12.36 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 20650 0 0 0 1234 2 0 0 25 0 4 0 858151205 312926208 12612 33554432000 4194304 4650419 140736516821632 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 76398 12612 392 112 0 71363 0
[pid=13014/tid=13018] ppid=13011 vsize=305592 CPUtime=3.07 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 4628 0 0 0 307 0 0 0 25 0 4 0 858151206 312926208 12612 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=305592 CPUtime=3.08 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 5655 0 0 0 308 0 0 0 25 0 4 0 858151206 312926208 12612 33554432000 4194304 4650419 140736516821632 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=305592 CPUtime=3.08 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 5552 0 0 0 308 0 0 0 25 0 4 0 858151206 312926208 12612 33554432000 4194304 4650419 140736516821632 18446744073709551615 4451427 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 305592

[startup+6.30114 s]
/proc/loadavg: 7.42 7.81 6.33 9/184 13025
/proc/meminfo: memFree=32173412/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=295744 CPUtime=25.14 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 30158 0 0 0 2510 4 0 0 25 0 4 0 858151205 302841856 15855 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 73936 15855 392 112 0 68901 0
[pid=13014/tid=13018] ppid=13011 vsize=295744 CPUtime=6.26 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 8199 0 0 0 625 1 0 0 25 0 4 0 858151206 302841856 15855 33554432000 4194304 4650419 140736516821632 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=295744 CPUtime=6.28 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 7674 0 0 0 628 0 0 0 25 0 4 0 858151206 302841856 15855 33554432000 4194304 4650419 140736516821632 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=295744 CPUtime=6.29 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 7938 0 0 0 628 1 0 0 25 0 4 0 858151206 302841856 15855 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 295744

[startup+12.7009 s]
/proc/loadavg: 7.55 7.83 6.34 9/184 13025
/proc/meminfo: memFree=32131028/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=305612 CPUtime=50.71 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 42656 0 0 0 5064 7 0 0 25 0 4 0 858151205 312946688 23036 33554432000 4194304 4650419 140736516821632 18446744073709551615 4370671 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 76403 23036 392 112 0 71368 0
[pid=13014/tid=13018] ppid=13011 vsize=305612 CPUtime=12.62 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 10958 0 0 0 1261 1 0 0 25 0 4 0 858151206 312946688 23036 33554432000 4194304 4650419 140736516821632 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=305612 CPUtime=12.69 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 10810 0 0 0 1268 1 0 0 25 0 4 0 858151206 312946688 23036 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=305612 CPUtime=12.68 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 12063 0 0 0 1266 2 0 0 25 0 4 0 858151206 312946688 23036 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 305612

[startup+25.5003 s]
/proc/loadavg: 7.65 7.83 6.37 9/184 13025
/proc/meminfo: memFree=32082044/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=329044 CPUtime=101.83 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 62909 0 0 0 10173 10 0 0 25 0 4 0 858151205 336941056 29801 33554432000 4194304 4650419 140736516821632 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 82261 29801 392 112 0 77226 0
[pid=13014/tid=13018] ppid=13011 vsize=329044 CPUtime=25.35 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 15965 0 0 0 2534 1 0 0 25 0 4 0 858151206 336941056 29801 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=329044 CPUtime=25.49 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 16131 0 0 0 2547 2 0 0 25 0 4 0 858151206 336941056 29801 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=329044 CPUtime=25.48 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 19045 0 0 0 2544 4 0 0 25 0 4 0 858151206 336941056 29801 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 329044

[startup+51.1002 s]
/proc/loadavg: 7.77 7.85 6.41 9/184 13026
/proc/meminfo: memFree=32030456/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=341788 CPUtime=204.1 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 90603 0 0 0 20393 17 0 0 25 0 4 0 858151205 349990912 36205 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 85447 36205 392 112 0 80412 0
[pid=13014/tid=13018] ppid=13011 vsize=341788 CPUtime=50.83 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 23580 0 0 0 5080 3 0 0 25 0 4 0 858151206 349990912 36205 33554432000 4194304 4650419 140736516821632 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=341788 CPUtime=51.09 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 24896 0 0 0 5104 5 0 0 25 0 4 0 858151206 349990912 36205 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=341788 CPUtime=51.08 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 28478 0 0 0 5102 6 0 0 25 0 4 0 858151206 349990912 36205 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 341788

[startup+102.301 s]
/proc/loadavg: 7.98 7.90 6.50 9/184 13069
/proc/meminfo: memFree=32039504/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=356832 CPUtime=408.66 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 134507 0 0 0 40836 30 0 0 25 0 4 0 858151205 365395968 42265 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 89208 42265 392 112 0 84173 0
[pid=13014/tid=13018] ppid=13011 vsize=356832 CPUtime=101.77 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 34114 0 0 0 10172 5 0 0 25 0 4 0 858151206 365395968 42265 33554432000 4194304 4650419 140736516821632 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=356832 CPUtime=102.3 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 39024 0 0 0 10221 9 0 0 25 0 4 0 858151206 365395968 42265 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=356832 CPUtime=102.28 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 43761 0 0 0 10218 10 0 0 25 0 4 0 858151206 365395968 42265 33554432000 4194304 4650419 140736516821632 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 356832

[startup+162.301 s]

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

[pid=13014] ppid=13011 vsize=485116 CPUtime=2565.78 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 400518 0 0 0 256446 132 0 0 25 0 4 0 858151205 496758784 78083 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 121279 78083 392 112 0 116244 0
[pid=13014/tid=13018] ppid=13011 vsize=485116 CPUtime=638.83 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 114150 0 0 0 63846 37 0 0 25 0 4 0 858151206 496758784 78083 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=485116 CPUtime=642.32 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 112362 0 0 0 64194 38 0 0 25 0 4 0 858151206 496758784 78083 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=485116 CPUtime=642.31 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 119824 0 0 0 64194 37 0 0 25 0 4 0 858151206 496758784 78083 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 485116

[startup+702.301 s]
/proc/loadavg: 8.18 8.11 7.26 9/184 13126
/proc/meminfo: memFree=31638932/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=485348 CPUtime=2805.46 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 416176 0 0 0 280405 141 0 0 25 0 4 0 858151205 496996352 78287 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 121337 78287 392 112 0 116302 0
[pid=13014/tid=13018] ppid=13011 vsize=485348 CPUtime=698.51 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 120703 0 0 0 69810 41 0 0 25 0 4 0 858151206 496996352 78287 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=485348 CPUtime=702.31 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 115625 0 0 0 70191 40 0 0 25 0 4 0 858151206 496996352 78287 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=485348 CPUtime=702.31 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 125666 0 0 0 70191 40 0 0 25 0 4 0 858151206 496996352 78287 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 485348

[startup+762.301 s]
/proc/loadavg: 8.19 8.12 7.31 9/184 13127
/proc/meminfo: memFree=31630444/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=514148 CPUtime=3045.16 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 438408 0 0 0 304367 149 0 0 25 0 4 0 858151205 526487552 83657 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 128537 83657 392 112 0 123502 0
[pid=13014/tid=13018] ppid=13011 vsize=514148 CPUtime=758.18 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 127320 0 0 0 75774 44 0 0 25 0 4 0 858151206 526487552 83657 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=514148 CPUtime=762.33 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 120837 0 0 0 76191 42 0 0 25 0 4 0 858151206 526487552 83657 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=514148 CPUtime=762.32 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 132521 0 0 0 76190 42 0 0 25 0 4 0 858151206 526487552 83657 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.16
Current children cumulated vsize (KiB) 514148

[startup+822.301 s]
/proc/loadavg: 8.18 8.12 7.37 9/184 13129
/proc/meminfo: memFree=31566644/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=514992 CPUtime=3284.83 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 456169 0 0 0 328325 158 0 0 25 0 4 0 858151205 527351808 84803 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 128748 84803 392 112 0 123713 0
[pid=13014/tid=13018] ppid=13011 vsize=514992 CPUtime=817.86 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 134249 0 0 0 81739 47 0 0 25 0 4 0 858151206 527351808 84803 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=514992 CPUtime=822.33 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 124247 0 0 0 82190 43 0 0 25 0 4 0 858151206 527351808 84803 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=514992 CPUtime=822.31 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 139458 0 0 0 82185 46 0 0 25 0 4 0 858151206 527351808 84803 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.83
Current children cumulated vsize (KiB) 514992

[startup+882.307 s]
/proc/loadavg: 8.17 8.13 7.41 9/184 13130
/proc/meminfo: memFree=31582944/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=511576 CPUtime=3524.53 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 476565 0 0 0 352286 167 0 0 25 0 4 0 858151205 523853824 88431 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 127894 88431 392 112 0 122859 0
[pid=13014/tid=13018] ppid=13011 vsize=511576 CPUtime=877.53 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 141426 0 0 0 87703 50 0 0 25 0 4 0 858151206 523853824 88431 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=511576 CPUtime=882.33 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 128309 0 0 0 88188 45 0 0 25 0 4 0 858151206 523853824 88431 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=511576 CPUtime=882.32 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 148298 0 0 0 88183 49 0 0 25 0 4 0 858151206 523853824 88431 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.53
Current children cumulated vsize (KiB) 511576

[startup+942.3 s]
/proc/loadavg: 8.16 8.13 7.46 9/184 13132
/proc/meminfo: memFree=31525108/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=579416 CPUtime=3764.18 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 485942 0 0 0 376248 170 0 0 25 0 4 0 858151205 593321984 90996 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 144854 90996 392 112 0 139819 0
[pid=13014/tid=13018] ppid=13011 vsize=579416 CPUtime=937.2 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 149259 0 0 0 93667 53 0 0 25 0 4 0 858151206 593321984 90996 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=579416 CPUtime=942.33 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 129364 0 0 0 94187 46 0 0 25 0 4 0 858151206 593321984 90996 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=579416 CPUtime=942.31 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 148298 0 0 0 94182 49 0 0 25 0 4 0 858151206 593321984 90996 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 579416

[startup+1002.3 s]
/proc/loadavg: 8.37 8.21 7.52 9/184 13137
/proc/meminfo: memFree=31509792/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=593480 CPUtime=4002.97 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 495979 0 0 0 400121 176 0 0 25 0 4 0 858151205 607723520 93383 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 148370 93383 392 112 0 143335 0
[pid=13014/tid=13018] ppid=13011 vsize=593480 CPUtime=996.87 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 153365 0 0 0 99634 53 0 0 25 0 4 0 858151206 607723520 93383 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=593480 CPUtime=1002.16 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 135037 0 0 0 100165 51 0 0 25 0 4 0 858151206 607723520 93383 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=593480 CPUtime=1001.6 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 148556 0 0 0 100111 49 0 0 25 0 4 0 858151206 607723520 93383 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 593480

[startup+1062.3 s]
/proc/loadavg: 8.22 8.20 7.56 9/184 13138
/proc/meminfo: memFree=31544460/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=593540 CPUtime=4242.65 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 509990 0 0 0 424086 179 0 0 25 0 4 0 858151205 607784960 93284 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 148385 93284 392 112 0 143350 0
[pid=13014/tid=13018] ppid=13011 vsize=593540 CPUtime=1056.55 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 163467 0 0 0 105600 55 0 0 25 0 4 0 858151206 607784960 93284 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=593540 CPUtime=1062.16 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 138946 0 0 0 106163 53 0 0 25 0 4 0 858151206 607784960 93284 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=593540 CPUtime=1061.6 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 148556 0 0 0 106111 49 0 0 25 0 4 0 858151206 607784960 93284 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4242.65
Current children cumulated vsize (KiB) 593540

[startup+1122.3 s]
/proc/loadavg: 6.58 7.81 7.47 5/175 13164
/proc/meminfo: memFree=31908804/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=580260 CPUtime=4482.33 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 523017 0 0 0 448050 183 0 0 25 0 4 0 858151205 594186240 92208 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 145065 92208 392 112 0 140030 0
[pid=13014/tid=13018] ppid=13011 vsize=580260 CPUtime=1116.22 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 173095 0 0 0 111566 56 0 0 25 0 4 0 858151206 594186240 92208 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476318 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=580260 CPUtime=1122.16 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 139327 0 0 0 112163 53 0 0 25 0 4 0 858151206 594186240 92208 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=580260 CPUtime=1121.6 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 151574 0 0 0 112109 51 0 0 25 0 4 0 858151206 594186240 92208 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 580260

[startup+1182.3 s]
/proc/loadavg: 4.94 7.11 7.25 5/175 13165
/proc/meminfo: memFree=31901008/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=586804 CPUtime=4722.04 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 535196 0 0 0 472016 188 0 0 25 0 4 0 858151205 600887296 94351 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 146701 94351 392 112 0 141666 0
[pid=13014/tid=13018] ppid=13011 vsize=586804 CPUtime=1175.91 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 179526 0 0 0 117533 58 0 0 25 0 4 0 858151206 600887296 94351 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=586804 CPUtime=1182.16 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 139327 0 0 0 118163 53 0 0 25 0 4 0 858151206 600887296 94351 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=586804 CPUtime=1181.61 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 156403 0 0 0 118107 54 0 0 25 0 4 0 858151206 600887296 94351 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.04
Current children cumulated vsize (KiB) 586804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.68 6.91 7.18 5/175 13166
/proc/meminfo: memFree=31896756/32951124 swapFree=67055520/67111528
[pid=13014] ppid=13011 vsize=613216 CPUtime=4800.36 cores=0,2,4,6
/proc/13014/stat : 13014 (strangenight1-m) R 13011 13014 12306 0 -1 4202496 543337 0 0 0 479844 192 0 0 25 0 4 0 858151205 627933184 95244 33554432000 4194304 4650419 140736516821632 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13014/statm: 153304 95244 392 112 0 148269 0
[pid=13014/tid=13018] ppid=13011 vsize=613216 CPUtime=1195.42 cores=0,2,4,6
/proc/13014/task/13018/stat : 13018 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 182187 0 0 0 119482 60 0 0 25 0 4 0 858151206 627933184 95244 33554432000 4194304 4650419 140736516821632 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13014/tid=13019] ppid=13011 vsize=613216 CPUtime=1201.77 cores=0,2,4,6
/proc/13014/task/13019/stat : 13019 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 139337 0 0 0 120124 53 0 0 25 0 4 0 858151206 627933184 95244 33554432000 4194304 4650419 140736516821632 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13014/tid=13020] ppid=13011 vsize=613216 CPUtime=1201.21 cores=0,2,4,6
/proc/13014/task/13020/stat : 13020 (strangenight1-m) R 13011 13014 12306 0 -1 4202560 159170 0 0 0 120067 54 0 0 25 0 4 0 858151206 627933184 95244 33554432000 4194304 4650419 140736516821632 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 613216

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.93
CPU time (s): 4800.41
CPU user time (s): 4798.47
CPU system time (s): 1.9377
CPU usage (%): 399.392
Max. virtual memory (cumulated for all children) (KiB): 686616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.47
system time used= 1.93771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543338
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= 697
involuntary context switches= 23683

runsolver used 1.92471 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-10 00:09:16
IDJOB=3368989
IDBENCH=82998
IDSOLVER=1846
FILE ID=node143/3368989-1307657356
RUNJOBID= node143-1307656152-12865
PBS_JOBID= 13549413
Free space on /tmp= 74168 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368989-1307657356/watcher-3368989-1307657356 -o /tmp/evaluation-result-3368989-1307657356/solver-3368989-1307657356 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368989-1307657356.cnf

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

MD5SUM BENCH= 053eacf65ab310107e284aa82f53766f
RANDOM SEED=1964053573

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:      32274164 kB
Buffers:         69544 kB
Cached:         433752 kB
SwapCached:       8636 kB
Active:         155860 kB
Inactive:       365816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32274164 kB
SwapTotal:    67111528 kB
SwapFree:     67055520 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:       16092 kB
Mapped:          12720 kB
Slab:            90196 kB
PageTables:       4304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186180 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= 74164 MiB
End job on node143 at 2011-06-10 00:29:20