Trace number 3174943

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.44 1201.94

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
MD5SUMfbc6593197090933c7d66c2e5740159a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark126.714
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
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 512750

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-3174943-1304056750.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
0.00/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
0.00/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.00/0.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.25/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
1.25/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.25/0.38	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.25/0.38	c calculated reachability. Time: 0.00
1.25/0.38	c Calc default polars -  time:   0.00 s pos:      64 undec:       4 neg:      82
1.25/0.38	c =========================================================================================
1.25/0.38	c types(t): F = full restart, N = normal restart
1.25/0.38	c types(t): S = simplification begin/end, E = solution found
1.25/0.38	c restart types(rt): st = static, dy = dynamic
1.25/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.25/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.25/0.56	c  N dy     8      4169       150     12750         0      3995     89250    183640     40.34     43.18  --
1.25/0.83	c  N dy    13      9817       150     12750         0      6979     89250    287166     39.01     41.16  --
4.00/1.04	c  N dy    30     13953       150     12750         0      6903     89250    250470     39.31     41.38  --
5.20/1.33	c  N dy    45     19106       150     12750         0      6448     89250    192011     39.19     41.38  --
5.97/1.55	c  N dy    50     23366       150     12750         0     10521     89250    374942     39.07     41.14  --
6.37/1.65	c  F st    60     25000       150     12750         0     12096     89250    446736     39.18   no data  --
7.19/1.84	c  N st    65     28302       150     12750         0      8744     89250    262642     39.18   no data  --
7.59/1.93	c  S st    66     30002       150     12750         0     10362     89250    335336     39.18   no data  --
7.59/1.97	c  S st    66     30508       150     12750         0     10852     89250    356779     39.18   no data  --
7.59/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.59/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.59/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.59/1.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.59/1.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.59/1.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.59/1.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.15/4.31	c lits-rem:      2127  cl-subs:      435  v-elim:      0  v-fix:    0  time:  9.25 s
18.75/4.74	c asymm  cl-useful: 0/10888/12750 lits-rem:0 time: 1.73
18.75/4.74	c calculated reachability. Time: 0.00
18.75/4.74	c  N dy    66     30508       150     12750         0     10417     89250    330434     39.18   no data  --
20.36/5.19	c  N dy    68     37336       150     12750         0      9359     89250    253700     38.51     40.65  --
21.54/5.44	c  N dy    86     41436       150     12750         0     13272     89250    428103     38.58     40.80  --
22.74/5.78	c  N dy   108     45763       150     12750         0      8875     89250    202352     38.69     38.87  --
22.74/5.78	c  S st   108     45763       150     12750         0      8875     89250    202352     38.69     38.87  --
23.14/5.82	c  S st   108     46266       150     12750         0      9365     89250    224512     38.69   no data  --
23.14/5.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.14/5.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.14/5.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.14/5.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.14/5.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.14/5.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.14/5.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.56/7.44	c lits-rem:       324  cl-subs:       59  v-elim:      0  v-fix:    0  time:  6.41 s
29.56/7.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.56/7.44	c vivif2 --  cl tried     9306 cl shrink        0 lits rem          0 time: 0.01
29.94/7.52	c asymm  cl-useful: 0/1862/12750 lits-rem:0 time: 0.31
29.94/7.52	c calculated reachability. Time: 0.00
29.94/7.52	c  N dy   108     46266       150     12750         0      9306     89250    220780     38.69   no data  --
30.74/7.78	c  N dy   113     50397       150     12750         0     13271     89250    397804     38.62     40.67  --
32.33/8.16	c  N dy   133     55493       150     12750         0     18163     89250    614521     38.66     40.96  --
33.55/8.46	c  N dy   147     59786       150     12750         0     12723     89250    341204     38.69     40.74  --
34.73/8.75	c  N dy   165     63858       150     12750         0     16621     89250    516386     38.76     40.89  --
36.33/9.10	c  N dy   182     68136       150     12750         0     20730     89250    698917     38.78     40.93  --
36.33/9.19	c  S st   183     69401       150     12750         0     11405     89250    249579     38.75     38.12  --
36.73/9.24	c  S st   183     69902       150     12750         0     11896     89250    271093     38.75   no data  --
36.73/9.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.73/9.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/9.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/9.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.73/9.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.97	c lits-rem:       647  cl-subs:      100  v-elim:      0  v-fix:    0  time:  6.81 s
43.52/10.97	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
43.52/10.97	c vivif2 --  cl tried    11796 cl shrink        0 lits rem          0 time: 0.01
45.52/11.44	c asymm  cl-useful: 0/9938/12750 lits-rem:0 time: 1.86
45.52/11.44	c calculated reachability. Time: 0.00
45.52/11.44	c  N dy   183     69902       150     12750         0     11796     89250    264997     38.75   no data  --
46.73/11.74	c  N dy   194     74422       150     12750         0     16135     89250    457048     38.72     41.24  --
48.31/12.18	c  N dy   223     79244       150     12750         0     20742     89250    663338     38.81     40.92  --
50.31/12.61	c  N dy   239     84706       150     12750         0     14492     89250    355280     38.81     40.89  --
51.12/12.82	c  F st   248     87500       150     12750         0     17169     89250    474973     38.81     38.90  --
51.91/13.08	c  N st   253     90796       150     12750         0     20325     89250    620270     38.81   no data  --
54.30/13.65	c  N dy   272     96704       150     12750         0     13515     89250    280898     38.86     41.24  --
56.30/14.17	c  N dy   299    103152       150     12750         0     19682     89250    557115     38.92     41.06  --
57.10/14.32	c  S st   310    104857       150     12750         0     21316     89250    630465     38.95     39.24  --
57.10/14.39	c  S st   310    105360       150     12750         0     21796     89250    652205     38.95   no data  --
57.10/14.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.10/14.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.50/14.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.50/14.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.50/14.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.50/14.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.50/14.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.28/17.67	c lits-rem:      2032  cl-subs:      881  v-elim:      0  v-fix:    0  time: 12.95 s
70.28/17.67	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
70.28/17.68	c vivif2 --  cl tried    20915 cl shrink        0 lits rem          0 time: 0.03
71.09/17.89	c asymm  cl-useful: 0/2812/12750 lits-rem:0 time: 0.85
71.09/17.89	c calculated reachability. Time: 0.00
71.09/17.89	c  N dy   310    105360       150     12750         0     20915     89250    600783     38.95   no data  --
73.87/18.50	c  N dy   322    112093       150     12750         0     13983     89250    269862     38.88     41.03  --
75.88/19.03	c  N dy   339    119277       150     12750         0     20844     89250    575393     38.88     41.00  --
78.67/19.73	c  N dy   365    127010       150     12750         0     28252     89250    907229     38.88     41.36  --
81.88/20.51	c  N dy   386    136654       150     12750         0     23142     89250    644757     38.86     41.10  --
85.07/21.33	c  N dy   407    145433       150     12750         0     16240     89250    306938     38.87     40.93  --
87.86/22.06	c  N dy   426    154809       150     12750         0     25228     89250    706410     38.86     43.32  --
89.06/22.36	c  S st   430    158040       150     12750         0     28311     89250    843213     38.85     34.96  --
89.46/22.44	c  S st   430    158541       150     12750         0     28806     89250    864820     38.85   no data  --
89.46/22.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
89.46/22.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.46/22.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
89.46/22.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.46/22.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.46/22.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
89.46/22.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.83/27.03	c lits-rem:      1614  cl-subs:     1471  v-elim:      0  v-fix:    0  time: 18.18 s
107.83/27.03	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
107.83/27.04	c vivif2 --  cl tried    27335 cl shrink        0 lits rem          0 time: 0.04
109.03/27.31	c asymm  cl-useful: 0/3188/12750 lits-rem:0 time: 1.06
109.03/27.31	c calculated reachability. Time: 0.00
109.03/27.31	c  N dy   430    158541       150     12750         0     27335     89250    784850     38.85   no data  --
115.02/28.89	c  N dy   440    174579       150     12750         0     26358     89250    723427     38.66     40.77  --
120.61/30.20	c  N dy   492    186431       150     12750         0     20541     89250    434208     38.71     40.82  --
125.41/31.49	c  N dy   534    198975       150     12750         0     32561     89250    971567     38.73     41.08  --
131.00/32.80	c  N dy   581    211996       150     12750         0     26913     89250    687951     38.76     40.81  --
137.40/34.41	c  N dy   609    225591       150     12750         0     20739     89250    376458     38.73     40.80  --
142.59/35.71	c  S st   649    237811       150     12750         0     32457     89250    899228     38.75     36.63  --
142.99/35.80	c  S st   649    238317       150     12750         0     32950     89250    920507     38.75   no data  --
142.99/35.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.99/35.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.99/35.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
142.99/35.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.99/35.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.99/35.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
142.99/35.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.77/39.55	c lits-rem:      1007  cl-subs:     1432  v-elim:      0  v-fix:    0  time: 14.76 s
157.77/39.55	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
157.77/39.56	c vivif2 --  cl tried    31518 cl shrink        0 lits rem          0 time: 0.04
158.96/39.80	c asymm  cl-useful: 0/2495/12750 lits-rem:0 time: 0.96
158.96/39.80	c calculated reachability. Time: 0.00
158.96/39.80	c  N dy   649    238317       150     12750         0     31518     89250    842343     38.75   no data  --
164.96/41.36	c  N dy   697    253592       150     12750         0     26080     89250    586044     38.76     41.42  --
172.55/43.22	c  N dy   762    269829       150     12750         0     41652     89250   1283681     38.80     40.98  --
180.13/45.12	c  N dy   812    288267       150     12750         0     38231     89250   1095029     38.80     41.08  --
188.13/47.11	c  F st   876    306251       150     12750         0     33421     89250    842956     38.81     35.55  --
188.13/47.18	c  N st   878    306877       150     12750         0     34027     89250    870622     38.81   no data  --
197.71/49.57	c  N dy   934    327506       150     12750         0     30769     89250    695958     38.84     40.96  --
208.10/52.11	c  N dy   976    349760       150     12750         0     28139     89250    547983     38.79     40.87  --
211.29/52.99	c  S st  1021    357475       150     12750         0     35548     89250    881197     38.82     39.58  --
211.69/53.09	c  S st  1021    357975       150     12750         0     36041     89250    903170     38.82   no data  --
211.69/53.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
211.69/53.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.09/53.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
212.09/53.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.09/53.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.09/53.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
212.09/53.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.45/60.75	c lits-rem:      1793  cl-subs:     1226  v-elim:      0  v-fix:    0  time: 30.39 s
242.45/60.75	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
242.45/60.76	c vivif2 --  cl tried    34815 cl shrink        0 lits rem          0 time: 0.04
243.65/61.03	c asymm  cl-useful: 0/2184/12750 lits-rem:0 time: 1.09
243.65/61.03	c calculated reachability. Time: 0.00
243.65/61.03	c  N dy  1021    357975       150     12750         0     34815     89250    835095     38.82   no data  --
253.66/63.58	c  N dy  1064    379365       150     12750         0     30379     89250    612499     38.80     40.89  --
264.42/66.25	c  N dy  1129    401021       150     12750         0     51178     89250   1543850     38.82     40.91  --
274.81/68.89	c  N dy  1180    424314       150     12750         0     47659     89250   1352699     38.81     40.93  --
284.79/71.33	c  N dy  1236    444642       150     12750         0     40297     89250    992166     38.81     41.15  --
295.98/74.16	c  N dy  1300    465486       150     12750         0     32492     89250    607573     38.81     41.03  --
307.17/76.90	c  N dy  1371    485687       150     12750         0     51865     89250   1476296     38.83     40.92  --
319.95/80.11	c  N dy  1402    510101       150     12750         0     46403     89250   1198374     38.79     40.94  --
331.54/83.04	c  N dy  1454    531135       150     12750         0     36888     89250    739448     38.79     40.88  --
334.33/83.72	c  S st  1463    536963       150     12750         0     42466     89250    987995     38.78   no data  --
334.73/83.83	c  S st  1463    537464       150     12750         0     42957     89250   1009423     38.78   no data  --
334.73/83.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
334.73/83.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
334.73/83.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
334.73/83.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
334.73/83.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
334.73/83.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
334.73/83.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
353.11/88.50	c lits-rem:       803  cl-subs:     1556  v-elim:      0  v-fix:    0  time: 18.42 s
353.51/88.50	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
353.51/88.51	c vivif2 --  cl tried    41401 cl shrink        0 lits rem          0 time: 0.05
354.32/88.77	c asymm  cl-useful: 0/1875/12750 lits-rem:0 time: 1.03
354.32/88.77	c calculated reachability. Time: 0.00
354.32/88.77	c  N dy  1463    537464       150     12750         0     41401     89250    928029     38.78   no data  --
367.09/91.93	c  N dy  1536    557509       150     12750         0     60667     89250   1788948     38.80     40.98  --
377.47/94.53	c  N dy  1572    578698       150     12750         0     50281     89250   1295606     38.76     41.35  --
395.05/98.99	c  N dy  1630    608179       150     12750         0     46891     89250   1125266     38.74     40.95  --
410.63/102.85	c  N dy  1719    628252       150     12750         0     33607     89250    492652     38.76     43.35  --
421.41/105.59	c  N dy  1757    648284       150     12750         0     52749     89250   1351176     38.75     42.88  --
435.40/109.07	c  N dy  1783    669736       150     12750         0     39763     89250    735457     38.72     40.78  --
448.57/112.35	c  N dy  1837    689952       150     12750         0     59090     89250   1602878     38.72     40.90  --
462.95/115.97	c  N dy  1901    710044       150     12750         0     43926     89250    887111     38.72     43.60  --
477.35/119.54	c  N dy  1954    730537       150     12750         0     63614     89250   1765062     38.72     41.18  --
490.94/122.96	c  N dy  2007    750620       150     12750         0     47353     89250   1008476     38.72     40.98  --
504.49/126.33	c  N dy  2051    770635       150     12750         0     66515     89250   1861134     38.71     40.79  --
516.89/129.41	c  N dy  2095    790708       150     12750         0     49351     89250   1058303     38.70     41.95  --
526.09/131.78	c  S st  2117    806199       150     12750         0     64166     89250   1720155     38.69     37.63  --
526.87/131.94	c  S st  2117    806701       150     12750         0     64652     89250   1742092     38.69   no data  --
526.87/131.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
526.87/131.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
526.87/131.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
527.27/132.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
527.27/132.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
527.27/132.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
527.27/132.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
614.75/153.98	c lits-rem:      1864  cl-subs:     3115  v-elim:      0  v-fix:    0  time: 87.62 s
614.75/153.98	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
615.15/154.00	c vivif2 --  cl tried    61537 cl shrink        0 lits rem          0 time: 0.08
616.35/154.34	c asymm  cl-useful: 0/1327/12750 lits-rem:0 time: 1.36
616.35/154.35	c calculated reachability. Time: 0.00
616.35/154.35	c  N dy  2117    806701       150     12750         0     61537     89250   1576120     38.69   no data  --
630.74/157.90	c  N dy  2176    826714       150     12750         0     43438     89250    765720     38.69     43.07  --
643.51/161.16	c  N dy  2250    846807       150     12750         0     62682     89250   1625714     38.70     41.28  --
658.69/164.96	c  N dy  2299    867248       150     12750         0     44010     89250    756931     38.70     40.93  --
671.87/168.28	c  N dy  2379    887565       150     12750         0     63493     89250   1628934     38.71     40.92  --
689.86/172.74	c  N dy  2410    914301       150     12750         0     49835     89250    980313     38.67     41.29  --
703.83/176.29	c  N dy  2453    935005       150     12750         0     69685     89250   1868128     38.67     41.08  --
719.81/180.28	c  N dy  2536    955296       150     12750         0     48934     89250    909891     38.68     40.80  --
735.40/184.14	c  N dy  2591    976969       150     12750         0     69727     89250   1838113     38.67     40.85  --
754.18/188.83	c  N dy  2643   1003200       150     12750         0     53554     89250   1085764     38.66     40.79  --
768.95/192.59	c  N dy  2704   1023640       150     12750         0     73153     89250   1956988     38.66     41.14  --
784.94/196.56	c  N dy  2766   1043649       150     12750         0     50239     89250    904576     38.66     41.27  --
798.53/199.95	c  N dy  2806   1063750       150     12750         0     69477     89250   1759690     38.65     41.07  --
805.70/201.71	c  F st  2831   1071876       150     12750         0     77275     89250   2106822     38.65     37.18  --
816.48/204.48	c  N dy  2852   1084672       150     12750         0     46400     89250    695759     38.65     40.69  --
833.29/208.69	c  N dy  2933   1104756       150     12750         0     65643     89250   1553664     38.65     41.17  --
853.64/213.79	c  N dy  2996   1124832       150     12750         0     84849     89250   2411824     38.66     40.97  --
870.41/217.97	c  N dy  3069   1145650       150     12750         0     60685     89250   1297390     38.66     40.75  --
905.16/226.68	c  N dy  3125   1185318       150     12750         0     53568     89250    955172     38.62     40.80  --
921.56/230.79	c  N dy  3179   1205431       150     12750         0     72807     89250   1813129     38.62     40.68  --
926.74/232.07	c  S st  3204   1210051       150     12750         0     77229     89250   2011008     38.63     34.65  --
927.94/232.31	c  S st  3204   1210556       150     12750         0     77721     89250   2032473     38.63   no data  --
927.94/232.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
927.94/232.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
927.94/232.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
928.34/232.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
928.34/232.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
928.34/232.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
928.34/232.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1089.33/272.70	c lits-rem:      2322  cl-subs:     3838  v-elim:      0  v-fix:    0  time: 160.83 s
1089.33/272.70	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1089.33/272.73	c vivif2 --  cl tried    73883 cl shrink        0 lits rem          0 time: 0.10
1090.93/273.16	c asymm  cl-useful: 0/1141/12750 lits-rem:0 time: 1.74
1090.93/273.16	c calculated reachability. Time: 0.00
1090.93/273.16	c  N dy  3204   1210556       150     12750         0     73883     89250   1833704     38.63   no data  --
1116.09/279.44	c  N dy  3275   1230638       150     12750         0     47305     89250    640674     38.63     40.69  --
1135.27/284.27	c  N dy  3376   1253534       150     12750         0     69229     89250   1626533     38.65     40.70  --
1158.45/290.03	c  N dy  3432   1275843       150     12750         0     90620     89250   2587944     38.64     40.75  --
1180.01/295.41	c  N dy  3526   1298231       150     12750         0     65242     89250   1410632     38.66     41.08  --
1200.78/300.61	c  N dy  3573   1318313       150     12750         0     84453     89250   2268667     38.65     43.17  --
1221.15/305.77	c  N dy  3589   1340435       150     12750         0     57664     89250   1035066     38.62     40.83  --
1241.12/310.72	c  N dy  3621   1362230       150     12750         0     78453     89250   1962116     38.60     40.83  --
1267.09/317.23	c  N dy  3682   1382265       150     12750         0     48918     89250    612118     38.60     42.00  --
1284.67/321.60	c  N dy  3737   1402304       150     12750         0     68122     89250   1466898     38.60     40.88  --
1307.75/327.47	c  N dy  3811   1422336       150     12750         0     87289     89250   2322680     38.61     41.16  --
1332.70/333.79	c  N dy  3882   1442382       150     12750         0     56702     89250    924630     38.62     40.80  --
1354.01/339.11	c  N dy  3951   1462984       150     12750         0     76456     89250   1804404     38.62     40.83  --
1378.48/345.37	c  N dy  3973   1485450       150     12750         0     97839     89250   2767036     38.59     40.90  --
1399.65/350.60	c  N dy  4043   1505630       150     12750         0     66517     89250   1333581     38.60     40.77  --
1421.23/356.04	c  N dy  4104   1525773       150     12750         0     85802     89250   2197643     38.60     40.67  --
1446.37/362.30	c  N dy  4157   1546104       150     12750         0     53582     89250    723188     38.60     40.84  --
1465.94/367.27	c  N dy  4194   1567871       150     12750         0     74360     89250   1649994     38.59     40.78  --
1494.31/374.39	c  N dy  4279   1589265       150     12750         0     94858     89250   2567642     38.60     40.82  --
1521.87/381.30	c  N dy  4366   1610130       150     12750         0     62247     89250   1074915     38.60     40.84  --
1543.84/386.70	c  N dy  4444   1630696       150     12750         0     81942     89250   1954964     38.61     40.94  --
1567.41/392.61	c  N dy  4490   1650708       150     12750         0    101075     89250   2807334     38.61     41.43  --
1588.98/398.03	c  N dy  4578   1670789       150     12750         0     66736     89250   1238687     38.62     42.91  --
1608.95/403.01	c  N dy  4644   1690862       150     12750         0     85983     89250   2099163     38.62     40.72  --
1634.52/409.42	c  S st  4732   1710556       150     12750         0    104895     89250   2946240     38.63     38.31  --
1635.72/409.75	c  S st  4732   1711060       150     12750         0    105379     89250   2968059     38.63   no data  --
1635.72/409.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1635.72/409.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1636.12/409.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1636.54/409.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1636.54/409.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1636.54/409.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1636.54/409.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2794.99/699.91	c lits-rem:      4211  cl-subs:     5204  v-elim:      0  v-fix:    0  time: 1157.92 s
2794.99/699.92	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2794.99/699.95	c vivif2 --  cl tried   100175 cl shrink        0 lits rem          0 time: 0.13
2796.19/700.24	c asymm  cl-useful: 0/540/12750 lits-rem:0 time: 1.17
2796.19/700.25	c calculated reachability. Time: 0.00
2796.19/700.25	c  N dy  4732   1711060       150     12750         0    100175     89250   2680096     38.63   no data  --
2818.58/705.90	c  N dy  4791   1731593       150     12750         0     65338     89250   1139006     38.63     40.72  --
2839.73/711.11	c  N dy  4855   1751675       150     12750         0     84573     89250   1999439     38.64     40.77  --
2865.29/717.53	c  N dy  4933   1771702       150     12750         0    103728     89250   2857303     38.64     40.79  --
2887.26/723.09	c  N dy  4991   1791877       150     12750         0     67514     89250   1201886     38.64     40.69  --
2909.24/728.51	c  N dy  5066   1812250       150     12750         0     87041     89250   2074794     38.65     40.72  --
2937.62/735.61	c  N dy  5157   1832296       150     12750         0    106274     89250   2939196     38.66     41.59  --
2964.36/742.32	c  N dy  5249   1854055       150     12750         0     70624     89250   1303746     38.66     40.93  --
2987.93/748.24	c  N dy  5313   1874755       150     12750         0     90489     89250   2189561     38.66     40.81  --
3015.10/755.09	c  N dy  5361   1895024       150     12750         0    109919     89250   3058772     38.66     40.75  --
3039.07/761.02	c  N dy  5435   1915053       150     12750         0     71629     89250   1319165     38.66     43.51  --
3062.23/766.84	c  N dy  5499   1935093       150     12750         0     90803     89250   2175129     38.66     40.77  --
3092.19/774.37	c  N dy  5579   1956572       150     12750         0    111413     89250   3101199     38.66     41.10  --
3113.39/779.69	c  N dy  5638   1976629       150     12750         0     72187     89250   1306500     38.66     42.20  --
3140.53/786.46	c  N dy  5716   2000709       150     12750         0     95225     89250   2335891     38.67     40.74  --
3168.89/793.56	c  N dy  5798   2020836       150     12750         0    114541     89250   3201251     38.67     40.90  --
3193.66/799.73	c  N dy  5883   2043622       150     12750         0     76928     89250   1490879     38.68     40.97  --
3220.03/806.31	c  N dy  5934   2067635       150     12750         0     99890     89250   2518269     38.67     40.86  --
3246.79/813.04	c  N dy  5999   2087988       150     12750         0    119414     89250   3393549     38.67     40.99  --
3263.97/817.33	c  N dy  6033   2108007       150     12750         0     78182     89250   1507043     38.67     40.94  --
3285.13/822.64	c  N dy  6083   2128620       150     12750         0     97912     89250   2383406     38.67     40.96  --
3312.70/829.56	c  N dy  6158   2149083       150     12750         0    117524     89250   3259812     38.67     40.94  --
3334.67/835.06	c  N dy  6240   2169786       150     12750         0     76129     89250   1388162     38.68     40.76  --
3354.66/840.08	c  N dy  6302   2189921       150     12750         0     95391     89250   2247153     38.68     41.58  --
3381.81/846.82	c  N dy  6372   2211060       150     12750         0    115599     89250   3145694     38.68     35.21  --
3381.81/846.82	c  S st  6372   2211060       150     12750         0    115599     89250   3145694     38.68     35.21  --
3383.01/847.13	c  S st  6372   2211563       150     12750         0    116096     89250   3167648     38.68   no data  --
3383.01/847.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3383.01/847.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3383.41/847.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3383.81/847.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3383.81/847.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3383.81/847.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3383.81/847.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3174943-1304056750/watcher-3174943-1304056750 -o /tmp/evaluation-result-3174943-1304056750/solver-3174943-1304056750 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174943-1304056750.cnf 

running on 4 cores: 1,3,5,7

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.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 517271685 52465664 353 33554432000 4194304 4650419 140737398866576 18446744073709551615 47260407236530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 12809 353 303 112 0 7774 0
[pid=25002/tid=25003] ppid=25000 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 517271685 52465664 353 33554432000 4194304 4650419 140737398866576 18446744073709551615 47260407236530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 517271685 52465664 353 33554432000 4194304 4650419 140737398866576 18446744073709551615 254512489526 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 517271685 52465664 353 33554432000 4194304 4650419 140737398866576 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.24114 s]
/proc/loadavg: 7.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=224060 CPUtime=1.25 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 4854 0 0 0 125 0 0 0 18 0 4 0 517271685 229437440 4018 33554432000 4194304 4650419 140737398866576 18446744073709551615 254500388619 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 56015 4036 383 112 0 50980 0
[pid=25002/tid=25003] ppid=25000 vsize=224060 CPUtime=0.31 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 718 0 0 0 31 0 0 0 25 0 4 0 517271685 229437440 4046 33554432000 4194304 4650419 140737398866576 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=224060 CPUtime=0.31 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 1301 0 0 0 31 0 0 0 18 0 4 0 517271685 229437440 4135 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=224060 CPUtime=0.31 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) S 25000 25002 24785 0 -1 4202560 1148 0 0 0 31 0 0 0 18 0 4 0 517271685 229437440 4147 33554432000 4194304 4650419 140737398866576 18446744073709551615 254500796910 0 0 4096 2 18446604471152643072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 224060

[startup+0.90821 s]
/proc/loadavg: 7.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=235992 CPUtime=3.6 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 9522 0 0 0 359 1 0 0 19 0 4 0 517271685 241655808 6471 33554432000 4194304 4650419 140737398866576 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 58998 6477 390 112 0 53963 0
[pid=25002/tid=25003] ppid=25000 vsize=235992 CPUtime=0.89 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2194 0 0 0 89 0 0 0 25 0 4 0 517271685 241655808 6480 33554432000 4194304 4650419 140737398866576 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=235992 CPUtime=0.89 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2437 0 0 0 89 0 0 0 19 0 4 0 517271685 241655808 6484 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=235992 CPUtime=0.89 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 1907 0 0 0 89 0 0 0 19 0 4 0 517271685 241655808 6488 33554432000 4194304 4650419 140737398866576 18446744073709551615 4514522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 235992

[startup+1.00819 s]
/proc/loadavg: 7.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=236124 CPUtime=4 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 10339 0 0 0 399 1 0 0 19 0 4 0 517271685 241790976 6237 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 59031 6237 390 112 0 53996 0
[pid=25002/tid=25003] ppid=25000 vsize=236124 CPUtime=0.99 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2415 0 0 0 99 0 0 0 25 0 4 0 517271685 241790976 6237 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=236124 CPUtime=0.99 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2531 0 0 0 99 0 0 0 19 0 4 0 517271685 241790976 6237 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=236124 CPUtime=0.99 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2308 0 0 0 99 0 0 0 19 0 4 0 517271685 241790976 6237 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 236124

[startup+1.10817 s]
/proc/loadavg: 7.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=236124 CPUtime=4.4 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 10685 0 0 0 438 2 0 0 19 0 4 0 517271685 241790976 6583 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 59031 6583 390 112 0 53996 0
[pid=25002/tid=25003] ppid=25000 vsize=236124 CPUtime=1.09 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2497 0 0 0 109 0 0 0 25 0 4 0 517271685 241790976 6583 33554432000 4194304 4650419 140737398866576 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=236124 CPUtime=1.09 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2620 0 0 0 109 0 0 0 19 0 4 0 517271685 241790976 6583 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=236124 CPUtime=1.09 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 2393 0 0 0 109 0 0 0 19 0 4 0 517271685 241790976 6583 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 236124

[startup+1.50109 s]
/proc/loadavg: 7.53 7.97 7.88 1/172 25002
/proc/meminfo: memFree=18310268/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=236624 CPUtime=5.97 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 13256 0 0 0 595 2 0 0 19 0 4 0 517271685 242302976 6761 33554432000 4194304 4650419 140737398866576 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 59156 6761 391 112 0 54121 0
[pid=25002/tid=25003] ppid=25000 vsize=236624 CPUtime=1.48 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 3095 0 0 0 148 0 0 0 25 0 4 0 517271685 242302976 6761 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=236624 CPUtime=1.48 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 3232 0 0 0 148 0 0 0 19 0 4 0 517271685 242302976 6761 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=236624 CPUtime=1.48 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 3132 0 0 0 148 0 0 0 19 0 4 0 517271685 242302976 6761 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 236624

[startup+3.10078 s]
/proc/loadavg: 7.53 7.97 7.88 9/184 25019
/proc/meminfo: memFree=18200640/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=243800 CPUtime=12.36 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 29096 0 0 0 1231 5 0 0 25 0 4 0 517271685 249651200 17667 33554432000 4194304 4650419 140737398866576 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 60950 17667 392 112 0 55915 0
[pid=25002/tid=25003] ppid=25000 vsize=243800 CPUtime=3.09 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 6259 0 0 0 308 1 0 0 25 0 4 0 517271685 249651200 17667 33554432000 4194304 4650419 140737398866576 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=243800 CPUtime=3.08 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 8040 0 0 0 308 0 0 0 25 0 4 0 517271685 249651200 17667 33554432000 4194304 4650419 140737398866576 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=243800 CPUtime=3.07 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 7919 0 0 0 306 1 0 0 25 0 4 0 517271685 249651200 17667 33554432000 4194304 4650419 140737398866576 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 243800

[startup+6.30614 s]
/proc/loadavg: 7.73 8.00 7.89 9/184 25019
/proc/meminfo: memFree=18091652/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=234892 CPUtime=25.16 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 34663 0 0 0 2510 6 0 0 25 0 4 0 517271685 240529408 17849 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 58723 17849 392 112 0 53688 0
[pid=25002/tid=25003] ppid=25000 vsize=234892 CPUtime=6.29 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 7874 0 0 0 628 1 0 0 25 0 4 0 517271685 240529408 17849 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=234892 CPUtime=6.29 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 8548 0 0 0 629 0 0 0 25 0 4 0 517271685 240529408 17849 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=234892 CPUtime=6.25 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 9799 0 0 0 624 1 0 0 25 0 4 0 517271685 240529408 17849 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 234892

[startup+12.7009 s]
/proc/loadavg: 7.75 8.00 7.89 9/184 25019
/proc/meminfo: memFree=18044892/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=255048 CPUtime=50.71 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 49208 0 0 0 5061 10 0 0 25 0 4 0 517271685 261169152 27495 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 63762 27495 392 112 0 58727 0
[pid=25002/tid=25003] ppid=25000 vsize=255048 CPUtime=12.68 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 12782 0 0 0 1266 2 0 0 25 0 4 0 517271685 261169152 27495 33554432000 4194304 4650419 140737398866576 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=255048 CPUtime=12.69 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 10068 0 0 0 1268 1 0 0 25 0 4 0 517271685 261169152 27495 33554432000 4194304 4650419 140737398866576 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=255048 CPUtime=12.63 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 15438 0 0 0 1259 4 0 0 25 0 4 0 517271685 261169152 27495 33554432000 4194304 4650419 140737398866576 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 255048

[startup+25.5003 s]
/proc/loadavg: 7.79 8.00 7.89 9/184 25019
/proc/meminfo: memFree=17894624/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=261524 CPUtime=101.84 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 72216 0 0 0 10166 18 0 0 25 0 4 0 517271685 267800576 34563 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 65381 34563 392 112 0 60346 0
[pid=25002/tid=25003] ppid=25000 vsize=261524 CPUtime=25.49 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 18309 0 0 0 2544 5 0 0 25 0 4 0 517271685 267800576 34563 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=261524 CPUtime=25.49 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 14221 0 0 0 2546 3 0 0 25 0 4 0 517271685 267800576 34563 33554432000 4194304 4650419 140737398866576 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=261524 CPUtime=25.35 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 23117 0 0 0 2529 6 0 0 25 0 4 0 517271685 267800576 34563 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 261524

[startup+51.1002 s]
/proc/loadavg: 7.87 8.00 7.89 9/184 25020
/proc/meminfo: memFree=17802672/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=275704 CPUtime=204.1 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 105503 0 0 0 20382 28 0 0 25 0 4 0 517271685 282320896 45565 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 68926 45565 392 112 0 63891 0
[pid=25002/tid=25003] ppid=25000 vsize=275704 CPUtime=51.08 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 24605 0 0 0 5102 6 0 0 25 0 4 0 517271685 282320896 45565 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=275704 CPUtime=51.08 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 20087 0 0 0 5104 4 0 0 25 0 4 0 517271685 282320896 45565 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=275704 CPUtime=50.82 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 35664 0 0 0 5071 11 0 0 25 0 4 0 517271685 282320896 45565 33554432000 4194304 4650419 140737398866576 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 275704

[startup+102.301 s]
/proc/loadavg: 7.94 8.00 7.90 9/184 25021
/proc/meminfo: memFree=17668240/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=414060 CPUtime=408.63 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 172111 0 0 0 40812 51 0 0 25 0 4 0 517271685 423997440 58637 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 103515 58637 392 112 0 98480 0
[pid=25002/tid=25003] ppid=25000 vsize=414060 CPUtime=102.28 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 40535 0 0 0 10216 12 0 0 25 0 4 0 517271685 423997440 58637 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=414060 CPUtime=102.28 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 33817 0 0 0 10218 10 0 0 25 0 4 0 517271685 423997440 58637 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=414060 CPUtime=101.74 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 57624 0 0 0 10157 17 0 0 25 0 4 0 517271685 423997440 58637 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476369 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 414060

[startup+162.301 s]

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

[pid=25002] ppid=25000 vsize=575876 CPUtime=2804.57 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 446673 0 0 0 280268 189 0 0 25 0 4 0 517271685 589697024 106673 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 143969 106673 392 112 0 138934 0
[pid=25002/tid=25003] ppid=25000 vsize=575876 CPUtime=702.3 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 120980 0 0 0 70170 60 0 0 25 0 4 0 517271685 589697024 106673 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=575876 CPUtime=702.31 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 67323 0 0 0 70205 26 0 0 25 0 4 0 517271685 589697024 106673 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=575876 CPUtime=698.49 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 165476 0 0 0 69784 65 0 0 25 0 4 0 517271685 589697024 106673 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.57
Current children cumulated vsize (KiB) 575876

[startup+762.301 s]
/proc/loadavg: 8.13 8.08 7.97 9/184 25051
/proc/meminfo: memFree=17216860/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=591852 CPUtime=3044.26 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 466699 0 0 0 304225 201 0 0 25 0 4 0 517271685 606056448 99723 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 147963 99723 392 112 0 142928 0
[pid=25002/tid=25003] ppid=25000 vsize=591852 CPUtime=762.3 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 126090 0 0 0 76168 62 0 0 25 0 4 0 517271685 606056448 99723 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=591852 CPUtime=762.32 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 67323 0 0 0 76206 26 0 0 25 0 4 0 517271685 606056448 99723 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=591852 CPUtime=758.17 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 172466 0 0 0 75746 71 0 0 25 0 4 0 517271685 606056448 99723 33554432000 4194304 4650419 140737398866576 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.26
Current children cumulated vsize (KiB) 591852

[startup+822.301 s]
/proc/loadavg: 8.12 8.08 7.98 9/184 25052
/proc/meminfo: memFree=17117772/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=554748 CPUtime=3283.94 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 491789 0 0 0 328181 213 0 0 25 0 4 0 517271685 568061952 103525 33554432000 4194304 4650419 140737398866576 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 138687 103525 392 112 0 133652 0
[pid=25002/tid=25003] ppid=25000 vsize=554748 CPUtime=822.3 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 131374 0 0 0 82165 65 0 0 25 0 4 0 517271685 568061952 103525 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=554748 CPUtime=822.32 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 70371 0 0 0 82205 27 0 0 25 0 4 0 517271685 568061952 103525 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=554748 CPUtime=817.85 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 180667 0 0 0 81710 75 0 0 25 0 4 0 517271685 568061952 103525 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.94
Current children cumulated vsize (KiB) 554748

[startup+882.301 s]
/proc/loadavg: 8.15 8.09 7.99 9/184 25054
/proc/meminfo: memFree=17047936/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=620164 CPUtime=3523.62 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 518018 0 0 0 352135 227 0 0 25 0 4 0 517271685 635047936 112875 33554432000 4194304 4650419 140737398866576 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 155041 112875 392 112 0 150006 0
[pid=25002/tid=25003] ppid=25000 vsize=620164 CPUtime=882.3 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 137973 0 0 0 88161 69 0 0 25 0 4 0 517271685 635047936 112875 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=620164 CPUtime=882.32 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 75902 0 0 0 88202 30 0 0 25 0 4 0 517271685 635047936 112875 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=620164 CPUtime=877.52 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 186842 0 0 0 87673 79 0 0 25 0 4 0 517271685 635047936 112875 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.62
Current children cumulated vsize (KiB) 620164

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 8.00 9/184 25056
/proc/meminfo: memFree=17077432/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=726932 CPUtime=3763.33 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 548203 0 0 0 376088 245 0 0 25 0 4 0 517271685 744378368 111138 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 181733 111138 392 112 0 176698 0
[pid=25002/tid=25003] ppid=25000 vsize=726932 CPUtime=942.31 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 147497 0 0 0 94155 76 0 0 25 0 4 0 517271685 744378368 111138 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=726932 CPUtime=942.34 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 84265 0 0 0 94198 36 0 0 25 0 4 0 517271685 744378368 111138 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=726932 CPUtime=937.19 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 192976 0 0 0 93637 82 0 0 25 0 4 0 517271685 744378368 111138 33554432000 4194304 4650419 140737398866576 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.33
Current children cumulated vsize (KiB) 726932

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.01 9/184 25057
/proc/meminfo: memFree=17024340/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=901056 CPUtime=4003 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 569178 0 0 0 400045 255 0 0 25 0 4 0 517271685 922681344 125343 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 225264 125343 392 112 0 220229 0
[pid=25002/tid=25003] ppid=25000 vsize=901056 CPUtime=1002.31 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 157608 0 0 0 100153 78 0 0 25 0 4 0 517271685 922681344 125343 33554432000 4194304 4650419 140737398866576 18446744073709551615 4439242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=901056 CPUtime=1002.33 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 85996 0 0 0 100196 37 0 0 25 0 4 0 517271685 922681344 125343 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=901056 CPUtime=996.87 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 202109 0 0 0 99599 88 0 0 25 0 4 0 517271685 922681344 125343 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003
Current children cumulated vsize (KiB) 901056

[startup+1062.31 s]
/proc/loadavg: 8.10 8.10 8.00 9/184 25059
/proc/meminfo: memFree=17026920/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=849032 CPUtime=4242.7 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 577720 0 0 0 424008 262 0 0 25 0 4 0 517271685 869408768 124400 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 212258 124400 392 112 0 207223 0
[pid=25002/tid=25003] ppid=25000 vsize=849032 CPUtime=1062.31 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 157608 0 0 0 106153 78 0 0 25 0 4 0 517271685 869408768 124400 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=849032 CPUtime=1062.34 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 88577 0 0 0 106194 40 0 0 25 0 4 0 517271685 869408768 124400 33554432000 4194304 4650419 140737398866576 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=849032 CPUtime=1056.55 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 208070 0 0 0 105562 93 0 0 25 0 4 0 517271685 869408768 124400 33554432000 4194304 4650419 140737398866576 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.7
Current children cumulated vsize (KiB) 849032

[startup+1122.3 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 25060
/proc/meminfo: memFree=17009300/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=863504 CPUtime=4482.36 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 588740 0 0 0 447969 267 0 0 25 0 4 0 517271685 884228096 128642 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 215876 128642 392 112 0 210841 0
[pid=25002/tid=25003] ppid=25000 vsize=863504 CPUtime=1122.31 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 157804 0 0 0 112153 78 0 0 25 0 4 0 517271685 884228096 128642 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=863504 CPUtime=1122.33 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 90539 0 0 0 112192 41 0 0 25 0 4 0 517271685 884228096 128642 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=863504 CPUtime=1116.22 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 216932 0 0 0 111525 97 0 0 25 0 4 0 517271685 884228096 128642 33554432000 4194304 4650419 140737398866576 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.36
Current children cumulated vsize (KiB) 863504

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/184 25062
/proc/meminfo: memFree=17008900/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=863504 CPUtime=4722.04 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 593683 0 0 0 471933 271 0 0 25 0 4 0 517271685 884228096 128731 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 215876 128731 392 112 0 210841 0
[pid=25002/tid=25003] ppid=25000 vsize=863504 CPUtime=1182.32 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 158375 0 0 0 118153 79 0 0 25 0 4 0 517271685 884228096 128731 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=863504 CPUtime=1182.34 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 92776 0 0 0 118190 44 0 0 25 0 4 0 517271685 884228096 128731 33554432000 4194304 4650419 140737398866576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=863504 CPUtime=1175.9 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 219067 0 0 0 117492 98 0 0 25 0 4 0 517271685 884228096 128731 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.04
Current children cumulated vsize (KiB) 863504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.06 8.08 8.00 5/180 25064
/proc/meminfo: memFree=17786908/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=863504 CPUtime=4800.38 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 594709 0 0 0 479767 271 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 215876 128409 392 112 0 210841 0
[pid=25002/tid=25003] ppid=25000 vsize=863504 CPUtime=1201.93 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 158375 0 0 0 120114 79 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=863504 CPUtime=1201.95 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 92776 0 0 0 120151 44 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=863504 CPUtime=1195.4 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 220093 0 0 0 119442 98 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 863504

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

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

[startup+1201.9 s]
/proc/loadavg: 8.06 8.08 8.00 5/180 25064
/proc/meminfo: memFree=17786908/32950928 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=863504 CPUtime=4800.38 cores=1,3,5,7
/proc/25002/stat : 25002 (strangenight1-m) R 25000 25002 24785 0 -1 4202496 594709 0 0 0 479767 271 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 215876 128409 392 112 0 210841 0
[pid=25002/tid=25003] ppid=25000 vsize=863504 CPUtime=1201.93 cores=1,3,5,7
/proc/25002/task/25003/stat : 25003 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 158375 0 0 0 120114 79 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25002/tid=25004] ppid=25000 vsize=863504 CPUtime=1201.95 cores=1,3,5,7
/proc/25002/task/25004/stat : 25004 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 92776 0 0 0 120151 44 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25002/tid=25005] ppid=25000 vsize=863504 CPUtime=1195.4 cores=1,3,5,7
/proc/25002/task/25005/stat : 25005 (strangenight1-m) R 25000 25002 24785 0 -1 4202560 220093 0 0 0 119442 98 0 0 25 0 4 0 517271685 884228096 128409 33554432000 4194304 4650419 140737398866576 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 863504

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.44
CPU user time (s): 4797.7
CPU system time (s): 2.73958
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 917680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.7
system time used= 2.73958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594709
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= 640
involuntary context switches= 34116

runsolver used 1.65175 second user time and 4.92525 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 07:59:10
IDJOB=3174943
IDBENCH=82561
IDSOLVER=1588
FILE ID=node149/3174943-1304056750
RUNJOBID= node149-1304054342-24804
PBS_JOBID= 13170429
Free space on /tmp= 71932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174943-1304056750/watcher-3174943-1304056750 -o /tmp/evaluation-result-3174943-1304056750/solver-3174943-1304056750 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174943-1304056750.cnf

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

MD5SUM BENCH= fbc6593197090933c7d66c2e5740159a
RANDOM SEED=368180853

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18310424 kB
Buffers:       2222808 kB
Cached:       11804096 kB
SwapCached:          0 kB
Active:        5945612 kB
Inactive:      8145860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18310424 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6640 kB
Writeback:           0 kB
AnonPages:       63704 kB
Mapped:          14704 kB
Slab:           484228 kB
PageTables:       4296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186832 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= 71928 MiB
End job on node149 at 2011-04-29 08:19:14