Trace number 3369088

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.08 1202.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf
MD5SUM6956d24237a9f7757ce3c5a1a338c9a6
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 variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369088-1305412055.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.81	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.77/0.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.81	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.81	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.81	c calculated reachability. Time: 0.00
0.77/0.81	c Calc default polars -  time:   0.00 s pos:      46 undec:       3 neg:      41
0.77/0.81	c =========================================================================================
0.77/0.81	c types(t): F = full restart, N = normal restart
0.77/0.81	c types(t): S = simplification begin/end, E = solution found
0.77/0.81	c restart types(rt): st = static, dy = dynamic
0.77/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.81	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.81	c  N dy    10      4562        90      8010         0      4220     56070    127484     25.71     27.09  --
0.77/0.81	c  N dy    16      9068        90      8010         0      6059     56070    166133     25.10     26.57  --
0.77/0.81	c  N dy    42     13126        90      8010         0      5914     56070    148525     25.63     27.45  --
0.77/1.01	c  N dy    53     17975        90      8010         0     10430     56070    283037     25.71     27.19  --
5.00/1.31	c  N dy    60     24329        90      8010         0     11090     56070    280582     25.37     26.71  --
5.00/1.31	c  F st    65     25000        90      8010         0     11724     56070    299363     25.40     25.19  --
5.97/1.50	c  N dy    71     30003        90      8010         0     10018     56070    233665     25.40   no data  --
5.97/1.50	c  S st    71     30003        90      8010         0     10018     56070    233665     25.40   no data  --
5.97/1.54	c  S st    71     30504        90      8010         0     10493     56070    247605     25.40   no data  --
5.97/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.77/2.75	c lits-rem:      1313  cl-subs:      732  v-elim:      0  v-fix:    0  time:  4.78 s
12.36/3.14	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.54
12.36/3.14	c calculated reachability. Time: 0.00
12.36/3.14	c  N dy    71     30504        90      8010         0      9761     56070    222906     25.40   no data  --
14.35/3.65	c  N dy    90     39097        90      8010         0     10401     56070    225465     25.30     26.68  --
15.97/4.06	c  N dy   107     45756        90      8010         0      8305     56070    148583     25.30     26.00  --
15.97/4.06	c  S st   107     45756        90      8010         0      8305     56070    148583     25.30     26.00  --
15.97/4.09	c  S st   107     46261        90      8010         0      8786     56070    162873     25.30   no data  --
15.97/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.97/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.97/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.97/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.97/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.97/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.97/4.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.06	c lits-rem:       222  cl-subs:       42  v-elim:      0  v-fix:    0  time:  3.81 s
19.94/5.06	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.06	c vivif2 --  cl tried     8744 cl shrink        0 lits rem          0 time: 0.01
21.13/5.35	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.16
21.13/5.35	c calculated reachability. Time: 0.00
21.13/5.35	c  N dy   107     46261        90      8010         0      8744     56070    161084     25.30   no data  --
22.34/5.69	c  N dy   127     52492        90      8010         0     14542     56070    331244     25.33     26.76  --
23.54/5.99	c  N dy   128     56675        90      8010         0     18382     56070    442274     25.23     26.87  --
24.75/6.23	c  N dy   139     60743        90      8010         0     12924     56070    266728     25.24     26.66  --
26.72/6.79	c  N dy   145     69391        90      8010         0     10740     56070    185760     25.01     23.59  --
26.72/6.79	c  S st   145     69391        90      8010         0     10740     56070    185760     25.01     23.59  --
27.12/6.82	c  S st   145     69897        90      8010         0     11224     56070    200695     25.01   no data  --
27.12/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.12/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.12/6.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.52/7.93	c lits-rem:       420  cl-subs:      137  v-elim:      0  v-fix:    0  time:  4.38 s
31.52/7.93	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.52/7.93	c vivif2 --  cl tried    11087 cl shrink        0 lits rem          0 time: 0.01
32.72/8.29	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.43
32.72/8.29	c calculated reachability. Time: 0.00
32.72/8.29	c  N dy   145     69897        90      8010         0     11087     56070    196004     25.01   no data  --
34.31/8.61	c  N dy   161     75064        90      8010         0     15874     56070    336825     25.04     26.42  --
35.92/9.04	c  N dy   192     80302        90      8010         0     20760     56070    481822     25.13     26.55  --
37.51/9.41	c  N dy   202     85558        90      8010         0     14504     56070    279139     25.13     26.48  --
37.93/9.53	c  F st   205     87501        90      8010         0     16309     56070    332723     25.13     24.59  --
39.50/9.92	c  N dy   211     92693        90      8010         0     21111     56070    476355     25.13   no data  --
41.50/10.43	c  N dy   227     99522        90      8010         0     15430     56070    287974     25.10     26.61  --
43.10/10.84	c  S st   259    104846        90      8010         0     20381     56070    434784     25.18   no data  --
43.50/10.90	c  S st   259    105350        90      8010         0     20857     56070    449057     25.18   no data  --
43.50/10.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.50/10.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.50/10.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.50/10.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.50/10.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.50/10.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.50/10.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.51/12.96	c lits-rem:      2959  cl-subs:     1386  v-elim:      0  v-fix:    0  time:  8.13 s
51.51/12.96	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.51/12.97	c vivif2 --  cl tried    19471 cl shrink        0 lits rem          0 time: 0.02
53.09/13.38	c asymm  cl-useful: 0/5561/8010 lits-rem:0 time: 1.64
53.09/13.38	c calculated reachability. Time: 0.00
53.09/13.38	c  N dy   259    105350        90      8010         0     19471     56070    402348     25.18   no data  --
55.50/14.00	c  N dy   284    112219        90      8010         0     25855     56070    590597     25.20     26.68  --
61.06/15.38	c  N dy   290    131097        90      8010         0     16436     56070    283103     24.95     26.35  --
64.28/16.16	c  N dy   317    141403        90      8010         0     26015     56070    563011     24.94     26.33  --
69.85/17.53	c  N dy   348    158027        90      8010         0     26588     56070    560616     24.85     22.45  --
69.85/17.53	c  S st   348    158027        90      8010         0     26588     56070    560616     24.85     22.45  --
70.25/17.60	c  S st   348    158529        90      8010         0     27066     56070    574719     24.85   no data  --
70.25/17.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
70.25/17.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.25/17.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
70.25/17.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.25/17.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.25/17.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
70.25/17.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.23/20.18	c lits-rem:      2767  cl-subs:     2666  v-elim:      0  v-fix:    0  time: 10.21 s
80.23/20.18	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.23/20.19	c vivif2 --  cl tried    24400 cl shrink        0 lits rem          0 time: 0.02
81.43/20.43	c asymm  cl-useful: 0/1969/8010 lits-rem:0 time: 0.97
81.43/20.43	c calculated reachability. Time: 0.00
81.43/20.43	c  N dy   348    158529        90      8010         0     24400     56070    495960     24.85   no data  --
89.42/22.41	c  N dy   374    182272        90      8010         0     30619     56070    651453     24.66     26.36  --
93.41/23.46	c  N dy   406    193924        90      8010         0     24843     56070    478684     24.66     26.21  --
99.41/24.98	c  N dy   473    207007        90      8010         0     19445     56070    302735     24.73     26.07  --
104.99/26.38	c  N dy   562    220301        90      8010         0     31788     56070    667189     24.82     26.98  --
110.58/27.77	c  N dy   620    234405        90      8010         0     26360     56070    491113     24.87     26.62  --
111.78/28.09	c  S st   623    237793        90      8010         0     29490     56070    582467     24.86     24.04  --
112.18/28.17	c  S st   623    238300        90      8010         0     29974     56070    597159     24.86   no data  --
112.18/28.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.18/28.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.18/28.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
112.18/28.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.18/28.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.18/28.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.18/28.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.76/31.07	c lits-rem:      2398  cl-subs:     2028  v-elim:      0  v-fix:    0  time: 11.45 s
123.76/31.07	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.76/31.08	c vivif2 --  cl tried    27946 cl shrink        0 lits rem          0 time: 0.02
124.56/31.27	c asymm  cl-useful: 0/2317/8010 lits-rem:0 time: 0.76
124.56/31.27	c calculated reachability. Time: 0.00
124.56/31.27	c  N dy   623    238300        90      8010         0     27946     56070    531467     24.86   no data  --
130.57/32.79	c  N dy   655    255034        90      8010         0     23962     56070    397433     24.80     26.39  --
142.92/35.82	c  N dy   667    287460        90      8010         0     33492     56070    661341     24.59     25.91  --
151.71/38.06	c  N dy   777    305971        90      8010         0     29547     56070    533726     24.67     26.10  --
151.71/38.09	c  F st   780    306250        90      8010         0     29809     56070    541780     24.67   no data  --
161.31/40.49	c  N dy   860    325997        90      8010         0     25920     56070    404936     24.72     26.19  --
171.66/43.06	c  N dy   967    346294        90      8010         0     44783     56070    959410     24.78     26.17  --
176.85/44.33	c  S st  1024    357450        90      8010         0     31981     56070    566586     24.81     23.30  --
177.25/44.42	c  S st  1024    357954        90      8010         0     32461     56070    581134     24.81   no data  --
177.25/44.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
177.25/44.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
177.25/44.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
177.25/44.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.25/44.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.25/44.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
177.25/44.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
189.63/47.52	c lits-rem:      1628  cl-subs:     1445  v-elim:      0  v-fix:    0  time: 12.26 s
189.63/47.52	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
189.63/47.53	c vivif2 --  cl tried    31016 cl shrink        0 lits rem          0 time: 0.03
191.23/47.93	c asymm  cl-useful: 0/1724/8010 lits-rem:0 time: 1.60
191.23/47.93	c calculated reachability. Time: 0.00
191.23/47.93	c  N dy  1024    357954        90      8010         0     31016     56070    532703     24.81   no data  --
208.39/52.26	c  N dy  1090    388379        90      8010         0     35016     56070    629578     24.79     26.11  --
220.77/55.31	c  N dy  1181    409317        90      8010         0     29477     56070    460420     24.83     26.18  --
236.74/59.36	c  N dy  1291    441165        90      8010         0     32961     56070    538979     24.84     26.18  --
251.52/63.09	c  N dy  1382    469677        90      8010         0     32522     56070    509998     24.86     26.26  --
262.33/65.78	c  N dy  1467    489711        90      8010         0     51045     56070   1056041     24.89     27.63  --
273.88/68.62	c  N dy  1571    509796        90      8010         0     42031     56070    771802     24.92     26.75  --
287.06/71.91	c  N dy  1679    529860        90      8010         0     31943     56070    454755     24.97     27.62  --
290.64/72.83	c  S st  1729    536932        90      8010         0     38516     56070    650926     24.99     24.98  --
291.04/72.93	c  S st  1729    537434        90      8010         0     38988     56070    665035     24.99   no data  --
291.04/72.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
291.04/72.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
291.04/72.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
291.04/72.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
291.04/72.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
291.04/72.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
291.04/72.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
305.84/76.61	c lits-rem:      1279  cl-subs:     1585  v-elim:      0  v-fix:    0  time: 14.54 s
305.84/76.61	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
305.84/76.61	c vivif2 --  cl tried    37403 cl shrink        0 lits rem          0 time: 0.03
306.62/76.84	c asymm  cl-useful: 0/1446/8010 lits-rem:0 time: 0.90
306.62/76.84	c calculated reachability. Time: 0.00
306.62/76.84	c  N dy  1729    537434        90      8010         0     37403     56070    611163     24.99   no data  --
319.42/80.05	c  N dy  1836    557489        90      8010         0     56011     56070   1162422     25.03     27.24  --
331.37/83.08	c  N dy  1899    580545        90      8010         0     47660     56070    894884     25.03     26.38  --
344.55/86.38	c  N dy  1985    600556        90      8010         0     35645     56070    527626     25.05     29.03  --
356.52/89.32	c  N dy  2069    620640        90      8010         0     54306     56070   1077984     25.06     28.51  --
371.72/93.18	c  N dy  2173    641289        90      8010         0     41942     56070    692065     25.09     26.60  --
386.47/96.88	c  N dy  2283    661346        90      8010         0     60591     56070   1245505     25.13     26.47  --
399.64/100.16	c  N dy  2388    681563        90      8010         0     46906     56070    824533     25.16     26.52  --
414.82/103.96	c  N dy  2416    701764        90      8010         0     65443     56070   1362552     25.13     26.46  --
427.60/107.10	c  N dy  2455    721869        90      8010         0     50644     56070    911291     25.13     26.48  --
442.76/110.96	c  N dy  2540    741918        90      8010         0     35033     56070    439079     25.14     28.89  --
455.16/114.05	c  N dy  2592    763985        90      8010         0     55436     56070   1038332     25.13     26.63  --
467.93/117.22	c  N dy  2596    785160        90      8010         0     39840     56070    558981     25.09     26.58  --
481.10/120.53	c  N dy  2696    805334        90      8010         0     58557     56070   1117147     25.12     26.46  --
481.92/120.71	c  S st  2702    806153        90      8010         0     59332     56070   1140374     25.12   no data  --
482.30/120.88	c  S st  2702    806658        90      8010         0     59801     56070   1154449     25.12   no data  --
482.30/120.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
482.30/120.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.70/120.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
482.70/120.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
482.70/120.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.70/120.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
482.70/120.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
528.21/132.30	c lits-rem:      2761  cl-subs:     4211  v-elim:      0  v-fix:    0  time: 45.32 s
528.21/132.30	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
528.21/132.31	c vivif2 --  cl tried    55590 cl shrink        0 lits rem          0 time: 0.05
529.41/132.60	c asymm  cl-useful: 0/969/8010 lits-rem:0 time: 1.14
529.41/132.60	c calculated reachability. Time: 0.00
529.41/132.60	c  N dy  2702    806658        90      8010         0     55590     56070   1020328     25.12   no data  --
544.97/136.56	c  N dy  2773    826931        90      8010         0     38456     56070    502788     25.13     26.49  --
556.95/139.59	c  N dy  2846    847256        90      8010         0     57292     56070   1061266     25.14     26.50  --
573.33/143.65	c  N dy  2883    870429        90      8010         0     41734     56070    573069     25.12     26.52  --
587.70/147.23	c  N dy  2953    892375        90      8010         0     62019     56070   1168848     25.12     26.67  --
604.48/151.41	c  N dy  3050    912471        90      8010         0     42781     56070    590152     25.14     30.22  --
618.44/154.96	c  N dy  3159    932510        90      8010         0     61368     56070   1141459     25.16     27.46  --
636.40/159.46	c  N dy  3227    952792        90      8010         0     41272     56070    523879     25.16     26.72  --
649.98/162.83	c  N dy  3295    973630        90      8010         0     60636     56070   1097884     25.17     26.77  --
717.46/179.78	c  F st  3379   1071880        90      8010         0     70046     56070   1318996     24.97     23.33  --
717.46/179.78	c  N st  3379   1071880        90      8010         0     70046     56070   1318996     24.97     23.33  --
737.42/184.73	c  N dy  3442   1095534        90      8010         0     50730     56070    757381     24.97     26.36  --
753.81/188.87	c  N dy  3542   1116622        90      8010         0     70208     56070   1336411     24.99     26.46  --
772.56/193.58	c  N dy  3599   1137675        90      8010         0     47418     56070    639219     24.98     26.31  --
791.32/198.28	c  N dy  3711   1157744        90      8010         0     65967     56070   1190725     25.00     27.68  --
817.28/204.78	c  N dy  3841   1177812        90      8010         0     84605     56070   1747472     25.03     26.44  --
848.03/212.50	c  N dy  3914   1208420        90      8010         0     69394     56070   1252821     25.02     26.39  --
850.03/212.96	c  S st  3916   1209987        90      8010         0     70833     56070   1294023     25.01   no data  --
851.22/213.21	c  S st  3916   1210488        90      8010         0     71303     56070   1308255     25.01   no data  --
851.22/213.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
851.22/213.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.22/213.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
851.62/213.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.62/213.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.62/213.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
851.62/213.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
935.07/234.26	c lits-rem:      4156  cl-subs:     5911  v-elim:      0  v-fix:    0  time: 83.63 s
935.07/234.26	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
935.07/234.27	c vivif2 --  cl tried    65392 cl shrink        0 lits rem          0 time: 0.06
936.67/234.66	c asymm  cl-useful: 0/850/8010 lits-rem:0 time: 1.54
936.67/234.66	c calculated reachability. Time: 0.00
936.67/234.66	c  N dy  3916   1210488        90      8010         0     65392     56070   1131654     25.01   no data  --
959.43/240.36	c  N dy  4025   1230546        90      8010         0     83991     56070   1685072     25.03     26.49  --
978.21/245.02	c  N dy  4167   1250632        90      8010         0     58546     56070    936807     25.06     26.42  --
1000.55/250.62	c  N dy  4278   1270657        90      8010         0     77107     56070   1488865     25.08     27.45  --
1026.89/257.20	c  N dy  4405   1291117        90      8010         0     50838     56070    681473     25.10     26.53  --
1044.86/261.71	c  N dy  4482   1311388        90      8010         0     69606     56070   1239065     25.10     26.55  --
1073.61/268.96	c  N dy  4545   1335978        90      8010         0     92300     56070   1907319     25.10     26.49  --
1091.99/273.59	c  N dy  4595   1357657        90      8010         0     66104     56070   1109020     25.09     26.47  --
1114.36/279.15	c  N dy  4670   1378199        90      8010         0     85135     56070   1673544     25.10     26.71  --
1135.50/284.49	c  N dy  4796   1398288        90      8010         0     56622     56070    818416     25.12     29.97  --
1155.86/289.51	c  N dy  4876   1421676        90      8010         0     78153     56070   1453922     25.13     26.54  --
1179.83/295.51	c  N dy  4956   1442035        90      8010         0     48926     56070    566599     25.14     26.52  --
1196.59/299.76	c  N dy  5018   1464854        90      8010         0     70028     56070   1186476     25.14     26.50  --
1222.54/306.28	c  N dy  5113   1488836        90      8010         0     92212     56070   1840996     25.15     26.58  --
1241.73/311.06	c  N dy  5187   1508845        90      8010         0     61703     56070    924996     25.15     28.43  --
1267.67/317.55	c  N dy  5296   1535289        90      8010         0     86182     56070   1648234     25.16     26.50  --
1289.22/322.98	c  N dy  5348   1555299        90      8010         0     54706     56070    699836     25.16     26.63  --
1359.09/340.40	c  N dy  5421   1638107        90      8010         0     79782     56070   1401704     25.08     26.41  --
1385.85/347.20	c  N dy  5544   1658215        90      8010         0     98458     56070   1958231     25.09     26.44  --
1417.42/355.04	c  N dy  5651   1690536        90      8010         0     76836     56070   1319792     25.09     26.54  --
1440.14/360.75	c  S st  5728   1710489        90      8010         0     95208     56070   1862804     25.09   no data  --
1441.34/361.02	c  S st  5728   1710993        90      8010         0     95680     56070   1876780     25.09   no data  --
1441.34/361.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1441.34/361.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1441.34/361.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1441.73/361.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.73/361.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.73/361.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1441.73/361.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1579.51/395.66	c lits-rem:      5168  cl-subs:     8259  v-elim:      0  v-fix:    0  time: 137.75 s
1579.51/395.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1579.51/395.68	c vivif2 --  cl tried    87421 cl shrink        0 lits rem          0 time: 0.08
1581.08/396.04	c asymm  cl-useful: 0/634/8010 lits-rem:0 time: 1.43
1581.08/396.04	c calculated reachability. Time: 0.00
1581.08/396.04	c  N dy  5728   1710993        90      8010         0     87421     56070   1619976     25.09   no data  --
1612.63/403.96	c  N dy  5836   1736278        90      8010         0     58580     56070    763980     25.10     26.44  --
1631.79/408.80	c  N dy  5933   1756329        90      8010         0     77103     56070   1313981     25.11     26.58  --
1660.53/415.96	c  N dy  6026   1778120        90      8010         0     97239     56070   1910584     25.12     26.44  --
1688.49/422.96	c  N dy  6140   1798164        90      8010         0     62425     56070    862814     25.13     27.10  --
1717.64/430.25	c  N dy  6208   1827100        90      8010         0     89054     56070   1642048     25.12     26.57  --
1752.38/438.92	c  N dy  6238   1862250        90      8010         0     66994     56070    968099     25.09     26.49  --
1772.34/443.97	c  N dy  6341   1882276        90      8010         0     85587     56070   1522064     25.10     27.53  --
1797.49/450.25	c  N dy  6425   1902306        90      8010         0    104150     56070   2073630     25.11     26.52  --
1821.07/456.13	c  N dy  6531   1922338        90      8010         0     67335     56070    969458     25.12     28.08  --
1842.21/461.44	c  N dy  6587   1945044        90      8010         0     88225     56070   1578139     25.11     26.45  --
1876.15/469.91	c  N dy  6606   1978794        90      8010         0     62953     56070    812690     25.08     26.51  --
1896.14/474.92	c  N dy  6716   1998816        90      8010         0     81543     56070   1370262     25.09     28.70  --
1922.08/481.48	c  N dy  6824   2018861        90      8010         0    100141     56070   1923671     25.10     26.46  --
1949.21/488.29	c  N dy  6907   2039036        90      8010         0     61533     56070    757554     25.11     26.49  --
1966.77/492.69	c  N dy  6984   2059050        90      8010         0     80018     56070   1306842     25.12     27.05  --
1992.35/499.04	c  N dy  7084   2079150        90      8010         0     98568     56070   1860663     25.13     27.06  --
2020.28/506.04	c  N dy  7140   2099203        90      8010         0     58916     56070    663451     25.12     28.64  --
2047.04/512.77	c  N dy  7211   2127009        90      8010         0     84567     56070   1417514     25.12     26.48  --
2073.79/519.45	c  N dy  7299   2147084        90      8010         0    103129     56070   1967451     25.13     28.42  --
2101.34/526.37	c  N dy  7339   2167122        90      8010         0     62541     56070    750408     25.13     27.30  --
2123.30/531.85	c  N dy  7411   2189180        90      8010         0     82941     56070   1351832     25.13     26.46  --
2148.45/538.19	c  N dy  7504   2209274        90      8010         0    101485     56070   1904119     25.14     26.67  --
2151.24/538.81	c  S st  7514   2210996        90      8010         0    103080     56070   1951965     25.14     24.80  --
2152.44/539.11	c  S st  7514   2211497        90      8010         0    103549     56070   1965911     25.14   no data  --
2152.44/539.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2152.44/539.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2152.44/539.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2152.84/539.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2152.84/539.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2152.84/539.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2152.84/539.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2590.44/648.87	c lits-rem:      5295  cl-subs:     7767  v-elim:      0  v-fix:    0  time: 437.58 s
2590.44/648.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2590.44/648.89	c vivif2 --  cl tried    95782 cl shrink        0 lits rem          0 time: 0.08
2592.04/649.23	c asymm  cl-useful: 0/807/8010 lits-rem:0 time: 1.35
2592.04/649.23	c calculated reachability. Time: 0.00
2592.04/649.23	c  N dy  7514   2211497        90      8010         0     95782     56070   1716316     25.14   no data  --
2624.39/657.34	c  N dy  7634   2233012        90      8010         0    115705     56070   2311491     25.15     26.50  --
2645.14/662.56	c  N dy  7708   2253079        90      8010         0     74489     56070   1091460     25.15     27.86  --
2669.89/668.72	c  N dy  7787   2274931        90      8010         0     94684     56070   1690759     25.16     26.63  --
2716.61/680.45	c  N dy  7858   2315797        90      8010         0     71480     56070    972878     25.14     26.50  --
2738.57/685.91	c  N dy  7946   2335812        90      8010         0     90060     56070   1523786     25.14     27.48  --
2789.68/698.78	c  N dy  8053   2372888        90      8010         0     62448     56070    693153     25.14     26.63  --
2811.64/704.22	c  N dy  8127   2394694        90      8010         0     82518     56070   1280094     25.13     26.50  --
2840.01/711.32	c  N dy  8270   2414717        90      8010         0    101057     56070   1840098     25.15     28.37  --
2877.12/720.66	c  N dy  8395   2434801        90      8010         0    119696     56070   2397937     25.16     27.44  --
2906.29/727.98	c  N dy  8498   2454865        90      8010         0     75471     56070   1062831     25.17     26.51  --
2927.84/733.32	c  N dy  8570   2474965        90      8010         0     94117     56070   1617144     25.17     26.64  --
2956.57/740.53	c  N dy  8674   2494995        90      8010         0    112636     56070   2169738     25.17     27.13  --
2990.11/748.95	c  N dy  8785   2515066        90      8010         0     67382     56070    801854     25.18     29.27  --
3011.29/754.30	c  N dy  8880   2535109        90      8010         0     85940     56070   1356110     25.19     27.31  --
3040.42/761.51	c  N dy  8999   2555200        90      8010         0    104541     56070   1913040     25.20     27.35  --
3071.56/769.30	c  N dy  9072   2575247        90      8010         0    123128     56070   2463870     25.20     28.77  --
3099.91/776.45	c  N dy  9138   2599071        90      8010         0     80380     56070   1162163     25.20     26.56  --
3127.86/783.48	c  N dy  9238   2619689        90      8010         0     99434     56070   1729810     25.21     26.63  --
3163.40/792.39	c  N dy  9342   2639939        90      8010         0    118153     56070   2288637     25.21     26.75  --
3193.74/799.94	c  N dy  9418   2660038        90      8010         0     71123     56070    876049     25.22     26.59  --
3213.73/804.99	c  N dy  9470   2680080        90      8010         0     89585     56070   1419238     25.22     26.99  --
3243.25/812.33	c  N dy  9557   2701436        90      8010         0    109383     56070   2006661     25.22     26.58  --
3258.01/816.01	c  S st  9579   2711498        90      8010         0    118668     56070   2281054     25.22   no data  --
3259.21/816.35	c  S st  9579   2712001        90      8010         0    119144     56070   2295475     25.22   no data  --
3259.21/816.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3259.21/816.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3259.61/816.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.25
3259.61/816.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3259.61/816.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3259.61/816.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3259.61/816.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4042.20/1012.45	c lits-rem:      5435  cl-subs:    10115  v-elim:      0  v-fix:    0  time: 782.16 s
4042.20/1012.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4042.20/1012.48	c vivif2 --  cl tried   109029 cl shrink        0 lits rem          0 time: 0.11
4044.19/1012.96	c asymm  cl-useful: 0/632/8010 lits-rem:0 time: 1.91
4044.19/1012.96	c calculated reachability. Time: 0.00
4044.19/1012.96	c  N dy  9579   2712001        90      8010         0    109029     56070   1975800     25.22   no data  --
4089.31/1024.24	c  N dy  9659   2732114        90      8010         0    127575     56070   2528621     25.23     26.59  --
4176.34/1046.09	c  N dy  9702   2789725        90      8010         0    114179     56070   2113820     25.18     26.61  --
4240.23/1062.04	c  N dy  9799   2820941        90      8010         0     75857     56070    983658     25.18     26.57  --
4296.53/1076.13	c  N dy  9926   2855172        90      8010         0    107280     56070   1910440     25.18     26.58  --
4346.04/1088.59	c  N dy  9990   2880468        90      8010         0    130500     56070   2592777     25.18     26.66  --
4379.97/1097.09	c  N dy 10030   2900492        90      8010         0     80996     56070   1120896     25.18     26.57  --
4413.11/1105.39	c  N dy 10092   2920588        90      8010         0     99522     56070   1670200     25.18     27.61  --
4461.82/1117.55	c  N dy 10205   2943947        90      8010         0    121109     56070   2315749     25.19     26.62  --
4511.33/1129.99	c  N dy 10305   2964055        90      8010         0     70668     56070    797786     25.19     26.53  --
4541.28/1137.45	c  N dy 10379   2984102        90      8010         0     89151     56070   1346001     25.19     28.23  --
4582.40/1147.73	c  N dy 10434   3008519        90      8010         0    111515     56070   2005293     25.19     26.55  --
4633.51/1160.51	c  N dy 10568   3028520        90      8010         0    130094     56070   2567099     25.20     28.83  --
4674.64/1170.88	c  N dy 10661   3048576        90      8010         0     78584     56070   1012050     25.21     26.60  --
4703.38/1178.03	c  N dy 10747   3069103        90      8010         0     97570     56070   1578878     25.21     26.54  --
4736.93/1186.47	c  N dy 10841   3089136        90      8010         0    116074     56070   2133126     25.22     26.72  --
4779.65/1197.16	c  N dy 10981   3109539        90      8010         0    134975     56070   2704668     25.23     26.81  --

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-3369088-1305412055/watcher-3369088-1305412055 -o /tmp/evaluation-result-3369088-1305412055/solver-3369088-1305412055 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369088-1305412055.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 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 652805341 52465664 353 33554432000 4194304 4650419 140736893853504 18446744073709551615 47865376040872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 12809 353 303 112 0 7774 0
[pid=4016/tid=4017] ppid=4014 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652805341 52465664 353 33554432000 4194304 4650419 140736893853504 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652805341 52465664 353 33554432000 4194304 4650419 140736893853504 18446744073709551615 47865376040876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652805341 52465664 353 33554432000 4194304 4650419 140736893853504 18446744073709551615 47865376040876 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.158466 s]
/proc/loadavg: 8.12 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=282472 CPUtime=0.6 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 1723 0 0 0 60 0 0 0 18 0 4 0 652805341 289251328 1628 33554432000 4194304 4650419 140736893853504 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 70618 1628 366 112 0 65583 0
[pid=4016/tid=4017] ppid=4014 vsize=282472 CPUtime=0.14 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 274 0 0 0 14 0 0 0 25 0 4 0 652805341 289251328 1628 33554432000 4194304 4650419 140736893853504 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=282472 CPUtime=0.15 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 269 0 0 0 15 0 0 0 25 0 4 0 652805341 289251328 1628 33554432000 4194304 4650419 140736893853504 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=282472 CPUtime=0.15 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 484 0 0 0 15 0 0 0 18 0 4 0 652805341 289251328 1628 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282472

[startup+0.200459 s]
/proc/loadavg: 8.12 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=284548 CPUtime=0.77 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 2541 0 0 0 77 0 0 0 18 0 4 0 652805341 291377152 1956 33554432000 4194304 4650419 140736893853504 18446744073709551615 4457430 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 71137 1960 378 112 0 66102 0
[pid=4016/tid=4017] ppid=4014 vsize=284548 CPUtime=0.18 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 409 0 0 0 18 0 0 0 25 0 4 0 652805341 291377152 1963 33554432000 4194304 4650419 140736893853504 18446744073709551615 248089358661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=284548 CPUtime=0.19 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 574 0 0 0 19 0 0 0 25 0 4 0 652805341 291377152 1967 33554432000 4194304 4650419 140736893853504 18446744073709551615 248089394955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=284548 CPUtime=0.19 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 753 0 0 0 19 0 0 0 18 0 4 0 652805341 291377152 1973 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284548

[startup+0.398429 s]
/proc/loadavg: 8.12 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=287732 CPUtime=4.2 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 8779 0 0 0 418 2 0 0 19 0 4 0 652805341 294637568 4541 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 71933 4541 390 112 0 66898 0
[pid=4016/tid=4017] ppid=4014 vsize=287732 CPUtime=1.04 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2243 0 0 0 104 0 0 0 19 0 4 0 652805341 294637568 4541 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=287732 CPUtime=1.04 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2134 0 0 0 104 0 0 0 25 0 4 0 652805341 294637568 4541 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=287732 CPUtime=1.05 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 1775 0 0 0 105 0 0 0 19 0 4 0 652805341 294637568 4541 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 287732

[startup+1.15829 s]
/proc/loadavg: 8.12 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=288000 CPUtime=4.6 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 9299 0 0 0 458 2 0 0 19 0 4 0 652805341 294912000 4619 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 72000 4619 391 112 0 66965 0
[pid=4016/tid=4017] ppid=4014 vsize=288000 CPUtime=1.14 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2303 0 0 0 114 0 0 0 19 0 4 0 652805341 294912000 4619 33554432000 4194304 4650419 140736893853504 18446744073709551615 4360535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=288000 CPUtime=1.14 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2202 0 0 0 114 0 0 0 25 0 4 0 652805341 294912000 4619 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=288000 CPUtime=1.15 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2101 0 0 0 115 0 0 0 19 0 4 0 652805341 294912000 4619 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 288000

[startup+1.50023 s]
/proc/loadavg: 8.12 7.91 5.85 5/232 4016
/proc/meminfo: memFree=18909052/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=288760 CPUtime=5.97 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 10975 0 0 0 595 2 0 0 19 0 4 0 652805341 295690240 4981 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 72190 4981 391 112 0 67155 0
[pid=4016/tid=4017] ppid=4014 vsize=288760 CPUtime=1.48 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2773 0 0 0 148 0 0 0 19 0 4 0 652805341 295690240 4981 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=288760 CPUtime=1.48 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2694 0 0 0 148 0 0 0 25 0 4 0 652805341 295690240 4981 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=288760 CPUtime=1.49 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 2334 0 0 0 149 0 0 0 20 0 4 0 652805341 295690240 4981 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288760

[startup+3.10095 s]
/proc/loadavg: 8.11 7.91 5.86 9/236 4020
/proc/meminfo: memFree=18858424/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=289220 CPUtime=12.36 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 20751 0 0 0 1232 4 0 0 24 0 4 0 652805341 296161280 12546 33554432000 4194304 4650419 140736893853504 18446744073709551615 4370554 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 72305 12546 392 112 0 67270 0
[pid=4016/tid=4017] ppid=4014 vsize=289220 CPUtime=3.07 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 4555 0 0 0 306 1 0 0 24 0 4 0 652805341 296161280 12546 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=289220 CPUtime=3.08 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 5788 0 0 0 308 0 0 0 25 0 4 0 652805341 296161280 12546 33554432000 4194304 4650419 140736893853504 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=289220 CPUtime=3.08 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 5546 0 0 0 308 0 0 0 25 0 4 0 652805341 296161280 12546 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 289220

[startup+6.30838 s]
/proc/loadavg: 8.11 7.91 5.86 9/236 4020
/proc/meminfo: memFree=18843964/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=281420 CPUtime=25.16 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 30325 0 0 0 2510 6 0 0 25 0 4 0 652805341 288174080 15679 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 70355 15679 392 112 0 65320 0
[pid=4016/tid=4017] ppid=4014 vsize=281420 CPUtime=6.25 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 8138 0 0 0 623 2 0 0 25 0 4 0 652805341 288174080 15679 33554432000 4194304 4650419 140736893853504 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=281420 CPUtime=6.29 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 7634 0 0 0 628 1 0 0 25 0 4 0 652805341 288174080 15679 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=281420 CPUtime=6.29 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 7728 0 0 0 628 1 0 0 25 0 4 0 652805341 288174080 15679 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 281420

[startup+12.7003 s]
/proc/loadavg: 8.10 7.92 5.87 9/236 4020
/proc/meminfo: memFree=18809252/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=302212 CPUtime=50.68 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 44039 0 0 0 5059 9 0 0 25 0 4 0 652805341 309465088 23598 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 75553 23598 392 112 0 70518 0
[pid=4016/tid=4017] ppid=4014 vsize=302212 CPUtime=12.6 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 10538 0 0 0 1258 2 0 0 25 0 4 0 652805341 309465088 23598 33554432000 4194304 4650419 140736893853504 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=302212 CPUtime=12.68 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 11067 0 0 0 1266 2 0 0 25 0 4 0 652805341 309465088 23598 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=302212 CPUtime=12.69 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 11896 0 0 0 1267 2 0 0 25 0 4 0 652805341 309465088 23598 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 302212

[startup+25.501 s]
/proc/loadavg: 8.08 7.92 5.90 9/236 4021
/proc/meminfo: memFree=18784448/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=322872 CPUtime=101.8 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 63643 0 0 0 10166 14 0 0 25 0 4 0 652805341 330620928 30101 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 80718 30101 392 112 0 75683 0
[pid=4016/tid=4017] ppid=4014 vsize=322872 CPUtime=25.3 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 14367 0 0 0 2527 3 0 0 25 0 4 0 652805341 330620928 30101 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=322872 CPUtime=25.49 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 16324 0 0 0 2546 3 0 0 25 0 4 0 652805341 330620928 30101 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=322872 CPUtime=25.49 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 16612 0 0 0 2546 3 0 0 25 0 4 0 652805341 330620928 30101 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 322872

[startup+51.1005 s]
/proc/loadavg: 8.17 7.95 5.97 9/236 4021
/proc/meminfo: memFree=18764092/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=294380 CPUtime=204.01 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 95738 0 0 0 20380 21 0 0 25 0 4 0 652805341 301445120 34458 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 73595 34458 392 112 0 68560 0
[pid=4016/tid=4017] ppid=4014 vsize=294380 CPUtime=50.71 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 20836 0 0 0 5066 5 0 0 25 0 4 0 652805341 301445120 34458 33554432000 4194304 4650419 140736893853504 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=294380 CPUtime=51.08 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 25852 0 0 0 5103 5 0 0 25 0 4 0 652805341 301445120 34458 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=294380 CPUtime=51.08 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 25624 0 0 0 5104 4 0 0 25 0 4 0 652805341 301445120 34459 33554432000 4194304 4650419 140736893853504 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 294380

[startup+102.3 s]
/proc/loadavg: 8.20 7.99 6.08 9/236 4023
/proc/meminfo: memFree=18733892/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=361440 CPUtime=408.42 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 143589 0 0 0 40805 37 0 0 25 0 4 0 652805341 370114560 41867 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 90360 41867 392 112 0 85325 0
[pid=4016/tid=4017] ppid=4014 vsize=361440 CPUtime=101.54 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 32132 0 0 0 10145 9 0 0 25 0 4 0 652805341 370114560 41867 33554432000 4194304 4650419 140736893853504 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=361440 CPUtime=102.28 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 41168 0 0 0 10218 10 0 0 25 0 4 0 652805341 370114560 41867 33554432000 4194304 4650419 140736893853504 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=361440 CPUtime=102.28 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 37953 0 0 0 10220 8 0 0 25 0 4 0 652805341 370114560 41867 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (KiB) 361440

[startup+162.301 s]

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

[pid=4016] ppid=4014 vsize=498516 CPUtime=2564.49 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 438147 0 0 0 256300 149 0 0 25 0 4 0 652805341 510480384 72957 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 124629 72957 392 112 0 119594 0
[pid=4016/tid=4017] ppid=4014 vsize=498516 CPUtime=637.56 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 100079 0 0 0 63721 35 0 0 25 0 4 0 652805341 510480384 72957 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=498516 CPUtime=642.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 117062 0 0 0 64190 40 0 0 25 0 4 0 652805341 510480384 72957 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=498516 CPUtime=642.29 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 118337 0 0 0 64187 42 0 0 25 0 4 0 652805341 510480384 72957 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.49
Current children cumulated vsize (KiB) 498516

[startup+702.3 s]
/proc/loadavg: 8.09 8.06 7.01 9/236 4070
/proc/meminfo: memFree=18424844/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=445744 CPUtime=2804.06 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 467327 0 0 0 280245 161 0 0 25 0 4 0 652805341 456441856 77543 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 111436 77543 392 112 0 106401 0
[pid=4016/tid=4017] ppid=4014 vsize=445744 CPUtime=697.13 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 107089 0 0 0 69675 38 0 0 25 0 4 0 652805341 456441856 77543 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=445744 CPUtime=702.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 125162 0 0 0 70187 43 0 0 25 0 4 0 652805341 456441856 77543 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=445744 CPUtime=702.29 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 125795 0 0 0 70184 45 0 0 25 0 4 0 652805341 456441856 77543 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.06
Current children cumulated vsize (KiB) 445744

[startup+762.301 s]
/proc/loadavg: 8.12 8.08 7.08 9/236 4071
/proc/meminfo: memFree=18417748/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=471476 CPUtime=3043.61 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 492613 0 0 0 304190 171 0 0 25 0 4 0 652805341 482791424 77890 33554432000 4194304 4650419 140736893853504 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 117869 77890 392 112 0 112834 0
[pid=4016/tid=4017] ppid=4014 vsize=471476 CPUtime=756.68 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 114429 0 0 0 75627 41 0 0 25 0 4 0 652805341 482791424 77890 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=471476 CPUtime=762.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 132142 0 0 0 76183 47 0 0 25 0 4 0 652805341 482791424 77890 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=471476 CPUtime=762.3 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 131208 0 0 0 76182 48 0 0 25 0 4 0 652805341 482791424 77890 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.61
Current children cumulated vsize (KiB) 471476

[startup+822.3 s]
/proc/loadavg: 8.09 8.08 7.14 9/236 4073
/proc/meminfo: memFree=18406560/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=512296 CPUtime=3283.18 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 516996 0 0 0 328134 184 0 0 25 0 4 0 652805341 524591104 75736 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 128074 75736 392 112 0 123039 0
[pid=4016/tid=4017] ppid=4014 vsize=512296 CPUtime=816.24 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 118566 0 0 0 81582 42 0 0 25 0 4 0 652805341 524591104 75736 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=512296 CPUtime=822.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 139553 0 0 0 82180 50 0 0 25 0 4 0 652805341 524591104 75736 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=512296 CPUtime=822.3 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 136923 0 0 0 82177 53 0 0 25 0 4 0 652805341 524591104 75736 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.18
Current children cumulated vsize (KiB) 512296

[startup+882.301 s]
/proc/loadavg: 8.08 8.07 7.20 9/236 4075
/proc/meminfo: memFree=18384340/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=500440 CPUtime=3522.74 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 537316 0 0 0 352078 196 0 0 25 0 4 0 652805341 512450560 78566 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 125110 78566 392 112 0 120075 0
[pid=4016/tid=4017] ppid=4014 vsize=500440 CPUtime=875.8 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 125539 0 0 0 87534 46 0 0 25 0 4 0 652805341 512450560 78566 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=500440 CPUtime=882.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 146351 0 0 0 88175 55 0 0 25 0 4 0 652805341 512450560 78566 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=500440 CPUtime=882.3 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 142927 0 0 0 88174 56 0 0 25 0 4 0 652805341 512450560 78566 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.74
Current children cumulated vsize (KiB) 500440

[startup+942.301 s]
/proc/loadavg: 8.14 8.09 7.25 9/236 4076
/proc/meminfo: memFree=18347720/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=580636 CPUtime=3762.32 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 556437 0 0 0 376029 203 0 0 25 0 4 0 652805341 594571264 87696 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 145159 87696 392 112 0 140124 0
[pid=4016/tid=4017] ppid=4014 vsize=580636 CPUtime=935.36 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 133727 0 0 0 93487 49 0 0 25 0 4 0 652805341 594571264 87697 33554432000 4194304 4650419 140736893853504 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=580636 CPUtime=942.31 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 151157 0 0 0 94173 58 0 0 25 0 4 0 652805341 594571264 87697 33554432000 4194304 4650419 140736893853504 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=580636 CPUtime=942.31 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 148988 0 0 0 94173 58 0 0 25 0 4 0 652805341 594571264 87697 33554432000 4194304 4650419 140736893853504 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.32
Current children cumulated vsize (KiB) 580636

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 7.31 9/236 4078
/proc/meminfo: memFree=18284324/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=569460 CPUtime=4001.86 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 570224 0 0 0 399979 207 0 0 25 0 4 0 652805341 583127040 87572 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 142365 87572 392 112 0 137330 0
[pid=4016/tid=4017] ppid=4014 vsize=569460 CPUtime=994.91 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 138063 0 0 0 99442 49 0 0 25 0 4 0 652805341 583127040 87572 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=569460 CPUtime=1002.31 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 155388 0 0 0 100171 60 0 0 25 0 4 0 652805341 583127040 87572 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=569460 CPUtime=1002.3 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 154193 0 0 0 100171 59 0 0 25 0 4 0 652805341 583127040 87572 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.86
Current children cumulated vsize (KiB) 569460

[startup+1062.31 s]
/proc/loadavg: 8.15 8.11 7.36 9/236 4079
/proc/meminfo: memFree=18276000/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=594228 CPUtime=4241.46 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 587124 0 0 0 423933 213 0 0 25 0 4 0 652805341 608489472 92758 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 148557 92758 392 112 0 143522 0
[pid=4016/tid=4017] ppid=4014 vsize=594228 CPUtime=1054.47 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 141238 0 0 0 105398 49 0 0 25 0 4 0 652805341 608489472 92758 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=594228 CPUtime=1062.31 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 159590 0 0 0 106170 61 0 0 25 0 4 0 652805341 608489472 92758 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=594228 CPUtime=1062.31 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 158710 0 0 0 106171 60 0 0 25 0 4 0 652805341 608489472 92758 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.46
Current children cumulated vsize (KiB) 594228

[startup+1122.3 s]
/proc/loadavg: 8.22 8.13 7.41 9/236 4081
/proc/meminfo: memFree=18282652/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=594228 CPUtime=4480.99 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 596747 0 0 0 447881 218 0 0 25 0 4 0 652805341 608489472 96937 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 148557 96937 392 112 0 143522 0
[pid=4016/tid=4017] ppid=4014 vsize=594228 CPUtime=1114.03 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 141238 0 0 0 111354 49 0 0 25 0 4 0 652805341 608489472 96937 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=594228 CPUtime=1122.3 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 164021 0 0 0 112168 62 0 0 25 0 4 0 652805341 608489472 96937 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=594228 CPUtime=1122.31 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 159096 0 0 0 112171 60 0 0 25 0 4 0 652805341 608489472 96937 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.99
Current children cumulated vsize (KiB) 594228

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 7.45 9/236 4083
/proc/meminfo: memFree=18286104/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=582900 CPUtime=4720.55 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 606259 0 0 0 471833 222 0 0 25 0 4 0 652805341 596889600 92328 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 145725 92328 392 112 0 140690 0
[pid=4016/tid=4017] ppid=4014 vsize=582900 CPUtime=1173.59 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 142710 0 0 0 117309 50 0 0 25 0 4 0 652805341 596889600 92328 33554432000 4194304 4650419 140736893853504 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=582900 CPUtime=1182.31 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 166998 0 0 0 118168 63 0 0 25 0 4 0 652805341 596889600 92328 33554432000 4194304 4650419 140736893853504 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=582900 CPUtime=1182.31 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 160529 0 0 0 118170 61 0 0 25 0 4 0 652805341 596889600 92328 33554432000 4194304 4650419 140736893853504 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.55
Current children cumulated vsize (KiB) 582900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.09 8.11 7.46 9/236 4083
/proc/meminfo: memFree=18269224/32950928 swapFree=64721848/67111528
[pid=4016] ppid=4014 vsize=582976 CPUtime=4800.02 cores=0,2,4,6
/proc/4016/stat : 4016 (strangenight1-m) R 4014 4016 3882 0 -1 4202496 611190 0 0 0 479779 223 0 0 25 0 4 0 652805341 596967424 93492 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4016/statm: 145744 93492 392 112 0 140709 0
[pid=4016/tid=4017] ppid=4014 vsize=582976 CPUtime=1193.34 cores=0,2,4,6
/proc/4016/task/4017/stat : 4017 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 142793 0 0 0 119284 50 0 0 25 0 4 0 652805341 596967424 93492 33554432000 4194304 4650419 140736893853504 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4016/tid=4018] ppid=4014 vsize=582976 CPUtime=1202.22 cores=0,2,4,6
/proc/4016/task/4018/stat : 4018 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 167786 0 0 0 120159 63 0 0 25 0 4 0 652805341 596967424 93492 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4016/tid=4019] ppid=4014 vsize=582976 CPUtime=1202.22 cores=0,2,4,6
/proc/4016/task/4019/stat : 4019 (strangenight1-m) R 4014 4016 3882 0 -1 4202560 163206 0 0 0 120160 62 0 0 25 0 4 0 652805341 596967424 93492 33554432000 4194304 4650419 140736893853504 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 582976

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.23
CPU time (s): 4800.08
CPU user time (s): 4797.82
CPU system time (s): 2.25666
CPU usage (%): 399.264
Max. virtual memory (cumulated for all children) (KiB): 712108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.25666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611192
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= 947
involuntary context switches= 21481

runsolver used 2.50762 second user time and 6.24905 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-15 00:27:35
IDJOB=3369088
IDBENCH=83097
IDSOLVER=1846
FILE ID=node123/3369088-1305412055
RUNJOBID= node123-1305410849-3900
PBS_JOBID= 13324524
Free space on /tmp= 73360 MiB

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

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

MD5SUM BENCH= 6956d24237a9f7757ce3c5a1a338c9a6
RANDOM SEED=1628417270

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18909332 kB
Buffers:        298436 kB
Cached:        3991744 kB
SwapCached:      10528 kB
Active:       11037120 kB
Inactive:      2736640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18909332 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:            6216 kB
Writeback:           0 kB
AnonPages:     9481064 kB
Mapped:          16416 kB
Slab:           176412 kB
PageTables:      32104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13526836 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= 73348 MiB
End job on node123 at 2011-05-15 00:47:40