Trace number 3368776

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.22 1203.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-3368776-1305402782.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.10	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.10	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.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.00/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.00/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.00/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.20	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.20	c calculated reachability. Time: 0.00
0.00/0.20	c Calc default polars -  time:   0.00 s pos:      37 undec:       0 neg:      33
0.00/0.20	c =========================================================================================
0.00/0.20	c types(t): F = full restart, N = normal restart
0.00/0.20	c types(t): S = simplification begin/end, E = solution found
0.00/0.20	c restart types(rt): st = static, dy = dynamic
0.00/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.20	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.22/0.40	c  N dy     7      5405        70      6230         0      2636     43610     56737     20.87     22.15  --
2.77/0.70	c  N dy    18     13147        70      6230         0      5764     43610    118813     20.29     21.43  --
2.77/0.78	c  N dy    33     17318        70      6230         0      9547     43610    209406     20.43     21.64  --
3.58/0.95	c  N dy    41     21369        70      6230         0      8125     43610    166295     20.47     22.38  --
4.37/1.11	c  F st    50     25000        70      6230         0     11376     43610    242782     20.40   no data  --
4.37/1.15	c  N st    52     25625        70      6230         0     11937     43610    256673     20.40   no data  --
5.21/1.34	c  N dy    56     30000        70      6230         0      9778     43610    194736     20.40   no data  --
5.21/1.34	c  S st    56     30000        70      6230         0      9778     43610    194736     20.40   no data  --
5.21/1.37	c  S st    56     30506        70      6230         0     10234     43610    206071     20.40   no data  --
5.21/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.21/1.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.21/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.21/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.21/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.21/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.21/1.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.60/2.42	c lits-rem:      1355  cl-subs:      834  v-elim:      0  v-fix:    0  time:  4.11 s
10.75/2.72	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
10.75/2.72	c calculated reachability. Time: 0.00
10.75/2.72	c  N dy    56     30506        70      6230         0      9400     43610    184529     20.40   no data  --
11.55/2.93	c  N dy    67     34690        70      6230         0     13176     43610    276001     20.41     21.55  --
12.35/3.14	c  N dy    80     38776        70      6230         0      9765     43610    181639     20.47     21.97  --
13.99/3.53	c  N dy    94     45759        70      6230         0     15983     43610    326820     20.39     19.46  --
13.99/3.53	c  S st    94     45759        70      6230         0     15983     43610    326820     20.39     19.46  --
13.99/3.57	c  S st    94     46262        70      6230         0      8420     43610    137872     20.39   no data  --
13.99/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.99/3.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.99/3.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.99/3.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.99/3.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.99/3.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.99/3.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.13/4.33	c lits-rem:       134  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.02 s
17.13/4.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.13/4.33	c vivif2 --  cl tried     8377 cl shrink        0 lits rem          0 time: 0.00
17.95/4.57	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.94
17.95/4.57	c calculated reachability. Time: 0.00
17.95/4.57	c  N dy    94     46262        70      6230         0      8377     43610    136498     20.39   no data  --
18.73/4.76	c  N dy   116     50343        70      6230         0     12108     43610    226765     20.46     21.74  --
19.92/5.08	c  N dy   124     55686        70      6230         0     16888     43610    339105     20.36     21.53  --
21.12/5.30	c  N dy   128     59793        70      6230         0     11596     43610    199880     20.27     21.48  --
23.10/5.88	c  N dy   150     69396        70      6230         0     10367     43610    160914     20.16     18.87  --
23.10/5.88	c  S st   150     69396        70      6230         0     10367     43610    160914     20.16     18.87  --
23.50/5.92	c  S st   150     69896        70      6230         0     10831     43610    172337     20.16   no data  --
23.50/5.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.50/5.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.50/5.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.50/5.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.50/5.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.50/5.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.50/5.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.13/6.82	c lits-rem:       380  cl-subs:      188  v-elim:      0  v-fix:    0  time:  3.54 s
27.13/6.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.13/6.82	c vivif2 --  cl tried    10643 cl shrink        0 lits rem          0 time: 0.00
28.28/7.13	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
28.28/7.13	c calculated reachability. Time: 0.00
28.28/7.13	c  N dy   150     69896        70      6230         0     10643     43610    167178     20.16   no data  --
29.89/7.51	c  N dy   183     75657        70      6230         0     15879     43610    292294     20.23     21.31  --
31.10/7.90	c  N dy   213     80543        70      6230         0     20342     43610    400875     20.31     21.46  --
32.68/8.27	c  N dy   242     85725        70      6230         0     14189     43610    242058     20.39     22.49  --
33.07/8.38	c  F st   244     87501        70      6230         0     15806     43610    279938     20.37     18.53  --
34.67/8.74	c  N dy   250     92698        70      6230         0     20479     43610    392743     20.37   no data  --
38.27/9.60	c  N dy   279    104844        70      6230         0     19659     43610    354107     20.36     18.06  --
38.27/9.60	c  S st   279    104844        70      6230         0     19659     43610    354107     20.36     18.06  --
38.27/9.65	c  S st   279    105346        70      6230         0     20120     43610    365768     20.36   no data  --
38.27/9.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.27/9.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.27/9.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
38.27/9.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.27/9.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.27/9.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.27/9.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.69/11.29	c lits-rem:      1558  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  6.43 s
44.69/11.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.69/11.29	c vivif2 --  cl tried    17922 cl shrink        0 lits rem          0 time: 0.01
46.24/11.67	c asymm  cl-useful: 0/4976/6230 lits-rem:0 time: 1.54
46.24/11.68	c calculated reachability. Time: 0.00
46.24/11.68	c  N dy   279    105346        70      6230         0     17922     43610    313489     20.36   no data  --
48.24/12.17	c  N dy   298    112127        70      6230         0     23987     43610    454657     20.29     22.59  --
50.63/12.71	c  N dy   317    119366        70      6230         0     18045     43610    305899     20.26     22.77  --
53.04/13.36	c  N dy   341    127582        70      6230         0     25477     43610    481967     20.25     21.45  --
55.82/14.02	c  N dy   398    135802        70      6230         0     19464     43610    332838     20.35     23.39  --
59.80/15.01	c  N dy   438    147966        70      6230         0     15987     43610    231395     20.35     21.49  --
62.59/15.72	c  N dy   464    158019        70      6230         0     25105     43610    449455     20.34     19.21  --
62.59/15.72	c  S st   464    158019        70      6230         0     25105     43610    449455     20.34     19.21  --
62.59/15.78	c  S st   464    158526        70      6230         0     25573     43610    460919     20.34   no data  --
62.59/15.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.59/15.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.59/15.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
62.99/15.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.99/15.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.99/15.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
62.99/15.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.59/17.71	c lits-rem:      1723  cl-subs:     2549  v-elim:      0  v-fix:    0  time:  7.59 s
70.59/17.71	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.59/17.72	c vivif2 --  cl tried    23024 cl shrink        0 lits rem          0 time: 0.02
71.02/17.86	c asymm  cl-useful: 0/1254/6230 lits-rem:0 time: 0.57
71.02/17.86	c calculated reachability. Time: 0.00
71.02/17.86	c  N dy   464    158526        70      6230         0     23024     43610    399510     20.34   no data  --
75.40/18.92	c  N dy   506    170354        70      6230         0     18438     43610    278867     20.37     21.56  --
79.37/19.93	c  N dy   554    181293        70      6230         0     28337     43610    518242     20.42     22.29  --
83.75/21.02	c  N dy   604    193458        70      6230         0     23121     43610    379517     20.45     21.57  --
89.31/22.40	c  N dy   620    207899        70      6230         0     18973     43610    268118     20.38     21.49  --
98.09/24.63	c  N dy   651    232413        70      6230         0     23032     43610    348258     20.29     21.44  --
99.69/25.09	c  S st   667    237789        70      6230         0     27906     43610    464698     20.29     18.60  --
100.09/25.16	c  S st   667    238295        70      6230         0     28374     43610    476214     20.29   no data  --
100.09/25.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.09/25.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.09/25.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
100.09/25.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.09/25.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.09/25.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
100.09/25.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
108.87/27.38	c lits-rem:      1694  cl-subs:     2609  v-elim:      0  v-fix:    0  time:  8.77 s
108.87/27.38	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
108.87/27.39	c vivif2 --  cl tried    25765 cl shrink        0 lits rem          0 time: 0.02
110.51/27.79	c asymm  cl-useful: 0/3718/6230 lits-rem:0 time: 1.60
110.51/27.79	c calculated reachability. Time: 0.00
110.51/27.79	c  N dy   667    238295        70      6230         0     25765     43610    415319     20.29   no data  --
118.04/29.61	c  N dy   736    256545        70      6230         0     23427     43610    346209     20.30     21.48  --
126.82/31.89	c  N dy   825    277375        70      6230         0     22432     43610    311012     20.34     21.69  --
134.40/33.76	c  N dy   896    295077        70      6230         0     38430     43610    696835     20.37     23.57  --
139.19/34.94	c  F st   935    306250        70      6230         0     27844     43610    430004     20.38     20.09  --
143.57/36.06	c  N dy   944    317354        70      6230         0     37878     43610    670766     20.37     21.47  --
154.39/38.76	c  N dy   968    343657        70      6230         0     39901     43610    694782     20.27     21.38  --
160.33/40.25	c  S st   988    357443        70      6230         0     29715     43610    445950     20.22     17.12  --
160.73/40.32	c  S st   988    357945        70      6230         0     30175     43610    457678     20.22   no data  --
160.73/40.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
160.73/40.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.73/40.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
160.73/40.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.73/40.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.73/40.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
160.73/40.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.10/42.42	c lits-rem:      1533  cl-subs:     1938  v-elim:      0  v-fix:    0  time:  8.29 s
169.10/42.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
169.10/42.43	c vivif2 --  cl tried    28237 cl shrink        0 lits rem          0 time: 0.02
170.30/42.75	c asymm  cl-useful: 0/2512/6230 lits-rem:0 time: 1.31
170.30/42.75	c calculated reachability. Time: 0.00
170.30/42.75	c  N dy   988    357945        70      6230         0     28237     43610    414548     20.22   no data  --
180.72/45.33	c  N dy  1054    377983        70      6230         0     46348     43610    849459     20.21     22.00  --
196.23/49.27	c  N dy  1106    407048        70      6230         0     24839     43610    306208     20.13     21.21  --
206.20/51.74	c  N dy  1190    427205        70      6230         0     43115     43610    744952     20.15     21.28  --
216.56/54.38	c  N dy  1272    447206        70      6230         0     35878     43610    551819     20.15     23.36  --
228.97/57.49	c  N dy  1398    467249        70      6230         0     27890     43610    353894     20.20     23.01  --
240.10/60.24	c  N dy  1523    487318        70      6230         0     46050     43610    795950     20.25     22.39  --
253.27/63.53	c  N dy  1620    510575        70      6230         0     39919     43610    624724     20.27     21.44  --
266.02/66.70	c  N dy  1732    530641        70      6230         0     30123     43610    381037     20.31     21.61  --
268.82/67.44	c  S st  1761    536918        70      6230         0     35818     43610    518559     20.32   no data  --
269.22/67.53	c  S st  1761    537424        70      6230         0     36291     43610    530752     20.32   no data  --
269.22/67.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.22/67.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.22/67.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.22/67.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.22/67.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.22/67.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.22/67.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
280.79/70.48	c lits-rem:      1754  cl-subs:     1699  v-elim:      0  v-fix:    0  time: 11.68 s
280.79/70.49	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
280.79/70.49	c vivif2 --  cl tried    34592 cl shrink        0 lits rem          0 time: 0.02
281.63/70.69	c asymm  cl-useful: 0/1520/6230 lits-rem:0 time: 0.77
281.63/70.69	c calculated reachability. Time: 0.00
281.63/70.69	c  N dy  1761    537424        70      6230         0     34592     43610    486738     20.32   no data  --
291.96/73.29	c  N dy  1801    557648        70      6230         0     52715     43610    916615     20.30     21.44  --
304.32/76.38	c  N dy  1920    578017        70      6230         0     42383     43610    667571     20.34     21.45  --
319.89/80.28	c  N dy  2043    598540        70      6230         0     31181     43610    382083     20.38     21.68  --
332.24/83.35	c  N dy  2139    619891        70      6230         0     50514     43610    848825     20.39     21.49  --
343.82/86.22	c  N dy  2148    640456        70      6230         0     38179     43610    525515     20.33     21.41  --
357.78/89.75	c  N dy  2229    660488        70      6230         0     56282     43610    963474     20.35     22.35  --
390.09/97.85	c  N dy  2314    716811        70      6230         0     42678     43610    606960     20.25     21.38  --
407.64/102.30	c  N dy  2412    738913        70      6230         0     62573     43610   1083956     20.26     21.36  --
423.19/106.14	c  N dy  2491    763323        70      6230         0     51397     43610    810462     20.26     21.46  --
444.32/111.45	c  N dy  2583    792249        70      6230         0     43210     43610    594992     20.25     21.47  --
453.90/113.82	c  S st  2651    806136        70      6230         0     55763     43610    899710     20.26     18.62  --
454.30/113.99	c  S st  2651    806638        70      6230         0     56229     43610    910929     20.26   no data  --
454.30/113.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.30/113.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.70/114.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
454.70/114.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
454.70/114.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.70/114.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
454.70/114.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
487.03/122.15	c lits-rem:      3168  cl-subs:     5641  v-elim:      0  v-fix:    0  time: 32.32 s
487.03/122.15	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
487.03/122.16	c vivif2 --  cl tried    50588 cl shrink        0 lits rem          0 time: 0.04
488.21/122.41	c asymm  cl-useful: 0/895/6230 lits-rem:0 time: 0.99
488.21/122.41	c calculated reachability. Time: 0.00
488.21/122.41	c  N dy  2651    806638        70      6230         0     50588     43610    778685     20.26   no data  --
513.76/128.82	c  N dy  2746    843102        70      6230         0     48665     43610    716457     20.23     21.36  --
529.70/132.87	c  N dy  2811    864753        70      6230         0     68122     43610   1178833     20.21     21.32  --
544.90/136.68	c  N dy  2932    885182        70      6230         0     50765     43610    768426     20.24     21.37  --
560.41/140.52	c  N dy  3020    905191        70      6230         0     68820     43610   1205013     20.25     23.67  --
575.62/144.33	c  N dy  3126    925345        70      6230         0     50191     43610    739354     20.27     21.40  --
620.64/155.61	c  N dy  3222    990792        70      6230         0     70728     43610   1166736     20.16     21.34  --
637.04/159.77	c  N dy  3328   1010806        70      6230         0     50351     43610    717942     20.18     22.01  --
655.74/164.46	c  N dy  3340   1040135        70      6230         0     76613     43610   1336647     20.14     21.20  --
672.15/168.54	c  N dy  3481   1060165        70      6230         0     55310     43610    828465     20.17     21.28  --
682.48/171.10	c  F st  3539   1071875        70      6230         0     65781     43610   1079906     20.18   no data  --
690.45/173.17	c  N dy  3576   1080189        70      6230         0     73252     43610   1263551     20.18     23.81  --
716.38/179.68	c  N dy  3692   1113848        70      6230         0     63065     43610    985305     20.18     21.39  --
738.72/185.27	c  N dy  3827   1133907        70      6230         0     81258     43610   1431561     20.20     22.92  --
755.08/189.40	c  N dy  3976   1153973        70      6230         0     58016     43610    868092     20.23     22.41  --
775.01/194.32	c  N dy  4057   1173975        70      6230         0     75974     43610   1294947     20.22     24.36  --
798.16/200.19	c  N dy  4195   1193984        70      6230         0     51685     43610    695467     20.25     21.60  --
814.50/204.23	c  S st  4279   1209957        70      6230         0     66146     43610   1046012     20.26     19.12  --
815.71/204.51	c  S st  4279   1210462        70      6230         0     66609     43610   1057710     20.26   no data  --
815.71/204.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
815.71/204.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
815.71/204.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
815.71/204.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.71/204.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.71/204.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
815.71/204.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
899.87/225.62	c lits-rem:      3371  cl-subs:     5166  v-elim:      0  v-fix:    0  time: 83.85 s
899.87/225.62	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
899.87/225.64	c vivif2 --  cl tried    61443 cl shrink        0 lits rem          0 time: 0.05
901.44/226.01	c asymm  cl-useful: 0/771/6230 lits-rem:0 time: 1.48
901.44/226.01	c calculated reachability. Time: 0.00
901.44/226.01	c  N dy  4279   1210462        70      6230         0     61443     43610    925443     20.26   no data  --
926.20/232.27	c  N dy  4398   1230501        70      6230         0     79570     43610   1367743     20.28     22.46  --
944.51/236.81	c  N dy  4445   1253286        70      6230         0     57032     43610    804599     20.27     21.40  --
964.87/241.91	c  N dy  4598   1273380        70      6230         0     75261     43610   1253743     20.29     25.00  --
998.78/250.43	c  N dy  4660   1309176        70      6230         0     63288     43610    934384     20.27     21.42  --
1019.52/255.64	c  N dy  4691   1329524        70      6230         0     81501     43610   1366040     20.26     21.33  --
1049.47/263.15	c  N dy  4763   1358425        70      6230         0     62441     43610    897153     20.25     21.49  --
1076.16/269.83	c  N dy  4901   1378921        70      6230         0     81038     43610   1354368     20.27     21.60  --
1100.49/275.98	c  N dy  5034   1400046        70      6230         0     54232     43610    704617     20.29     21.53  --
1120.43/280.90	c  N dy  5177   1420617        70      6230         0     72855     43610   1162413     20.31     21.59  --
1145.59/287.27	c  N dy  5311   1441118        70      6230         0     91355     43610   1615682     20.33     21.63  --
1162.73/291.60	c  N dy  5395   1461316        70      6230         0     62583     43610    886815     20.33     21.44  --
1182.66/296.57	c  N dy  5466   1482369        70      6230         0     81487     43610   1339099     20.33     21.49  --
1209.79/303.33	c  N dy  5627   1503471        70      6230         0     52813     43610    644336     20.36     21.44  --
1228.15/307.97	c  N dy  5705   1526200        70      6230         0     73296     43610   1138768     20.36     21.45  --
1253.67/314.33	c  N dy  5818   1546409        70      6230         0     91510     43610   1584433     20.37     21.58  --
1274.41/319.58	c  N dy  5947   1566423        70      6230         0     60919     43610    828333     20.39     24.59  --
1295.20/324.77	c  N dy  6057   1586429        70      6230         0     79032     43610   1270130     20.40     23.75  --
1320.29/331.04	c  N dy  6147   1606473        70      6230         0     97066     43610   1704469     20.41     21.98  --
1337.84/335.46	c  N dy  6208   1626614        70      6230         0     65493     43610    918197     20.41     21.49  --
1359.38/340.86	c  N dy  6311   1646645        70      6230         0     83595     43610   1359008     20.42     22.68  --
1392.48/349.17	c  N dy  6362   1673064        70      6230         0     56845     43610    697262     20.41     21.50  --
1418.07/355.56	c  N dy  6457   1695694        70      6230         0     77226     43610   1192661     20.41     21.53  --
1438.76/360.79	c  S st  6532   1710462        70      6230         0     90532     43610   1516262     20.42     18.16  --
1440.35/361.10	c  S st  6532   1710968        70      6230         0     91004     43610   1528321     20.42   no data  --
1440.35/361.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1440.35/361.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.35/361.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1440.75/361.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.75/361.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.75/361.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1440.75/361.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1902.57/477.06	c lits-rem:      6387  cl-subs:     9897  v-elim:      0  v-fix:    0  time: 461.96 s
1902.57/477.06	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1902.57/477.08	c vivif2 --  cl tried    81107 cl shrink        0 lits rem          0 time: 0.07
1904.58/477.54	c asymm  cl-useful: 0/532/6230 lits-rem:0 time: 1.82
1904.58/477.54	c calculated reachability. Time: 0.00
1904.58/477.54	c  N dy  6532   1710968        70      6230         0     81107     43610   1285027     20.42   no data  --
1938.46/486.05	c  N dy  6617   1731018        70      6230         0     99137     43610   1722970     20.43     22.40  --
1965.18/492.72	c  N dy  6717   1751248        70      6230         0     66635     43610    936129     20.43     21.59  --
1995.50/500.32	c  N dy  6826   1771918        70      6230         0     85329     43610   1391991     20.44     21.54  --
2032.22/509.55	c  N dy  6932   1791930        70      6230         0    103405     43610   1832870     20.45     22.11  --
2054.51/515.16	c  N dy  7013   1811953        70      6230         0     69473     43610    986957     20.46     23.69  --
2079.64/521.40	c  N dy  7098   1832021        70      6230         0     87553     43610   1426129     20.46     21.62  --
2120.33/531.61	c  N dy  7212   1862815        70      6230         0     62184     43610    790796     20.47     21.56  --
2141.49/536.97	c  N dy  7285   1885083        70      6230         0     82217     43610   1273791     20.47     21.76  --
2170.20/544.10	c  N dy  7396   1905158        70      6230         0    100398     43610   1719965     20.48     22.37  --
2196.11/550.66	c  N dy  7509   1926570        70      6230         0     65645     43610    867560     20.49     21.64  --
2218.46/556.21	c  N dy  7622   1946790        70      6230         0     83907     43610   1317129     20.50     21.65  --
2248.37/563.72	c  N dy  7746   1968158        70      6230         0    103153     43610   1789345     20.51     21.60  --
2279.48/571.57	c  N dy  7814   1998802        70      6230         0     75692     43610   1092637     20.50     21.63  --
2304.61/577.87	c  N dy  7894   2019769        70      6230         0     94542     43610   1548301     20.50     21.76  --
2334.15/585.29	c  N dy  7982   2039890        70      6230         0     56801     43610    628247     20.51     21.65  --
2354.09/590.22	c  N dy  8083   2060409        70      6230         0     75354     43610   1081632     20.52     21.60  --
2378.43/596.34	c  N dy  8168   2080439        70      6230         0     93434     43610   1523060     20.52     21.67  --
2408.34/603.86	c  N dy  8259   2100450        70      6230         0    111431     43610   1960361     20.53     22.82  --
2427.88/608.77	c  N dy  8302   2120889        70      6230         0     73006     43610    999324     20.52     21.71  --
2452.22/614.83	c  N dy  8389   2142727        70      6230         0     92620     43610   1472653     20.52     21.67  --
2483.33/622.62	c  N dy  8486   2163976        70      6230         0    111839     43610   1941960     20.53     21.61  --
2507.65/628.74	c  N dy  8623   2184038        70      6230         0     72334     43610    986210     20.54     22.12  --
2536.38/635.98	c  N dy  8685   2210970        70      6230         0     96423     43610   1555623     20.53     19.93  --
2536.38/635.98	c  S st  8685   2210970        70      6230         0     96423     43610   1555623     20.53     19.93  --
2537.54/636.29	c  S st  8685   2211475        70      6230         0     96884     43610   1567285     20.53   no data  --
2537.54/636.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2537.54/636.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2537.94/636.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2537.94/636.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2537.94/636.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2537.94/636.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2537.94/636.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2995.38/751.22	c lits-rem:      4790  cl-subs:     9695  v-elim:      0  v-fix:    0  time: 457.06 s
2995.38/751.22	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2995.38/751.24	c vivif2 --  cl tried    87189 cl shrink        0 lits rem          0 time: 0.08
2997.36/751.71	c asymm  cl-useful: 0/536/6230 lits-rem:0 time: 1.86
2997.36/751.71	c calculated reachability. Time: 0.00
2997.36/751.71	c  N dy  8685   2211475        70      6230         0     87189     43610   1333452     20.53   no data  --
3031.71/760.40	c  N dy  8733   2232699        70      6230         0    106176     43610   1786409     20.53     21.81  --
3062.77/768.13	c  N dy  8781   2253969        70      6230         0     67325     43610    848689     20.52     21.68  --
3093.12/775.75	c  N dy  8894   2274037        70      6230         0     85444     43610   1290036     20.53     21.62  --
3131.37/785.33	c  N dy  9017   2294041        70      6230         0    103486     43610   1733145     20.54     22.19  --
3170.05/795.00	c  N dy  9085   2315845        70      6230         0     63955     43610    748038     20.54     22.02  --
3200.36/802.62	c  N dy  9214   2335876        70      6230         0     82053     43610   1194871     20.55     21.69  --
3235.46/811.42	c  N dy  9310   2355970        70      6230         0    100100     43610   1633197     20.55     23.00  --
3274.14/821.10	c  N dy  9390   2376045        70      6230         0    118101     43610   2072216     20.56     23.36  --
3304.85/828.80	c  N dy  9483   2399600        70      6230         0     79131     43610   1101477     20.56     21.72  --
3333.57/836.02	c  N dy  9551   2420297        70      6230         0     97704     43610   1549931     20.56     21.72  --
3370.27/845.29	c  N dy  9667   2444292        70      6230         0    119242     43610   2074524     20.57     21.79  --
3393.40/851.03	c  N dy  9766   2464437        70      6230         0     76383     43610   1033863     20.57     21.73  --
3418.93/857.42	c  N dy  9863   2484467        70      6230         0     94395     43610   1471927     20.58     22.96  --
3450.05/865.23	c  N dy  9958   2505004        70      6230         0    112883     43610   1924595     20.58     21.69  --
3485.55/874.15	c  N dy 10066   2525054        70      6230         0     68900     43610    830561     20.59     24.30  --
3513.48/881.15	c  N dy 10121   2550685        70      6230         0     91837     43610   1382138     20.58     21.77  --
3542.59/888.40	c  N dy 10196   2571554        70      6230         0    110529     43610   1834033     20.58     21.75  --
3590.06/900.35	c  N dy 10324   2604608        70      6230         0     77236     43610   1005797     20.58     21.68  --
3615.58/906.76	c  N dy 10435   2624678        70      6230         0     95311     43610   1452600     20.59     22.16  --
3642.31/913.50	c  N dy 10450   2646071        70      6230         0    114189     43610   1891183     20.58     21.68  --
3687.78/924.83	c  N dy 10507   2684728        70      6230         0     85046     43610   1183426     20.56     21.80  --
3713.32/931.21	c  N dy 10564   2704808        70      6230         0    103064     43610   1616129     20.56     21.65  --
3723.70/933.84	c  S st 10599   2711475        70      6230         0    109068     43610   1762587     20.56     19.56  --
3724.94/934.18	c  S st 10599   2711979        70      6230         0    109527     43610   1774069     20.56   no data  --
3724.94/934.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3724.94/934.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3725.28/934.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3725.28/934.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3725.28/934.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3725.28/934.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3725.28/934.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4278.88/1073.02	c lits-rem:      6203  cl-subs:    12463  v-elim:      0  v-fix:    0  time: 553.19 s
4278.88/1073.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4278.88/1073.04	c vivif2 --  cl tried    97064 cl shrink        0 lits rem          0 time: 0.09
4280.88/1073.51	c asymm  cl-useful: 0/491/6230 lits-rem:0 time: 1.89
4280.88/1073.52	c calculated reachability. Time: 0.00
4280.88/1073.52	c  N dy 10599   2711979        70      6230         0     97064     43610   1486658     20.56   no data  --
4324.76/1084.59	c  N dy 10712   2732550        70      6230         0    115625     43610   1942640     20.57     21.65  --
4369.86/1095.88	c  N dy 10838   2752596        70      6230         0     69890     43610    830001     20.58     21.96  --
4401.71/1103.82	c  N dy 10945   2772908        70      6230         0     88242     43610   1280599     20.58     21.67  --
4445.19/1114.73	c  N dy 11055   2795443        70      6230         0    108542     43610   1778237     20.59     21.76  --
4501.47/1128.82	c  N dy 11181   2815451        70      6230         0    126649     43610   2223884     20.60     21.69  --
4543.70/1139.48	c  N dy 11309   2835501        70      6230         0     79471     43610   1048291     20.60     21.75  --
4587.96/1150.50	c  N dy 11435   2857972        70      6230         0     99709     43610   1548788     20.61     21.71  --
4633.82/1162.01	c  N dy 11519   2877974        70      6230         0    117748     43610   1986840     20.62     22.03  --
4737.94/1188.19	c  N dy 11600   2945817        70      6230         0    111797     43610   1776853     20.58     21.85  --
4788.18/1200.70	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368776-1305402782/watcher-3368776-1305402782 -o /tmp/evaluation-result-3368776-1305402782/solver-3368776-1305402782 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368776-1305402782.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: 8.12 8.09 8.06 4/348 3039
/proc/meminfo: memFree=26252860/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 416 0 0 0 0 0 0 0 18 0 4 0 651880844 52465664 356 33554432000 4194304 4650419 140735878229184 18446744073709551615 47437543651240 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 12809 356 306 112 0 7774 0
[pid=3039/tid=3040] ppid=3035 vsize=282052 CPUtime=0.1 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 232 0 0 0 10 0 0 0 20 0 4 0 651880844 288821248 1380 33554432000 4194304 4650419 140735878229184 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=282052 CPUtime=0.1 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 229 0 0 0 10 0 0 0 20 0 4 0 651880844 288821248 1380 33554432000 4194304 4650419 140735878229184 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=282052 CPUtime=0.1 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 385 0 0 0 10 0 0 0 20 0 4 0 651880844 288821248 1380 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.212898 s]
/proc/loadavg: 8.12 8.09 8.06 4/348 3039
/proc/meminfo: memFree=26252860/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=285452 CPUtime=0.82 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 3389 0 0 0 82 0 0 0 19 0 4 0 651880844 292302848 2876 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 71363 2876 390 112 0 66328 0
[pid=3039/tid=3040] ppid=3035 vsize=285452 CPUtime=0.2 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 795 0 0 0 20 0 0 0 20 0 4 0 651880844 292302848 2876 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=285452 CPUtime=0.19 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 770 0 0 0 19 0 0 0 20 0 4 0 651880844 292302848 2876 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=285452 CPUtime=0.2 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 656 0 0 0 20 0 0 0 20 0 4 0 651880844 292302848 2877 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 285452

[startup+0.312879 s]
/proc/loadavg: 8.12 8.09 8.06 4/348 3039
/proc/meminfo: memFree=26252860/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=285452 CPUtime=1.22 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 3702 0 0 0 122 0 0 0 19 0 4 0 651880844 292302848 3189 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 71363 3189 390 112 0 66328 0
[pid=3039/tid=3040] ppid=3035 vsize=285452 CPUtime=0.3 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 876 0 0 0 30 0 0 0 20 0 4 0 651880844 292302848 3189 33554432000 4194304 4650419 140735878229184 18446744073709551615 4329301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=285452 CPUtime=0.29 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 858 0 0 0 29 0 0 0 20 0 4 0 651880844 292302848 3189 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=285452 CPUtime=0.3 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 720 0 0 0 30 0 0 0 20 0 4 0 651880844 292302848 3189 33554432000 4194304 4650419 140735878229184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 285452

[startup+0.412863 s]
/proc/loadavg: 8.12 8.09 8.06 4/348 3039
/proc/meminfo: memFree=26252860/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=286384 CPUtime=1.62 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 4609 0 0 0 162 0 0 0 19 0 4 0 651880844 293257216 3283 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 71596 3283 390 112 0 66561 0
[pid=3039/tid=3040] ppid=3035 vsize=286384 CPUtime=0.4 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 1080 0 0 0 40 0 0 0 20 0 4 0 651880844 293257216 3283 33554432000 4194304 4650419 140735878229184 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=286384 CPUtime=0.39 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 1079 0 0 0 39 0 0 0 20 0 4 0 651880844 293257216 3283 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=286384 CPUtime=0.4 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 978 0 0 0 40 0 0 0 20 0 4 0 651880844 293257216 3283 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 286384

[startup+0.700814 s]
/proc/loadavg: 8.12 8.09 8.06 4/348 3039
/proc/meminfo: memFree=26252860/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=287120 CPUtime=2.77 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 6113 0 0 0 277 0 0 0 19 0 4 0 651880844 294010880 3645 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 71780 3645 390 112 0 66745 0
[pid=3039/tid=3040] ppid=3035 vsize=287120 CPUtime=0.69 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 1448 0 0 0 69 0 0 0 20 0 4 0 651880844 294010880 3645 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=287120 CPUtime=0.68 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 1473 0 0 0 68 0 0 0 21 0 4 0 651880844 294010880 3645 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=287120 CPUtime=0.69 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 1352 0 0 0 69 0 0 0 20 0 4 0 651880844 294010880 3645 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287120

[startup+1.50068 s]
/proc/loadavg: 8.19 8.10 8.06 9/356 3047
/proc/meminfo: memFree=26222540/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=288320 CPUtime=5.96 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 11010 0 0 0 595 1 0 0 21 0 4 0 651880844 295239680 5722 33554432000 4194304 4650419 140735878229184 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 72080 5722 392 112 0 67045 0
[pid=3039/tid=3040] ppid=3035 vsize=288320 CPUtime=1.49 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 2322 0 0 0 149 0 0 0 23 0 4 0 651880844 295239680 5722 33554432000 4194304 4650419 140735878229184 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=288320 CPUtime=1.47 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 2385 0 0 0 147 0 0 0 23 0 4 0 651880844 295239680 5722 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=288320 CPUtime=1.49 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 2300 0 0 0 149 0 0 0 23 0 4 0 651880844 295239680 5722 33554432000 4194304 4650419 140735878229184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288320

[startup+3.10039 s]
/proc/loadavg: 8.19 8.10 8.06 9/356 3047
/proc/meminfo: memFree=26183312/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=284476 CPUtime=12.35 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 18035 0 0 0 1233 2 0 0 25 0 4 0 651880844 291303424 10927 33554432000 4194304 4650419 140735878229184 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 71119 10927 392 112 0 66084 0
[pid=3039/tid=3040] ppid=3035 vsize=284476 CPUtime=3.09 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 3853 0 0 0 309 0 0 0 25 0 4 0 651880844 291303424 10927 33554432000 4194304 4650419 140735878229184 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=284476 CPUtime=3.06 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 4841 0 0 0 305 1 0 0 25 0 4 0 651880844 291303424 10927 33554432000 4194304 4650419 140735878229184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=284476 CPUtime=3.09 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 4912 0 0 0 309 0 0 0 25 0 4 0 651880844 291303424 10927 33554432000 4194304 4650419 140735878229184 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284476

[startup+6.30083 s]
/proc/loadavg: 8.26 8.12 8.07 9/356 3047
/proc/meminfo: memFree=26146512/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=301020 CPUtime=25.1 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 26520 0 0 0 2506 4 0 0 25 0 4 0 651880844 308244480 13098 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 75255 13098 392 112 0 70220 0
[pid=3039/tid=3040] ppid=3035 vsize=301020 CPUtime=6.28 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 6595 0 0 0 628 0 0 0 25 0 4 0 651880844 308244480 13098 33554432000 4194304 4650419 140735878229184 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=301020 CPUtime=6.21 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 6936 0 0 0 620 1 0 0 25 0 4 0 651880844 308244480 13098 33554432000 4194304 4650419 140735878229184 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=301020 CPUtime=6.28 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 7024 0 0 0 627 1 0 0 25 0 4 0 651880844 308244480 13098 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 301020

[startup+12.7007 s]
/proc/loadavg: 8.24 8.12 8.07 9/356 3047
/proc/meminfo: memFree=26102752/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=310804 CPUtime=50.63 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 39364 0 0 0 5056 7 0 0 25 0 4 0 651880844 318263296 19370 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 77701 19370 392 112 0 72666 0
[pid=3039/tid=3040] ppid=3035 vsize=310804 CPUtime=12.68 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 8547 0 0 0 1267 1 0 0 25 0 4 0 651880844 318263296 19370 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=310804 CPUtime=12.53 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 10442 0 0 0 1252 1 0 0 25 0 4 0 651880844 318263296 19370 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=310804 CPUtime=12.68 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 11180 0 0 0 1266 2 0 0 25 0 4 0 651880844 318263296 19370 33554432000 4194304 4650419 140735878229184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 310804

[startup+25.5135 s]
/proc/loadavg: 8.27 8.13 8.07 9/356 3048
/proc/meminfo: memFree=26044880/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=311300 CPUtime=101.73 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 60464 0 0 0 10163 10 0 0 25 0 4 0 651880844 318771200 24813 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 77825 24813 392 112 0 72790 0
[pid=3039/tid=3040] ppid=3035 vsize=311300 CPUtime=25.5 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 12746 0 0 0 2548 2 0 0 25 0 4 0 651880844 318771200 24813 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=311300 CPUtime=25.2 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 15384 0 0 0 2518 2 0 0 25 0 4 0 651880844 318771200 24813 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=311300 CPUtime=25.5 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 16743 0 0 0 2547 3 0 0 25 0 4 0 651880844 318771200 24813 33554432000 4194304 4650419 140735878229184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 311300

[startup+51.101 s]
/proc/loadavg: 8.16 8.11 8.07 9/356 3048
/proc/meminfo: memFree=25986764/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=388240 CPUtime=203.8 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 84395 0 0 0 20364 16 0 0 25 0 4 0 651880844 397557760 31878 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 97060 31878 392 112 0 92025 0
[pid=3039/tid=3040] ppid=3035 vsize=388240 CPUtime=51.09 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 15976 0 0 0 5106 3 0 0 25 0 4 0 651880844 397557760 31878 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=388240 CPUtime=50.51 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 20307 0 0 0 5048 3 0 0 25 0 4 0 651880844 397557760 31878 33554432000 4194304 4650419 140735878229184 18446744073709551615 4516629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=388240 CPUtime=51.08 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 25232 0 0 0 5104 4 0 0 25 0 4 0 651880844 397557760 31878 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 388240

[startup+102.301 s]
/proc/loadavg: 8.16 8.12 8.07 9/356 3050
/proc/meminfo: memFree=25938016/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=306808 CPUtime=408.04 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 120227 0 0 0 40778 26 0 0 25 0 4 0 651880844 314171392 34553 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 76702 34553 392 112 0 71667 0
[pid=3039/tid=3040] ppid=3035 vsize=306808 CPUtime=102.28 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 19700 0 0 0 10225 3 0 0 25 0 4 0 651880844 314171392 34553 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=306808 CPUtime=101.15 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 28583 0 0 0 10109 6 0 0 25 0 4 0 651880844 314171392 34553 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=306808 CPUtime=102.29 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 38532 0 0 0 10221 8 0 0 25 0 4 0 651880844 314171392 34553 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 306808

[startup+162.3 s]

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

[pid=3039] ppid=3035 vsize=527100 CPUtime=2800.35 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 346497 0 0 0 279928 107 0 0 25 0 4 0 651880844 539750400 80705 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 131775 80705 392 112 0 126740 0
[pid=3039/tid=3040] ppid=3035 vsize=527100 CPUtime=702.27 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 43835 0 0 0 70214 13 0 0 25 0 4 0 651880844 539750400 80705 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=527100 CPUtime=693.76 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 98043 0 0 0 69340 36 0 0 25 0 4 0 651880844 539750400 80705 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=527100 CPUtime=702.28 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 105473 0 0 0 70200 28 0 0 25 0 4 0 651880844 539750400 80705 33554432000 4194304 4650419 140735878229184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.35
Current children cumulated vsize (KiB) 527100

[startup+762.301 s]
/proc/loadavg: 8.21 8.21 8.12 9/356 3079
/proc/meminfo: memFree=25480680/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=527196 CPUtime=3039.65 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 359550 0 0 0 303852 113 0 0 25 0 4 0 651880844 539848704 79644 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 131799 79644 392 112 0 126764 0
[pid=3039/tid=3040] ppid=3035 vsize=527196 CPUtime=762.27 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 43835 0 0 0 76214 13 0 0 25 0 4 0 651880844 539848704 79644 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=527196 CPUtime=753.04 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 103472 0 0 0 75265 39 0 0 25 0 4 0 651880844 539848704 79644 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=527196 CPUtime=762.28 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 111131 0 0 0 76199 29 0 0 25 0 4 0 651880844 539848704 79644 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.65
Current children cumulated vsize (KiB) 527196

[startup+822.3 s]
/proc/loadavg: 8.17 8.20 8.12 9/356 3082
/proc/meminfo: memFree=25476564/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=527296 CPUtime=3278.92 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 375732 0 0 0 327774 118 0 0 25 0 4 0 651880844 539951104 79005 33554432000 4194304 4650419 140735878229184 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 131824 79005 392 112 0 126789 0
[pid=3039/tid=3040] ppid=3035 vsize=527296 CPUtime=822.27 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 43835 0 0 0 82214 13 0 0 25 0 4 0 651880844 539951104 79005 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=527296 CPUtime=812.33 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 108878 0 0 0 81191 42 0 0 25 0 4 0 651880844 539951104 79005 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=527296 CPUtime=822.26 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 119418 0 0 0 82196 30 0 0 25 0 4 0 651880844 539951104 79005 33554432000 4194304 4650419 140735878229184 18446744073709551615 4520131 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3278.92
Current children cumulated vsize (KiB) 527296

[startup+882.301 s]
/proc/loadavg: 8.15 8.19 8.12 9/356 3084
/proc/meminfo: memFree=25429188/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=485836 CPUtime=3518.28 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 396365 0 0 0 351703 125 0 0 25 0 4 0 651880844 497496064 84818 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 121459 84818 392 112 0 116424 0
[pid=3039/tid=3040] ppid=3035 vsize=485836 CPUtime=882.27 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 46503 0 0 0 88213 14 0 0 25 0 4 0 651880844 497496064 84818 33554432000 4194304 4650419 140735878229184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=485836 CPUtime=871.68 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 112760 0 0 0 87124 44 0 0 25 0 4 0 651880844 497496064 84818 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=485836 CPUtime=882.27 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 126142 0 0 0 88195 32 0 0 25 0 4 0 651880844 497496064 84818 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.28
Current children cumulated vsize (KiB) 485836

[startup+942.3 s]
/proc/loadavg: 8.14 8.18 8.12 9/356 3085
/proc/meminfo: memFree=25427028/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=511376 CPUtime=3757.59 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 408164 0 0 0 375628 131 0 0 25 0 4 0 651880844 523649024 84325 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 127844 84325 392 112 0 122809 0
[pid=3039/tid=3040] ppid=3035 vsize=511376 CPUtime=942.26 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 48518 0 0 0 94210 16 0 0 25 0 4 0 651880844 523649024 84325 33554432000 4194304 4650419 140735878229184 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=511376 CPUtime=931.03 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 114660 0 0 0 93058 45 0 0 25 0 4 0 651880844 523649024 84325 33554432000 4194304 4650419 140735878229184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=511376 CPUtime=942.25 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 130191 0 0 0 94191 34 0 0 25 0 4 0 651880844 523649024 84325 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.59
Current children cumulated vsize (KiB) 511376

[startup+1002.31 s]
/proc/loadavg: 8.05 8.15 8.11 9/356 3087
/proc/meminfo: memFree=25424148/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=523996 CPUtime=3996.97 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 421205 0 0 0 399560 137 0 0 25 0 4 0 651880844 536571904 89002 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 130999 89002 392 112 0 125964 0
[pid=3039/tid=3040] ppid=3035 vsize=523996 CPUtime=1002.27 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52255 0 0 0 100210 17 0 0 25 0 4 0 651880844 536571904 89002 33554432000 4194304 4650419 140735878229184 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=523996 CPUtime=990.37 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 118738 0 0 0 98990 47 0 0 25 0 4 0 651880844 536571904 89002 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=523996 CPUtime=1002.26 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 135054 0 0 0 100189 37 0 0 25 0 4 0 651880844 536571904 89002 33554432000 4194304 4650419 140735878229184 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.97
Current children cumulated vsize (KiB) 523996

[startup+1062.3 s]
/proc/loadavg: 8.05 8.13 8.10 9/356 3088
/proc/meminfo: memFree=25409212/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=524116 CPUtime=4236.22 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 425518 0 0 0 423481 141 0 0 25 0 4 0 651880844 536694784 87478 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 131029 87478 392 112 0 125994 0
[pid=3039/tid=3040] ppid=3035 vsize=524116 CPUtime=1062.26 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52255 0 0 0 106209 17 0 0 25 0 4 0 651880844 536694784 87478 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=524116 CPUtime=1049.66 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 123051 0 0 0 104915 51 0 0 25 0 4 0 651880844 536694784 87478 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=524116 CPUtime=1062.23 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 135054 0 0 0 106186 37 0 0 25 0 4 0 651880844 536694784 87478 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.22
Current children cumulated vsize (KiB) 524116

[startup+1122.3 s]
/proc/loadavg: 8.06 8.12 8.09 9/356 3090
/proc/meminfo: memFree=25362768/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=589704 CPUtime=4475.5 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 444030 0 0 0 447404 146 0 0 25 0 4 0 651880844 603856896 93071 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 147426 93071 392 112 0 142391 0
[pid=3039/tid=3040] ppid=3035 vsize=589704 CPUtime=1122.26 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52255 0 0 0 112209 17 0 0 25 0 4 0 651880844 603856896 93071 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=589704 CPUtime=1108.95 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 129510 0 0 0 110842 53 0 0 25 0 4 0 651880844 603856896 93071 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=589704 CPUtime=1122.22 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 144482 0 0 0 112184 38 0 0 25 0 4 0 651880844 603856896 93071 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.5
Current children cumulated vsize (KiB) 589704

[startup+1182.3 s]
/proc/loadavg: 8.02 8.09 8.09 9/356 3092
/proc/meminfo: memFree=25356608/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=589704 CPUtime=4714.79 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 459543 0 0 0 471328 151 0 0 25 0 4 0 651880844 603856896 96931 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 147426 96931 392 112 0 142391 0
[pid=3039/tid=3040] ppid=3035 vsize=589704 CPUtime=1182.26 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52255 0 0 0 118209 17 0 0 25 0 4 0 651880844 603856896 96931 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=589704 CPUtime=1168.25 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 131200 0 0 0 116771 54 0 0 25 0 4 0 651880844 603856896 96931 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=589704 CPUtime=1182.21 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 153227 0 0 0 118182 39 0 0 25 0 4 0 651880844 603856896 96931 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.79
Current children cumulated vsize (KiB) 589704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.08 8.10 8.09 5/351 3093
/proc/meminfo: memFree=25873964/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=576564 CPUtime=4800.16 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 466481 0 0 0 479862 154 0 0 25 0 4 0 651880844 590401536 93200 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 144141 93200 392 112 0 139106 0
[pid=3039/tid=3040] ppid=3035 vsize=576564 CPUtime=1203.67 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52718 0 0 0 120350 17 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=576564 CPUtime=1189.41 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 132076 0 0 0 118886 55 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=576564 CPUtime=1203.63 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 156758 0 0 0 120323 40 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 576564

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

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

[startup+1203.7 s]
/proc/loadavg: 8.08 8.10 8.09 5/351 3093
/proc/meminfo: memFree=25873964/32951124 swapFree=53501236/67111528
[pid=3039] ppid=3035 vsize=576564 CPUtime=4800.16 cores=0,2,4,6
/proc/3039/stat : 3039 (strangenight1-m) R 3035 3039 2586 0 -1 4202496 466481 0 0 0 479862 154 0 0 25 0 4 0 651880844 590401536 93200 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3039/statm: 144141 93200 392 112 0 139106 0
[pid=3039/tid=3040] ppid=3035 vsize=576564 CPUtime=1203.67 cores=0,2,4,6
/proc/3039/task/3040/stat : 3040 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 52718 0 0 0 120350 17 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3039/tid=3041] ppid=3035 vsize=576564 CPUtime=1189.41 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 132076 0 0 0 118886 55 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3039/tid=3042] ppid=3035 vsize=576564 CPUtime=1203.63 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (strangenight1-m) R 3035 3039 2586 0 -1 4202560 156758 0 0 0 120323 40 0 0 25 0 4 0 651880844 590401536 93201 33554432000 4194304 4650419 140735878229184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 576564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.73
CPU time (s): 4800.22
CPU user time (s): 4798.67
CPU system time (s): 1.55576
CPU usage (%): 398.778
Max. virtual memory (cumulated for all children) (KiB): 589704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.67
system time used= 1.55576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466483
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= 294
involuntary context switches= 30592

runsolver used 3.90241 second user time and 9.75252 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 21:53:02
IDJOB=3368776
IDBENCH=82785
IDSOLVER=1846
FILE ID=node103/3368776-1305402782
RUNJOBID= node103-1305401577-2919
PBS_JOBID= 13324472
Free space on /tmp= 72992 MiB

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

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

MD5SUM BENCH= 261ca77431063ab06f6a4cdf20ea9cf2
RANDOM SEED=1548764415

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26253420 kB
Buffers:        296920 kB
Cached:        3866288 kB
SwapCached:     340192 kB
Active:        1318696 kB
Inactive:      5109908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26253420 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:     1935908 kB
Mapped:          10408 kB
Slab:           151160 kB
PageTables:      52504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78291284 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= 72984 MiB
End job on node103 at 2011-05-14 22:13:08