Trace number 3175479

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.34 1201.73

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-3175479-1304126100.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.00/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:      46 undec:       3 neg:      41
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.17/0.83	c  N dy    10      4562        90      8010         0      4220     56070    127484     25.71     27.09  --
3.17/0.83	c  N dy    16      9068        90      8010         0      6059     56070    166133     25.10     26.57  --
3.17/0.83	c  N dy    42     13126        90      8010         0      5914     56070    148525     25.63     27.45  --
3.97/1.03	c  N dy    53     17975        90      8010         0     10430     56070    283037     25.71     27.19  --
4.79/1.23	c  N dy    60     24329        90      8010         0     11090     56070    280582     25.37     26.71  --
4.79/1.27	c  F st    65     25000        90      8010         0     11724     56070    299363     25.40     25.19  --
5.96/1.50	c  N dy    71     30003        90      8010         0     10018     56070    233665     25.40   no data  --
5.96/1.50	c  S st    71     30003        90      8010         0     10018     56070    233665     25.40   no data  --
5.96/1.54	c  S st    71     30504        90      8010         0     10493     56070    247605     25.40   no data  --
5.96/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.74	c lits-rem:      1313  cl-subs:      732  v-elim:      0  v-fix:    0  time:  4.75 s
12.36/3.13	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.54
12.36/3.13	c calculated reachability. Time: 0.00
12.36/3.13	c  N dy    71     30504        90      8010         0      9761     56070    222906     25.40   no data  --
14.35/3.63	c  N dy    90     39097        90      8010         0     10401     56070    225465     25.30     26.68  --
15.95/4.05	c  N dy   107     45756        90      8010         0      8305     56070    148583     25.30     26.00  --
15.95/4.05	c  S st   107     45756        90      8010         0      8305     56070    148583     25.30     26.00  --
15.95/4.08	c  S st   107     46261        90      8010         0      8786     56070    162873     25.30   no data  --
15.95/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.95/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.95/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.04	c lits-rem:       222  cl-subs:       42  v-elim:      0  v-fix:    0  time:  3.81 s
19.94/5.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.04	c vivif2 --  cl tried     8744 cl shrink        0 lits rem          0 time: 0.01
21.15/5.33	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.17
21.15/5.33	c calculated reachability. Time: 0.00
21.15/5.33	c  N dy   107     46261        90      8010         0      8744     56070    161084     25.30   no data  --
22.36/5.67	c  N dy   127     52492        90      8010         0     14542     56070    331244     25.33     26.76  --
23.53/5.97	c  N dy   128     56675        90      8010         0     18382     56070    442274     25.23     26.87  --
24.74/6.21	c  N dy   139     60743        90      8010         0     12924     56070    266728     25.24     26.66  --
26.76/6.76	c  N dy   145     69391        90      8010         0     10740     56070    185760     25.01     23.59  --
26.76/6.76	c  S st   145     69391        90      8010         0     10740     56070    185760     25.01     23.59  --
27.13/6.80	c  S st   145     69897        90      8010         0     11224     56070    200695     25.01   no data  --
27.13/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/6.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.13/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.13/6.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.13/6.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.52/7.90	c lits-rem:       420  cl-subs:      137  v-elim:      0  v-fix:    0  time:  4.35 s
31.52/7.90	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.52/7.90	c vivif2 --  cl tried    11087 cl shrink        0 lits rem          0 time: 0.01
32.73/8.27	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.45
32.73/8.27	c calculated reachability. Time: 0.00
32.73/8.27	c  N dy   145     69897        90      8010         0     11087     56070    196004     25.01   no data  --
33.93/8.58	c  N dy   161     75064        90      8010         0     15874     56070    336825     25.04     26.42  --
35.92/9.02	c  N dy   192     80302        90      8010         0     20760     56070    481822     25.13     26.55  --
37.12/9.39	c  N dy   202     85558        90      8010         0     14504     56070    279139     25.13     26.48  --
37.92/9.51	c  F st   205     87501        90      8010         0     16309     56070    332723     25.13     24.59  --
39.53/9.90	c  N dy   211     92693        90      8010         0     21111     56070    476355     25.13   no data  --
41.52/10.41	c  N dy   227     99522        90      8010         0     15430     56070    287974     25.10     26.61  --
43.11/10.82	c  S st   259    104846        90      8010         0     20381     56070    434784     25.18   no data  --
43.11/10.89	c  S st   259    105350        90      8010         0     20857     56070    449057     25.18   no data  --
43.11/10.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.11/10.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.11/10.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.51/10.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.51/10.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.51/10.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.51/10.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.50/12.96	c lits-rem:      2959  cl-subs:     1386  v-elim:      0  v-fix:    0  time:  8.18 s
51.50/12.96	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.50/12.96	c vivif2 --  cl tried    19471 cl shrink        0 lits rem          0 time: 0.02
53.12/13.38	c asymm  cl-useful: 0/5561/8010 lits-rem:0 time: 1.64
53.12/13.38	c calculated reachability. Time: 0.00
53.12/13.38	c  N dy   259    105350        90      8010         0     19471     56070    402348     25.18   no data  --
55.49/14.00	c  N dy   284    112219        90      8010         0     25855     56070    590597     25.20     26.68  --
61.09/15.37	c  N dy   290    131097        90      8010         0     16436     56070    283103     24.95     26.35  --
64.28/16.15	c  N dy   317    141403        90      8010         0     26015     56070    563011     24.94     26.33  --
69.89/17.51	c  N dy   348    158027        90      8010         0     26588     56070    560616     24.85     22.45  --
69.89/17.51	c  S st   348    158027        90      8010         0     26588     56070    560616     24.85     22.45  --
69.89/17.58	c  S st   348    158529        90      8010         0     27066     56070    574719     24.85   no data  --
69.89/17.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.89/17.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.89/17.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
70.30/17.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.30/17.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.30/17.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
70.30/17.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.26/20.16	c lits-rem:      2767  cl-subs:     2666  v-elim:      0  v-fix:    0  time: 10.18 s
80.26/20.16	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.26/20.17	c vivif2 --  cl tried    24400 cl shrink        0 lits rem          0 time: 0.02
81.46/20.41	c asymm  cl-useful: 0/1969/8010 lits-rem:0 time: 0.98
81.46/20.41	c calculated reachability. Time: 0.00
81.46/20.41	c  N dy   348    158529        90      8010         0     24400     56070    495960     24.85   no data  --
89.05/22.39	c  N dy   374    182272        90      8010         0     30619     56070    651453     24.66     26.36  --
93.44/23.44	c  N dy   406    193924        90      8010         0     24843     56070    478684     24.66     26.21  --
99.44/24.95	c  N dy   473    207007        90      8010         0     19445     56070    302735     24.73     26.07  --
105.04/26.36	c  N dy   562    220301        90      8010         0     31788     56070    667189     24.82     26.98  --
110.62/27.74	c  N dy   620    234405        90      8010         0     26360     56070    491113     24.87     26.62  --
111.82/28.06	c  S st   623    237793        90      8010         0     29490     56070    582467     24.86     24.04  --
112.22/28.15	c  S st   623    238300        90      8010         0     29974     56070    597159     24.86   no data  --
112.22/28.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.22/28.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.22/28.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
112.22/28.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.22/28.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.22/28.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.22/28.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.81/31.04	c lits-rem:      2398  cl-subs:     2028  v-elim:      0  v-fix:    0  time: 11.43 s
123.81/31.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.81/31.05	c vivif2 --  cl tried    27946 cl shrink        0 lits rem          0 time: 0.02
124.60/31.24	c asymm  cl-useful: 0/2317/8010 lits-rem:0 time: 0.76
124.60/31.24	c calculated reachability. Time: 0.00
124.60/31.24	c  N dy   623    238300        90      8010         0     27946     56070    531467     24.86   no data  --
130.60/32.75	c  N dy   655    255034        90      8010         0     23962     56070    397433     24.80     26.39  --
142.58/35.78	c  N dy   667    287460        90      8010         0     33492     56070    661341     24.59     25.91  --
151.77/38.02	c  N dy   777    305971        90      8010         0     29547     56070    533726     24.67     26.10  --
151.77/38.05	c  F st   780    306250        90      8010         0     29809     56070    541780     24.67   no data  --
161.36/40.45	c  N dy   860    325997        90      8010         0     25920     56070    404936     24.72     26.19  --
171.77/43.03	c  N dy   967    346294        90      8010         0     44783     56070    959410     24.78     26.17  --
176.94/44.30	c  S st  1024    357450        90      8010         0     31981     56070    566586     24.81     23.30  --
176.94/44.39	c  S st  1024    357954        90      8010         0     32461     56070    581134     24.81   no data  --
176.94/44.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.94/44.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
177.34/44.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
177.34/44.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.34/44.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.34/44.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
177.34/44.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
189.34/47.44	c lits-rem:      1628  cl-subs:     1445  v-elim:      0  v-fix:    0  time: 12.04 s
189.34/47.44	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
189.34/47.45	c vivif2 --  cl tried    31016 cl shrink        0 lits rem          0 time: 0.03
190.92/47.84	c asymm  cl-useful: 0/1724/8010 lits-rem:0 time: 1.56
190.92/47.84	c calculated reachability. Time: 0.00
190.92/47.84	c  N dy  1024    357954        90      8010         0     31016     56070    532703     24.81   no data  --
208.50/52.21	c  N dy  1090    388379        90      8010         0     35016     56070    629578     24.79     26.11  --
220.48/55.26	c  N dy  1181    409317        90      8010         0     29477     56070    460420     24.83     26.18  --
236.86/59.31	c  N dy  1291    441165        90      8010         0     32961     56070    538979     24.84     26.18  --
251.64/63.04	c  N dy  1382    469677        90      8010         0     32522     56070    509998     24.86     26.26  --
262.44/65.73	c  N dy  1467    489711        90      8010         0     51045     56070   1056041     24.89     27.63  --
273.62/68.57	c  N dy  1571    509796        90      8010         0     42031     56070    771802     24.92     26.75  --
286.80/71.85	c  N dy  1679    529860        90      8010         0     31943     56070    454755     24.97     27.62  --
290.42/72.76	c  S st  1729    536932        90      8010         0     38516     56070    650926     24.99     24.98  --
290.79/72.86	c  S st  1729    537434        90      8010         0     38988     56070    665035     24.99   no data  --
290.79/72.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
290.79/72.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
290.79/72.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
291.19/72.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
291.19/72.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
291.19/72.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
291.19/72.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
305.18/76.50	c lits-rem:      1279  cl-subs:     1585  v-elim:      0  v-fix:    0  time: 14.36 s
305.58/76.50	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
305.58/76.50	c vivif2 --  cl tried    37403 cl shrink        0 lits rem          0 time: 0.03
306.38/76.74	c asymm  cl-useful: 0/1446/8010 lits-rem:0 time: 0.93
306.38/76.74	c calculated reachability. Time: 0.00
306.38/76.74	c  N dy  1729    537434        90      8010         0     37403     56070    611163     24.99   no data  --
319.16/79.94	c  N dy  1836    557489        90      8010         0     56011     56070   1162422     25.03     27.24  --
331.14/82.96	c  N dy  1899    580545        90      8010         0     47660     56070    894884     25.03     26.38  --
344.32/86.25	c  N dy  1985    600556        90      8010         0     35645     56070    527626     25.05     29.03  --
355.92/89.19	c  N dy  2069    620640        90      8010         0     54306     56070   1077984     25.06     28.51  --
371.49/93.05	c  N dy  2173    641289        90      8010         0     41942     56070    692065     25.09     26.60  --
386.27/96.76	c  N dy  2283    661346        90      8010         0     60591     56070   1245505     25.13     26.47  --
399.46/100.02	c  N dy  2388    681563        90      8010         0     46906     56070    824533     25.16     26.52  --
414.63/103.81	c  N dy  2416    701764        90      8010         0     65443     56070   1362552     25.13     26.46  --
427.01/106.95	c  N dy  2455    721869        90      8010         0     50644     56070    911291     25.13     26.48  --
442.60/110.81	c  N dy  2540    741918        90      8010         0     35033     56070    439079     25.14     28.89  --
454.58/113.89	c  N dy  2592    763985        90      8010         0     55436     56070   1038332     25.13     26.63  --
467.36/117.07	c  N dy  2596    785160        90      8010         0     39840     56070    558981     25.09     26.58  --
480.55/120.37	c  N dy  2696    805334        90      8010         0     58557     56070   1117147     25.12     26.46  --
481.35/120.55	c  S st  2702    806153        90      8010         0     59332     56070   1140374     25.12   no data  --
482.14/120.71	c  S st  2702    806658        90      8010         0     59801     56070   1154449     25.12   no data  --
482.14/120.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
482.14/120.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.14/120.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
482.14/120.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
482.14/120.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.14/120.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
482.14/120.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
527.70/132.11	c lits-rem:      2761  cl-subs:     4211  v-elim:      0  v-fix:    0  time: 45.25 s
527.70/132.11	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
527.70/132.13	c vivif2 --  cl tried    55590 cl shrink        0 lits rem          0 time: 0.04
528.87/132.41	c asymm  cl-useful: 0/969/8010 lits-rem:0 time: 1.14
528.87/132.41	c calculated reachability. Time: 0.00
528.87/132.41	c  N dy  2702    806658        90      8010         0     55590     56070   1020328     25.12   no data  --
544.46/136.37	c  N dy  2773    826931        90      8010         0     38456     56070    502788     25.13     26.49  --
556.84/139.41	c  N dy  2846    847256        90      8010         0     57292     56070   1061266     25.14     26.50  --
572.81/143.46	c  N dy  2883    870429        90      8010         0     41734     56070    573069     25.12     26.52  --
587.21/147.01	c  N dy  2953    892375        90      8010         0     62019     56070   1168848     25.12     26.67  --
603.58/151.18	c  N dy  3050    912471        90      8010         0     42781     56070    590152     25.14     30.22  --
617.97/154.75	c  N dy  3159    932510        90      8010         0     61368     56070   1141459     25.16     27.46  --
635.94/159.22	c  N dy  3227    952792        90      8010         0     41272     56070    523879     25.16     26.72  --
649.53/162.62	c  N dy  3295    973630        90      8010         0     60636     56070   1097884     25.17     26.77  --
717.03/179.53	c  F st  3379   1071880        90      8010         0     70046     56070   1318996     24.97     23.33  --
717.03/179.54	c  N st  3379   1071880        90      8010         0     70046     56070   1318996     24.97     23.33  --
737.00/184.50	c  N dy  3442   1095534        90      8010         0     50730     56070    757381     24.97     26.36  --
753.37/188.65	c  N dy  3542   1116622        90      8010         0     70208     56070   1336411     24.99     26.46  --
772.56/193.42	c  N dy  3599   1137675        90      8010         0     47418     56070    639219     24.98     26.31  --
791.35/198.13	c  N dy  3711   1157744        90      8010         0     65967     56070   1190725     25.00     27.68  --
817.31/204.63	c  N dy  3841   1177812        90      8010         0     84605     56070   1747472     25.03     26.44  --
848.07/212.35	c  N dy  3914   1208420        90      8010         0     69394     56070   1252821     25.02     26.39  --
850.05/212.81	c  S st  3916   1209987        90      8010         0     70833     56070   1294023     25.01   no data  --
850.85/213.07	c  S st  3916   1210488        90      8010         0     71303     56070   1308255     25.01   no data  --
850.85/213.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
850.85/213.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.25/213.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
851.25/213.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.25/213.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.25/213.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
851.25/213.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
935.14/234.19	c lits-rem:      4156  cl-subs:     5911  v-elim:      0  v-fix:    0  time: 83.96 s
935.14/234.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
935.54/234.21	c vivif2 --  cl tried    65392 cl shrink        0 lits rem          0 time: 0.06
936.73/234.59	c asymm  cl-useful: 0/850/8010 lits-rem:0 time: 1.54
936.73/234.60	c calculated reachability. Time: 0.00
936.73/234.60	c  N dy  3916   1210488        90      8010         0     65392     56070   1131654     25.01   no data  --
959.90/240.32	c  N dy  4025   1230546        90      8010         0     83991     56070   1685072     25.03     26.49  --
978.27/244.98	c  N dy  4167   1250632        90      8010         0     58546     56070    936807     25.06     26.42  --
999.85/250.31	c  N dy  4278   1270657        90      8010         0     77107     56070   1488865     25.08     27.45  --
1026.21/256.94	c  N dy  4405   1291117        90      8010         0     50838     56070    681473     25.10     26.53  --
1044.19/261.44	c  N dy  4482   1311388        90      8010         0     69606     56070   1239065     25.10     26.55  --
1073.33/268.71	c  N dy  4545   1335978        90      8010         0     92300     56070   1907319     25.10     26.49  --
1091.71/273.35	c  N dy  4595   1357657        90      8010         0     66104     56070   1109020     25.09     26.47  --
1114.89/279.18	c  N dy  4670   1378199        90      8010         0     85135     56070   1673544     25.10     26.71  --
1136.45/284.58	c  N dy  4796   1398288        90      8010         0     56622     56070    818416     25.12     29.97  --
1156.83/289.61	c  N dy  4876   1421676        90      8010         0     78153     56070   1453922     25.13     26.54  --
1180.80/295.65	c  N dy  4956   1442035        90      8010         0     48926     56070    566599     25.14     26.52  --
1197.58/299.89	c  N dy  5018   1464854        90      8010         0     70028     56070   1186476     25.14     26.50  --
1223.94/306.41	c  N dy  5113   1488836        90      8010         0     92212     56070   1840996     25.15     26.58  --
1243.11/311.21	c  N dy  5187   1508845        90      8010         0     61703     56070    924996     25.15     28.43  --
1269.08/317.71	c  N dy  5296   1535289        90      8010         0     86182     56070   1648234     25.16     26.50  --
1290.65/323.16	c  N dy  5348   1555299        90      8010         0     54706     56070    699836     25.16     26.63  --
1360.55/340.61	c  N dy  5421   1638107        90      8010         0     79782     56070   1401704     25.08     26.41  --
1387.71/347.40	c  N dy  5544   1658215        90      8010         0     98458     56070   1958231     25.09     26.44  --
1418.87/355.28	c  N dy  5651   1690536        90      8010         0     76836     56070   1319792     25.09     26.54  --
1441.66/360.99	c  S st  5728   1710489        90      8010         0     95208     56070   1862804     25.09   no data  --
1442.84/361.27	c  S st  5728   1710993        90      8010         0     95680     56070   1876780     25.09   no data  --
1442.84/361.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1442.84/361.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1443.24/361.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1443.24/361.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1443.24/361.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1443.24/361.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1443.24/361.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1581.87/396.05	c lits-rem:      5168  cl-subs:     8259  v-elim:      0  v-fix:    0  time: 138.38 s
1581.87/396.05	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1581.87/396.07	c vivif2 --  cl tried    87421 cl shrink        0 lits rem          0 time: 0.08
1583.45/396.43	c asymm  cl-useful: 0/634/8010 lits-rem:0 time: 1.44
1583.45/396.43	c calculated reachability. Time: 0.00
1583.45/396.43	c  N dy  5728   1710993        90      8010         0     87421     56070   1619976     25.09   no data  --
1615.01/404.39	c  N dy  5836   1736278        90      8010         0     58580     56070    763980     25.10     26.44  --
1634.59/409.20	c  N dy  5933   1756329        90      8010         0     77103     56070   1313981     25.11     26.58  --
1661.73/416.00	c  N dy  6026   1778120        90      8010         0     97239     56070   1910584     25.12     26.44  --
1689.70/423.06	c  N dy  6140   1798164        90      8010         0     62425     56070    862814     25.13     27.10  --
1718.86/430.36	c  N dy  6208   1827100        90      8010         0     89054     56070   1642048     25.12     26.57  --
1754.41/439.22	c  N dy  6238   1862250        90      8010         0     66994     56070    968099     25.09     26.49  --
1775.20/444.46	c  N dy  6341   1882276        90      8010         0     85587     56070   1522064     25.10     27.53  --
1800.35/450.76	c  N dy  6425   1902306        90      8010         0    104150     56070   2073630     25.11     26.52  --
1823.94/456.63	c  N dy  6531   1922338        90      8010         0     67335     56070    969458     25.12     28.08  --
1845.09/461.97	c  N dy  6587   1945044        90      8010         0     88225     56070   1578139     25.11     26.45  --
1879.05/470.49	c  N dy  6606   1978794        90      8010         0     62953     56070    812690     25.08     26.51  --
1899.42/475.52	c  N dy  6716   1998816        90      8010         0     81543     56070   1370262     25.09     28.70  --
1925.38/482.09	c  N dy  6824   2018861        90      8010         0    100141     56070   1923671     25.10     26.46  --
1952.95/488.93	c  N dy  6907   2039036        90      8010         0     61533     56070    757554     25.11     26.49  --
1970.52/493.35	c  N dy  6984   2059050        90      8010         0     80018     56070   1306842     25.12     27.05  --
1996.09/499.70	c  N dy  7084   2079150        90      8010         0     98568     56070   1860663     25.13     27.06  --
2024.05/506.78	c  N dy  7140   2099203        90      8010         0     58916     56070    663451     25.12     28.64  --
2051.61/513.70	c  N dy  7211   2127009        90      8010         0     84567     56070   1417514     25.12     26.48  --
2077.98/520.21	c  N dy  7299   2147084        90      8010         0    103129     56070   1967451     25.13     28.42  --
2105.54/527.19	c  N dy  7339   2167122        90      8010         0     62541     56070    750408     25.13     27.30  --
2127.51/532.62	c  N dy  7411   2189180        90      8010         0     82941     56070   1351832     25.13     26.46  --
2152.68/538.92	c  N dy  7504   2209274        90      8010         0    101485     56070   1904119     25.14     26.67  --
2155.07/539.54	c  S st  7514   2210996        90      8010         0    103080     56070   1951965     25.14     24.80  --
2156.27/539.85	c  S st  7514   2211497        90      8010         0    103549     56070   1965911     25.14   no data  --
2156.27/539.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2156.27/539.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2156.67/539.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2156.67/539.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2156.67/539.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2156.67/539.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2156.67/539.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2596.89/650.11	c lits-rem:      5295  cl-subs:     7767  v-elim:      0  v-fix:    0  time: 439.80 s
2596.89/650.11	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2596.89/650.13	c vivif2 --  cl tried    95782 cl shrink        0 lits rem          0 time: 0.09
2598.07/650.47	c asymm  cl-useful: 0/807/8010 lits-rem:0 time: 1.38
2598.07/650.48	c calculated reachability. Time: 0.00
2598.07/650.48	c  N dy  7514   2211497        90      8010         0     95782     56070   1716316     25.14   no data  --
2630.83/658.63	c  N dy  7634   2233012        90      8010         0    115705     56070   2311491     25.15     26.50  --
2651.60/663.83	c  N dy  7708   2253079        90      8010         0     74489     56070   1091460     25.15     27.86  --
2675.98/669.98	c  N dy  7787   2274931        90      8010         0     94684     56070   1690759     25.16     26.63  --
2723.10/681.76	c  N dy  7858   2315797        90      8010         0     71480     56070    972878     25.14     26.50  --
2744.67/687.19	c  N dy  7946   2335812        90      8010         0     90060     56070   1523786     25.14     27.48  --
2797.39/700.38	c  N dy  8053   2372888        90      8010         0     62448     56070    693153     25.14     26.63  --
2818.97/705.72	c  N dy  8127   2394694        90      8010         0     82518     56070   1280094     25.13     26.50  --
2846.53/712.60	c  N dy  8270   2414717        90      8010         0    101057     56070   1840098     25.15     28.37  --
2884.08/722.06	c  N dy  8395   2434801        90      8010         0    119696     56070   2397937     25.16     27.44  --
2913.26/729.32	c  N dy  8498   2454865        90      8010         0     75471     56070   1062831     25.17     26.51  --
2934.41/734.69	c  N dy  8570   2474965        90      8010         0     94117     56070   1617144     25.17     26.64  --
2963.17/741.88	c  N dy  8674   2494995        90      8010         0    112636     56070   2169738     25.17     27.13  --
2997.15/750.30	c  N dy  8785   2515066        90      8010         0     67382     56070    801854     25.18     29.27  --
3018.29/755.63	c  N dy  8880   2535109        90      8010         0     85940     56070   1356110     25.19     27.31  --
3047.05/762.88	c  N dy  8999   2555200        90      8010         0    104541     56070   1913040     25.20     27.35  --
3078.21/770.67	c  N dy  9072   2575247        90      8010         0    123128     56070   2463870     25.20     28.77  --
3107.00/777.85	c  N dy  9138   2599071        90      8010         0     80380     56070   1162163     25.20     26.56  --
3133.74/784.50	c  N dy  9238   2619689        90      8010         0     99434     56070   1729810     25.21     26.63  --
3168.51/793.24	c  N dy  9342   2639939        90      8010         0    118153     56070   2288637     25.21     26.75  --
3200.85/801.32	c  N dy  9418   2660038        90      8010         0     71123     56070    876049     25.22     26.59  --
3220.84/806.38	c  N dy  9470   2680080        90      8010         0     89585     56070   1419238     25.22     26.99  --
3250.38/813.71	c  N dy  9557   2701436        90      8010         0    109383     56070   2006661     25.22     26.58  --
3264.78/817.38	c  S st  9579   2711498        90      8010         0    118668     56070   2281054     25.22   no data  --
3266.35/817.73	c  S st  9579   2712001        90      8010         0    119144     56070   2295475     25.22   no data  --
3266.35/817.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3266.35/817.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3266.75/817.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3266.75/817.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3266.75/817.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3266.75/817.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3266.75/817.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4063.68/1017.36	c lits-rem:      5435  cl-subs:    10115  v-elim:      0  v-fix:    0  time: 796.58 s
4063.68/1017.36	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4063.68/1017.39	c vivif2 --  cl tried   109029 cl shrink        0 lits rem          0 time: 0.11
4065.67/1017.87	c asymm  cl-useful: 0/632/8010 lits-rem:0 time: 1.93
4065.67/1017.88	c calculated reachability. Time: 0.00
4065.67/1017.88	c  N dy  9579   2712001        90      8010         0    109029     56070   1975800     25.22   no data  --
4109.21/1028.77	c  N dy  9659   2732114        90      8010         0    127575     56070   2528621     25.23     26.59  --
4196.71/1050.68	c  N dy  9702   2789725        90      8010         0    114179     56070   2113820     25.18     26.61  --
4260.61/1066.62	c  N dy  9799   2820941        90      8010         0     75857     56070    983658     25.18     26.57  --
4316.93/1080.73	c  N dy  9926   2855172        90      8010         0    107280     56070   1910440     25.18     26.58  --
4366.86/1093.20	c  N dy  9990   2880468        90      8010         0    130500     56070   2592777     25.18     26.66  --
4400.42/1101.64	c  N dy 10030   2900492        90      8010         0     80996     56070   1120896     25.18     26.57  --
4433.17/1109.88	c  N dy 10092   2920588        90      8010         0     99522     56070   1670200     25.18     27.61  --
4482.32/1122.12	c  N dy 10205   2943947        90      8010         0    121109     56070   2315749     25.19     26.62  --
4531.83/1134.59	c  N dy 10305   2964055        90      8010         0     70668     56070    797786     25.19     26.53  --
4561.80/1142.06	c  N dy 10379   2984102        90      8010         0     89151     56070   1346001     25.19     28.23  --
4602.94/1152.32	c  N dy 10434   3008519        90      8010         0    111515     56070   2005293     25.19     26.55  --
4652.47/1164.79	c  N dy 10568   3028520        90      8010         0    130094     56070   2567099     25.20     28.83  --
4691.22/1174.40	c  N dy 10661   3048576        90      8010         0     78584     56070   1012050     25.21     26.60  --
4719.60/1181.55	c  N dy 10747   3069103        90      8010         0     97570     56070   1578878     25.21     26.54  --
4753.14/1189.99	c  N dy 10841   3089136        90      8010         0    116074     56070   2133126     25.22     26.72  --
4797.48/1201.00	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175479-1304126100/watcher-3175479-1304126100 -o /tmp/evaluation-result-3175479-1304126100/solver-3175479-1304126100 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175479-1304126100.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: 7.39 7.94 7.87 2/172 22933
/proc/meminfo: memFree=30583928/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 524212317 52465664 352 33554432000 4194304 4650419 140736451102016 18446744073709551615 47221769250732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 12809 352 303 112 0 7774 0
[pid=22933/tid=22934] ppid=22931 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524212318 52465664 352 33554432000 4194304 4650419 140736451102016 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524212318 52465664 352 33554432000 4194304 4650419 140736451102016 18446744073709551615 212447814710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524212318 52465664 352 33554432000 4194304 4650419 140736451102016 18446744073709551615 47221769250738 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.199144 s]
/proc/loadavg: 7.39 7.94 7.87 2/172 22933
/proc/meminfo: memFree=30583928/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=284524 CPUtime=0.76 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) D 22931 22933 22284 0 -1 4202496 2616 0 0 0 76 0 0 0 18 0 4 0 524212317 291352576 2034 33554432000 4194304 4650419 140736451102016 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 71131 2034 378 112 0 66096 0
[pid=22933/tid=22934] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 371 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2034 33554432000 4194304 4650419 140736451102016 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) D 22931 22933 22284 0 -1 4202560 559 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2034 33554432000 4194304 4650419 140736451102016 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 766 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2034 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 284524

[startup+0.200466 s]
/proc/loadavg: 7.39 7.94 7.87 2/172 22933
/proc/meminfo: memFree=30583928/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=284524 CPUtime=0.77 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) D 22931 22933 22284 0 -1 4202496 2867 0 0 0 77 0 0 0 18 0 4 0 524212317 291352576 2285 33554432000 4194304 4650419 140736451102016 18446744073709551615 212436060343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 71131 2285 378 112 0 66096 0
[pid=22933/tid=22934] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 424 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2285 33554432000 4194304 4650419 140736451102016 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) D 22931 22933 22284 0 -1 4202560 652 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2285 33554432000 4194304 4650419 140736451102016 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=284524 CPUtime=0.19 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) S 22931 22933 22284 0 -1 4202560 768 0 0 0 19 0 0 0 18 0 4 0 524212318 291352576 2285 33554432000 4194304 4650419 140736451102016 18446744073709551615 212436122094 0 0 4096 2 18446604453959750848 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284524

[startup+0.300448 s]
/proc/loadavg: 7.39 7.94 7.87 2/172 22933
/proc/meminfo: memFree=30583928/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=284712 CPUtime=1.16 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 4178 0 0 0 116 0 0 0 18 0 4 0 524212317 291545088 3474 33554432000 4194304 4650419 140736451102016 18446744073709551615 4360366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 71178 3474 390 112 0 66143 0
[pid=22933/tid=22934] ppid=22931 vsize=284712 CPUtime=0.28 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 932 0 0 0 28 0 0 0 18 0 4 0 524212318 291545088 3474 33554432000 4194304 4650419 140736451102016 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=284712 CPUtime=0.29 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 998 0 0 0 29 0 0 0 18 0 4 0 524212318 291545088 3474 33554432000 4194304 4650419 140736451102016 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=284712 CPUtime=0.29 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 874 0 0 0 29 0 0 0 18 0 4 0 524212318 291545088 3474 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284712

[startup+0.700372 s]
/proc/loadavg: 7.39 7.94 7.87 2/172 22933
/proc/meminfo: memFree=30583928/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=287416 CPUtime=2.77 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 6833 0 0 0 276 1 0 0 18 0 4 0 524212317 294313984 4160 33554432000 4194304 4650419 140736451102016 18446744073709551615 4334120 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 71854 4160 390 112 0 66819 0
[pid=22933/tid=22934] ppid=22931 vsize=287416 CPUtime=0.68 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 1651 0 0 0 68 0 0 0 18 0 4 0 524212318 294313984 4160 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=287416 CPUtime=0.69 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 1706 0 0 0 69 0 0 0 18 0 4 0 524212318 294313984 4160 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=287416 CPUtime=0.69 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 1390 0 0 0 69 0 0 0 18 0 4 0 524212318 294313984 4160 33554432000 4194304 4650419 140736451102016 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287416

[startup+1.50022 s]
/proc/loadavg: 7.39 7.94 7.87 10/184 22945
/proc/meminfo: memFree=30553212/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=288972 CPUtime=5.96 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 11006 0 0 0 595 1 0 0 19 0 4 0 524212317 295907328 4992 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 72243 4992 391 112 0 67208 0
[pid=22933/tid=22934] ppid=22931 vsize=288972 CPUtime=1.48 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 2700 0 0 0 148 0 0 0 20 0 4 0 524212318 295907328 4992 33554432000 4194304 4650419 140736451102016 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=288972 CPUtime=1.48 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 2792 0 0 0 148 0 0 0 20 0 4 0 524212318 295907328 4992 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=288972 CPUtime=1.49 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 2398 0 0 0 149 0 0 0 20 0 4 0 524212318 295907328 4992 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288972

[startup+3.10092 s]
/proc/loadavg: 7.44 7.94 7.87 9/184 22945
/proc/meminfo: memFree=30520440/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=299624 CPUtime=12.36 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 20925 0 0 0 1234 2 0 0 25 0 4 0 524212317 306814976 12695 33554432000 4194304 4650419 140736451102016 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 74906 12695 392 112 0 69871 0
[pid=22933/tid=22934] ppid=22931 vsize=299624 CPUtime=3.07 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 4529 0 0 0 307 0 0 0 25 0 4 0 524212318 306814976 12695 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=299624 CPUtime=3.09 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 5876 0 0 0 308 1 0 0 25 0 4 0 524212318 306814976 12695 33554432000 4194304 4650419 140736451102016 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=299624 CPUtime=3.09 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 5810 0 0 0 309 0 0 0 25 0 4 0 524212318 306814976 12695 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299624

[startup+6.30031 s]
/proc/loadavg: 7.44 7.94 7.87 9/184 22945
/proc/meminfo: memFree=30466256/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=309780 CPUtime=25.14 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 30118 0 0 0 2509 5 0 0 25 0 4 0 524212317 317214720 15543 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 77445 15543 392 112 0 72410 0
[pid=22933/tid=22934] ppid=22931 vsize=309780 CPUtime=6.25 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 7854 0 0 0 624 1 0 0 25 0 4 0 524212318 317214720 15543 33554432000 4194304 4650419 140736451102016 18446744073709551615 4419568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=309780 CPUtime=6.28 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 7761 0 0 0 627 1 0 0 25 0 4 0 524212318 317214720 15543 33554432000 4194304 4650419 140736451102016 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=309780 CPUtime=6.29 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 7982 0 0 0 628 1 0 0 25 0 4 0 524212318 317214720 15543 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 309780

[startup+12.7011 s]
/proc/loadavg: 7.53 7.94 7.87 9/184 22945
/proc/meminfo: memFree=30418124/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=319972 CPUtime=50.71 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 45240 0 0 0 5063 8 0 0 25 0 4 0 524212317 327651328 22562 33554432000 4194304 4650419 140736451102016 18446744073709551615 4441360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 79993 22562 392 112 0 74958 0
[pid=22933/tid=22934] ppid=22931 vsize=319972 CPUtime=12.62 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 11248 0 0 0 1260 2 0 0 25 0 4 0 524212318 327651328 22562 33554432000 4194304 4650419 140736451102016 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=319972 CPUtime=12.69 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 11452 0 0 0 1267 2 0 0 25 0 4 0 524212318 327651328 22562 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=319972 CPUtime=12.68 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 11932 0 0 0 1267 1 0 0 25 0 4 0 524212318 327651328 22562 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 319972

[startup+25.5007 s]
/proc/loadavg: 7.60 7.94 7.87 10/184 22945
/proc/meminfo: memFree=30361340/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=301380 CPUtime=101.83 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 65152 0 0 0 10171 12 0 0 25 0 4 0 524212317 308613120 27061 33554432000 4194304 4650419 140736451102016 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 75345 27061 392 112 0 70310 0
[pid=22933/tid=22934] ppid=22931 vsize=301380 CPUtime=25.35 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 14900 0 0 0 2532 3 0 0 25 0 4 0 524212318 308613120 27061 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=301380 CPUtime=25.48 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 18271 0 0 0 2545 3 0 0 25 0 4 0 524212318 308613120 27061 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=301380 CPUtime=25.49 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 17658 0 0 0 2546 3 0 0 25 0 4 0 524212318 308613120 27061 33554432000 4194304 4650419 140736451102016 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 301380

[startup+51.1008 s]
/proc/loadavg: 7.81 7.96 7.88 9/184 22946
/proc/meminfo: memFree=30315096/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=322888 CPUtime=204.1 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 90596 0 0 0 20389 21 0 0 25 0 4 0 524212317 330637312 34859 33554432000 4194304 4650419 140736451102016 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 80722 34859 392 112 0 75687 0
[pid=22933/tid=22934] ppid=22931 vsize=322888 CPUtime=50.83 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 20920 0 0 0 5078 5 0 0 25 0 4 0 524212318 330637312 34859 33554432000 4194304 4650419 140736451102016 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=322888 CPUtime=51.08 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 23659 0 0 0 5103 5 0 0 25 0 4 0 524212318 330637312 34859 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=322888 CPUtime=51.07 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 24805 0 0 0 5102 5 0 0 25 0 4 0 524212318 330637312 34859 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 322888

[startup+102.301 s]
/proc/loadavg: 7.99 7.98 7.89 10/184 22947
/proc/meminfo: memFree=30228128/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=346440 CPUtime=408.66 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 135724 0 0 0 40828 38 0 0 25 0 4 0 524212317 354754560 43705 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 86610 43705 392 112 0 81575 0
[pid=22933/tid=22934] ppid=22931 vsize=346440 CPUtime=101.77 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 33645 0 0 0 10167 10 0 0 25 0 4 0 524212318 354754560 43705 33554432000 4194304 4650419 140736451102016 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=346440 CPUtime=102.29 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 36864 0 0 0 10219 10 0 0 25 0 4 0 524212318 354754560 43705 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=346440 CPUtime=102.28 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 34826 0 0 0 10218 10 0 0 25 0 4 0 524212318 354754560 43705 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 346440

[startup+162.301 s]

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

[pid=22933] ppid=22931 vsize=462360 CPUtime=2565.71 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 435552 0 0 0 256421 150 0 0 25 0 4 0 524212317 473456640 82838 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 115590 82838 392 112 0 110555 0
[pid=22933/tid=22934] ppid=22931 vsize=462360 CPUtime=638.84 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 110438 0 0 0 63844 40 0 0 25 0 4 0 524212318 473456640 82838 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=462360 CPUtime=642.3 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 108433 0 0 0 64192 38 0 0 25 0 4 0 524212318 473456640 82838 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=462360 CPUtime=642.23 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 108066 0 0 0 64183 40 0 0 25 0 4 0 524212318 473456640 82838 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 462360

[startup+702.301 s]
/proc/loadavg: 8.00 8.01 7.94 9/184 22963
/proc/meminfo: memFree=29880148/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=474816 CPUtime=2805.39 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 452212 0 0 0 280382 157 0 0 25 0 4 0 524212317 486211584 88441 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 118704 88441 392 112 0 113669 0
[pid=22933/tid=22934] ppid=22931 vsize=474816 CPUtime=698.52 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 111532 0 0 0 69811 41 0 0 25 0 4 0 524212318 486211584 88441 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=474816 CPUtime=702.3 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 111547 0 0 0 70190 40 0 0 25 0 4 0 524212318 486211584 88441 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=474816 CPUtime=702.23 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 112134 0 0 0 70181 42 0 0 25 0 4 0 524212318 486211584 88441 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 474816

[startup+762.3 s]
/proc/loadavg: 8.03 8.02 7.94 9/184 22965
/proc/meminfo: memFree=29864584/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=450628 CPUtime=3045.08 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 470739 0 0 0 304341 167 0 0 25 0 4 0 524212317 461443072 82316 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 112657 82316 392 112 0 107622 0
[pid=22933/tid=22934] ppid=22931 vsize=450628 CPUtime=758.19 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 111650 0 0 0 75778 41 0 0 25 0 4 0 524212318 461443072 82316 33554432000 4194304 4650419 140736451102016 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=450628 CPUtime=762.31 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 117931 0 0 0 76187 44 0 0 25 0 4 0 524212318 461443072 82316 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=450628 CPUtime=762.22 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 118961 0 0 0 76177 45 0 0 25 0 4 0 524212318 461443072 82316 33554432000 4194304 4650419 140736451102016 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 450628

[startup+822.301 s]
/proc/loadavg: 8.05 8.03 7.95 9/184 22967
/proc/meminfo: memFree=29865160/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=504332 CPUtime=3284.73 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 492996 0 0 0 328297 176 0 0 25 0 4 0 524212317 516435968 82493 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 126083 82493 392 112 0 121048 0
[pid=22933/tid=22934] ppid=22931 vsize=504332 CPUtime=817.87 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 117516 0 0 0 81743 44 0 0 25 0 4 0 524212318 516435968 82493 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=504332 CPUtime=822.31 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 121160 0 0 0 82185 46 0 0 25 0 4 0 524212318 516435968 82493 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=504332 CPUtime=822.22 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 125826 0 0 0 82173 49 0 0 25 0 4 0 524212318 516435968 82493 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 504332

[startup+882.307 s]
/proc/loadavg: 8.05 8.04 7.95 10/184 22968
/proc/meminfo: memFree=29860040/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=491516 CPUtime=3524.43 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 519158 0 0 0 352255 188 0 0 25 0 4 0 524212317 503312384 81715 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 122879 81715 392 112 0 117844 0
[pid=22933/tid=22934] ppid=22931 vsize=491516 CPUtime=877.54 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 124252 0 0 0 87707 47 0 0 25 0 4 0 524212318 503312384 81715 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=491516 CPUtime=882.31 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 127605 0 0 0 88182 49 0 0 25 0 4 0 524212318 503312384 81715 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=491516 CPUtime=882.21 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 131864 0 0 0 88169 52 0 0 25 0 4 0 524212318 503312384 81715 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 491516

[startup+942.3 s]
/proc/loadavg: 8.02 8.03 7.95 9/184 22970
/proc/meminfo: memFree=29828760/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=593068 CPUtime=3764.08 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 547034 0 0 0 376213 195 0 0 25 0 4 0 524212317 607301632 91306 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 148267 91306 392 112 0 143232 0
[pid=22933/tid=22934] ppid=22931 vsize=593068 CPUtime=937.22 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 131401 0 0 0 93673 49 0 0 25 0 4 0 524212318 607301632 91306 33554432000 4194304 4650419 140736451102016 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=593068 CPUtime=942.3 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 133477 0 0 0 94178 52 0 0 25 0 4 0 524212318 607301632 91306 33554432000 4194304 4650419 140736451102016 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=593068 CPUtime=942.19 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 135656 0 0 0 94166 53 0 0 25 0 4 0 524212318 607301632 91306 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 593068

[startup+1002.3 s]
/proc/loadavg: 8.08 8.04 7.96 9/184 22971
/proc/meminfo: memFree=29815216/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=527600 CPUtime=4003.75 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 563183 0 0 0 400174 201 0 0 25 0 4 0 524212317 540262400 91385 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 131900 91385 392 112 0 126865 0
[pid=22933/tid=22934] ppid=22931 vsize=527600 CPUtime=996.9 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 134607 0 0 0 99640 50 0 0 25 0 4 0 524212318 540262400 91385 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=527600 CPUtime=1002.31 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 137785 0 0 0 100175 56 0 0 25 0 4 0 524212318 540262400 91385 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=527600 CPUtime=1002.19 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 135656 0 0 0 100166 53 0 0 25 0 4 0 524212318 540262400 91385 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 527600

[startup+1062.3 s]
/proc/loadavg: 8.10 8.04 7.96 9/184 22973
/proc/meminfo: memFree=29782588/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=536092 CPUtime=4243.43 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 576012 0 0 0 424137 206 0 0 25 0 4 0 524212317 548958208 91845 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 134023 91845 392 112 0 128988 0
[pid=22933/tid=22934] ppid=22931 vsize=536092 CPUtime=1056.57 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 141358 0 0 0 105606 51 0 0 25 0 4 0 524212318 548958208 91845 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=536092 CPUtime=1062.32 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 140595 0 0 0 106174 58 0 0 25 0 4 0 524212318 548958208 91845 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=536092 CPUtime=1062.19 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 135656 0 0 0 106166 53 0 0 25 0 4 0 524212318 548958208 91845 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 536092

[startup+1122.3 s]
/proc/loadavg: 8.20 8.08 7.98 9/184 22975
/proc/meminfo: memFree=29774744/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=549052 CPUtime=4483.1 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 588938 0 0 0 448100 210 0 0 25 0 4 0 524212317 562229248 98161 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 137263 98161 392 112 0 132228 0
[pid=22933/tid=22934] ppid=22931 vsize=549052 CPUtime=1116.24 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 148276 0 0 0 111572 52 0 0 25 0 4 0 524212318 562229248 98161 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=549052 CPUtime=1122.32 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 140595 0 0 0 112174 58 0 0 25 0 4 0 524212318 562229248 98161 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=549052 CPUtime=1122.18 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 135656 0 0 0 112165 53 0 0 25 0 4 0 524212318 562229248 98161 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 549052

[startup+1182.3 s]
/proc/loadavg: 8.21 8.10 7.99 9/184 22976
/proc/meminfo: memFree=29729796/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=602588 CPUtime=4722.78 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 596541 0 0 0 472064 214 0 0 25 0 4 0 524212317 617050112 94741 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 150647 94741 392 112 0 145612 0
[pid=22933/tid=22934] ppid=22931 vsize=602588 CPUtime=1175.93 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 154407 0 0 0 117538 55 0 0 25 0 4 0 524212318 617050112 94741 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=602588 CPUtime=1182.32 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 140595 0 0 0 118174 58 0 0 25 0 4 0 524212318 617050112 94741 33554432000 4194304 4650419 140736451102016 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=602588 CPUtime=1182.18 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 136455 0 0 0 118164 54 0 0 25 0 4 0 524212318 617050112 94741 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 602588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.09 7.99 5/180 22978
/proc/meminfo: memFree=30199896/32951124 swapFree=67111416/67111528
[pid=22933] ppid=22931 vsize=549556 CPUtime=4800.29 cores=0,2,4,6
/proc/22933/stat : 22933 (strangenight1-m) R 22931 22933 22284 0 -1 4202496 600974 0 0 0 479813 216 0 0 25 0 4 0 524212317 562745344 95465 33554432000 4194304 4650419 140736451102016 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22933/statm: 137389 95465 392 112 0 132354 0
[pid=22933/tid=22934] ppid=22931 vsize=549556 CPUtime=1195.22 cores=0,2,4,6
/proc/22933/task/22934/stat : 22934 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 155835 0 0 0 119466 56 0 0 25 0 4 0 524212318 562745344 95465 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22933/tid=22935] ppid=22931 vsize=549556 CPUtime=1201.72 cores=0,2,4,6
/proc/22933/task/22935/stat : 22935 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 140917 0 0 0 120114 58 0 0 25 0 4 0 524212318 562745344 95465 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22933/tid=22936] ppid=22931 vsize=549556 CPUtime=1201.58 cores=0,2,4,6
/proc/22933/task/22936/stat : 22936 (strangenight1-m) R 22931 22933 22284 0 -1 4202560 139103 0 0 0 120103 55 0 0 25 0 4 0 524212318 562745344 95465 33554432000 4194304 4650419 140736451102016 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 549556

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): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4798.15
CPU system time (s): 2.18767
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 654416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.15
system time used= 2.18767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600976
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= 1080
involuntary context switches= 20727

runsolver used 1.88871 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 03:15:00
IDJOB=3175479
IDBENCH=83097
IDSOLVER=1588
FILE ID=node102/3175479-1304126100
RUNJOBID= node102-1304126099-22918
PBS_JOBID= 13170726
Free space on /tmp= 71560 MiB

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

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

MD5SUM BENCH= 6956d24237a9f7757ce3c5a1a338c9a6
RANDOM SEED=74282233

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30583968 kB
Buffers:        607652 kB
Cached:        1279184 kB
SwapCached:          0 kB
Active:         148968 kB
Inactive:      1802024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30583968 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12600 kB
Writeback:           0 kB
AnonPages:       63840 kB
Mapped:          14488 kB
Slab:           352172 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187148 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= 71556 MiB
End job on node102 at 2011-04-30 03:35:03