Trace number 3175167

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.27 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf
MD5SUM261ca77431063ab06f6a4cdf20ea9cf2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

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-3175167-1304094569.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.00/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.57/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.57/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.57/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.57/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.00/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4.00/1.00	c Finding binary XORs  T:     0.00 s  found:       0
4.00/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.00/1.00	c calculated reachability. Time: 0.00
4.00/1.00	c Calc default polars -  time:   0.00 s pos:      37 undec:       0 neg:      33
4.00/1.00	c =========================================================================================
4.00/1.00	c types(t): F = full restart, N = normal restart
4.00/1.00	c types(t): S = simplification begin/end, E = solution found
4.00/1.00	c restart types(rt): st = static, dy = dynamic
4.00/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.00/1.00	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
4.00/1.00	c  N dy     7      5405        70      6230         0      2636     43610     56737     20.87     22.15  --
4.00/1.00	c  N dy    18     13147        70      6230         0      5764     43610    118813     20.29     21.43  --
4.00/1.00	c  N dy    33     17318        70      6230         0      9547     43610    209406     20.43     21.64  --
4.00/1.00	c  N dy    41     21369        70      6230         0      8125     43610    166295     20.47     22.38  --
4.77/1.20	c  F st    50     25000        70      6230         0     11376     43610    242782     20.40   no data  --
4.77/1.20	c  N st    52     25625        70      6230         0     11937     43610    256673     20.40   no data  --
5.57/1.40	c  N dy    56     30000        70      6230         0      9778     43610    194736     20.40   no data  --
5.57/1.40	c  S st    56     30000        70      6230         0      9778     43610    194736     20.40   no data  --
5.57/1.40	c  S st    56     30506        70      6230         0     10234     43610    206071     20.40   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.41	c lits-rem:      1355  cl-subs:      834  v-elim:      0  v-fix:    0  time:  4.09 s
10.77/2.70	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.18
10.77/2.70	c calculated reachability. Time: 0.00
10.77/2.70	c  N dy    56     30506        70      6230         0      9400     43610    184529     20.40   no data  --
11.57/2.91	c  N dy    67     34690        70      6230         0     13176     43610    276001     20.41     21.55  --
12.36/3.12	c  N dy    80     38776        70      6230         0      9765     43610    181639     20.47     21.97  --
13.96/3.50	c  N dy    94     45759        70      6230         0     15983     43610    326820     20.39     19.46  --
13.96/3.50	c  S st    94     45759        70      6230         0     15983     43610    326820     20.39     19.46  --
13.96/3.55	c  S st    94     46262        70      6230         0      8420     43610    137872     20.39   no data  --
13.96/3.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.96/3.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.96/3.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.96/3.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.96/3.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.31	c lits-rem:       134  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.01 s
17.16/4.31	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.31	c vivif2 --  cl tried     8377 cl shrink        0 lits rem          0 time: 0.00
17.96/4.55	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.95
17.96/4.55	c calculated reachability. Time: 0.00
17.96/4.55	c  N dy    94     46262        70      6230         0      8377     43610    136498     20.39   no data  --
18.75/4.74	c  N dy   116     50343        70      6230         0     12108     43610    226765     20.46     21.74  --
19.95/5.06	c  N dy   124     55686        70      6230         0     16888     43610    339105     20.36     21.53  --
20.77/5.28	c  N dy   128     59793        70      6230         0     11596     43610    199880     20.27     21.48  --
23.15/5.86	c  N dy   150     69396        70      6230         0     10367     43610    160914     20.16     18.87  --
23.15/5.86	c  S st   150     69396        70      6230         0     10367     43610    160914     20.16     18.87  --
23.55/5.90	c  S st   150     69896        70      6230         0     10831     43610    172337     20.16   no data  --
23.55/5.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.55/5.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.75/6.79	c lits-rem:       380  cl-subs:      188  v-elim:      0  v-fix:    0  time:  3.52 s
26.75/6.79	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
26.75/6.79	c vivif2 --  cl tried    10643 cl shrink        0 lits rem          0 time: 0.01
27.94/7.10	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.21
27.94/7.10	c calculated reachability. Time: 0.00
27.94/7.10	c  N dy   150     69896        70      6230         0     10643     43610    167178     20.16   no data  --
29.56/7.47	c  N dy   183     75657        70      6230         0     15879     43610    292294     20.23     21.31  --
31.13/7.86	c  N dy   213     80543        70      6230         0     20342     43610    400875     20.31     21.46  --
32.73/8.23	c  N dy   242     85725        70      6230         0     14189     43610    242058     20.39     22.49  --
33.13/8.34	c  F st   244     87501        70      6230         0     15806     43610    279938     20.37     18.53  --
34.73/8.70	c  N dy   250     92698        70      6230         0     20479     43610    392743     20.37   no data  --
37.94/9.56	c  N dy   279    104844        70      6230         0     19659     43610    354107     20.36     18.06  --
37.94/9.56	c  S st   279    104844        70      6230         0     19659     43610    354107     20.36     18.06  --
38.35/9.62	c  S st   279    105346        70      6230         0     20120     43610    365768     20.36   no data  --
38.35/9.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.35/9.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.35/9.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
38.35/9.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.35/9.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.35/9.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.35/9.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.71/11.27	c lits-rem:      1558  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  6.54 s
44.71/11.27	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.71/11.28	c vivif2 --  cl tried    17922 cl shrink        0 lits rem          0 time: 0.01
46.31/11.65	c asymm  cl-useful: 0/4976/6230 lits-rem:0 time: 1.49
46.31/11.65	c calculated reachability. Time: 0.00
46.31/11.65	c  N dy   279    105346        70      6230         0     17922     43610    313489     20.36   no data  --
48.31/12.15	c  N dy   298    112127        70      6230         0     23987     43610    454657     20.29     22.59  --
50.32/12.69	c  N dy   317    119366        70      6230         0     18045     43610    305899     20.26     22.77  --
53.11/13.33	c  N dy   341    127582        70      6230         0     25477     43610    481967     20.25     21.45  --
55.52/13.98	c  N dy   398    135802        70      6230         0     19464     43610    332838     20.35     23.39  --
59.49/14.98	c  N dy   438    147966        70      6230         0     15987     43610    231395     20.35     21.49  --
62.29/15.68	c  N dy   464    158019        70      6230         0     25105     43610    449455     20.34     19.21  --
62.29/15.68	c  S st   464    158019        70      6230         0     25105     43610    449455     20.34     19.21  --
62.69/15.75	c  S st   464    158526        70      6230         0     25573     43610    460919     20.34   no data  --
62.69/15.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.69/15.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.69/15.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
62.69/15.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.69/15.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.69/15.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
62.69/15.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.29/17.68	c lits-rem:      1723  cl-subs:     2549  v-elim:      0  v-fix:    0  time:  7.61 s
70.29/17.68	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.29/17.68	c vivif2 --  cl tried    23024 cl shrink        0 lits rem          0 time: 0.02
71.08/17.83	c asymm  cl-useful: 0/1254/6230 lits-rem:0 time: 0.59
71.08/17.83	c calculated reachability. Time: 0.00
71.08/17.83	c  N dy   464    158526        70      6230         0     23024     43610    399510     20.34   no data  --
75.07/18.89	c  N dy   506    170354        70      6230         0     18438     43610    278867     20.37     21.56  --
79.47/19.90	c  N dy   554    181293        70      6230         0     28337     43610    518242     20.42     22.29  --
83.86/21.00	c  N dy   604    193458        70      6230         0     23121     43610    379517     20.45     21.57  --
89.45/22.40	c  N dy   620    207899        70      6230         0     18973     43610    268118     20.38     21.49  --
98.25/24.61	c  N dy   651    232413        70      6230         0     23032     43610    348258     20.29     21.44  --
99.86/25.07	c  S st   667    237789        70      6230         0     27906     43610    464698     20.29     18.60  --
100.24/25.14	c  S st   667    238295        70      6230         0     28374     43610    476214     20.29   no data  --
100.24/25.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
100.24/25.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.24/25.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
100.24/25.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.24/25.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.24/25.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
100.24/25.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.02/27.33	c lits-rem:      1694  cl-subs:     2609  v-elim:      0  v-fix:    0  time:  8.64 s
109.02/27.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
109.02/27.34	c vivif2 --  cl tried    25765 cl shrink        0 lits rem          0 time: 0.02
110.62/27.73	c asymm  cl-useful: 0/3718/6230 lits-rem:0 time: 1.59
110.62/27.73	c calculated reachability. Time: 0.00
110.62/27.73	c  N dy   667    238295        70      6230         0     25765     43610    415319     20.29   no data  --
117.82/29.55	c  N dy   736    256545        70      6230         0     23427     43610    346209     20.30     21.48  --
127.00/31.83	c  N dy   825    277375        70      6230         0     22432     43610    311012     20.34     21.69  --
134.20/33.69	c  N dy   896    295077        70      6230         0     38430     43610    696835     20.37     23.57  --
139.00/34.87	c  F st   935    306250        70      6230         0     27844     43610    430004     20.38     20.09  --
143.39/35.99	c  N dy   944    317354        70      6230         0     37878     43610    670766     20.37     21.47  --
154.16/38.69	c  N dy   968    343657        70      6230         0     39901     43610    694782     20.27     21.38  --
160.16/40.19	c  S st   988    357443        70      6230         0     29715     43610    445950     20.22     17.12  --
160.56/40.26	c  S st   988    357945        70      6230         0     30175     43610    457678     20.22   no data  --
160.56/40.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.56/40.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.56/40.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
160.56/40.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.56/40.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.56/40.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
160.56/40.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
168.95/42.37	c lits-rem:      1533  cl-subs:     1938  v-elim:      0  v-fix:    0  time:  8.33 s
168.95/42.37	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
168.95/42.37	c vivif2 --  cl tried    28237 cl shrink        0 lits rem          0 time: 0.02
170.54/42.70	c asymm  cl-useful: 0/2512/6230 lits-rem:0 time: 1.30
170.54/42.70	c calculated reachability. Time: 0.00
170.54/42.70	c  N dy   988    357945        70      6230         0     28237     43610    414548     20.22   no data  --
180.93/45.33	c  N dy  1054    377983        70      6230         0     46348     43610    849459     20.21     22.00  --
196.53/49.28	c  N dy  1106    407048        70      6230         0     24839     43610    306208     20.13     21.21  --
206.10/51.68	c  N dy  1190    427205        70      6230         0     43115     43610    744952     20.15     21.28  --
216.88/54.32	c  N dy  1272    447206        70      6230         0     35878     43610    551819     20.15     23.36  --
229.27/57.43	c  N dy  1398    467249        70      6230         0     27890     43610    353894     20.20     23.01  --
240.06/60.17	c  N dy  1523    487318        70      6230         0     46050     43610    795950     20.25     22.39  --
253.25/63.47	c  N dy  1620    510575        70      6230         0     39919     43610    624724     20.27     21.44  --
266.02/66.65	c  N dy  1732    530641        70      6230         0     30123     43610    381037     20.31     21.61  --
268.82/67.38	c  S st  1761    536918        70      6230         0     35818     43610    518559     20.32   no data  --
269.22/67.48	c  S st  1761    537424        70      6230         0     36291     43610    530752     20.32   no data  --
269.22/67.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.22/67.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.22/67.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.61/67.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.61/67.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.61/67.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.61/67.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
281.19/70.48	c lits-rem:      1754  cl-subs:     1699  v-elim:      0  v-fix:    0  time: 11.88 s
281.19/70.48	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
281.19/70.49	c vivif2 --  cl tried    34592 cl shrink        0 lits rem          0 time: 0.02
281.99/70.69	c asymm  cl-useful: 0/1520/6230 lits-rem:0 time: 0.80
281.99/70.69	c calculated reachability. Time: 0.00
281.99/70.69	c  N dy  1761    537424        70      6230         0     34592     43610    486738     20.32   no data  --
292.38/73.30	c  N dy  1801    557648        70      6230         0     52715     43610    916615     20.30     21.44  --
304.76/76.39	c  N dy  1920    578017        70      6230         0     42383     43610    667571     20.34     21.45  --
320.74/80.30	c  N dy  2043    598540        70      6230         0     31181     43610    382083     20.38     21.68  --
332.74/83.35	c  N dy  2139    619891        70      6230         0     50514     43610    848825     20.39     21.49  --
344.31/86.22	c  N dy  2148    640456        70      6230         0     38179     43610    525515     20.33     21.41  --
358.29/89.73	c  N dy  2229    660488        70      6230         0     56282     43610    963474     20.35     22.35  --
391.03/97.92	c  N dy  2314    716811        70      6230         0     42678     43610    606960     20.25     21.38  --
408.61/102.38	c  N dy  2412    738913        70      6230         0     62573     43610   1083956     20.26     21.36  --
423.80/106.14	c  N dy  2491    763323        70      6230         0     51397     43610    810462     20.26     21.46  --
444.97/111.46	c  N dy  2583    792249        70      6230         0     43210     43610    594992     20.25     21.47  --
454.55/113.83	c  S st  2651    806136        70      6230         0     55763     43610    899710     20.26     18.62  --
454.95/113.99	c  S st  2651    806638        70      6230         0     56229     43610    910929     20.26   no data  --
454.95/113.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.95/113.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.36/114.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
455.36/114.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.36/114.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.36/114.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
455.36/114.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
488.11/122.21	c lits-rem:      3168  cl-subs:     5641  v-elim:      0  v-fix:    0  time: 32.60 s
488.11/122.21	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
488.11/122.22	c vivif2 --  cl tried    50588 cl shrink        0 lits rem          0 time: 0.04
488.91/122.47	c asymm  cl-useful: 0/895/6230 lits-rem:0 time: 1.02
488.91/122.48	c calculated reachability. Time: 0.00
488.91/122.48	c  N dy  2651    806638        70      6230         0     50588     43610    778685     20.26   no data  --
514.87/128.92	c  N dy  2746    843102        70      6230         0     48665     43610    716457     20.23     21.36  --
530.85/132.96	c  N dy  2811    864753        70      6230         0     68122     43610   1178833     20.21     21.32  --
546.02/136.77	c  N dy  2932    885182        70      6230         0     50765     43610    768426     20.24     21.37  --
561.23/140.58	c  N dy  3020    905191        70      6230         0     68820     43610   1205013     20.25     23.67  --
576.39/144.37	c  N dy  3126    925345        70      6230         0     50191     43610    739354     20.27     21.40  --
621.53/155.66	c  N dy  3222    990792        70      6230         0     70728     43610   1166736     20.16     21.34  --
638.30/159.82	c  N dy  3328   1010806        70      6230         0     50351     43610    717942     20.18     22.01  --
656.67/164.48	c  N dy  3340   1040135        70      6230         0     76613     43610   1336647     20.14     21.20  --
673.06/168.55	c  N dy  3481   1060165        70      6230         0     55310     43610    828465     20.17     21.28  --
683.44/171.10	c  F st  3539   1071875        70      6230         0     65781     43610   1079906     20.18   no data  --
691.43/173.17	c  N dy  3576   1080189        70      6230         0     73252     43610   1263551     20.18     23.81  --
717.40/179.68	c  N dy  3692   1113848        70      6230         0     63065     43610    985305     20.18     21.39  --
739.76/185.28	c  N dy  3827   1133907        70      6230         0     81258     43610   1431561     20.20     22.92  --
756.54/189.41	c  N dy  3976   1153973        70      6230         0     58016     43610    868092     20.23     22.41  --
775.72/194.20	c  N dy  4057   1173975        70      6230         0     75974     43610   1294947     20.22     24.36  --
798.88/200.07	c  N dy  4195   1193984        70      6230         0     51685     43610    695467     20.25     21.60  --
815.67/204.25	c  S st  4279   1209957        70      6230         0     66146     43610   1046012     20.26     19.12  --
816.86/204.53	c  S st  4279   1210462        70      6230         0     66609     43610   1057710     20.26   no data  --
816.86/204.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
816.86/204.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
816.86/204.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
817.26/204.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
817.26/204.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.26/204.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
817.26/204.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
902.75/226.04	c lits-rem:      3371  cl-subs:     5166  v-elim:      0  v-fix:    0  time: 85.58 s
902.75/226.04	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
902.75/226.06	c vivif2 --  cl tried    61443 cl shrink        0 lits rem          0 time: 0.05
904.34/226.42	c asymm  cl-useful: 0/771/6230 lits-rem:0 time: 1.45
904.34/226.42	c calculated reachability. Time: 0.00
904.34/226.42	c  N dy  4279   1210462        70      6230         0     61443     43610    925443     20.26   no data  --
928.71/232.50	c  N dy  4398   1230501        70      6230         0     79570     43610   1367743     20.28     22.46  --
946.68/237.00	c  N dy  4445   1253286        70      6230         0     57032     43610    804599     20.27     21.40  --
967.05/242.11	c  N dy  4598   1273380        70      6230         0     75261     43610   1253743     20.29     25.00  --
1001.80/250.89	c  N dy  4660   1309176        70      6230         0     63288     43610    934384     20.27     21.42  --
1022.59/256.06	c  N dy  4691   1329524        70      6230         0     81501     43610   1366040     20.26     21.33  --
1052.53/263.54	c  N dy  4763   1358425        70      6230         0     62441     43610    897153     20.25     21.49  --
1078.90/270.18	c  N dy  4901   1378921        70      6230         0     81038     43610   1354368     20.27     21.60  --
1102.87/276.14	c  N dy  5034   1400046        70      6230         0     54232     43610    704617     20.29     21.53  --
1122.45/281.09	c  N dy  5177   1420617        70      6230         0     72855     43610   1162413     20.31     21.59  --
1148.00/287.44	c  N dy  5311   1441118        70      6230         0     91355     43610   1615682     20.33     21.63  --
1165.58/291.80	c  N dy  5395   1461316        70      6230         0     62583     43610    886815     20.33     21.44  --
1185.55/296.80	c  N dy  5466   1482369        70      6230         0     81487     43610   1339099     20.33     21.49  --
1212.31/303.52	c  N dy  5627   1503471        70      6230         0     52813     43610    644336     20.36     21.44  --
1230.69/308.15	c  N dy  5705   1526200        70      6230         0     73296     43610   1138768     20.36     21.45  --
1255.85/314.47	c  N dy  5818   1546409        70      6230         0     91510     43610   1584433     20.37     21.58  --
1277.04/319.73	c  N dy  5947   1566423        70      6230         0     60919     43610    828333     20.39     24.59  --
1297.80/324.94	c  N dy  6057   1586429        70      6230         0     79032     43610   1270130     20.40     23.75  --
1322.57/331.18	c  N dy  6147   1606473        70      6230         0     97066     43610   1704469     20.41     21.98  --
1340.54/335.63	c  N dy  6208   1626614        70      6230         0     65493     43610    918197     20.41     21.49  --
1362.11/341.03	c  N dy  6311   1646645        70      6230         0     83595     43610   1359008     20.42     22.68  --
1394.06/349.00	c  N dy  6362   1673064        70      6230         0     56845     43610    697262     20.41     21.50  --
1419.63/355.43	c  N dy  6457   1695694        70      6230         0     77226     43610   1192661     20.41     21.53  --
1440.40/360.68	c  S st  6532   1710462        70      6230         0     90532     43610   1516262     20.42     18.16  --
1441.60/360.99	c  S st  6532   1710968        70      6230         0     91004     43610   1528321     20.42   no data  --
1442.00/361.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1442.00/361.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1442.00/361.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1442.40/361.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1442.40/361.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1442.40/361.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1442.40/361.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1908.16/477.76	c lits-rem:      6387  cl-subs:     9897  v-elim:      0  v-fix:    0  time: 465.96 s
1908.16/477.76	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1908.16/477.78	c vivif2 --  cl tried    81107 cl shrink        0 lits rem          0 time: 0.07
1910.18/478.25	c asymm  cl-useful: 0/532/6230 lits-rem:0 time: 1.87
1910.18/478.26	c calculated reachability. Time: 0.00
1910.18/478.26	c  N dy  6532   1710968        70      6230         0     81107     43610   1285027     20.42   no data  --
1944.51/486.80	c  N dy  6617   1731018        70      6230         0     99137     43610   1722970     20.43     22.40  --
1970.87/493.42	c  N dy  6717   1751248        70      6230         0     66635     43610    936129     20.43     21.59  --
2000.83/501.00	c  N dy  6826   1771918        70      6230         0     85329     43610   1391991     20.44     21.54  --
2037.60/510.18	c  N dy  6932   1791930        70      6230         0    103405     43610   1832870     20.45     22.11  --
2061.95/516.27	c  N dy  7013   1811953        70      6230         0     69473     43610    986957     20.46     23.69  --
2087.52/522.62	c  N dy  7098   1832021        70      6230         0     87553     43610   1426129     20.46     21.62  --
2127.06/532.51	c  N dy  7212   1862815        70      6230         0     62184     43610    790796     20.47     21.56  --
2148.63/537.91	c  N dy  7285   1885083        70      6230         0     82217     43610   1273791     20.47     21.76  --
2177.00/545.02	c  N dy  7396   1905158        70      6230         0    100398     43610   1719965     20.48     22.37  --
2202.96/551.51	c  N dy  7509   1926570        70      6230         0     65645     43610    867560     20.49     21.64  --
2225.34/557.10	c  N dy  7622   1946790        70      6230         0     83907     43610   1317129     20.50     21.65  --
2254.88/564.59	c  N dy  7746   1968158        70      6230         0    103153     43610   1789345     20.51     21.60  --
2286.44/572.43	c  N dy  7814   1998802        70      6230         0     75692     43610   1092637     20.50     21.63  --
2311.60/578.76	c  N dy  7894   2019769        70      6230         0     94542     43610   1548301     20.50     21.76  --
2341.17/586.18	c  N dy  7982   2039890        70      6230         0     56801     43610    628247     20.51     21.65  --
2361.15/591.11	c  N dy  8083   2060409        70      6230         0     75354     43610   1081632     20.52     21.60  --
2385.51/597.25	c  N dy  8168   2080439        70      6230         0     93434     43610   1523060     20.52     21.67  --
2415.49/604.79	c  N dy  8259   2100450        70      6230         0    111431     43610   1960361     20.53     22.82  --
2435.43/609.73	c  N dy  8302   2120889        70      6230         0     73006     43610    999324     20.52     21.71  --
2459.43/615.71	c  N dy  8389   2142727        70      6230         0     92620     43610   1472653     20.52     21.67  --
2490.19/623.47	c  N dy  8486   2163976        70      6230         0    111839     43610   1941960     20.53     21.61  --
2514.94/629.64	c  N dy  8623   2184038        70      6230         0     72334     43610    986210     20.54     22.12  --
2544.89/637.10	c  N dy  8685   2210970        70      6230         0     96423     43610   1555623     20.53     19.93  --
2544.89/637.10	c  S st  8685   2210970        70      6230         0     96423     43610   1555623     20.53     19.93  --
2546.09/637.43	c  S st  8685   2211475        70      6230         0     96884     43610   1567285     20.53   no data  --
2546.09/637.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2546.09/637.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2546.09/637.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2546.50/637.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2546.50/637.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2546.50/637.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2546.50/637.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2997.47/750.49	c lits-rem:      4790  cl-subs:     9695  v-elim:      0  v-fix:    0  time: 451.12 s
2997.47/750.50	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2997.87/750.52	c vivif2 --  cl tried    87189 cl shrink        0 lits rem          0 time: 0.08
2999.48/750.98	c asymm  cl-useful: 0/536/6230 lits-rem:0 time: 1.86
2999.48/750.99	c calculated reachability. Time: 0.00
2999.48/750.99	c  N dy  8685   2211475        70      6230         0     87189     43610   1333452     20.53   no data  --
3034.22/759.64	c  N dy  8733   2232699        70      6230         0    106176     43610   1786409     20.53     21.81  --
3064.98/767.38	c  N dy  8781   2253969        70      6230         0     67325     43610    848689     20.52     21.68  --
3095.74/775.02	c  N dy  8894   2274037        70      6230         0     85444     43610   1290036     20.53     21.62  --
3133.68/784.54	c  N dy  9017   2294041        70      6230         0    103486     43610   1733145     20.54     22.19  --
3172.43/794.24	c  N dy  9085   2315845        70      6230         0     63955     43610    748038     20.54     22.02  --
3202.39/801.79	c  N dy  9214   2335876        70      6230         0     82053     43610   1194871     20.55     21.69  --
3237.54/810.57	c  N dy  9310   2355970        70      6230         0    100100     43610   1633197     20.55     23.00  --
3277.49/820.55	c  N dy  9390   2376045        70      6230         0    118101     43610   2072216     20.56     23.36  --
3310.25/828.78	c  N dy  9483   2399600        70      6230         0     79131     43610   1101477     20.56     21.72  --
3339.40/836.01	c  N dy  9551   2420297        70      6230         0     97704     43610   1549931     20.56     21.72  --
3376.15/845.21	c  N dy  9667   2444292        70      6230         0    119242     43610   2074524     20.57     21.79  --
3398.92/850.94	c  N dy  9766   2464437        70      6230         0     76383     43610   1033863     20.57     21.73  --
3424.49/857.37	c  N dy  9863   2484467        70      6230         0     94395     43610   1471927     20.58     22.96  --
3456.87/865.49	c  N dy  9958   2505004        70      6230         0    112883     43610   1924595     20.58     21.69  --
3493.60/874.63	c  N dy 10066   2525054        70      6230         0     68900     43610    830561     20.59     24.30  --
3519.16/881.08	c  N dy 10121   2550685        70      6230         0     91837     43610   1382138     20.58     21.77  --
3547.92/888.28	c  N dy 10196   2571554        70      6230         0    110529     43610   1834033     20.58     21.75  --
3595.85/900.26	c  N dy 10324   2604608        70      6230         0     77236     43610   1005797     20.58     21.68  --
3621.02/906.58	c  N dy 10435   2624678        70      6230         0     95311     43610   1452600     20.59     22.16  --
3648.19/913.35	c  N dy 10450   2646071        70      6230         0    114189     43610   1891183     20.58     21.68  --
3693.32/924.69	c  N dy 10507   2684728        70      6230         0     85046     43610   1183426     20.56     21.80  --
3718.89/931.01	c  N dy 10564   2704808        70      6230         0    103064     43610   1616129     20.56     21.65  --
3729.29/933.61	c  S st 10599   2711475        70      6230         0    109068     43610   1762587     20.56     19.56  --
3730.47/933.95	c  S st 10599   2711979        70      6230         0    109527     43610   1774069     20.56   no data  --
3730.47/933.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3730.47/933.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3730.87/934.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3730.87/934.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3730.87/934.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3730.87/934.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3730.87/934.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4280.51/1071.69	c lits-rem:      6203  cl-subs:    12463  v-elim:      0  v-fix:    0  time: 549.63 s
4280.51/1071.69	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4280.91/1071.71	c vivif2 --  cl tried    97064 cl shrink        0 lits rem          0 time: 0.09
4282.52/1072.18	c asymm  cl-useful: 0/491/6230 lits-rem:0 time: 1.88
4282.52/1072.19	c calculated reachability. Time: 0.00
4282.52/1072.19	c  N dy 10599   2711979        70      6230         0     97064     43610   1486658     20.56   no data  --
4327.25/1083.31	c  N dy 10712   2732550        70      6230         0    115625     43610   1942640     20.57     21.65  --
4372.39/1094.65	c  N dy 10838   2752596        70      6230         0     69890     43610    830001     20.58     21.96  --
4403.54/1102.48	c  N dy 10945   2772908        70      6230         0     88242     43610   1280599     20.58     21.67  --
4449.91/1114.07	c  N dy 11055   2795443        70      6230         0    108542     43610   1778237     20.59     21.76  --
4508.60/1128.73	c  N dy 11181   2815451        70      6230         0    126649     43610   2223884     20.60     21.69  --
4549.75/1139.00	c  N dy 11309   2835501        70      6230         0     79471     43610   1048291     20.60     21.75  --
4592.88/1149.87	c  N dy 11435   2857972        70      6230         0     99709     43610   1548788     20.61     21.71  --
4638.85/1161.39	c  N dy 11519   2877974        70      6230         0    117748     43610   1986840     20.62     22.03  --
4740.29/1186.73	c  N dy 11600   2945817        70      6230         0    111797     43610   1776853     20.58     21.85  --
4789.81/1199.17	c  N dy 11695   2968334        70      6230         0    132203     43610   2275516     20.59     21.91  --

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-3175167-1304094569/watcher-3175167-1304094569 -o /tmp/evaluation-result-3175167-1304094569/solver-3175167-1304094569 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175167-1304094569.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: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 521054662 52465664 352 33554432000 4194304 4650419 140736985379904 18446744073709551615 47097013585842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 12809 352 303 112 0 7774 0
[pid=1138/tid=1141] ppid=1136 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 521054662 52465664 353 33554432000 4194304 4650419 140736985379904 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 521054662 52465664 353 33554432000 4194304 4650419 140736985379904 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 521054662 52465664 353 33554432000 4194304 4650419 140736985379904 18446744073709551615 212682707176 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.149067 s]
/proc/loadavg: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=283072 CPUtime=0.57 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) D 1136 1138 32720 0 -1 4202496 2167 0 0 0 57 0 0 0 18 0 4 0 521054662 289865728 1873 33554432000 4194304 4650419 140736985379904 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 70768 1896 376 112 0 65733 0
[pid=1138/tid=1141] ppid=1136 vsize=283072 CPUtime=0.13 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 545 0 0 0 13 0 0 0 18 0 4 0 521054662 289865728 1912 33554432000 4194304 4650419 140736985379904 18446744073709551615 212687372043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=283072 CPUtime=0.14 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) D 1136 1138 32720 0 -1 4202560 370 0 0 0 14 0 0 0 18 0 4 0 521054662 289865728 1926 33554432000 4194304 4650419 140736985379904 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=283072 CPUtime=0.14 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 412 0 0 0 14 0 0 0 18 0 4 0 521054662 289865728 1943 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 283072

[startup+0.318181 s]
/proc/loadavg: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=286268 CPUtime=3.6 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 7295 0 0 0 359 1 0 0 19 0 4 0 521054662 293138432 3861 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71567 3861 390 112 0 66532 0
[pid=1138/tid=1141] ppid=1136 vsize=286268 CPUtime=0.89 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1818 0 0 0 89 0 0 0 18 0 4 0 521054662 293138432 3861 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=286268 CPUtime=0.89 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1781 0 0 0 89 0 0 0 19 0 4 0 521054662 293138432 3861 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=286268 CPUtime=0.89 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1496 0 0 0 89 0 0 0 19 0 4 0 521054662 293138432 3861 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 286268

[startup+1.00712 s]
/proc/loadavg: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=286412 CPUtime=4 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 7517 0 0 0 399 1 0 0 19 0 4 0 521054662 293285888 4083 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71603 4083 391 112 0 66568 0
[pid=1138/tid=1141] ppid=1136 vsize=286412 CPUtime=0.99 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1874 0 0 0 99 0 0 0 18 0 4 0 521054662 293285888 4084 33554432000 4194304 4650419 140736985379904 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=286412 CPUtime=0.99 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1835 0 0 0 99 0 0 0 19 0 4 0 521054662 293285888 4085 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=286412 CPUtime=0.99 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1556 0 0 0 99 0 0 0 19 0 4 0 521054662 293285888 4085 33554432000 4194304 4650419 140736985379904 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 286412

[startup+1.10111 s]
/proc/loadavg: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=286636 CPUtime=4.38 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 7958 0 0 0 437 1 0 0 19 0 4 0 521054662 293515264 4161 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71659 4161 391 112 0 66624 0
[pid=1138/tid=1141] ppid=1136 vsize=286636 CPUtime=1.08 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1922 0 0 0 108 0 0 0 19 0 4 0 521054662 293515264 4161 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=286636 CPUtime=1.09 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1883 0 0 0 109 0 0 0 19 0 4 0 521054662 293515264 4161 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=286636 CPUtime=1.09 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 1850 0 0 0 109 0 0 0 19 0 4 0 521054662 293515264 4161 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 286636

[startup+1.50103 s]
/proc/loadavg: 3.47 5.15 6.71 2/172 1138
/proc/meminfo: memFree=24397104/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=287120 CPUtime=5.97 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 11009 0 0 0 596 1 0 0 19 0 4 0 521054662 294010880 5726 33554432000 4194304 4650419 140736985379904 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71780 5726 392 112 0 66745 0
[pid=1138/tid=1141] ppid=1136 vsize=287120 CPUtime=1.48 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 2375 0 0 0 148 0 0 0 19 0 4 0 521054662 294010880 5726 33554432000 4194304 4650419 140736985379904 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=287120 CPUtime=1.49 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 2354 0 0 0 149 0 0 0 19 0 4 0 521054662 294010880 5726 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=287120 CPUtime=1.49 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 2283 0 0 0 149 0 0 0 20 0 4 0 521054662 294010880 5726 33554432000 4194304 4650419 140736985379904 18446744073709551615 4334280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287120

[startup+3.10074 s]
/proc/loadavg: 3.83 5.20 6.71 9/184 1150
/proc/meminfo: memFree=24314428/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=286776 CPUtime=12.36 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 18012 0 0 0 1234 2 0 0 24 0 4 0 521054662 293658624 10733 33554432000 4194304 4650419 140736985379904 18446744073709551615 4330440 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71694 10733 392 112 0 66659 0
[pid=1138/tid=1141] ppid=1136 vsize=286776 CPUtime=3.08 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 3949 0 0 0 308 0 0 0 24 0 4 0 521054662 293658624 10733 33554432000 4194304 4650419 140736985379904 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=286776 CPUtime=3.07 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 4759 0 0 0 307 0 0 0 25 0 4 0 521054662 293658624 10733 33554432000 4194304 4650419 140736985379904 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=286776 CPUtime=3.08 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 4890 0 0 0 308 0 0 0 25 0 4 0 521054662 293658624 10733 33554432000 4194304 4650419 140736985379904 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286776

[startup+6.30616 s]
/proc/loadavg: 3.83 5.20 6.71 9/184 1150
/proc/meminfo: memFree=24288756/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=296736 CPUtime=25.17 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 26836 0 0 0 2513 4 0 0 25 0 4 0 521054662 303857664 12838 33554432000 4194304 4650419 140736985379904 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 74184 12838 392 112 0 69149 0
[pid=1138/tid=1141] ppid=1136 vsize=296736 CPUtime=6.28 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 6912 0 0 0 628 0 0 0 25 0 4 0 521054662 303857664 12838 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=296736 CPUtime=6.26 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 6753 0 0 0 625 1 0 0 25 0 4 0 521054662 303857664 12838 33554432000 4194304 4650419 140736985379904 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=296736 CPUtime=6.29 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 7002 0 0 0 628 1 0 0 25 0 4 0 521054662 303857664 12838 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 296736

[startup+12.701 s]
/proc/loadavg: 4.16 5.24 6.72 9/184 1150
/proc/meminfo: memFree=24245636/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=285496 CPUtime=50.72 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 39608 0 0 0 5066 6 0 0 25 0 4 0 521054662 292347904 18454 33554432000 4194304 4650419 140736985379904 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 71374 18454 392 112 0 66339 0
[pid=1138/tid=1141] ppid=1136 vsize=285496 CPUtime=12.68 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 9452 0 0 0 1267 1 0 0 25 0 4 0 521054662 292347904 18454 33554432000 4194304 4650419 140736985379904 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=285496 CPUtime=12.63 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 10207 0 0 0 1261 2 0 0 25 0 4 0 521054662 292347904 18454 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=285496 CPUtime=12.68 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 10824 0 0 0 1267 1 0 0 25 0 4 0 521054662 292347904 18454 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 285496

[startup+25.5007 s]
/proc/loadavg: 5.01 5.38 6.74 9/184 1151
/proc/meminfo: memFree=24188728/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=276240 CPUtime=101.83 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 60711 0 0 0 10172 11 0 0 25 0 4 0 521054662 282869760 23376 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 69060 23376 392 112 0 64025 0
[pid=1138/tid=1141] ppid=1136 vsize=276240 CPUtime=25.48 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 15437 0 0 0 2545 3 0 0 25 0 4 0 521054662 282869760 23376 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=276240 CPUtime=25.35 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 15795 0 0 0 2532 3 0 0 25 0 4 0 521054662 282869760 23376 33554432000 4194304 4650419 140736985379904 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=276240 CPUtime=25.49 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 16082 0 0 0 2546 3 0 0 25 0 4 0 521054662 282869760 23376 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 276240

[startup+51.101 s]
/proc/loadavg: 6.03 5.59 6.77 9/184 1151
/proc/meminfo: memFree=24139056/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=278244 CPUtime=204.11 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 90572 0 0 0 20391 20 0 0 25 0 4 0 521054662 284921856 29843 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 69561 29843 392 112 0 64526 0
[pid=1138/tid=1141] ppid=1136 vsize=278244 CPUtime=51.08 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 21829 0 0 0 5103 5 0 0 25 0 4 0 521054662 284921856 29843 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=278244 CPUtime=50.83 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 24948 0 0 0 5077 6 0 0 25 0 4 0 521054662 284921856 29843 33554432000 4194304 4650419 140736985379904 18446744073709551615 4304102 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=278244 CPUtime=51.08 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 23792 0 0 0 5104 4 0 0 25 0 4 0 521054662 284921856 29843 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 278244

[startup+102.301 s]
/proc/loadavg: 7.18 5.97 6.84 9/184 1153
/proc/meminfo: memFree=24071456/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=311340 CPUtime=408.61 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 135570 0 0 0 40828 33 0 0 25 0 4 0 521054662 318812160 34815 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 77835 34815 392 112 0 72800 0
[pid=1138/tid=1141] ppid=1136 vsize=311340 CPUtime=102.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 31880 0 0 0 10220 7 0 0 25 0 4 0 521054662 318812160 34815 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=311340 CPUtime=101.74 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 36765 0 0 0 10165 9 0 0 25 0 4 0 521054662 318812160 34815 33554432000 4194304 4650419 140736985379904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=311340 CPUtime=102.28 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 37358 0 0 0 10219 9 0 0 25 0 4 0 521054662 318812160 34815 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 311340

[startup+162.301 s]

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

[pid=1138] ppid=1136 vsize=465196 CPUtime=2805.34 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 379761 0 0 0 280420 114 0 0 25 0 4 0 521054662 476360704 79450 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 116299 79450 392 112 0 111264 0
[pid=1138/tid=1141] ppid=1136 vsize=465196 CPUtime=702.28 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 86962 0 0 0 70202 26 0 0 25 0 4 0 521054662 476360704 79450 33554432000 4194304 4650419 140736985379904 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=465196 CPUtime=698.49 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 112975 0 0 0 69812 37 0 0 25 0 4 0 521054662 476360704 79450 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=465196 CPUtime=702.3 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 79224 0 0 0 70207 23 0 0 25 0 4 0 521054662 476360704 79450 33554432000 4194304 4650419 140736985379904 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 465196

[startup+762.3 s]
/proc/loadavg: 8.19 7.86 7.46 9/184 1170
/proc/meminfo: memFree=23691032/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=465292 CPUtime=3045.01 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 394083 0 0 0 304382 119 0 0 25 0 4 0 521054662 476459008 79520 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 116323 79520 392 112 0 111288 0
[pid=1138/tid=1141] ppid=1136 vsize=465292 CPUtime=762.28 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 91522 0 0 0 76201 27 0 0 25 0 4 0 521054662 476459008 79520 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=465292 CPUtime=758.17 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 117868 0 0 0 75777 40 0 0 25 0 4 0 521054662 476459008 79520 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=465292 CPUtime=762.3 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 79382 0 0 0 76207 23 0 0 25 0 4 0 521054662 476459008 79520 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 465292

[startup+822.3 s]
/proc/loadavg: 8.18 7.91 7.50 9/184 1172
/proc/meminfo: memFree=23673520/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=503084 CPUtime=3284.68 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 416025 0 0 0 328342 126 0 0 25 0 4 0 521054662 515158016 77929 33554432000 4194304 4650419 140736985379904 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 125771 77929 392 112 0 120736 0
[pid=1138/tid=1141] ppid=1136 vsize=503084 CPUtime=822.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 103223 0 0 0 82200 27 0 0 25 0 4 0 521054662 515158016 77929 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=503084 CPUtime=817.84 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 123043 0 0 0 81742 42 0 0 25 0 4 0 521054662 515158016 77929 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=503084 CPUtime=822.31 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 79382 0 0 0 82208 23 0 0 25 0 4 0 521054662 515158016 77929 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 503084

[startup+882.301 s]
/proc/loadavg: 8.17 7.96 7.54 9/184 1174
/proc/meminfo: memFree=23624644/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=513268 CPUtime=3524.35 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 435550 0 0 0 352301 134 0 0 25 0 4 0 521054662 525586432 85062 33554432000 4194304 4650419 140736985379904 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 128317 85062 392 112 0 123282 0
[pid=1138/tid=1141] ppid=1136 vsize=513268 CPUtime=882.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 109858 0 0 0 88197 30 0 0 25 0 4 0 521054662 525586432 85062 33554432000 4194304 4650419 140736985379904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=513268 CPUtime=877.51 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 128820 0 0 0 87707 44 0 0 25 0 4 0 521054662 525586432 85062 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=513268 CPUtime=882.31 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 81627 0 0 0 88206 25 0 0 25 0 4 0 521054662 525586432 85062 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 513268

[startup+942.301 s]
/proc/loadavg: 8.05 7.96 7.56 9/184 1175
/proc/meminfo: memFree=23598816/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=513580 CPUtime=3764.03 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 452663 0 0 0 376261 142 0 0 25 0 4 0 521054662 525905920 86903 33554432000 4194304 4650419 140736985379904 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 128395 86903 392 112 0 123360 0
[pid=1138/tid=1141] ppid=1136 vsize=513580 CPUtime=942.28 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 114911 0 0 0 94195 33 0 0 25 0 4 0 521054662 525905920 86903 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=513580 CPUtime=937.19 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 134857 0 0 0 93672 47 0 0 25 0 4 0 521054662 525905920 86903 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=513580 CPUtime=942.31 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 81887 0 0 0 94206 25 0 0 25 0 4 0 521054662 525905920 86903 33554432000 4194304 4650419 140736985379904 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 513580

[startup+1002.3 s]
/proc/loadavg: 8.02 7.97 7.58 9/184 1177
/proc/meminfo: memFree=23561600/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=513804 CPUtime=4003.69 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 471346 0 0 0 400220 149 0 0 25 0 4 0 521054662 526135296 89448 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 128451 89448 392 112 0 123416 0
[pid=1138/tid=1141] ppid=1136 vsize=513804 CPUtime=1002.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 121863 0 0 0 100191 36 0 0 25 0 4 0 521054662 526135296 89448 33554432000 4194304 4650419 140736985379904 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=513804 CPUtime=996.86 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 138868 0 0 0 99636 50 0 0 25 0 4 0 521054662 526135296 89448 33554432000 4194304 4650419 140736985379904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=513804 CPUtime=1002.31 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82049 0 0 0 100205 26 0 0 25 0 4 0 521054662 526135296 89448 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 513804

[startup+1062.31 s]
/proc/loadavg: 8.00 7.97 7.61 9/184 1178
/proc/meminfo: memFree=23583904/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=513924 CPUtime=4243.39 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 482325 0 0 0 424186 153 0 0 25 0 4 0 521054662 526258176 88194 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 128481 88194 392 112 0 123446 0
[pid=1138/tid=1141] ppid=1136 vsize=513924 CPUtime=1062.28 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 121863 0 0 0 106192 36 0 0 25 0 4 0 521054662 526258176 88194 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=513924 CPUtime=1056.54 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 143623 0 0 0 105602 52 0 0 25 0 4 0 521054662 526258176 88194 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=513924 CPUtime=1062.32 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82143 0 0 0 106206 26 0 0 25 0 4 0 521054662 526258176 88194 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 513924

[startup+1122.3 s]
/proc/loadavg: 8.00 7.97 7.63 9/184 1180
/proc/meminfo: memFree=23551508/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=579512 CPUtime=4483.04 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 497665 0 0 0 448147 157 0 0 25 0 4 0 521054662 593420288 93651 33554432000 4194304 4650419 140736985379904 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 144878 93651 392 112 0 139843 0
[pid=1138/tid=1141] ppid=1136 vsize=579512 CPUtime=1122.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 127325 0 0 0 112190 37 0 0 25 0 4 0 521054662 593420288 93651 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=579512 CPUtime=1116.21 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 150182 0 0 0 111567 54 0 0 25 0 4 0 521054662 593420288 93651 33554432000 4194304 4650419 140736985379904 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=579512 CPUtime=1122.31 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82144 0 0 0 112205 26 0 0 25 0 4 0 521054662 593420288 93651 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 579512

[startup+1182.3 s]
/proc/loadavg: 8.07 7.99 7.66 9/184 1182
/proc/meminfo: memFree=23527444/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=579512 CPUtime=4722.7 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 503799 0 0 0 472110 160 0 0 25 0 4 0 521054662 593420288 94018 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 144878 94018 392 112 0 139843 0
[pid=1138/tid=1141] ppid=1136 vsize=579512 CPUtime=1182.27 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 128338 0 0 0 118190 37 0 0 25 0 4 0 521054662 593420288 94018 33554432000 4194304 4650419 140736985379904 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=579512 CPUtime=1175.89 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 152077 0 0 0 117533 56 0 0 25 0 4 0 521054662 593420288 94018 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=579512 CPUtime=1182.32 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82144 0 0 0 118206 26 0 0 25 0 4 0 521054662 593420288 94018 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 579512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 7.99 7.66 9/184 1182
/proc/meminfo: memFree=23527072/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=579544 CPUtime=4800.21 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 508267 0 0 0 479859 162 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 144886 94927 392 112 0 139851 0
[pid=1138/tid=1141] ppid=1136 vsize=579544 CPUtime=1201.67 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 129690 0 0 0 120130 37 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=579544 CPUtime=1195.18 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 154227 0 0 0 119462 56 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=579544 CPUtime=1201.72 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82144 0 0 0 120146 26 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 579544

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 7.99 7.66 9/184 1182
/proc/meminfo: memFree=23527072/32951124 swapFree=67111524/67111528
[pid=1138] ppid=1136 vsize=579544 CPUtime=4800.21 cores=0,2,4,6
/proc/1138/stat : 1138 (strangenight1-m) R 1136 1138 32720 0 -1 4202496 508267 0 0 0 479859 162 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1138/statm: 144886 94927 392 112 0 139851 0
[pid=1138/tid=1141] ppid=1136 vsize=579544 CPUtime=1201.67 cores=0,2,4,6
/proc/1138/task/1141/stat : 1141 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 129690 0 0 0 120130 37 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1138/tid=1142] ppid=1136 vsize=579544 CPUtime=1195.18 cores=0,2,4,6
/proc/1138/task/1142/stat : 1142 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 154227 0 0 0 119462 56 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1138/tid=1143] ppid=1136 vsize=579544 CPUtime=1201.72 cores=0,2,4,6
/proc/1138/task/1143/stat : 1143 (strangenight1-m) R 1136 1138 32720 0 -1 4202560 82144 0 0 0 120146 26 0 0 25 0 4 0 521054662 593453056 94927 33554432000 4194304 4650419 140736985379904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 579544

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4798.63
CPU system time (s): 1.64175
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 579544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.63
system time used= 1.64175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508269
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= 603
involuntary context switches= 24945

runsolver used 1.88571 second user time and 4.67829 second system time

The end

Launcher Data

Begin job on node139 at 2011-04-29 18:29:29
IDJOB=3175167
IDBENCH=82785
IDSOLVER=1588
FILE ID=node139/3175167-1304094569
RUNJOBID= node139-1304094569-1123
PBS_JOBID= 13170557
Free space on /tmp= 72552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175167-1304094569/watcher-3175167-1304094569 -o /tmp/evaluation-result-3175167-1304094569/solver-3175167-1304094569 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175167-1304094569.cnf

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

MD5SUM BENCH= 261ca77431063ab06f6a4cdf20ea9cf2
RANDOM SEED=2072013037

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24397516 kB
Buffers:       2042952 kB
Cached:        5929856 kB
SwapCached:          4 kB
Active:         926628 kB
Inactive:      7109224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24397516 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12444 kB
Writeback:          32 kB
AnonPages:       62412 kB
Mapped:          14496 kB
Slab:           453492 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186392 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= 72540 MiB
End job on node139 at 2011-04-29 18:49:33