Trace number 3175380

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.42 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-3175380-1304121795.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.61/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.61/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.78/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.78/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.78/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.78/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      54 undec:       1 neg:      35
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.57/1.00	c  N dy     7      4243        90      8010         0      3930     56070    119257     26.39     27.79  --
3.57/1.00	c  N dy     9      8919        90      8010         0      5922     56070    164431     25.38     26.74  --
3.57/1.00	c  N dy    26     12920        90      8010         0      5721     56070    143223     25.63     27.69  --
3.57/1.00	c  N dy    44     16938        90      8010         0      9467     56070    255684     25.88     27.91  --
4.78/1.20	c  N dy    47     21314        90      8010         0      8267     56070    200036     25.65     27.05  --
5.18/1.39	c  F st    49     25001        90      8010         0     11691     56070    298813     25.41     23.60  --
5.18/1.39	c  N st    51     25629        90      8010         0     12271     56070    316405     25.41   no data  --
6.38/1.60	c  N dy    55     30003        90      8010         0     10012     56070    236912     25.41   no data  --
6.38/1.60	c  S st    55     30003        90      8010         0     10012     56070    236912     25.41   no data  --
6.38/1.62	c  S st    55     30507        90      8010         0     10497     56070    251636     25.41   no data  --
6.38/1.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.38/1.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.38/1.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.38/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.38/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.38/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.38/1.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.85	c lits-rem:      1398  cl-subs:      780  v-elim:      0  v-fix:    0  time:  4.87 s
12.37/3.23	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.49
12.37/3.23	c calculated reachability. Time: 0.00
12.37/3.23	c  N dy    55     30507        90      8010         0      9717     56070    225461     25.41   no data  --
13.57/3.46	c  N dy    67     34557        90      8010         0     13509     56070    338474     25.44     27.02  --
14.76/3.74	c  N dy    69     39464        90      8010         0     10696     56070    236337     25.28     26.84  --
15.56/3.99	c  N dy    85     43616        90      8010         0     14535     56070    349050     25.30     26.74  --
16.36/4.12	c  S st    86     45760        90      8010         0     16520     56070    406866     25.28     23.79  --
16.36/4.17	c  S st    86     46265        90      8010         0      8732     56070    163767     25.28   no data  --
16.36/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.36/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.36/4.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.03	c lits-rem:       169  cl-subs:       37  v-elim:      0  v-fix:    0  time:  3.42 s
19.95/5.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.04	c vivif2 --  cl tried     8695 cl shrink        0 lits rem          0 time: 0.00
21.15/5.33	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.17
21.15/5.33	c calculated reachability. Time: 0.00
21.15/5.33	c  N dy    86     46265        90      8010         0      8695     56070    162224     25.28   no data  --
23.55/5.98	c  N dy    93     57619        90      8010         0      9945     56070    183359     24.85     26.31  --
25.15/6.31	c  N dy   115     63583        90      8010         0     15493     56070    347344     24.92     26.42  --
26.36/6.60	c  N dy   142     67663        90      8010         0     19292     56070    459194     24.99     28.24  --
26.74/6.74	c  S st   149     69397        90      8010         0     10735     56070    189982     25.01     23.54  --
26.74/6.78	c  S st   149     69901        90      8010         0     11208     56070    204077     25.01   no data  --
26.74/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.74/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.74/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.14/7.87	c lits-rem:       341  cl-subs:      138  v-elim:      0  v-fix:    0  time:  4.32 s
31.14/7.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.14/7.88	c vivif2 --  cl tried    11070 cl shrink        0 lits rem          0 time: 0.01
32.74/8.24	c asymm  cl-useful: 0/7983/8010 lits-rem:0 time: 1.44
32.74/8.24	c calculated reachability. Time: 0.00
32.74/8.24	c  N dy   149     69901        90      8010         0     11070     56070    199203     25.01   no data  --
33.94/8.56	c  N dy   163     74980        90      8010         0     15795     56070    337804     25.04     26.45  --
37.53/9.45	c  F st   172     87500        90      8010         0     16225     56070    332004     24.87     23.01  --
37.53/9.45	c  N st   172     87500        90      8010         0     16225     56070    332004     24.87     23.01  --
39.55/9.90	c  N dy   181     93139        90      8010         0     21416     56070    485428     24.87     26.26  --
41.53/10.41	c  N dy   200    100204        90      8010         0     15945     56070    307614     24.89     26.33  --
42.73/10.75	c  S st   224    104851        90      8010         0     20271     56070    435069     24.93   no data  --
43.13/10.81	c  S st   224    105353        90      8010         0     20748     56070    449234     24.93   no data  --
43.13/10.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.13/10.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.13/10.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.13/10.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.13/10.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.13/10.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.13/10.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.12/12.82	c lits-rem:      2004  cl-subs:     1439  v-elim:      0  v-fix:    0  time:  7.95 s
51.12/12.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.12/12.83	c vivif2 --  cl tried    19309 cl shrink        0 lits rem          0 time: 0.02
52.74/13.24	c asymm  cl-useful: 0/5703/8010 lits-rem:0 time: 1.62
52.74/13.24	c calculated reachability. Time: 0.00
52.74/13.24	c  N dy   224    105353        90      8010         0     19309     56070    402366     24.93   no data  --
55.11/13.83	c  N dy   254    112161        90      8010         0     25612     56070    587985     24.98     27.48  --
57.13/14.34	c  N dy   282    119379        90      8010         0     19427     56070    395465     25.02     26.41  --
59.51/14.97	c  N dy   304    127033        90      8010         0     26496     56070    603486     25.04     28.07  --
62.30/15.67	c  N dy   344    136255        90      8010         0     21213     56070    431643     25.10     26.53  --
66.30/16.67	c  N dy   379    148363        90      8010         0     17587     56070    302327     25.11     26.59  --
69.91/17.52	c  N dy   438    158031        90      8010         0     26557     56070    567989     25.18     23.98  --
69.91/17.52	c  S st   438    158031        90      8010         0     26557     56070    567989     25.18     23.98  --
69.91/17.59	c  S st   438    158535        90      8010         0     27037     56070    582344     25.18   no data  --
69.91/17.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.91/17.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.31/17.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
70.31/17.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.31/17.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.31/17.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
70.31/17.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.08/20.30	c lits-rem:      2383  cl-subs:     2027  v-elim:      0  v-fix:    0  time: 10.71 s
81.08/20.30	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
81.08/20.31	c vivif2 --  cl tried    25010 cl shrink        0 lits rem          0 time: 0.02
81.87/20.55	c asymm  cl-useful: 0/1907/8010 lits-rem:0 time: 0.97
81.87/20.55	c calculated reachability. Time: 0.00
81.87/20.55	c  N dy   438    158535        90      8010         0     25010     56070    515403     25.18   no data  --
86.27/21.62	c  N dy   477    168742        90      8010         0     18788     56070    320132     25.20     26.61  --
91.06/22.87	c  N dy   517    182169        90      8010         0     31246     56070    686416     25.22     26.57  --
95.46/23.92	c  N dy   542    194290        90      8010         0     25753     56070    505836     25.19     26.59  --
100.68/25.26	c  N dy   559    208295        90      8010         0     21153     56070    354333     25.16     26.54  --
111.84/28.02	c  N dy   588    237803        90      8010         0     29803     56070    582907     24.96     23.47  --
111.84/28.02	c  S st   588    237803        90      8010         0     29803     56070    582907     24.96     23.47  --
112.24/28.10	c  S st   588    238304        90      8010         0     30274     56070    597058     24.96   no data  --
112.24/28.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.24/28.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.24/28.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
112.24/28.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.24/28.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.24/28.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.24/28.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.22/31.16	c lits-rem:      2875  cl-subs:     2714  v-elim:      0  v-fix:    0  time: 12.07 s
124.22/31.16	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
124.22/31.16	c vivif2 --  cl tried    27560 cl shrink        0 lits rem          0 time: 0.02
125.02/31.36	c asymm  cl-useful: 0/2212/8010 lits-rem:0 time: 0.77
125.02/31.36	c calculated reachability. Time: 0.00
125.02/31.36	c  N dy   588    238304        90      8010         0     27560     56070    518891     24.96   no data  --
133.41/33.45	c  N dy   655    258554        90      8010         0     27017     56070    489487     24.97     26.65  --
141.00/35.38	c  N dy   724    275078        90      8010         0     22025     56070    331088     25.01     26.84  --
148.59/37.22	c  N dy   799    292968        90      8010         0     38617     56070    819820     25.05     26.48  --
154.18/38.60	c  F st   835    306250        90      8010         0     29660     56070    532041     25.04     22.52  --
156.18/39.18	c  N dy   842    312357        90      8010         0     35322     56070    702764     25.04     26.42  --
165.37/41.45	c  N dy   919    332477        90      8010         0     31778     56070    579320     25.06     26.61  --
174.96/43.81	c  N dy   980    352688        90      8010         0     27400     56070    428681     25.06     26.48  --
176.56/44.29	c  S st   994    357458        90      8010         0     31846     56070    558813     25.07     25.31  --
176.96/44.38	c  S st   994    357961        90      8010         0     32332     56070    573085     25.07   no data  --
176.96/44.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.96/44.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.96/44.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
177.36/44.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.36/44.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.36/44.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
177.36/44.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.96/47.31	c lits-rem:      1645  cl-subs:     1580  v-elim:      0  v-fix:    0  time: 11.56 s
188.96/47.31	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
188.96/47.32	c vivif2 --  cl tried    30752 cl shrink        0 lits rem          0 time: 0.02
190.14/47.61	c asymm  cl-useful: 0/1731/8010 lits-rem:0 time: 1.17
190.14/47.61	c calculated reachability. Time: 0.00
190.14/47.61	c  N dy   994    357961        90      8010         0     30752     56070    521787     25.07   no data  --
205.72/51.52	c  N dy  1061    382817        90      8010         0     29670     56070    475943     25.06     26.43  --
217.70/54.59	c  N dy  1152    402847        90      8010         0     48232     56070   1024010     25.09     29.58  --
228.10/57.15	c  N dy  1259    422937        90      8010         0     41895     56070    823007     25.13     27.19  --
239.20/59.95	c  N dy  1356    443017        90      8010         0     34612     56070    588928     25.17     28.52  --
251.89/63.15	c  N dy  1422    465923        90      8010         0     28888     56070    402315     25.17     26.55  --
264.14/66.25	c  N dy  1520    489332        90      8010         0     50493     56070   1041134     25.19     26.61  --
273.61/68.65	c  N dy  1536    509364        90      8010         0     41219     56070    742204     25.14     26.60  --
285.46/71.62	c  N dy  1602    529428        90      8010         0     31120     56070    432152     25.14     28.81  --
289.03/72.53	c  S st  1642    536941        90      8010         0     38119     56070    640944     25.16     25.35  --
289.43/72.63	c  S st  1642    537447        90      8010         0     38602     56070    655224     25.16   no data  --
289.43/72.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
289.43/72.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
289.43/72.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
289.43/72.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
289.43/72.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
289.43/72.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
289.43/72.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
300.46/75.43	c lits-rem:      1068  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 10.89 s
300.46/75.43	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
300.46/75.44	c vivif2 --  cl tried    37102 cl shrink        0 lits rem          0 time: 0.03
301.25/75.66	c asymm  cl-useful: 0/1437/8010 lits-rem:0 time: 0.89
301.25/75.66	c calculated reachability. Time: 0.00
301.25/75.66	c  N dy  1642    537447        90      8010         0     37102     56070    604562     25.16   no data  --
312.37/78.45	c  N dy  1663    558748        90      8010         0     56649     56070   1173903     25.13     26.53  --
323.16/81.14	c  N dy  1724    579126        90      8010         0     46105     56070    856058     25.13     26.67  --
338.73/85.00	c  N dy  1809    603021        90      8010         0     37741     56070    588676     25.15     26.59  --
351.52/88.20	c  N dy  1880    623680        90      8010         0     56918     56070   1153983     25.16     26.50  --
365.51/91.80	c  N dy  1957    647341        90      8010         0     47320     56070    853304     25.17     26.78  --
381.88/95.86	c  N dy  2002    671891        90      8010         0     37557     56070    544342     25.14     26.71  --
397.07/99.65	c  N dy  2053    697535        90      8010         0     61235     56070   1241793     25.13     26.48  --
410.64/103.02	c  N dy  2116    717616        90      8010         0     46535     56070    796612     25.14     27.60  --
425.45/106.79	c  N dy  2157    737638        90      8010         0     64968     56070   1338248     25.13     28.32  --
439.41/110.25	c  N dy  2259    757666        90      8010         0     49392     56070    865377     25.15     27.18  --
454.99/114.12	c  N dy  2316    778401        90      8010         0     68542     56070   1431823     25.16     26.57  --
466.97/117.10	c  N dy  2355    798704        90      8010         0     52077     56070    906405     25.12     26.53  --
470.96/118.19	c  S st  2359    806170        90      8010         0     58934     56070   1105894     25.11     24.58  --
471.76/118.34	c  S st  2359    806672        90      8010         0     59416     56070   1120788     25.11   no data  --
471.76/118.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
471.76/118.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
471.76/118.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
472.16/118.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
472.16/118.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.16/118.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
472.16/118.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
511.31/128.25	c lits-rem:      2045  cl-subs:     5171  v-elim:      0  v-fix:    0  time: 39.29 s
511.31/128.25	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
511.31/128.26	c vivif2 --  cl tried    54245 cl shrink        0 lits rem          0 time: 0.05
512.92/128.61	c asymm  cl-useful: 0/1006/8010 lits-rem:0 time: 1.40
512.92/128.61	c calculated reachability. Time: 0.00
512.92/128.61	c  N dy  2359    806672        90      8010         0     54245     56070    971219     25.11   no data  --
530.09/132.92	c  N dy  2447    827097        90      8010         0     37417     56070    472254     25.13     26.65  --
543.27/136.29	c  N dy  2532    848014        90      8010         0     56824     56070   1049405     25.15     26.53  --
558.84/140.12	c  N dy  2545    871097        90      8010         0     41152     56070    557840     25.11     26.44  --
572.03/143.48	c  N dy  2634    891137        90      8010         0     59695     56070   1109556     25.12     27.38  --
596.01/149.44	c  N dy  2691    926522        90      8010         0     54498     56070    928299     25.07     26.42  --
615.97/154.44	c  N dy  2696    957753        90      8010         0     44460     56070    621678     24.98     26.57  --
631.15/158.25	c  N dy  2793    979300        90      8010         0     64405     56070   1212382     25.00     26.35  --
651.93/163.46	c  N dy  2904   1002097        90      8010         0     45831     56070    640724     25.01     26.56  --
669.11/167.75	c  N dy  3050   1023380        90      8010         0     65584     56070   1231632     25.05     26.40  --
691.08/173.27	c  N dy  3188   1044368        90      8010         0     44399     56070    581303     25.08     26.40  --
706.68/177.18	c  N dy  3311   1064762        90      8010         0     63339     56070   1146899     25.10     26.55  --
713.05/178.78	c  F st  3339   1071875        90      8010         0     69923     56070   1340934     25.10   no data  --
726.24/182.08	c  N dy  3386   1085470        90      8010         0     82521     56070   1718392     25.11     26.47  --
741.02/185.74	c  N dy  3467   1105515        90      8010         0     59361     56070   1002308     25.12     27.67  --
760.19/190.59	c  N dy  3572   1125903        90      8010         0     78285     56070   1567181     25.14     26.53  --
778.17/195.04	c  N dy  3661   1145931        90      8010         0     54230     56070    837573     25.15     26.57  --
800.14/200.53	c  N dy  3770   1165991        90      8010         0     72852     56070   1394824     25.17     28.36  --
822.91/206.21	c  N dy  3846   1186310        90      8010         0     48121     56070    636096     25.17     26.51  --
843.27/211.30	c  N dy  3920   1207524        90      8010         0     67722     56070   1212615     25.18     26.59  --
846.48/212.18	c  S st  3934   1210009        90      8010         0     70025     56070   1281071     25.18     23.55  --
847.67/212.46	c  S st  3934   1210514        90      8010         0     70505     56070   1295284     25.18   no data  --
847.67/212.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
847.67/212.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
848.07/212.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
848.07/212.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
848.07/212.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
848.07/212.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
848.07/212.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
939.57/235.47	c lits-rem:      3510  cl-subs:     4894  v-elim:      0  v-fix:    0  time: 91.52 s
939.57/235.47	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
939.57/235.49	c vivif2 --  cl tried    65611 cl shrink        0 lits rem          0 time: 0.06
941.15/235.88	c asymm  cl-useful: 0/879/8010 lits-rem:0 time: 1.57
941.15/235.88	c calculated reachability. Time: 0.00
941.15/235.88	c  N dy  3934   1210514        90      8010         0     65611     56070   1139058     25.18   no data  --
965.93/242.07	c  N dy  4047   1231153        90      8010         0     84711     56070   1708467     25.20     26.67  --
989.08/247.88	c  N dy  4117   1253883        90      8010         0     61424     56070   1008606     25.20     26.58  --
1011.05/253.37	c  N dy  4171   1273954        90      8010         0     79991     56070   1557458     25.21     27.36  --
1035.02/259.32	c  N dy  4262   1295498        90      8010         0     54732     56070    795561     25.21     26.66  --
1055.39/264.46	c  N dy  4360   1315579        90      8010         0     73325     56070   1347623     25.23     26.61  --
1081.75/271.01	c  N dy  4449   1335912        90      8010         0     92152     56070   1909608     25.24     26.57  --
1098.93/275.33	c  N dy  4517   1356010        90      8010         0     64475     56070   1062831     25.24     29.46  --
1119.73/280.56	c  N dy  4593   1376425        90      8010         0     83380     56070   1623457     25.25     26.79  --
1141.29/285.96	c  N dy  4693   1398291        90      8010         0     56432     56070    805110     25.26     26.61  --
1159.27/290.46	c  N dy  4745   1420900        90      8010         0     77261     56070   1419681     25.26     26.67  --
1182.02/296.16	c  N dy  4822   1441000        90      8010         0     95883     56070   1972341     25.26     27.70  --
1199.19/300.40	c  N dy  4916   1461077        90      8010         0     66405     56070   1086828     25.28     27.72  --
1217.57/305.05	c  N dy  4951   1481752        90      8010         0     85417     56070   1645717     25.27     26.66  --
1240.74/310.80	c  N dy  5051   1501837        90      8010         0     55061     56070    730003     25.28     29.40  --
1256.72/314.85	c  N dy  5111   1522063        90      8010         0     73731     56070   1284808     25.28     26.73  --
1279.49/320.58	c  N dy  5193   1542108        90      8010         0     92293     56070   1835344     25.29     26.63  --
1302.67/326.32	c  N dy  5246   1567384        90      8010         0     65696     56070   1015502     25.28     26.69  --
1325.85/332.12	c  N dy  5311   1592129        90      8010         0     88566     56070   1692942     25.28     26.70  --
1348.60/337.81	c  N dy  5343   1615597        90      8010         0     59415     56070    819518     25.26     26.79  --
1366.98/342.49	c  N dy  5404   1636867        90      8010         0     79098     56070   1402570     25.27     26.64  --
1391.77/348.69	c  N dy  5480   1656874        90      8010         0     97678     56070   1956858     25.27     28.16  --
1414.52/354.32	c  N dy  5574   1676880        90      8010         0     64425     56070    950749     25.28     27.42  --
1433.69/359.19	c  N dy  5648   1697051        90      8010         0     83042     56070   1501778     25.28     26.82  --
1450.06/363.28	c  S st  5699   1710514        90      8010         0     95490     56070   1873974     25.29     23.18  --
1451.26/363.56	c  S st  5699   1711017        90      8010         0     95963     56070   1888416     25.29   no data  --
1451.26/363.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1451.26/363.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1451.66/363.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1451.66/363.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1451.66/363.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1451.66/363.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1451.66/363.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1869.49/468.22	c lits-rem:      5661  cl-subs:     8088  v-elim:      0  v-fix:    0  time: 417.37 s
1869.49/468.22	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1869.49/468.24	c vivif2 --  cl tried    87875 cl shrink        0 lits rem          0 time: 0.08
1870.70/468.60	c asymm  cl-useful: 0/634/8010 lits-rem:0 time: 1.44
1870.70/468.60	c calculated reachability. Time: 0.00
1870.70/468.60	c  N dy  5699   1711017        90      8010         0     87875     56070   1629879     25.29   no data  --
1897.07/475.18	c  N dy  5762   1734631        90      8010         0     57318     56070    724722     25.28     26.66  --
1915.43/479.72	c  N dy  5863   1754650        90      8010         0     75937     56070   1281349     25.29     26.76  --
1944.59/487.05	c  N dy  5932   1782489        90      8010         0    101662     56070   2045595     25.29     26.72  --
1975.76/494.80	c  N dy  5997   1814265        90      8010         0     77278     56070   1276160     25.27     26.78  --
2000.12/500.95	c  N dy  6107   1834359        90      8010         0     95926     56070   1833514     25.28     27.50  --
2026.49/507.54	c  N dy  6199   1854510        90      8010         0     60169     56070    775786     25.29     26.66  --
2054.05/514.45	c  N dy  6241   1884941        90      8010         0     88195     56070   1596071     25.28     26.63  --
2079.22/520.74	c  N dy  6283   1905372        90      8010         0    106943     56070   2147735     25.28     26.62  --
2101.60/526.39	c  N dy  6349   1925767        90      8010         0     70473     56070   1061569     25.28     26.83  --
2123.56/531.84	c  N dy  6443   1946018        90      8010         0     89197     56070   1621254     25.29     26.78  --
2152.72/539.19	c  N dy  6515   1966048        90      8010         0    107738     56070   2173796     25.30     27.66  --
2173.50/544.40	c  N dy  6557   1986091        90      8010         0     69891     56070   1017416     25.29     28.24  --
2193.87/549.48	c  N dy  6615   2006104        90      8010         0     88361     56070   1564612     25.29     29.19  --
2219.43/555.80	c  N dy  6671   2026121        90      8010         0    106863     56070   2114935     25.30     27.82  --
2246.19/562.51	c  N dy  6738   2050048        90      8010         0     71705     56070   1052237     25.30     26.71  --
2268.57/568.13	c  N dy  6827   2070127        90      8010         0     90227     56070   1605908     25.30     27.89  --
2295.74/574.99	c  N dy  6903   2091157        90      8010         0    109646     56070   2179751     25.31     26.73  --
2320.10/581.08	c  N dy  7004   2111177        90      8010         0     70067     56070    996074     25.32     28.48  --
2342.88/586.73	c  N dy  7092   2132207        90      8010         0     89546     56070   1581465     25.32     26.71  --
2368.45/593.17	c  N dy  7153   2152411        90      8010         0    108217     56070   2133682     25.32     26.66  --
2394.82/599.74	c  N dy  7251   2172481        90      8010         0     67643     56070    903284     25.33     28.90  --
2422.37/606.63	c  N dy  7292   2202833        90      8010         0     95639     56070   1724176     25.32     26.68  --
2435.16/609.89	c  S st  7332   2211017        90      8010         0    103159     56070   1947883     25.32   no data  --
2436.76/610.22	c  S st  7332   2211522        90      8010         0    103635     56070   1962480     25.32   no data  --
2436.76/610.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2436.76/610.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2436.76/610.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2437.16/610.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2437.16/610.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2437.16/610.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2437.16/610.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2890.15/723.79	c lits-rem:      5625  cl-subs:     8716  v-elim:      0  v-fix:    0  time: 453.01 s
2890.15/723.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2890.56/723.82	c vivif2 --  cl tried    94919 cl shrink        0 lits rem          0 time: 0.09
2892.14/724.23	c asymm  cl-useful: 0/791/8010 lits-rem:0 time: 1.63
2892.14/724.23	c calculated reachability. Time: 0.00
2892.14/724.23	c  N dy  7332   2211522        90      8010         0     94919     56070   1691621     25.32   no data  --
2930.11/733.73	c  N dy  7442   2235097        90      8010         0    116702     56070   2342904     25.33     26.70  --
2954.85/739.97	c  N dy  7541   2257613        90      8010         0     77736     56070   1186865     25.34     26.90  --
2976.83/745.45	c  N dy  7595   2277639        90      8010         0     96195     56070   1732343     25.33     28.36  --
3011.99/754.25	c  N dy  7713   2299668        90      8010         0    116577     56070   2343288     25.34     26.72  --
3035.95/760.21	c  N dy  7804   2319724        90      8010         0     74368     56070   1065422     25.35     27.01  --
3058.72/765.93	c  N dy  7868   2340604        90      8010         0     93701     56070   1641199     25.35     26.75  --
3087.08/773.04	c  N dy  7951   2360630        90      8010         0    112241     56070   2193970     25.36     28.33  --
3118.66/780.95	c  N dy  8067   2381488        90      8010         0     69665     56070    904886     25.37     26.86  --
3176.97/795.59	c  N dy  8144   2435645        90      8010         0    119334     56070   2357744     25.34     26.76  --
3201.74/801.79	c  N dy  8202   2456205        90      8010         0     75650     56070   1063423     25.34     26.81  --
3225.71/807.73	c  N dy  8245   2476501        90      8010         0     94353     56070   1611473     25.34     26.83  --
3256.46/815.44	c  N dy  8310   2496918        90      8010         0    113221     56070   2171839     25.33     26.74  --
3288.42/823.47	c  N dy  8385   2517043        90      8010         0     68227     56070    824843     25.34     26.76  --
3313.18/829.67	c  N dy  8490   2540867        90      8010         0     90307     56070   1484116     25.34     26.81  --
3340.35/836.45	c  N dy  8567   2561328        90      8010         0    109248     56070   2047933     25.34     26.79  --
3376.31/845.47	c  N dy  8668   2582684        90      8010         0    129021     56070   2637262     25.35     26.70  --
3397.08/850.64	c  N dy  8734   2602783        90      8010         0     82856     56070   1241115     25.35     28.75  --
3419.46/856.28	c  N dy  8778   2623321        90      8010         0    101781     56070   1797931     25.35     26.72  --
3450.21/863.99	c  N dy  8842   2644192        90      8010         0    121018     56070   2365231     25.35     26.77  --
3481.37/871.76	c  N dy  8950   2665492        90      8010         0     75219     56070   1003422     25.35     26.91  --
3506.14/877.90	c  N dy  9072   2685500        90      8010         0     93747     56070   1562024     25.36     28.52  --
3533.70/884.85	c  N dy  9157   2705540        90      8010         0    112289     56070   2119397     25.37     27.41  --
3544.09/887.47	c  S st  9192   2711522        90      8010         0    117836     56070   2286242     25.37     24.72  --
3545.69/887.81	c  S st  9192   2712025        90      8010         0    118312     56070   2300731     25.37   no data  --
3545.69/887.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3545.69/887.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3545.69/887.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3546.09/887.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3546.09/887.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3546.09/887.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3546.09/887.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4705.69/1178.22	c lits-rem:      6649  cl-subs:     8488  v-elim:      0  v-fix:    0  time: 1159.24 s
4705.69/1178.22	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4705.69/1178.24	c vivif2 --  cl tried   109824 cl shrink        0 lits rem          0 time: 0.11
4707.29/1178.68	c asymm  cl-useful: 0/611/8010 lits-rem:0 time: 1.74
4707.29/1178.68	c calculated reachability. Time: 0.00
4707.29/1178.68	c  N dy  9192   2712025        90      8010         0    109824     56070   2016721     25.37   no data  --
4742.03/1187.37	c  N dy  9220   2732055        90      8010         0    128236     56070   2554734     25.37     26.81  --
4775.61/1195.72	c  N dy  9311   2756453        90      8010         0     84567     56070   1263175     25.37     26.75  --

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-3175380-1304121795/watcher-3175380-1304121795 -o /tmp/evaluation-result-3175380-1304121795/solver-3175380-1304121795 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175380-1304121795.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: 4.15 5.48 6.93 5/180 4809
/proc/meminfo: memFree=31185348/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 4 0 523778281 52465664 352 33554432000 4194304 4650419 140736830901472 18446744073709551615 47152490420146 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 12809 352 303 112 0 7774 0
[pid=4809/tid=4810] ppid=4807 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523778282 52465664 352 33554432000 4194304 4650419 140736830901472 18446744073709551615 47152490420146 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523778282 52465664 352 33554432000 4194304 4650419 140736830901472 18446744073709551615 47152490420146 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523778282 52465664 352 33554432000 4194304 4650419 140736830901472 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0563709 s]
/proc/loadavg: 4.15 5.48 6.93 5/180 4809
/proc/meminfo: memFree=31185348/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=282084 CPUtime=0.21 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 1545 0 0 0 21 0 0 0 25 0 4 0 523778281 288854016 1447 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370643 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 70521 1447 366 112 0 65486 0
[pid=4809/tid=4810] ppid=4807 vsize=282084 CPUtime=0.05 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 265 0 0 0 5 0 0 0 25 0 4 0 523778282 288854016 1447 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=282084 CPUtime=0.05 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 271 0 0 0 5 0 0 0 25 0 4 0 523778282 288854016 1447 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=282084 CPUtime=0.04 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 328 0 0 0 4 0 0 0 25 0 4 0 523778282 288854016 1447 33554432000 4194304 4650419 140736830901472 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282084

[startup+0.156353 s]
/proc/loadavg: 4.15 5.48 6.93 5/180 4809
/proc/meminfo: memFree=31185348/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=282388 CPUtime=0.61 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 1735 0 0 0 61 0 0 0 25 0 4 0 523778281 289165312 1637 33554432000 4194304 4650419 140736830901472 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 70597 1637 366 112 0 65562 0
[pid=4809/tid=4810] ppid=4807 vsize=282388 CPUtime=0.15 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 281 0 0 0 15 0 0 0 25 0 4 0 523778282 289165312 1637 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=282388 CPUtime=0.15 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 287 0 0 0 15 0 0 0 25 0 4 0 523778282 289165312 1637 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=282388 CPUtime=0.14 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 470 0 0 0 14 0 0 0 25 0 4 0 523778282 289165312 1637 33554432000 4194304 4650419 140736830901472 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282388

[startup+0.300329 s]
/proc/loadavg: 4.15 5.48 6.93 5/180 4809
/proc/meminfo: memFree=31185348/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=284488 CPUtime=1.18 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 4203 0 0 0 118 0 0 0 18 0 4 0 523778281 291315712 3396 33554432000 4194304 4650419 140736830901472 18446744073709551615 4334674 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 71122 3396 390 112 0 66087 0
[pid=4809/tid=4810] ppid=4807 vsize=284488 CPUtime=0.29 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 979 0 0 0 29 0 0 0 18 0 4 0 523778282 291315712 3396 33554432000 4194304 4650419 140736830901472 18446744073709551615 4240947 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=284488 CPUtime=0.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 1010 0 0 0 29 0 0 0 18 0 4 0 523778282 291315712 3396 33554432000 4194304 4650419 140736830901472 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=284488 CPUtime=0.29 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 810 0 0 0 29 0 0 0 25 0 4 0 523778282 291315712 3396 33554432000 4194304 4650419 140736830901472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284488

[startup+0.700259 s]
/proc/loadavg: 4.15 5.48 6.93 5/180 4809
/proc/meminfo: memFree=31185348/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=286288 CPUtime=2.77 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 6864 0 0 0 277 0 0 0 18 0 4 0 523778281 293158912 4085 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 71572 4085 390 112 0 66537 0
[pid=4809/tid=4810] ppid=4807 vsize=286288 CPUtime=0.69 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 1701 0 0 0 69 0 0 0 18 0 4 0 523778282 293158912 4085 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=286288 CPUtime=0.68 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 1725 0 0 0 68 0 0 0 18 0 4 0 523778282 293158912 4085 33554432000 4194304 4650419 140736830901472 18446744073709551615 4334746 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=286288 CPUtime=0.69 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 1318 0 0 0 69 0 0 0 25 0 4 0 523778282 293158912 4085 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286288

[startup+1.50112 s]
/proc/loadavg: 4.15 5.48 6.93 10/184 4813
/proc/meminfo: memFree=31156164/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=287800 CPUtime=5.98 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 11066 0 0 0 597 1 0 0 19 0 4 0 523778281 294707200 4885 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 71950 4885 391 112 0 66915 0
[pid=4809/tid=4810] ppid=4807 vsize=287800 CPUtime=1.49 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 2744 0 0 0 149 0 0 0 19 0 4 0 523778282 294707200 4885 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=287800 CPUtime=1.48 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 2787 0 0 0 148 0 0 0 19 0 4 0 523778282 294707200 4885 33554432000 4194304 4650419 140736830901472 18446744073709551615 4361043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=287800 CPUtime=1.48 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 2351 0 0 0 148 0 0 0 25 0 4 0 523778282 294707200 4885 33554432000 4194304 4650419 140736830901472 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287800

[startup+3.10084 s]
/proc/loadavg: 4.15 5.48 6.93 9/184 4813
/proc/meminfo: memFree=31136076/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=298080 CPUtime=12.37 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 21130 0 0 0 1235 2 0 0 24 0 4 0 523778281 305233920 12680 33554432000 4194304 4650419 140736830901472 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 74520 12681 392 112 0 69485 0
[pid=4809/tid=4810] ppid=4807 vsize=298080 CPUtime=3.09 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 4679 0 0 0 309 0 0 0 23 0 4 0 523778282 305233920 12682 33554432000 4194304 4650419 140736830901472 18446744073709551615 4441818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=298080 CPUtime=3.09 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 5730 0 0 0 308 1 0 0 23 0 4 0 523778282 305233920 12682 33554432000 4194304 4650419 140736830901472 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=298080 CPUtime=3.08 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 5696 0 0 0 308 0 0 0 25 0 4 0 523778282 305233920 12682 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 298080

[startup+6.30027 s]
/proc/loadavg: 4.46 5.52 6.93 9/184 4813
/proc/meminfo: memFree=31109184/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=279652 CPUtime=25.15 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 30723 0 0 0 2511 4 0 0 25 0 4 0 523778281 286363648 15999 33554432000 4194304 4650419 140736830901472 18446744073709551615 4326420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 69913 15999 392 112 0 64878 0
[pid=4809/tid=4810] ppid=4807 vsize=279652 CPUtime=6.29 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 8181 0 0 0 628 1 0 0 25 0 4 0 523778282 286363648 15999 33554432000 4194304 4650419 140736830901472 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=279652 CPUtime=6.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 7699 0 0 0 627 1 0 0 25 0 4 0 523778282 286363648 15999 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=279652 CPUtime=6.26 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 7825 0 0 0 626 0 0 0 25 0 4 0 523778282 286363648 15999 33554432000 4194304 4650419 140736830901472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 279652

[startup+12.7012 s]
/proc/loadavg: 4.74 5.57 6.94 9/184 4813
/proc/meminfo: memFree=31059936/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=288860 CPUtime=50.72 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 44428 0 0 0 5065 7 0 0 25 0 4 0 523778281 295792640 23152 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 72215 23152 392 112 0 67180 0
[pid=4809/tid=4810] ppid=4807 vsize=288860 CPUtime=12.69 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 10942 0 0 0 1267 2 0 0 25 0 4 0 523778282 295792640 23152 33554432000 4194304 4650419 140736830901472 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=288860 CPUtime=12.68 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 10758 0 0 0 1266 2 0 0 25 0 4 0 523778282 295792640 23152 33554432000 4194304 4650419 140736830901472 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=288860 CPUtime=12.63 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 12301 0 0 0 1262 1 0 0 25 0 4 0 523778282 295792640 23152 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 288860

[startup+25.5009 s]
/proc/loadavg: 5.46 5.68 6.95 9/184 4814
/proc/meminfo: memFree=31017132/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=279600 CPUtime=101.85 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 66818 0 0 0 10171 14 0 0 25 0 4 0 523778281 286310400 29251 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 69900 29251 392 112 0 64865 0
[pid=4809/tid=4810] ppid=4807 vsize=279600 CPUtime=25.48 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 16034 0 0 0 2546 2 0 0 25 0 4 0 523778282 286310400 29251 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=279600 CPUtime=25.48 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 16761 0 0 0 2544 4 0 0 25 0 4 0 523778282 286310400 29251 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=279600 CPUtime=25.36 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 18757 0 0 0 2533 3 0 0 25 0 4 0 523778282 286310400 29251 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 279600

[startup+51.1004 s]
/proc/loadavg: 6.33 5.87 6.98 9/184 4816
/proc/meminfo: memFree=30962992/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=291044 CPUtime=204.12 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 98287 0 0 0 20390 22 0 0 25 0 4 0 523778281 298029056 35288 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 72761 35288 392 112 0 67726 0
[pid=4809/tid=4810] ppid=4807 vsize=291044 CPUtime=51.08 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 23616 0 0 0 5104 4 0 0 25 0 4 0 523778282 298029056 35288 33554432000 4194304 4650419 140736830901472 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=291044 CPUtime=51.08 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 25387 0 0 0 5102 6 0 0 25 0 4 0 523778282 298029056 35288 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=291044 CPUtime=50.83 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 27009 0 0 0 5078 5 0 0 25 0 4 0 523778282 298029056 35288 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 291044

[startup+102.306 s]
/proc/loadavg: 7.60 6.30 7.07 9/184 4819
/proc/meminfo: memFree=30928944/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=317232 CPUtime=407.87 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 147658 0 0 0 40752 35 0 0 25 0 4 0 523778281 324845568 40736 33554432000 4194304 4650419 140736830901472 18446744073709551615 4366849 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 79308 40736 392 112 0 74273 0
[pid=4809/tid=4810] ppid=4807 vsize=317232 CPUtime=102.14 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 31227 0 0 0 10208 6 0 0 25 0 4 0 523778282 324845568 40736 33554432000 4194304 4650419 140736830901472 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=317232 CPUtime=102.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 39462 0 0 0 10218 10 0 0 25 0 4 0 523778282 324845568 40736 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=317232 CPUtime=101.12 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 43778 0 0 0 10103 9 0 0 25 0 4 0 523778282 324845568 40736 33554432000 4194304 4650419 140736830901472 18446744073709551615 4360606 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (KiB) 317232

[startup+162.301 s]

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

[pid=4809] ppid=4807 vsize=437516 CPUtime=2804.65 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 494271 0 0 0 280301 164 0 0 25 0 4 0 523778281 448016384 78989 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 109379 78989 392 112 0 104344 0
[pid=4809/tid=4810] ppid=4807 vsize=437516 CPUtime=702.09 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 120496 0 0 0 70165 44 0 0 25 0 4 0 523778282 448016384 78989 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=437516 CPUtime=702.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 129074 0 0 0 70184 45 0 0 25 0 4 0 523778282 448016384 78989 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=437516 CPUtime=697.96 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 131029 0 0 0 69753 43 0 0 25 0 4 0 523778282 448016384 78989 33554432000 4194304 4650419 140736830901472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.65
Current children cumulated vsize (KiB) 437516

[startup+762.306 s]
/proc/loadavg: 8.12 7.92 7.58 9/184 4866
/proc/meminfo: memFree=30578924/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=425140 CPUtime=3044.36 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 517335 0 0 0 304261 175 0 0 25 0 4 0 523778281 435343360 74598 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 106285 74598 392 112 0 101250 0
[pid=4809/tid=4810] ppid=4807 vsize=425140 CPUtime=762.09 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 126896 0 0 0 76162 47 0 0 25 0 4 0 523778282 435343360 74598 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=425140 CPUtime=762.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 137270 0 0 0 76181 48 0 0 25 0 4 0 523778282 435343360 74598 33554432000 4194304 4650419 140736830901472 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=425140 CPUtime=757.66 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 135708 0 0 0 75720 46 0 0 25 0 4 0 523778282 435343360 74598 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.36
Current children cumulated vsize (KiB) 425140

[startup+822.301 s]
/proc/loadavg: 8.08 7.94 7.61 9/184 4868
/proc/meminfo: memFree=30540920/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=425524 CPUtime=3284.03 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 546246 0 0 0 328215 188 0 0 25 0 4 0 523778281 435736576 79606 33554432000 4194304 4650419 140736830901472 18446744073709551615 4313339 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 106381 79606 392 112 0 101346 0
[pid=4809/tid=4810] ppid=4807 vsize=425524 CPUtime=822.09 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 134261 0 0 0 82158 51 0 0 25 0 4 0 523778282 435736576 79606 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=425524 CPUtime=822.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 144806 0 0 0 82177 51 0 0 25 0 4 0 523778282 435736576 79606 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=425524 CPUtime=817.35 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 143593 0 0 0 81686 49 0 0 25 0 4 0 523778282 435736576 79606 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.03
Current children cumulated vsize (KiB) 425524

[startup+882.3 s]
/proc/loadavg: 8.03 7.95 7.64 9/184 4870
/proc/meminfo: memFree=30497680/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=425896 CPUtime=3523.71 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 573355 0 0 0 352170 201 0 0 25 0 4 0 523778281 436117504 80584 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 106474 80584 392 112 0 101439 0
[pid=4809/tid=4810] ppid=4807 vsize=425896 CPUtime=882.08 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 141552 0 0 0 88155 53 0 0 25 0 4 0 523778282 436117504 80584 33554432000 4194304 4650419 140736830901472 18446744073709551615 4330833 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=425896 CPUtime=882.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 151993 0 0 0 88174 55 0 0 25 0 4 0 523778282 436117504 80584 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=425896 CPUtime=877.03 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 150653 0 0 0 87649 54 0 0 25 0 4 0 523778282 436117504 80584 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.71
Current children cumulated vsize (KiB) 425896

[startup+942.301 s]
/proc/loadavg: 8.04 7.97 7.66 9/184 4871
/proc/meminfo: memFree=30446144/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=507572 CPUtime=3763.39 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 590426 0 0 0 376132 207 0 0 25 0 4 0 523778281 519753728 90937 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 126893 90937 392 112 0 121858 0
[pid=4809/tid=4810] ppid=4807 vsize=507572 CPUtime=942.07 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 148970 0 0 0 94152 55 0 0 25 0 4 0 523778282 519753728 90937 33554432000 4194304 4650419 140736830901472 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=507572 CPUtime=942.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 156332 0 0 0 94171 57 0 0 25 0 4 0 523778282 519753728 90937 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=507572 CPUtime=936.71 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 155440 0 0 0 93616 55 0 0 25 0 4 0 523778282 519753728 90937 33554432000 4194304 4650419 140736830901472 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.39
Current children cumulated vsize (KiB) 507572

[startup+1002.3 s]
/proc/loadavg: 8.13 8.00 7.69 9/184 4873
/proc/meminfo: memFree=30447684/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=509684 CPUtime=4003.06 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 600807 0 0 0 400095 211 0 0 25 0 4 0 523778281 521916416 90368 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 127421 90368 392 112 0 122386 0
[pid=4809/tid=4810] ppid=4807 vsize=509684 CPUtime=1002.07 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 153071 0 0 0 100151 56 0 0 25 0 4 0 523778282 521916416 90368 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=509684 CPUtime=1002.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 162155 0 0 0 100168 60 0 0 25 0 4 0 523778282 521916416 90368 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=509684 CPUtime=996.38 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 155897 0 0 0 99583 55 0 0 25 0 4 0 523778282 521916416 90368 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.06
Current children cumulated vsize (KiB) 509684

[startup+1062.3 s]
/proc/loadavg: 8.12 8.02 7.71 9/184 4874
/proc/meminfo: memFree=30432016/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=575984 CPUtime=4242.73 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 617238 0 0 0 424057 216 0 0 25 0 4 0 523778281 589807616 92694 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 143996 92694 392 112 0 138961 0
[pid=4809/tid=4810] ppid=4807 vsize=575984 CPUtime=1062.06 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 163158 0 0 0 106148 58 0 0 25 0 4 0 523778282 589807616 92694 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=575984 CPUtime=1062.28 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 168452 0 0 0 106165 63 0 0 25 0 4 0 523778282 589807616 92694 33554432000 4194304 4650419 140736830901472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=575984 CPUtime=1056.06 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 155944 0 0 0 105551 55 0 0 25 0 4 0 523778282 589807616 92694 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.73
Current children cumulated vsize (KiB) 575984

[startup+1122.3 s]
/proc/loadavg: 8.09 8.03 7.73 9/184 4876
/proc/meminfo: memFree=30430712/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=629092 CPUtime=4482.4 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 631019 0 0 0 448021 219 0 0 25 0 4 0 523778281 644190208 93097 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 157273 93097 392 112 0 152238 0
[pid=4809/tid=4810] ppid=4807 vsize=629092 CPUtime=1122.07 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 172195 0 0 0 112147 60 0 0 25 0 4 0 523778282 644190208 93097 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=629092 CPUtime=1122.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 172435 0 0 0 112165 64 0 0 25 0 4 0 523778282 644190208 93097 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=629092 CPUtime=1115.73 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 156705 0 0 0 111517 56 0 0 25 0 4 0 523778282 644190208 93097 33554432000 4194304 4650419 140736830901472 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 629092

[startup+1182.3 s]
/proc/loadavg: 8.16 8.05 7.75 9/184 4878
/proc/meminfo: memFree=30412172/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=576128 CPUtime=4722.06 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 655760 0 0 0 471980 226 0 0 25 0 4 0 523778281 589955072 94270 33554432000 4194304 4650419 140736830901472 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 144032 94270 392 112 0 138997 0
[pid=4809/tid=4810] ppid=4807 vsize=576128 CPUtime=1182.06 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 178074 0 0 0 118144 62 0 0 25 0 4 0 523778282 589955072 94270 33554432000 4194304 4650419 140736830901472 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=576128 CPUtime=1182.29 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 185482 0 0 0 118163 66 0 0 25 0 4 0 523778282 589955072 94270 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=576128 CPUtime=1175.41 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 162244 0 0 0 117482 59 0 0 25 0 4 0 523778282 589955072 94270 33554432000 4194304 4650419 140736830901472 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.06
Current children cumulated vsize (KiB) 576128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.11 8.05 7.76 9/184 4878
/proc/meminfo: memFree=30409416/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=589508 CPUtime=4800.37 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 665858 0 0 0 479807 230 0 0 25 0 4 0 523778281 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 147377 90586 392 112 0 142342 0
[pid=4809/tid=4810] ppid=4807 vsize=589508 CPUtime=1201.66 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 180602 0 0 0 120103 63 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=589508 CPUtime=1201.9 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 191253 0 0 0 120123 67 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=589508 CPUtime=1194.9 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 163586 0 0 0 119430 60 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 589508

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

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

[startup+1201.9 s]
/proc/loadavg: 8.11 8.05 7.76 9/184 4878
/proc/meminfo: memFree=30409416/32950928 swapFree=67111404/67111528
[pid=4809] ppid=4807 vsize=589508 CPUtime=4800.37 cores=0,2,4,6
/proc/4809/stat : 4809 (strangenight1-m) R 4807 4809 4213 0 -1 4202496 665858 0 0 0 479807 230 0 0 25 0 4 0 523778281 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4809/statm: 147377 90586 392 112 0 142342 0
[pid=4809/tid=4810] ppid=4807 vsize=589508 CPUtime=1201.66 cores=0,2,4,6
/proc/4809/task/4810/stat : 4810 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 180602 0 0 0 120103 63 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4809/tid=4811] ppid=4807 vsize=589508 CPUtime=1201.9 cores=0,2,4,6
/proc/4809/task/4811/stat : 4811 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 191253 0 0 0 120123 67 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4809/tid=4812] ppid=4807 vsize=589508 CPUtime=1194.9 cores=0,2,4,6
/proc/4809/task/4812/stat : 4812 (strangenight1-m) R 4807 4809 4213 0 -1 4202560 163586 0 0 0 119430 60 0 0 25 0 4 0 523778282 603656192 90586 33554432000 4194304 4650419 140736830901472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 589508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.42
CPU user time (s): 4798.1
CPU system time (s): 2.31665
CPU usage (%): 399.393
Max. virtual memory (cumulated for all children) (KiB): 629388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.31665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665860
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= 635
involuntary context switches= 34283

runsolver used 1.92271 second user time and 4.45032 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 02:03:15
IDJOB=3175380
IDBENCH=82998
IDSOLVER=1588
FILE ID=node120/3175380-1304121795
RUNJOBID= node120-1304121793-4756
PBS_JOBID= 13170710
Free space on /tmp= 72068 MiB

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

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

MD5SUM BENCH= 053eacf65ab310107e284aa82f53766f
RANDOM SEED=1114148401

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31185628 kB
Buffers:        501828 kB
Cached:         821100 kB
SwapCached:          8 kB
Active:         435820 kB
Inactive:       970312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31185628 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           12508 kB
Writeback:           0 kB
AnonPages:       82544 kB
Mapped:          15684 kB
Slab:           296616 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   299608 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= 72064 MiB
End job on node120 at 2011-04-30 02:23:19