Trace number 3368828

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf
MD5SUM32b0a38499f94b9537a6571015412ff0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.88956
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

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-3368828-1305404045.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.37/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.20	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.37/0.20	c calculated reachability. Time: 0.00
0.37/0.20	c Calc default polars -  time:   0.00 s pos:      33 undec:       1 neg:      46
0.37/0.20	c =========================================================================================
0.37/0.20	c types(t): F = full restart, N = normal restart
0.37/0.20	c types(t): S = simplification begin/end, E = solution found
0.37/0.20	c restart types(rt): st = static, dy = dynamic
0.37/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.96/0.51	c  N dy     7      8922        80      7120         0      5862     49840    148563     22.86     24.08  --
2.36/0.68	c  N dy    21     13019        80      7120         0      5741     49840    132943     23.03     24.36  --
3.16/0.89	c  N dy    27     17870        80      7120         0     10185     49840    251174     22.92     24.19  --
3.98/1.07	c  N dy    34     22403        80      7120         0      9195     49840    211557     22.86     24.12  --
4.76/1.21	c  F st    57     25000        80      7120         0     11593     49840    276951     23.04   no data  --
5.16/1.32	c  N st    61     27034        80      7120         0      7211     49840    142667     23.04   no data  --
5.56/1.45	c  S st    63     30004        80      7120         0      9933     49840    216768     23.04   no data  --
5.56/1.48	c  S st    63     30508        80      7120         0     10398     49840    229389     23.04   no data  --
5.56/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.56/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.56/1.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.94/2.52	c lits-rem:      1473  cl-subs:      793  v-elim:      0  v-fix:    0  time:  4.07 s
11.14/2.85	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
11.14/2.85	c calculated reachability. Time: 0.00
11.14/2.85	c  N dy    63     30508        80      7120         0      9605     49840    204477     23.04   no data  --
12.34/3.13	c  N dy    74     35374        80      7120         0     14040     49840    323099     23.03     24.31  --
13.17/3.35	c  N dy    81     39687        80      7120         0     10798     49840    221231     22.99     24.27  --
14.73/3.71	c  N dy    82     45765        80      7120         0     16351     49840    366931     22.74     22.28  --
14.73/3.71	c  S st    82     45765        80      7120         0     16351     49840    366931     22.74     22.28  --
14.73/3.76	c  S st    82     46272        80      7120         0      8640     49840    151692     22.74   no data  --
14.73/3.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.73/3.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.73/3.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
14.73/3.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.32/4.60	c lits-rem:       181  cl-subs:       49  v-elim:      0  v-fix:    0  time:  3.33 s
18.32/4.60	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.32/4.60	c vivif2 --  cl tried     8591 cl shrink        0 lits rem          0 time: 0.00
19.11/4.88	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.11
19.11/4.88	c calculated reachability. Time: 0.00
19.11/4.88	c  N dy    82     46272        80      7120         0      8591     49840    149879     22.74   no data  --
20.71/5.20	c  N dy   105     52149        80      7120         0     13993     49840    295048     22.83     24.23  --
22.30/5.60	c  N dy   127     57690        80      7120         0      9915     49840    169867     22.89     24.21  --
23.10/5.82	c  N dy   142     61767        80      7120         0     13682     49840    270343     22.91     24.15  --
23.90/6.09	c  N dy   152     66065        80      7120         0     17602     49840    374566     22.92     24.16  --
25.10/6.30	c  S st   154     69409        80      7120         0     10609     49840    173538     22.86     21.82  --
25.10/6.34	c  S st   154     69918        80      7120         0     11090     49840    186735     22.86   no data  --
25.10/6.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.10/6.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.10/6.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.10/6.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.10/6.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.10/6.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.10/6.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.69/7.27	c lits-rem:       414  cl-subs:      167  v-elim:      0  v-fix:    0  time:  3.65 s
28.69/7.27	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
28.69/7.27	c vivif2 --  cl tried    10923 cl shrink        0 lits rem          0 time: 0.01
30.31/7.62	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.39
30.31/7.62	c calculated reachability. Time: 0.00
30.31/7.62	c  N dy   154     69918        80      7120         0     10923     49840    181568     22.86   no data  --
31.08/7.87	c  N dy   169     74447        80      7120         0     15097     49840    294278     22.89     26.29  --
32.68/8.26	c  N dy   190     79725        80      7120         0     19952     49840    425207     22.93     24.22  --
34.27/8.71	c  N dy   227     85394        80      7120         0     14146     49840    254479     23.04     24.64  --
35.11/8.86	c  F st   242     87500        80      7120         0     16085     49840    307103     23.07     23.39  --
36.67/9.23	c  N dy   248     92699        80      7120         0     20832     49840    437396     23.07   no data  --
39.08/9.81	c  N dy   257    100918        80      7120         0     16393     49840    297373     23.00     24.24  --
39.85/10.08	c  S st   267    104877        80      7120         0     19997     49840    394267     22.99     21.91  --
40.25/10.14	c  S st   267    105383        80      7120         0     20466     49840    407059     22.99   no data  --
40.25/10.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.25/10.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.25/10.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.25/10.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.25/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.25/10.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.25/10.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.05/11.87	c lits-rem:      2378  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  6.81 s
47.05/11.87	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.05/11.87	c vivif2 --  cl tried    18545 cl shrink        0 lits rem          0 time: 0.02
48.63/12.26	c asymm  cl-useful: 0/5028/7120 lits-rem:0 time: 1.52
48.63/12.26	c calculated reachability. Time: 0.00
48.63/12.26	c  N dy   267    105383        80      7120         0     18545     49840    353315     22.99   no data  --
50.63/12.77	c  N dy   284    112167        80      7120         0     24759     49840    519838     22.99     26.31  --
57.06/14.34	c  N dy   291    133785        80      7120         0     18013     49840    313448     22.71     23.99  --
59.81/15.01	c  N dy   302    142414        80      7120         0     25905     49840    522528     22.68     24.49  --
62.60/15.78	c  N dy   350    151538        80      7120         0     19717     49840    345789     22.74     24.08  --
65.00/16.35	c  S st   383    158074        80      7120         0     25729     49840    508259     22.79     21.19  --
65.41/16.42	c  S st   383    158578        80      7120         0     26205     49840    521319     22.79   no data  --
65.41/16.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.41/16.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.41/16.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.41/16.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.41/16.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.41/16.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.41/16.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.96/18.85	c lits-rem:      2065  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  9.60 s
74.96/18.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
74.96/18.86	c vivif2 --  cl tried    24047 cl shrink        0 lits rem          0 time: 0.02
75.76/19.08	c asymm  cl-useful: 0/1825/7120 lits-rem:0 time: 0.91
75.76/19.08	c calculated reachability. Time: 0.00
75.76/19.08	c  N dy   383    158578        80      7120         0     24047     49840    457020     22.79   no data  --
79.76/20.09	c  N dy   425    169590        80      7120         0     18673     49840    297873     22.78     24.00  --
84.14/21.11	c  N dy   495    180502        80      7120         0     28743     49840    572382     22.87     25.12  --
88.94/22.31	c  N dy   507    195199        80      7120         0     25731     49840    470360     22.76     23.96  --
94.13/23.66	c  N dy   537    207952        80      7120         0     20026     49840    308640     22.76     24.01  --
98.91/24.89	c  N dy   556    221309        80      7120         0     32151     49840    627452     22.71     25.04  --
105.70/26.52	c  N dy   606    237867        80      7120         0     29032     49840    528829     22.71     22.15  --
105.70/26.52	c  S st   606    237867        80      7120         0     29032     49840    528829     22.71     22.15  --
105.70/26.59	c  S st   606    238371        80      7120         0     29491     49840    541480     22.71   no data  --
105.70/26.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
105.70/26.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.10/26.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.10/26.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.10/26.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.10/26.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.10/26.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.87/29.31	c lits-rem:      2123  cl-subs:     2442  v-elim:      0  v-fix:    0  time: 10.75 s
116.87/29.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.87/29.32	c vivif2 --  cl tried    27049 cl shrink        0 lits rem          0 time: 0.02
117.67/29.51	c asymm  cl-useful: 0/2123/7120 lits-rem:0 time: 0.76
117.67/29.51	c calculated reachability. Time: 0.00
117.67/29.51	c  N dy   606    238371        80      7120         0     27049     49840    473961     22.71   no data  --
124.45/31.20	c  N dy   670    254411        80      7120         0     22703     49840    345837     22.74     24.02  --
131.25/32.94	c  N dy   749    270683        80      7120         0     37684     49840    749488     22.79     24.29  --
138.82/34.87	c  N dy   768    291414        80      7120         0     36400     49840    692012     22.71     23.95  --
145.99/36.63	c  F st   872    306251        80      7120         0     29070     49840    492925     22.79     22.53  --
147.99/37.14	c  N dy   878    311447        80      7120         0     33804     49840    622042     22.79   no data  --
157.18/39.42	c  N dy   954    332041        80      7120         0     30692     49840    517749     22.79     24.08  --
167.14/41.99	c  N dy  1040    352094        80      7120         0     26178     49840    379152     22.81     24.05  --
169.54/42.52	c  S st  1056    357556        80      7120         0     31171     49840    513210     22.82   no data  --
169.54/42.59	c  S st  1056    358061        80      7120         0     31639     49840    526109     22.82   no data  --
169.94/42.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.94/42.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.94/42.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
169.94/42.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.94/42.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.94/42.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
169.94/42.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.95/45.20	c lits-rem:      1446  cl-subs:     1639  v-elim:      0  v-fix:    0  time: 10.25 s
180.31/45.20	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
180.31/45.20	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.02
181.11/45.46	c asymm  cl-useful: 0/1669/7120 lits-rem:0 time: 1.03
181.11/45.46	c calculated reachability. Time: 0.00
181.11/45.46	c  N dy  1056    358061        80      7120         0     30000     49840    478124     22.82   no data  --
195.47/49.01	c  N dy  1158    379952        80      7120         0     26325     49840    363946     22.85     24.14  --
206.63/51.86	c  N dy  1270    399996        80      7120         0     44822     49840    866150     22.91     24.99  --
218.21/54.74	c  N dy  1368    423422        80      7120         0     41555     49840    758841     22.94     24.34  --
228.98/57.45	c  N dy  1447    443498        80      7120         0     34277     49840    546494     22.96     25.44  --
241.75/60.62	c  N dy  1489    466676        80      7120         0     28906     49840    384904     22.93     24.28  --
252.13/63.22	c  N dy  1558    486768        80      7120         0     47323     49840    880080     22.94     24.15  --
266.49/66.87	c  N dy  1627    515436        80      7120         0     45969     49840    826257     22.93     24.48  --
278.05/69.76	c  N dy  1707    535501        80      7120         0     36062     49840    554172     22.94     24.38  --
278.85/69.94	c  S st  1708    537092        80      7120         0     37530     49840    592878     22.94     21.64  --
279.25/70.04	c  S st  1708    537594        80      7120         0     38000     49840    605855     22.94   no data  --
279.25/70.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
279.25/70.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
279.25/70.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
279.25/70.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
279.25/70.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
279.25/70.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
279.25/70.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.62/73.15	c lits-rem:      1232  cl-subs:     1771  v-elim:      0  v-fix:    0  time: 12.28 s
291.62/73.15	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
291.62/73.16	c vivif2 --  cl tried    36229 cl shrink        0 lits rem          0 time: 0.02
292.42/73.37	c asymm  cl-useful: 0/1316/7120 lits-rem:0 time: 0.84
292.42/73.37	c calculated reachability. Time: 0.00
292.42/73.37	c  N dy  1708    537594        80      7120         0     36229     49840    553701     22.94   no data  --
304.80/76.41	c  N dy  1772    558100        80      7120         0     55039     49840   1056036     22.94     24.19  --
316.36/79.32	c  N dy  1867    578852        80      7120         0     44808     49840    767737     22.95     24.33  --
328.34/82.37	c  N dy  1908    598908        80      7120         0     32933     49840    432184     22.93     24.94  --
340.70/85.45	c  N dy  1949    622293        80      7120         0     54272     49840    999491     22.91     24.17  --
351.48/88.13	c  N dy  1973    642354        80      7120         0     41431     49840    642112     22.87     24.18  --
367.84/92.29	c  N dy  2084    663092        80      7120         0     60498     49840   1159459     22.90     24.13  --
380.20/95.34	c  N dy  2151    683165        80      7120         0     46860     49840    773287     22.90     25.03  --
395.36/99.13	c  N dy  2237    703244        80      7120         0     65298     49840   1272497     22.92     24.13  --
408.92/102.55	c  N dy  2318    723341        80      7120         0     50765     49840    864538     22.93     24.19  --
427.68/107.25	c  N dy  2409    744928        80      7120         0     36668     49840    468499     22.95     24.19  --
438.89/110.09	c  N dy  2424    767864        80      7120         0     57538     49840   1020612     22.92     24.16  --
457.61/114.79	c  N dy  2491    795888        80      7120         0     48427     49840    766326     22.91     24.17  --
465.58/116.70	c  S st  2529    806391        80      7120         0     58017     49840   1023239     22.91     22.06  --
465.98/116.86	c  S st  2529    806896        80      7120         0     58488     49840   1036111     22.91   no data  --
465.98/116.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
465.98/116.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
465.98/116.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
466.38/116.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.38/116.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.38/116.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
466.38/116.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
509.48/127.71	c lits-rem:      2346  cl-subs:     5157  v-elim:      0  v-fix:    0  time: 43.03 s
509.48/127.71	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
509.48/127.72	c vivif2 --  cl tried    53331 cl shrink        0 lits rem          0 time: 0.04
510.67/128.07	c asymm  cl-useful: 0/906/7120 lits-rem:0 time: 1.41
510.67/128.08	c calculated reachability. Time: 0.00
510.67/128.08	c  N dy  2529    806896        80      7120         0     53331     49840    894330     22.91   no data  --
526.68/132.08	c  N dy  2604    826983        80      7120         0     36268     49840    432970     22.91     25.72  --
538.61/135.06	c  N dy  2670    847171        80      7120         0     54707     49840    928175     22.91     24.20  --
555.76/139.34	c  N dy  2744    867213        80      7120         0     36586     49840    424732     22.92     24.16  --
568.13/142.47	c  N dy  2800    888273        80      7120         0     55904     49840    938376     22.91     24.15  --
587.70/147.33	c  N dy  2909    909375        80      7120         0     37806     49840    438388     22.93     24.15  --
599.65/150.35	c  N dy  2969    930191        80      7120         0     56839     49840    947759     22.93     24.16  --
617.21/154.72	c  N dy  3058    950198        80      7120         0     75203     49840   1442122     22.94     24.15  --
632.37/158.57	c  N dy  3162    971586        80      7120         0     56287     49840    924167     22.96     24.21  --
651.52/163.36	c  N dy  3212    994789        80      7120         0     77513     49840   1491286     22.95     24.22  --
663.08/166.28	c  N dy  3227   1014863        80      7120         0     56425     49840    899943     22.92     24.49  --
678.25/170.04	c  N dy  3239   1035784        80      7120         0     75283     49840   1389412     22.89     24.12  --
693.46/173.86	c  N dy  3316   1056021        80      7120         0     53782     49840    820493     22.89     24.20  --
706.97/177.21	c  F st  3402   1071875        80      7120         0     68279     49840   1213642     22.91     23.34  --
711.36/178.37	c  N dy  3408   1077076        80      7120         0     73041     49840   1344615     22.91   no data  --
726.13/182.10	c  N dy  3447   1097146        80      7120         0     50270     49840    710436     22.90     24.31  --
743.68/186.43	c  N dy  3585   1117191        80      7120         0     68682     49840   1216968     22.93     24.51  --
768.81/192.70	c  N dy  3676   1146170        80      7120         0     53094     49840    763056     22.93     24.40  --
786.38/197.12	c  N dy  3735   1166471        80      7120         0     71576     49840   1256620     22.93     24.25  --
814.71/204.20	c  N dy  3856   1191552        80      7120         0     51602     49840    713740     22.94     24.24  --
830.66/208.22	c  S st  3907   1210344        80      7120         0     68837     49840   1177340     22.94     22.12  --
831.46/208.44	c  S st  3907   1210848        80      7120         0     69301     49840   1190220     22.94   no data  --
831.46/208.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
831.46/208.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
831.46/208.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
831.86/208.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
831.86/208.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
831.86/208.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
831.86/208.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
908.51/227.73	c lits-rem:      3797  cl-subs:     5372  v-elim:      0  v-fix:    0  time: 76.63 s
908.51/227.73	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
908.51/227.75	c vivif2 --  cl tried    63929 cl shrink        0 lits rem          0 time: 0.06
910.07/228.13	c asymm  cl-useful: 0/787/7120 lits-rem:0 time: 1.53
910.07/228.13	c calculated reachability. Time: 0.00
910.07/228.13	c  N dy  3907   1210848        80      7120         0     63929     49840   1039467     22.94   no data  --
933.61/234.07	c  N dy  3983   1230855        80      7120         0     82234     49840   1533753     22.95     25.72  --
953.95/239.16	c  N dy  4059   1250873        80      7120         0     56845     49840    839743     22.95     24.43  --
974.70/244.38	c  N dy  4163   1271923        80      7120         0     76183     49840   1362637     22.97     24.22  --
1010.61/253.38	c  N dy  4244   1309474        80      7120         0     65621     49840   1045829     22.95     24.17  --
1035.37/259.55	c  N dy  4343   1329543        80      7120         0     83964     49840   1545747     22.96     24.59  --
1056.50/264.80	c  N dy  4421   1349595        80      7120         0     56760     49840    808933     22.97     25.38  --
1080.44/270.88	c  N dy  4525   1371768        80      7120         0     77137     49840   1362874     22.98     24.21  --
1107.17/277.55	c  N dy  4565   1394534        80      7120         0     51265     49840    641736     22.97     24.19  --
1145.86/287.21	c  N dy  4622   1442003        80      7120         0     94250     49840   1769615     22.92     24.13  --
1163.07/291.53	c  N dy  4728   1462914        80      7120         0     66116     49840   1035869     22.94     24.21  --
1198.54/300.44	c  N dy  4796   1500871        80      7120         0     52265     49840    634838     22.91     24.26  --
1216.50/304.93	c  N dy  4915   1520911        80      7120         0     70693     49840   1138396     22.93     25.92  --
1240.04/310.87	c  N dy  5021   1540918        80      7120         0     89075     49840   1640498     22.94     26.07  --
1275.15/319.62	c  N dy  5110   1579543        80      7120         0     74739     49840   1214425     22.93     24.42  --
1297.09/325.18	c  N dy  5178   1599630        80      7120         0     93122     49840   1713999     22.94     26.51  --
1331.40/333.74	c  N dy  5202   1640351        80      7120         0     79804     49840   1318387     22.89     24.13  --
1355.35/339.80	c  N dy  5305   1660404        80      7120         0     98204     49840   1817487     22.90     24.83  --
1372.10/343.94	c  N dy  5327   1680665        80      7120         0     65677     49840    950809     22.89     24.16  --
1392.84/349.18	c  N dy  5409   1700694        80      7120         0     83928     49840   1442836     22.90     24.15  --
1405.22/352.23	c  S st  5439   1710848        80      7120         0     93149     49840   1688907     22.90     22.62  --
1406.02/352.49	c  S st  5439   1711351        80      7120         0     93621     49840   1702134     22.90   no data  --
1406.42/352.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1406.42/352.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1406.42/352.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1406.81/352.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1406.81/352.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.81/352.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1406.81/352.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1551.25/388.83	c lits-rem:      5711  cl-subs:     9293  v-elim:      0  v-fix:    0  time: 144.51 s
1551.25/388.83	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1551.25/388.85	c vivif2 --  cl tried    84328 cl shrink        0 lits rem          0 time: 0.07
1552.84/389.25	c asymm  cl-useful: 0/838/7120 lits-rem:0 time: 1.59
1552.84/389.25	c calculated reachability. Time: 0.00
1552.84/389.25	c  N dy  5439   1711351        80      7120         0     84328     49840   1446099     22.90   no data  --
1584.40/397.19	c  N dy  5510   1731423        80      7120         0    102668     49840   1937646     22.90     24.71  --
1605.52/402.40	c  N dy  5578   1751473        80      7120         0     69511     49840   1046882     22.90     24.22  --
1630.25/408.67	c  N dy  5628   1774070        80      7120         0     90136     49840   1599618     22.90     24.11  --
1660.97/416.39	c  N dy  5723   1794092        80      7120         0     55783     49840    658856     22.91     24.19  --
1688.90/423.36	c  N dy  5750   1821881        80      7120         0     80906     49840   1319842     22.89     24.11  --
1726.80/432.84	c  N dy  5894   1841938        80      7120         0     99344     49840   1827282     22.91     24.15  --
1756.32/440.27	c  N dy  5943   1862019        80      7120         0     63886     49840    851858     22.90     25.77  --
1791.83/449.17	c  N dy  5996   1891497        80      7120         0     90596     49840   1561795     22.89     24.12  --
1823.35/457.06	c  N dy  6058   1911511        80      7120         0    108851     49840   2049875     22.88     25.27  --
1844.09/462.20	c  N dy  6124   1931978        80      7120         0     73021     49840   1092202     22.88     24.10  --
1871.23/469.09	c  N dy  6206   1952427        80      7120         0     91726     49840   1599485     22.89     24.24  --
1911.93/479.27	c  N dy  6334   1975330        80      7120         0     57114     49840    643722     22.90     24.15  --
1933.88/484.70	c  N dy  6426   1995425        80      7120         0     75483     49840   1138516     22.90     25.42  --
1958.61/491.00	c  N dy  6525   2016018        80      7120         0     94366     49840   1652446     22.91     24.16  --
1989.73/498.70	c  N dy  6574   2040474        80      7120         0     59982     49840    703368     22.90     24.20  --
2010.47/503.98	c  N dy  6644   2063493        80      7120         0     80912     49840   1264204     22.90     24.20  --
2037.21/510.60	c  N dy  6735   2084146        80      7120         0     99831     49840   1778491     22.90     24.14  --
2067.93/518.36	c  N dy  6841   2104438        80      7120         0     60908     49840    715618     22.91     24.13  --
2088.71/523.60	c  N dy  6966   2124599        80      7120         0     79379     49840   1221277     22.93     24.18  --
2119.01/531.19	c  N dy  7099   2146565        80      7120         0     99587     49840   1776165     22.94     24.32  --
2155.31/540.26	c  N dy  7203   2166905        80      7120         0     59617     49840    662112     22.95     24.24  --
2174.86/545.18	c  N dy  7308   2187003        80      7120         0     78010     49840   1162553     22.96     26.93  --
2201.99/551.97	c  N dy  7394   2208765        80      7120         0     97939     49840   1703172     22.96     24.25  --
2205.98/552.90	c  S st  7405   2211352        80      7120         0    100293     49840   1766287     22.96     21.75  --
2206.78/553.20	c  S st  7405   2211855        80      7120         0    100763     49840   1779212     22.96   no data  --
2206.78/553.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2206.78/553.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2207.20/553.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2207.20/553.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2207.20/553.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2207.20/553.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2207.20/553.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2661.63/667.13	c lits-rem:      6109  cl-subs:     8232  v-elim:      0  v-fix:    0  time: 453.99 s
2661.63/667.13	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2661.63/667.15	c vivif2 --  cl tried    92531 cl shrink        0 lits rem          0 time: 0.08
2663.23/667.57	c asymm  cl-useful: 0/630/7120 lits-rem:0 time: 1.66
2663.23/667.57	c calculated reachability. Time: 0.00
2663.23/667.57	c  N dy  7405   2211855        80      7120         0     92531     49840   1540623     22.96   no data  --
2695.94/675.74	c  N dy  7462   2232035        80      7120         0    110926     49840   2033100     22.96     24.37  --
2726.26/683.30	c  N dy  7491   2257645        80      7120         0     75116     49840   1061476     22.95     24.19  --
2754.99/690.55	c  N dy  7597   2277731        80      7120         0     93479     49840   1562867     22.95     25.58  --
2787.30/698.60	c  N dy  7620   2300186        80      7120         0    113811     49840   2099882     22.95     24.19  --
2814.04/705.35	c  N dy  7691   2320201        80      7120         0     72080     49840    973729     22.95     25.77  --
2842.77/712.55	c  N dy  7797   2340915        80      7120         0     91178     49840   1495305     22.95     24.23  --
2875.88/720.85	c  N dy  7881   2360987        80      7120         0    109527     49840   1995010     22.96     24.26  --
2911.39/729.79	c  N dy  7941   2383166        80      7120         0     68565     49840    855474     22.95     24.21  --
2942.52/737.53	c  N dy  8009   2405977        80      7120         0     89361     49840   1414384     22.95     24.25  --
2980.82/747.15	c  N dy  8129   2426663        80      7120         0    108313     49840   1933070     22.96     24.38  --
3015.54/755.80	c  N dy  8162   2448130        80      7120         0     65814     49840    771822     22.96     24.39  --
3040.28/762.06	c  N dy  8244   2468336        80      7120         0     84231     49840   1273008     22.96     24.22  --
3073.39/770.35	c  N dy  8320   2493127        80      7120         0    106817     49840   1884316     22.96     24.23  --
3115.28/780.91	c  N dy  8377   2530415        80      7120         0     77759     49840   1070063     22.95     24.28  --
3140.42/787.13	c  N dy  8477   2550440        80      7120         0     96086     49840   1567541     22.95     25.94  --
3184.71/798.25	c  N dy  8557   2582551        80      7120         0    125390     49840   2353520     22.95     24.16  --
3210.65/804.76	c  N dy  8678   2604187        80      7120         0     81391     49840   1170903     22.95     24.18  --
3232.99/810.34	c  N dy  8721   2624274        80      7120         0     99716     49840   1662506     22.95     25.34  --
3259.72/817.09	c  N dy  8770   2644605        80      7120         0    118259     49840   2161532     22.95     24.32  --
3292.43/825.26	c  N dy  8821   2670015        80      7120         0     76636     49840   1015457     22.95     24.18  --
3321.57/832.58	c  N dy  8887   2692243        80      7120         0     96944     49840   1561877     22.95     24.42  --
3353.12/840.44	c  S st  8964   2711856        80      7120         0    114838     49840   2044318     22.95     21.89  --
3354.28/840.78	c  S st  8964   2712359        80      7120         0    115308     49840   2057460     22.95   no data  --
3354.28/840.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3354.28/840.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3354.68/840.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3355.08/840.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3355.08/840.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3355.08/840.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3355.08/840.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3959.55/992.48	c lits-rem:      5073  cl-subs:    11002  v-elim:      0  v-fix:    0  time: 604.59 s
3959.55/992.48	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3959.95/992.51	c vivif2 --  cl tried   104306 cl shrink        0 lits rem          0 time: 0.10
3961.95/993.00	c asymm  cl-useful: 0/556/7120 lits-rem:0 time: 1.96
3961.95/993.00	c calculated reachability. Time: 0.00
3961.95/993.00	c  N dy  8964   2712359        80      7120         0    104306     49840   1755328     22.95   no data  --
4005.43/1003.90	c  N dy  9046   2732622        80      7120         0    122855     49840   2254886     22.95     24.29  --
4040.14/1012.66	c  N dy  9153   2752623        80      7120         0     75917     49840    997841     22.95     26.17  --
4067.68/1019.55	c  N dy  9184   2773609        80      7120         0     94869     49840   1500179     22.95     24.17  --
4106.38/1029.29	c  N dy  9253   2794401        80      7120         0    113793     49840   2011238     22.95     24.16  --
4155.45/1041.51	c  N dy  9364   2814478        80      7120         0    132257     49840   2516799     22.96     24.22  --
4184.58/1048.89	c  N dy  9436   2834566        80      7120         0     84255     49840   1196756     22.96     27.52  --
4227.27/1059.53	c  N dy  9571   2857057        80      7120         0    104836     49840   1760747     22.97     24.29  --
4271.56/1070.68	c  N dy  9667   2877071        80      7120         0    123103     49840   2257285     22.97     24.25  --
4315.05/1081.58	c  N dy  9719   2898479        80      7120         0     75165     49840    934752     22.97     24.21  --
4346.96/1089.50	c  N dy  9767   2918752        80      7120         0     93652     49840   1426301     22.97     24.27  --
4461.47/1118.26	c  N dy  9849   2983711        80      7120         0     84130     49840   1149399     22.94     24.19  --
4502.17/1128.47	c  N dy  9979   3003769        80      7120         0    102494     49840   1653484     22.95     24.19  --
4544.45/1139.02	c  N dy 10039   3023826        80      7120         0    120774     49840   2144872     22.95     24.46  --
4587.55/1149.86	c  N dy 10071   3045037        80      7120         0     70952     49840    791162     22.94     24.18  --
4621.09/1158.24	c  N dy 10169   3065041        80      7120         0     89268     49840   1289798     22.95     24.26  --
4662.96/1168.72	c  N dy 10268   3085042        80      7120         0    107638     49840   1792533     22.95     25.34  --
4709.27/1180.38	c  N dy 10321   3107439        80      7120         0    127976     49840   2338333     22.95     24.27  --
4760.29/1193.12	c  N dy 10441   3127452        80      7120         0     76145     49840    918263     22.96     24.25  --
4788.60/1200.25	c  N dy 10484   3147608        80      7120         0     94466     49840   1407375     22.96     24.20  --

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-3368828-1305404045/watcher-3368828-1305404045 -o /tmp/evaluation-result-3368828-1305404045/solver-3368828-1305404045 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368828-1305404045.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: 5.87 7.54 7.84 3/313 18019
/proc/meminfo: memFree=15688320/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 412 0 0 0 0 0 0 0 19 0 4 0 730635163 52465664 352 33554432000 4194304 4650419 140735967344992 18446744073709551615 48005528651696 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 12809 352 303 112 0 7774 0
[pid=18019/tid=18022] ppid=18016 vsize=216536 CPUtime=0 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 4 0 730635164 221732864 1040 33554432000 4194304 4650419 140735967344992 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=216536 CPUtime=0 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 224 0 0 0 0 0 0 0 21 0 4 0 730635164 221732864 1043 33554432000 4194304 4650419 140735967344992 18446744073709551615 231895139173 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=216536 CPUtime=0 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 120 0 0 0 0 0 0 0 21 0 4 0 730635164 221732864 1045 33554432000 4194304 4650419 140735967344992 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0763881 s]
/proc/loadavg: 5.87 7.54 7.84 3/313 18019
/proc/meminfo: memFree=15688320/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=216996 CPUtime=0.27 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 1463 0 0 0 27 0 0 0 20 0 4 0 730635163 222203904 1384 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370643 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 54249 1384 366 112 0 49214 0
[pid=18019/tid=18022] ppid=18016 vsize=216996 CPUtime=0.06 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 233 0 0 0 6 0 0 0 21 0 4 0 730635164 222203904 1384 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=216996 CPUtime=0.06 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 250 0 0 0 6 0 0 0 21 0 4 0 730635164 222203904 1384 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=216996 CPUtime=0.06 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 316 0 0 0 6 0 0 0 21 0 4 0 730635164 222203904 1384 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 216996

[startup+0.100383 s]
/proc/loadavg: 5.87 7.54 7.84 3/313 18019
/proc/meminfo: memFree=15688320/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=216996 CPUtime=0.37 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 1521 0 0 0 37 0 0 0 20 0 4 0 730635163 222203904 1442 33554432000 4194304 4650419 140735967344992 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 54249 1442 366 112 0 49214 0
[pid=18019/tid=18022] ppid=18016 vsize=216996 CPUtime=0.08 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 237 0 0 0 8 0 0 0 21 0 4 0 730635164 222203904 1442 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=216996 CPUtime=0.09 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 253 0 0 0 9 0 0 0 21 0 4 0 730635164 222203904 1442 33554432000 4194304 4650419 140735967344992 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=216996 CPUtime=0.08 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 367 0 0 0 8 0 0 0 21 0 4 0 730635164 222203904 1442 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216996

[startup+0.300347 s]
/proc/loadavg: 5.87 7.54 7.84 3/313 18019
/proc/meminfo: memFree=15688320/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=221016 CPUtime=1.16 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 3844 0 0 0 116 0 0 0 18 0 4 0 730635163 226320384 3283 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 55254 3283 390 112 0 50219 0
[pid=18019/tid=18022] ppid=18016 vsize=221016 CPUtime=0.28 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 893 0 0 0 28 0 0 0 21 0 4 0 730635164 226320384 3283 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=221016 CPUtime=0.29 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 920 0 0 0 29 0 0 0 21 0 4 0 730635164 226320384 3283 33554432000 4194304 4650419 140735967344992 18446744073709551615 4334283 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=221016 CPUtime=0.28 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 757 0 0 0 28 0 0 0 18 0 4 0 730635164 226320384 3283 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 221016

[startup+0.700272 s]
/proc/loadavg: 5.87 7.54 7.84 3/313 18019
/proc/meminfo: memFree=15688320/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=222848 CPUtime=2.76 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 6229 0 0 0 276 0 0 0 18 0 4 0 730635163 228196352 3882 33554432000 4194304 4650419 140735967344992 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 55712 3883 390 112 0 50677 0
[pid=18019/tid=18022] ppid=18016 vsize=222848 CPUtime=0.68 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 1531 0 0 0 68 0 0 0 22 0 4 0 730635164 228196352 3883 33554432000 4194304 4650419 140735967344992 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=222848 CPUtime=0.69 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 1579 0 0 0 69 0 0 0 22 0 4 0 730635164 228196352 3883 33554432000 4194304 4650419 140735967344992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=222848 CPUtime=0.68 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 1210 0 0 0 68 0 0 0 18 0 4 0 730635164 228196352 3883 33554432000 4194304 4650419 140735967344992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 222848

[startup+1.50112 s]
/proc/loadavg: 6.12 7.56 7.85 9/323 18029
/proc/meminfo: memFree=15659476/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=231052 CPUtime=5.95 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 11636 0 0 0 594 1 0 0 19 0 4 0 730635163 236597248 6247 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 57763 6247 392 112 0 52728 0
[pid=18019/tid=18022] ppid=18016 vsize=231052 CPUtime=1.48 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 2490 0 0 0 148 0 0 0 25 0 4 0 730635164 236597248 6247 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=231052 CPUtime=1.49 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 2572 0 0 0 149 0 0 0 25 0 4 0 730635164 236597248 6247 33554432000 4194304 4650419 140735967344992 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=231052 CPUtime=1.47 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 2161 0 0 0 147 0 0 0 19 0 4 0 730635164 236597248 6247 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 231052

[startup+3.10083 s]
/proc/loadavg: 6.12 7.56 7.85 10/323 18029
/proc/meminfo: memFree=15625252/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=231336 CPUtime=12.34 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 19209 0 0 0 1232 2 0 0 24 0 4 0 730635163 236888064 11398 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 57834 11398 392 112 0 52799 0
[pid=18019/tid=18022] ppid=18016 vsize=231336 CPUtime=3.08 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 4150 0 0 0 308 0 0 0 25 0 4 0 730635164 236888064 11398 33554432000 4194304 4650419 140735967344992 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=231336 CPUtime=3.08 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 5395 0 0 0 308 0 0 0 25 0 4 0 730635164 236888064 11398 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=231336 CPUtime=3.06 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 5103 0 0 0 306 0 0 0 24 0 4 0 730635164 236888064 11398 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 231336

[startup+6.30023 s]
/proc/loadavg: 6.12 7.56 7.85 10/323 18029
/proc/meminfo: memFree=15570940/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=232996 CPUtime=25.1 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 28036 0 0 0 2507 3 0 0 25 0 4 0 730635163 238587904 15263 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 58249 15263 392 112 0 53214 0
[pid=18019/tid=18022] ppid=18016 vsize=232996 CPUtime=6.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 7524 0 0 0 628 1 0 0 25 0 4 0 730635164 238587904 15263 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=232996 CPUtime=6.27 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 7248 0 0 0 627 0 0 0 25 0 4 0 730635164 238587904 15263 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=232996 CPUtime=6.23 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 7055 0 0 0 622 1 0 0 25 0 4 0 730635164 238587904 15263 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 232996

[startup+12.701 s]
/proc/loadavg: 6.41 7.58 7.85 10/323 18029
/proc/meminfo: memFree=15530508/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=242972 CPUtime=50.63 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 40665 0 0 0 5057 6 0 0 25 0 4 0 730635163 248803328 20028 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 60743 20028 392 112 0 55708 0
[pid=18019/tid=18022] ppid=18016 vsize=242972 CPUtime=12.68 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 9878 0 0 0 1267 1 0 0 25 0 4 0 730635164 248803328 20028 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=242972 CPUtime=12.68 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 11135 0 0 0 1267 1 0 0 25 0 4 0 730635164 248803328 20028 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=242972 CPUtime=12.56 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 10888 0 0 0 1255 1 0 0 25 0 4 0 730635164 248803328 20028 33554432000 4194304 4650419 140735967344992 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 242972

[startup+25.5006 s]
/proc/loadavg: 6.72 7.61 7.86 10/323 18030
/proc/meminfo: memFree=15482668/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=263300 CPUtime=101.7 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 60354 0 0 0 10159 11 0 0 25 0 4 0 730635163 269619200 27712 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 65825 27712 392 112 0 60790 0
[pid=18019/tid=18022] ppid=18016 vsize=263300 CPUtime=25.49 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 15770 0 0 0 2546 3 0 0 25 0 4 0 730635164 269619200 27712 33554432000 4194304 4650419 140735967344992 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=263300 CPUtime=25.48 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 17137 0 0 0 2546 2 0 0 25 0 4 0 730635164 269619200 27712 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=263300 CPUtime=25.23 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 15436 0 0 0 2520 3 0 0 25 0 4 0 730635164 269619200 27712 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 263300

[startup+51.1009 s]
/proc/loadavg: 7.23 7.65 7.86 10/323 18030
/proc/meminfo: memFree=15435920/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=275948 CPUtime=203.85 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 89107 0 0 0 20366 19 0 0 25 0 4 0 730635163 282570752 31662 33554432000 4194304 4650419 140735967344992 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 68987 31662 392 112 0 63952 0
[pid=18019/tid=18022] ppid=18016 vsize=275948 CPUtime=51.08 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 25288 0 0 0 5103 5 0 0 25 0 4 0 730635164 282570752 31662 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=275948 CPUtime=51.07 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 26372 0 0 0 5102 5 0 0 25 0 4 0 730635164 282570752 31662 33554432000 4194304 4650419 140735967344992 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=275948 CPUtime=50.57 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 21857 0 0 0 5053 4 0 0 25 0 4 0 730635164 282570752 31662 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 275948

[startup+102.311 s]
/proc/loadavg: 7.81 7.74 7.88 10/323 18032
/proc/meminfo: memFree=15366944/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=281904 CPUtime=408.17 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 126100 0 0 0 40788 29 0 0 25 0 4 0 730635163 288669696 38875 33554432000 4194304 4650419 140735967344992 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 70476 38875 392 112 0 65441 0
[pid=18019/tid=18022] ppid=18016 vsize=281904 CPUtime=102.3 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 38025 0 0 0 10221 9 0 0 25 0 4 0 730635164 288669696 38875 33554432000 4194304 4650419 140735967344992 18446744073709551615 4432545 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=281904 CPUtime=102.28 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 36891 0 0 0 10221 7 0 0 25 0 4 0 730635164 288669696 38875 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=281904 CPUtime=101.27 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 29009 0 0 0 10121 6 0 0 25 0 4 0 730635164 288669696 38875 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 281904

[startup+162.3 s]

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

[pid=18019] ppid=18016 vsize=449644 CPUtime=2802.07 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 394023 0 0 0 280073 134 0 0 25 0 4 0 730635163 460435456 73738 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 112411 73738 392 112 0 107376 0
[pid=18019/tid=18022] ppid=18016 vsize=449644 CPUtime=702.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 113120 0 0 0 70191 38 0 0 25 0 4 0 730635164 460435456 73738 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=449644 CPUtime=702.19 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 112651 0 0 0 70183 36 0 0 25 0 4 0 730635164 460435456 73738 33554432000 4194304 4650419 140735967344992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=449644 CPUtime=695.26 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 103455 0 0 0 69489 37 0 0 25 0 4 0 730635164 460435456 73738 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.07
Current children cumulated vsize (KiB) 449644

[startup+762.312 s]
/proc/loadavg: 8.08 8.06 7.97 10/323 18049
/proc/meminfo: memFree=14998660/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=449564 CPUtime=3041.52 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 409912 0 0 0 304008 144 0 0 25 0 4 0 730635163 460353536 80964 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 112391 80964 392 112 0 107356 0
[pid=18019/tid=18022] ppid=18016 vsize=449564 CPUtime=762.3 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 113127 0 0 0 76192 38 0 0 25 0 4 0 730635164 460353536 80964 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=449564 CPUtime=762.2 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 119014 0 0 0 76180 40 0 0 25 0 4 0 730635164 460353536 80964 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=449564 CPUtime=754.67 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 108401 0 0 0 75427 40 0 0 25 0 4 0 730635164 460353536 80964 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.52
Current children cumulated vsize (KiB) 449564

[startup+822.3 s]
/proc/loadavg: 8.11 8.07 7.98 10/323 18051
/proc/meminfo: memFree=14926464/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=475936 CPUtime=3280.86 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 428407 0 0 0 327935 151 0 0 25 0 4 0 730635163 487358464 86749 33554432000 4194304 4650419 140735967344992 18446744073709551615 4313051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 118984 86749 392 112 0 113949 0
[pid=18019/tid=18022] ppid=18016 vsize=475936 CPUtime=822.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 118216 0 0 0 82189 40 0 0 25 0 4 0 730635164 487358464 86749 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=475936 CPUtime=822.17 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 125509 0 0 0 82174 43 0 0 25 0 4 0 730635164 487358464 86749 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=475936 CPUtime=814.08 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 112103 0 0 0 81366 42 0 0 25 0 4 0 730635164 487358464 86749 33554432000 4194304 4650419 140735967344992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.86
Current children cumulated vsize (KiB) 475936

[startup+882.301 s]
/proc/loadavg: 8.10 8.07 7.99 10/323 18053
/proc/meminfo: memFree=14969848/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=440060 CPUtime=3520.26 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 450487 0 0 0 351864 162 0 0 25 0 4 0 730635163 450621440 80850 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 110015 80850 392 112 0 104980 0
[pid=18019/tid=18022] ppid=18016 vsize=440060 CPUtime=882.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 124516 0 0 0 88184 45 0 0 25 0 4 0 730635164 450621440 80850 33554432000 4194304 4650419 140735967344992 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=440060 CPUtime=882.16 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 132396 0 0 0 88170 46 0 0 25 0 4 0 730635164 450621440 80850 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=440060 CPUtime=873.47 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 118423 0 0 0 87303 44 0 0 25 0 4 0 730635164 450621440 80850 33554432000 4194304 4650419 140735967344992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 440060

[startup+942.301 s]
/proc/loadavg: 8.03 8.06 7.99 10/323 18054
/proc/meminfo: memFree=14950232/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=453276 CPUtime=3759.66 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 465660 0 0 0 375798 168 0 0 25 0 4 0 730635163 464154624 81018 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 113319 81018 392 112 0 108284 0
[pid=18019/tid=18022] ppid=18016 vsize=453276 CPUtime=942.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 127962 0 0 0 94183 46 0 0 25 0 4 0 730635164 464154624 81018 33554432000 4194304 4650419 140735967344992 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=453276 CPUtime=942.16 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 138151 0 0 0 94168 48 0 0 25 0 4 0 730635164 464154624 81018 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=453276 CPUtime=932.88 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 124315 0 0 0 93241 47 0 0 25 0 4 0 730635164 464154624 81018 33554432000 4194304 4650419 140735967344992 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 453276

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 8.00 10/323 18056
/proc/meminfo: memFree=14923544/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=518872 CPUtime=3999.04 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 475236 0 0 0 399731 173 0 0 25 0 4 0 730635163 531324928 87171 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 129718 87171 392 112 0 124683 0
[pid=18019/tid=18022] ppid=18016 vsize=518872 CPUtime=1002.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 100182 47 0 0 25 0 4 0 730635164 531324928 87171 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=518872 CPUtime=1002.14 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 142415 0 0 0 100163 51 0 0 25 0 4 0 730635164 531324928 87171 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=518872 CPUtime=992.27 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 129196 0 0 0 99179 48 0 0 25 0 4 0 730635164 531324928 87171 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.04
Current children cumulated vsize (KiB) 518872

[startup+1062.3 s]
/proc/loadavg: 8.05 8.06 8.00 10/323 18057
/proc/meminfo: memFree=14885564/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=541052 CPUtime=4238.45 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 491892 0 0 0 423665 180 0 0 25 0 4 0 730635163 554037248 90613 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 135263 90613 392 112 0 130228 0
[pid=18019/tid=18022] ppid=18016 vsize=541052 CPUtime=1062.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 106182 47 0 0 25 0 4 0 730635164 554037248 90613 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=541052 CPUtime=1062.14 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 148292 0 0 0 106160 54 0 0 25 0 4 0 730635164 554037248 90613 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=541052 CPUtime=1051.68 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 134951 0 0 0 105119 49 0 0 25 0 4 0 730635164 554037248 90613 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.45
Current children cumulated vsize (KiB) 541052

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 8.00 9/323 18059
/proc/meminfo: memFree=14819944/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=553972 CPUtime=4477.83 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 500431 0 0 0 447599 184 0 0 25 0 4 0 730635163 567267328 98014 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 138493 98014 392 112 0 133458 0
[pid=18019/tid=18022] ppid=18016 vsize=553972 CPUtime=1122.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 112182 47 0 0 25 0 4 0 730635164 567267328 98014 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=553972 CPUtime=1122.13 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 151916 0 0 0 112158 55 0 0 25 0 4 0 730635164 567267328 98014 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=553972 CPUtime=1111.06 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 136171 0 0 0 111057 49 0 0 25 0 4 0 730635164 567267328 98014 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.83
Current children cumulated vsize (KiB) 553972

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 8.01 10/323 18061
/proc/meminfo: memFree=14811208/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=553972 CPUtime=4717.21 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 503358 0 0 0 471536 185 0 0 25 0 4 0 730635163 567267328 96444 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 138493 96444 392 112 0 133458 0
[pid=18019/tid=18022] ppid=18016 vsize=553972 CPUtime=1182.29 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 118182 47 0 0 25 0 4 0 730635164 567267328 96444 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=553972 CPUtime=1182.12 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 154150 0 0 0 118156 56 0 0 25 0 4 0 730635164 567267328 96444 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=553972 CPUtime=1170.45 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 136765 0 0 0 116996 49 0 0 25 0 4 0 730635164 567267328 96444 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.21
Current children cumulated vsize (KiB) 553972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.10 8.01 10/323 18061
/proc/meminfo: memFree=14799048/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=554484 CPUtime=4800.2 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 505534 0 0 0 479834 186 0 0 25 0 4 0 730635163 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 138621 97291 392 112 0 133586 0
[pid=18019/tid=18022] ppid=18016 vsize=554484 CPUtime=1203.11 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 120264 47 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=554484 CPUtime=1202.93 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 155154 0 0 0 120237 56 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=554484 CPUtime=1191.03 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 137774 0 0 0 119053 50 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 554484

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

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

[startup+1203.1 s]
/proc/loadavg: 8.16 8.10 8.01 10/323 18061
/proc/meminfo: memFree=14799048/32950928 swapFree=67085488/67111528
[pid=18019] ppid=18016 vsize=554484 CPUtime=4800.2 cores=0,2,4,6
/proc/18019/stat : 18019 (strangenight1-m) R 18016 18019 17424 0 -1 4202496 505534 0 0 0 479834 186 0 0 25 0 4 0 730635163 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18019/statm: 138621 97291 392 112 0 133586 0
[pid=18019/tid=18022] ppid=18016 vsize=554484 CPUtime=1203.11 cores=0,2,4,6
/proc/18019/task/18022/stat : 18022 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 128278 0 0 0 120264 47 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18019/tid=18023] ppid=18016 vsize=554484 CPUtime=1202.93 cores=0,2,4,6
/proc/18019/task/18023/stat : 18023 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 155154 0 0 0 120237 56 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18019/tid=18024] ppid=18016 vsize=554484 CPUtime=1191.03 cores=0,2,4,6
/proc/18019/task/18024/stat : 18024 (strangenight1-m) R 18016 18019 17424 0 -1 4202560 137774 0 0 0 119053 50 0 0 25 0 4 0 730635164 567791616 97291 33554432000 4194304 4650419 140735967344992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 554484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.27
CPU user time (s): 4798.39
CPU system time (s): 1.88871
CPU usage (%): 398.979
Max. virtual memory (cumulated for all children) (KiB): 554484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.39
system time used= 1.88871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505535
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= 467
involuntary context switches= 27177

runsolver used 3.45947 second user time and 8.66768 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-14 22:14:05
IDJOB=3368828
IDBENCH=82837
IDSOLVER=1846
FILE ID=node114/3368828-1305404045
RUNJOBID= node114-1305404045-18002
PBS_JOBID= 13324473
Free space on /tmp= 72980 MiB

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

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

MD5SUM BENCH= 32b0a38499f94b9537a6571015412ff0
RANDOM SEED=1289234492

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15688872 kB
Buffers:        275692 kB
Cached:        6224212 kB
SwapCached:         96 kB
Active:       11889832 kB
Inactive:      4963108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15688872 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           12100 kB
Writeback:           0 kB
AnonPages:    10352680 kB
Mapped:          26300 kB
Slab:           307468 kB
PageTables:      36544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52430368 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= 72968 MiB
End job on node114 at 2011-05-14 22:34:10