Trace number 3368552

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.13 1203.85

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368552-1305397122.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
0.00/0.32	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.32	c -- vars added        150
0.00/0.32	c Parsing time:  0.03 s
0.00/0.32	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
0.00/0.32	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
0.00/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.00/0.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
0.00/0.55	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.55	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.00/0.55	c calculated reachability. Time: 0.00
0.00/0.55	c Calc default polars -  time:   0.00 s pos:      64 undec:       4 neg:      82
0.00/0.55	c =========================================================================================
0.00/0.55	c types(t): F = full restart, N = normal restart
0.00/0.55	c types(t): S = simplification begin/end, E = solution found
0.00/0.55	c restart types(rt): st = static, dy = dynamic
0.00/0.55	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.55	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.27/0.91	c  N dy     8      4169       150     12750         0      3995     89250    183640     40.34     43.18  --
1.27/0.91	c  N dy    13      9817       150     12750         0      6979     89250    287166     39.01     41.16  --
4.77/1.20	c  N dy    30     13953       150     12750         0      6903     89250    250470     39.31     41.38  --
5.17/1.34	c  N dy    45     19106       150     12750         0      6448     89250    192011     39.19     41.38  --
5.97/1.56	c  N dy    50     23366       150     12750         0     10521     89250    374942     39.07     41.14  --
6.38/1.66	c  F st    60     25000       150     12750         0     12096     89250    446736     39.18   no data  --
7.20/1.85	c  N st    65     28302       150     12750         0      8744     89250    262642     39.18   no data  --
7.60/1.94	c  S st    66     30002       150     12750         0     10362     89250    335336     39.18   no data  --
7.60/1.98	c  S st    66     30508       150     12750         0     10852     89250    356779     39.18   no data  --
7.60/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.60/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.60/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.96/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.96/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.13/4.31	c lits-rem:      2127  cl-subs:      435  v-elim:      0  v-fix:    0  time:  9.19 s
18.73/4.74	c asymm  cl-useful: 0/10888/12750 lits-rem:0 time: 1.74
18.73/4.75	c calculated reachability. Time: 0.00
18.73/4.75	c  N dy    66     30508       150     12750         0     10417     89250    330434     39.18   no data  --
20.37/5.19	c  N dy    68     37336       150     12750         0      9359     89250    253700     38.51     40.65  --
21.52/5.44	c  N dy    86     41436       150     12750         0     13272     89250    428103     38.58     40.80  --
22.71/5.78	c  N dy   108     45763       150     12750         0      8875     89250    202352     38.69     38.87  --
22.71/5.78	c  S st   108     45763       150     12750         0      8875     89250    202352     38.69     38.87  --
23.11/5.82	c  S st   108     46266       150     12750         0      9365     89250    224512     38.69   no data  --
23.11/5.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.11/5.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.11/5.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.11/5.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.11/5.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.11/5.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.11/5.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.55/7.44	c lits-rem:       324  cl-subs:       59  v-elim:      0  v-fix:    0  time:  6.35 s
29.55/7.44	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.55/7.44	c vivif2 --  cl tried     9306 cl shrink        0 lits rem          0 time: 0.01
29.90/7.52	c asymm  cl-useful: 0/1862/12750 lits-rem:0 time: 0.32
29.90/7.52	c calculated reachability. Time: 0.00
29.90/7.52	c  N dy   108     46266       150     12750         0      9306     89250    220780     38.69   no data  --
30.70/7.77	c  N dy   113     50397       150     12750         0     13271     89250    397804     38.62     40.67  --
32.29/8.16	c  N dy   133     55493       150     12750         0     18163     89250    614521     38.66     40.96  --
33.53/8.45	c  N dy   147     59786       150     12750         0     12723     89250    341204     38.69     40.74  --
34.68/8.74	c  N dy   165     63858       150     12750         0     16621     89250    516386     38.76     40.89  --
35.88/9.10	c  N dy   182     68136       150     12750         0     20730     89250    698917     38.78     40.93  --
36.28/9.19	c  S st   183     69401       150     12750         0     11405     89250    249579     38.75     38.12  --
36.68/9.23	c  S st   183     69902       150     12750         0     11896     89250    271093     38.75   no data  --
36.68/9.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.68/9.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.68/9.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.68/9.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.68/9.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.68/9.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.68/9.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.45/10.93	c lits-rem:       647  cl-subs:      100  v-elim:      0  v-fix:    0  time:  6.67 s
43.45/10.93	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.45/10.93	c vivif2 --  cl tried    11796 cl shrink        0 lits rem          0 time: 0.01
45.45/11.41	c asymm  cl-useful: 0/9938/12750 lits-rem:0 time: 1.91
45.45/11.41	c calculated reachability. Time: 0.00
45.45/11.41	c  N dy   183     69902       150     12750         0     11796     89250    264997     38.75   no data  --
46.68/11.71	c  N dy   194     74422       150     12750         0     16135     89250    457048     38.72     41.24  --
48.23/12.15	c  N dy   223     79244       150     12750         0     20742     89250    663338     38.81     40.92  --
49.83/12.57	c  N dy   239     84706       150     12750         0     14492     89250    355280     38.81     40.89  --
50.63/12.78	c  F st   248     87500       150     12750         0     17169     89250    474973     38.81     38.90  --
51.83/13.04	c  N st   253     90796       150     12750         0     20325     89250    620270     38.81   no data  --
54.22/13.60	c  N dy   272     96704       150     12750         0     13515     89250    280898     38.86     41.24  --
56.22/14.12	c  N dy   299    103152       150     12750         0     19682     89250    557115     38.92     41.06  --
56.62/14.28	c  S st   310    104857       150     12750         0     21316     89250    630465     38.95     39.24  --
57.02/14.34	c  S st   310    105360       150     12750         0     21796     89250    652205     38.95   no data  --
57.02/14.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.02/14.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.02/14.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.02/14.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.02/14.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.02/14.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.02/14.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.17/17.65	c lits-rem:      2032  cl-subs:      881  v-elim:      0  v-fix:    0  time: 13.01 s
70.17/17.65	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
70.17/17.65	c vivif2 --  cl tried    20915 cl shrink        0 lits rem          0 time: 0.02
70.98/17.87	c asymm  cl-useful: 0/2812/12750 lits-rem:0 time: 0.87
70.98/17.87	c calculated reachability. Time: 0.00
70.98/17.87	c  N dy   310    105360       150     12750         0     20915     89250    600783     38.95   no data  --
73.41/18.48	c  N dy   322    112093       150     12750         0     13983     89250    269862     38.88     41.03  --
75.76/19.00	c  N dy   339    119277       150     12750         0     20844     89250    575393     38.88     41.00  --
78.55/19.71	c  N dy   365    127010       150     12750         0     28252     89250    907229     38.88     41.36  --
81.35/20.49	c  N dy   386    136654       150     12750         0     23142     89250    644757     38.86     41.10  --
84.93/21.31	c  N dy   407    145433       150     12750         0     16240     89250    306938     38.87     40.93  --
87.72/22.04	c  N dy   426    154809       150     12750         0     25228     89250    706410     38.86     43.32  --
88.92/22.34	c  S st   430    158040       150     12750         0     28311     89250    843213     38.85     34.96  --
89.32/22.42	c  S st   430    158541       150     12750         0     28806     89250    864820     38.85   no data  --
89.32/22.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
89.32/22.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.32/22.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
89.32/22.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.32/22.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.32/22.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
89.32/22.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.27/27.00	c lits-rem:      1614  cl-subs:     1471  v-elim:      0  v-fix:    0  time: 18.06 s
107.67/27.00	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
107.67/27.00	c vivif2 --  cl tried    27335 cl shrink        0 lits rem          0 time: 0.04
108.51/27.27	c asymm  cl-useful: 0/3188/12750 lits-rem:0 time: 1.06
108.51/27.27	c calculated reachability. Time: 0.00
108.51/27.27	c  N dy   430    158541       150     12750         0     27335     89250    784850     38.85   no data  --
114.84/28.87	c  N dy   440    174579       150     12750         0     26358     89250    723427     38.66     40.77  --
120.03/30.16	c  N dy   492    186431       150     12750         0     20541     89250    434208     38.71     40.82  --
125.21/31.47	c  N dy   534    198975       150     12750         0     32561     89250    971567     38.73     41.08  --
130.44/32.78	c  N dy   581    211996       150     12750         0     26913     89250    687951     38.76     40.81  --
136.78/34.38	c  N dy   609    225591       150     12750         0     20739     89250    376458     38.73     40.80  --
141.97/35.67	c  S st   649    237811       150     12750         0     32457     89250    899228     38.75     36.63  --
142.37/35.77	c  S st   649    238317       150     12750         0     32950     89250    920507     38.75   no data  --
142.37/35.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.37/35.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.37/35.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
142.77/35.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.77/35.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.77/35.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
142.77/35.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.52/39.53	c lits-rem:      1007  cl-subs:     1432  v-elim:      0  v-fix:    0  time: 14.79 s
157.52/39.53	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
157.52/39.54	c vivif2 --  cl tried    31518 cl shrink        0 lits rem          0 time: 0.04
158.31/39.78	c asymm  cl-useful: 0/2495/12750 lits-rem:0 time: 0.95
158.31/39.78	c calculated reachability. Time: 0.00
158.31/39.78	c  N dy   649    238317       150     12750         0     31518     89250    842343     38.75   no data  --
164.69/41.34	c  N dy   697    253592       150     12750         0     26080     89250    586044     38.76     41.42  --
172.26/43.22	c  N dy   762    269829       150     12750         0     41652     89250   1283681     38.80     40.98  --
179.84/45.12	c  N dy   812    288267       150     12750         0     38231     89250   1095029     38.80     41.08  --
187.81/47.11	c  F st   876    306251       150     12750         0     33421     89250    842956     38.81     35.55  --
187.81/47.18	c  N st   878    306877       150     12750         0     34027     89250    870622     38.81   no data  --
197.39/49.58	c  N dy   934    327506       150     12750         0     30769     89250    695958     38.84     40.96  --
207.76/52.12	c  N dy   976    349760       150     12750         0     28139     89250    547983     38.79     40.87  --
211.35/53.00	c  S st  1021    357475       150     12750         0     35548     89250    881197     38.82     39.58  --
211.35/53.09	c  S st  1021    357975       150     12750         0     36041     89250    903170     38.82   no data  --
211.74/53.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
211.74/53.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.74/53.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
211.74/53.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.74/53.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.74/53.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
211.74/53.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.66/60.69	c lits-rem:      1793  cl-subs:     1226  v-elim:      0  v-fix:    0  time: 30.10 s
241.66/60.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
242.06/60.70	c vivif2 --  cl tried    34815 cl shrink        0 lits rem          0 time: 0.04
243.26/61.01	c asymm  cl-useful: 0/2184/12750 lits-rem:0 time: 1.21
243.26/61.01	c calculated reachability. Time: 0.00
243.26/61.01	c  N dy  1021    357975       150     12750         0     34815     89250    835095     38.82   no data  --
253.27/63.56	c  N dy  1064    379365       150     12750         0     30379     89250    612499     38.80     40.89  --
264.00/66.22	c  N dy  1129    401021       150     12750         0     51178     89250   1543850     38.82     40.91  --
274.37/68.89	c  N dy  1180    424314       150     12750         0     47659     89250   1352699     38.81     40.93  --
284.33/71.33	c  N dy  1236    444642       150     12750         0     40297     89250    992166     38.81     41.15  --
295.50/74.16	c  N dy  1300    465486       150     12750         0     32492     89250    607573     38.81     41.03  --
306.27/76.89	c  N dy  1371    485687       150     12750         0     51865     89250   1476296     38.83     40.92  --
319.07/80.09	c  N dy  1402    510101       150     12750         0     46403     89250   1198374     38.79     40.94  --
331.01/83.03	c  N dy  1454    531135       150     12750         0     36888     89250    739448     38.79     40.88  --
333.79/83.70	c  S st  1463    536963       150     12750         0     42466     89250    987995     38.78   no data  --
334.19/83.81	c  S st  1463    537464       150     12750         0     42957     89250   1009423     38.78   no data  --
334.19/83.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
334.19/83.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
334.19/83.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
334.19/83.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
334.19/83.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
334.19/83.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
334.19/83.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
352.53/88.48	c lits-rem:       803  cl-subs:     1556  v-elim:      0  v-fix:    0  time: 18.39 s
352.53/88.48	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
352.53/88.49	c vivif2 --  cl tried    41401 cl shrink        0 lits rem          0 time: 0.04
353.77/88.77	c asymm  cl-useful: 0/1875/12750 lits-rem:0 time: 1.07
353.77/88.77	c calculated reachability. Time: 0.00
353.77/88.77	c  N dy  1463    537464       150     12750         0     41401     89250    928029     38.78   no data  --
366.49/91.93	c  N dy  1536    557509       150     12750         0     60667     89250   1788948     38.80     40.98  --
376.85/94.53	c  N dy  1572    578698       150     12750         0     50281     89250   1295606     38.76     41.35  --
394.40/98.93	c  N dy  1630    608179       150     12750         0     46891     89250   1125266     38.74     40.95  --
409.56/102.74	c  N dy  1719    628252       150     12750         0     33607     89250    492652     38.76     43.35  --
420.72/105.56	c  N dy  1757    648284       150     12750         0     52749     89250   1351176     38.75     42.88  --
434.68/109.06	c  N dy  1783    669736       150     12750         0     39763     89250    735457     38.72     40.78  --
447.84/112.33	c  N dy  1837    689952       150     12750         0     59090     89250   1602878     38.72     40.90  --
462.21/115.94	c  N dy  1901    710044       150     12750         0     43926     89250    887111     38.72     43.60  --
476.16/119.51	c  N dy  1954    730537       150     12750         0     63614     89250   1765062     38.72     41.18  --
489.76/122.91	c  N dy  2007    750620       150     12750         0     47353     89250   1008476     38.72     40.98  --
503.33/126.29	c  N dy  2051    770635       150     12750         0     66515     89250   1861134     38.71     40.79  --
515.65/129.37	c  N dy  2095    790708       150     12750         0     49351     89250   1058303     38.70     41.95  --
525.27/131.73	c  S st  2117    806199       150     12750         0     64166     89250   1720155     38.69     37.63  --
526.01/131.90	c  S st  2117    806701       150     12750         0     64652     89250   1742092     38.69   no data  --
526.01/131.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
526.01/131.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
526.01/131.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
526.01/131.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
526.01/131.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
526.01/131.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
526.01/131.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
613.75/153.91	c lits-rem:      1864  cl-subs:     3115  v-elim:      0  v-fix:    0  time: 87.35 s
613.75/153.91	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
613.75/153.93	c vivif2 --  cl tried    61537 cl shrink        0 lits rem          0 time: 0.07
614.95/154.27	c asymm  cl-useful: 0/1327/12750 lits-rem:0 time: 1.35
614.95/154.27	c calculated reachability. Time: 0.00
614.95/154.27	c  N dy  2117    806701       150     12750         0     61537     89250   1576120     38.69   no data  --
629.31/157.82	c  N dy  2176    826714       150     12750         0     43438     89250    765720     38.69     43.07  --
642.07/161.07	c  N dy  2250    846807       150     12750         0     62682     89250   1625714     38.70     41.28  --
657.21/164.87	c  N dy  2299    867248       150     12750         0     44010     89250    756931     38.70     40.93  --
670.37/168.18	c  N dy  2379    887565       150     12750         0     63493     89250   1628934     38.71     40.92  --
688.32/172.64	c  N dy  2410    914301       150     12750         0     49835     89250    980313     38.67     41.29  --
702.28/176.16	c  N dy  2453    935005       150     12750         0     69685     89250   1868128     38.67     41.08  --
718.28/180.16	c  N dy  2536    955296       150     12750         0     48934     89250    909891     38.68     40.80  --
733.39/183.98	c  N dy  2591    976969       150     12750         0     69727     89250   1838113     38.67     40.85  --
752.14/188.68	c  N dy  2643   1003200       150     12750         0     53554     89250   1085764     38.66     40.79  --
767.29/192.41	c  N dy  2704   1023640       150     12750         0     73153     89250   1956988     38.66     41.14  --
783.24/196.40	c  N dy  2766   1043649       150     12750         0     50239     89250    904576     38.66     41.27  --
796.41/199.77	c  N dy  2806   1063750       150     12750         0     69477     89250   1759690     38.65     41.07  --
803.58/201.52	c  F st  2831   1071876       150     12750         0     77275     89250   2106822     38.65     37.18  --
813.96/204.18	c  N dy  2852   1084672       150     12750         0     46400     89250    695759     38.65     40.69  --
830.31/208.21	c  N dy  2933   1104756       150     12750         0     65643     89250   1553664     38.65     41.17  --
850.64/213.34	c  N dy  2996   1124832       150     12750         0     84849     89250   2411824     38.66     40.97  --
867.79/217.60	c  N dy  3069   1145650       150     12750         0     60685     89250   1297390     38.66     40.75  --
902.13/226.23	c  N dy  3125   1185318       150     12750         0     53568     89250    955172     38.62     40.80  --
918.44/230.36	c  N dy  3179   1205431       150     12750         0     72807     89250   1813129     38.62     40.68  --
923.63/231.64	c  S st  3204   1210051       150     12750         0     77229     89250   2011008     38.63     34.65  --
924.47/231.88	c  S st  3204   1210556       150     12750         0     77721     89250   2032473     38.63   no data  --
924.47/231.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
924.47/231.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
924.81/231.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
924.81/231.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
924.81/231.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
924.81/231.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
924.81/231.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1085.54/272.22	c lits-rem:      2322  cl-subs:     3838  v-elim:      0  v-fix:    0  time: 160.33 s
1085.54/272.22	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1085.54/272.25	c vivif2 --  cl tried    73883 cl shrink        0 lits rem          0 time: 0.09
1087.13/272.67	c asymm  cl-useful: 0/1141/12750 lits-rem:0 time: 1.68
1087.13/272.67	c calculated reachability. Time: 0.00
1087.13/272.67	c  N dy  3204   1210556       150     12750         0     73883     89250   1833704     38.63   no data  --
1112.27/278.96	c  N dy  3275   1230638       150     12750         0     47305     89250    640674     38.63     40.69  --
1131.80/283.81	c  N dy  3376   1253534       150     12750         0     69229     89250   1626533     38.65     40.70  --
1154.53/289.52	c  N dy  3432   1275843       150     12750         0     90620     89250   2587944     38.64     40.75  --
1176.07/294.90	c  N dy  3526   1298231       150     12750         0     65242     89250   1410632     38.66     41.08  --
1196.46/300.08	c  N dy  3573   1318313       150     12750         0     84453     89250   2268667     38.65     43.17  --
1217.16/305.21	c  N dy  3589   1340435       150     12750         0     57664     89250   1035066     38.62     40.83  --
1236.69/310.19	c  N dy  3621   1362230       150     12750         0     78453     89250   1962116     38.60     40.83  --
1263.01/316.70	c  N dy  3682   1382265       150     12750         0     48918     89250    612118     38.60     42.00  --
1280.16/321.06	c  N dy  3737   1402304       150     12750         0     68122     89250   1466898     38.60     40.88  --
1303.29/326.85	c  N dy  3811   1422336       150     12750         0     87289     89250   2322680     38.61     41.16  --
1327.66/332.94	c  N dy  3882   1442382       150     12750         0     56702     89250    924630     38.62     40.80  --
1347.96/338.03	c  N dy  3951   1462984       150     12750         0     76456     89250   1804404     38.62     40.83  --
1371.54/343.97	c  N dy  3973   1485450       150     12750         0     97839     89250   2767036     38.59     40.90  --
1392.24/349.16	c  N dy  4043   1505630       150     12750         0     66517     89250   1333581     38.60     40.77  --
1413.76/354.59	c  N dy  4104   1525773       150     12750         0     85802     89250   2197643     38.60     40.67  --
1438.88/360.88	c  N dy  4157   1546104       150     12750         0     53582     89250    723188     38.60     40.84  --
1458.83/365.80	c  N dy  4194   1567871       150     12750         0     74360     89250   1649994     38.59     40.78  --
1487.55/373.00	c  N dy  4279   1589265       150     12750         0     94858     89250   2567642     38.60     40.82  --
1514.66/379.82	c  N dy  4366   1610130       150     12750         0     62247     89250   1074915     38.60     40.84  --
1537.79/385.60	c  N dy  4444   1630696       150     12750         0     81942     89250   1954964     38.61     40.94  --
1560.86/391.49	c  N dy  4490   1650708       150     12750         0    101075     89250   2807334     38.61     41.43  --
1582.43/396.88	c  N dy  4578   1670789       150     12750         0     66736     89250   1238687     38.62     42.91  --
1602.71/401.91	c  N dy  4644   1690862       150     12750         0     85983     89250   2099163     38.62     40.72  --
1628.18/408.30	c  S st  4732   1710556       150     12750         0    104895     89250   2946240     38.63     38.31  --
1629.39/408.63	c  S st  4732   1711060       150     12750         0    105379     89250   2968059     38.63   no data  --
1629.39/408.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1629.39/408.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1629.79/408.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1629.79/408.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1629.79/408.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1629.79/408.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1629.79/408.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2782.46/697.90	c lits-rem:      4211  cl-subs:     5204  v-elim:      0  v-fix:    0  time: 1151.80 s
2782.46/697.90	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2782.46/697.94	c vivif2 --  cl tried   100175 cl shrink        0 lits rem          0 time: 0.14
2783.70/698.23	c asymm  cl-useful: 0/540/12750 lits-rem:0 time: 1.13
2783.70/698.23	c calculated reachability. Time: 0.00
2783.70/698.23	c  N dy  4732   1711060       150     12750         0    100175     89250   2680096     38.63   no data  --
2807.99/704.36	c  N dy  4791   1731593       150     12750         0     65338     89250   1139006     38.63     40.72  --
2828.72/709.57	c  N dy  4855   1751675       150     12750         0     84573     89250   1999439     38.64     40.77  --
2854.25/715.99	c  N dy  4933   1771702       150     12750         0    103728     89250   2857303     38.64     40.79  --
2876.57/721.56	c  N dy  4991   1791877       150     12750         0     67514     89250   1201886     38.64     40.69  --
2898.11/726.96	c  N dy  5066   1812250       150     12750         0     87041     89250   2074794     38.65     40.72  --
2925.63/733.81	c  N dy  5157   1832296       150     12750         0    106274     89250   2939196     38.66     41.59  --
2952.75/740.65	c  N dy  5249   1854055       150     12750         0     70624     89250   1303746     38.66     40.93  --
2976.32/746.55	c  N dy  5313   1874755       150     12750         0     90489     89250   2189561     38.66     40.81  --
3003.80/753.40	c  N dy  5361   1895024       150     12750         0    109919     89250   3058772     38.66     40.75  --
3027.34/759.30	c  N dy  5435   1915053       150     12750         0     71629     89250   1319165     38.66     43.51  --
3050.46/765.18	c  N dy  5499   1935093       150     12750         0     90803     89250   2175129     38.66     40.77  --
3081.17/772.85	c  N dy  5579   1956572       150     12750         0    111413     89250   3101199     38.66     41.10  --
3102.31/778.17	c  N dy  5638   1976629       150     12750         0     72187     89250   1306500     38.66     42.20  --
3129.43/784.93	c  N dy  5716   2000709       150     12750         0     95225     89250   2335891     38.67     40.74  --
3157.74/792.06	c  N dy  5798   2020836       150     12750         0    114541     89250   3201251     38.67     40.90  --
3182.51/798.23	c  N dy  5883   2043622       150     12750         0     76928     89250   1490879     38.68     40.97  --
3208.40/804.76	c  N dy  5934   2067635       150     12750         0     99890     89250   2518269     38.67     40.86  --
3237.10/811.97	c  N dy  5999   2087988       150     12750         0    119414     89250   3393549     38.67     40.99  --
3254.25/816.29	c  N dy  6033   2108007       150     12750         0     78182     89250   1507043     38.67     40.94  --
3275.39/821.59	c  N dy  6083   2128620       150     12750         0     97912     89250   2383406     38.67     40.96  --
3302.91/828.41	c  N dy  6158   2149083       150     12750         0    117524     89250   3259812     38.67     40.94  --
3324.84/833.91	c  N dy  6240   2169786       150     12750         0     76129     89250   1388162     38.68     40.76  --
3344.84/838.96	c  N dy  6302   2189921       150     12750         0     95391     89250   2247153     38.68     41.58  --
3371.56/845.69	c  N dy  6372   2211060       150     12750         0    115599     89250   3145694     38.68     35.21  --
3371.56/845.69	c  S st  6372   2211060       150     12750         0    115599     89250   3145694     38.68     35.21  --
3372.70/846.00	c  S st  6372   2211563       150     12750         0    116096     89250   3167648     38.68   no data  --
3373.10/846.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3373.10/846.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3373.10/846.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3373.50/846.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3373.50/846.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3373.50/846.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3373.50/846.16	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368552-1305397122/watcher-3368552-1305397122 -o /tmp/evaluation-result-3368552-1305397122/solver-3368552-1305397122 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368552-1305397122.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: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=51236 CPUtime=0.03 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 4 0 632127817 52465664 353 33554432000 4194304 4650419 140736425045312 18446744073709551615 47718820001714 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 12809 353 303 112 0 7774 0
[pid=32504/tid=32505] ppid=32502 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632127817 52465664 353 33554432000 4194304 4650419 140736425045312 18446744073709551615 47718820001714 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 4 0 632127817 52465664 353 33554432000 4194304 4650419 140736425045312 18446744073709551615 47718820001714 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632127817 52465664 353 33554432000 4194304 4650419 140736425045312 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.325446 s]
/proc/loadavg: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=285652 CPUtime=1.27 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) D 32502 32504 32471 0 -1 4202496 4207 0 0 0 127 0 0 0 18 0 4 0 632127817 292507648 3390 33554432000 4194304 4650419 140736425045312 18446744073709551615 264726102208 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 71413 3402 378 112 0 66378 0
[pid=32504/tid=32505] ppid=32502 vsize=285652 CPUtime=0.32 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 904 0 0 0 32 0 0 0 18 0 4 0 632127817 292507648 3406 33554432000 4194304 4650419 140736425045312 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=285652 CPUtime=0.32 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) D 32502 32504 32471 0 -1 4202560 713 0 0 0 32 0 0 0 18 0 4 0 632127817 292507648 3417 33554432000 4194304 4650419 140736425045312 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=285652 CPUtime=0.31 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) S 32502 32504 32471 0 -1 4202560 1166 0 0 0 31 0 0 0 18 0 4 0 632127817 292507648 3425 33554432000 4194304 4650419 140736425045312 18446744073709551615 264726510062 0 0 4096 2 18446604452905794240 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 285652

[startup+0.965338 s]
/proc/loadavg: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=297184 CPUtime=3.83 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 10250 0 0 0 381 2 0 0 18 0 4 0 632127817 304316416 6560 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 74296 6560 390 112 0 69261 0
[pid=32504/tid=32505] ppid=32502 vsize=297184 CPUtime=0.95 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2449 0 0 0 95 0 0 0 18 0 4 0 632127817 304316416 6560 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=297184 CPUtime=0.95 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2573 0 0 0 95 0 0 0 18 0 4 0 632127817 304316416 6560 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=297184 CPUtime=0.94 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2243 0 0 0 94 0 0 0 19 0 4 0 632127817 304316416 6561 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 297184

[startup+1.06532 s]
/proc/loadavg: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=297184 CPUtime=4.23 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 10599 0 0 0 421 2 0 0 18 0 4 0 632127817 304316416 6909 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 74296 6910 390 112 0 69261 0
[pid=32504/tid=32505] ppid=32502 vsize=297184 CPUtime=1.05 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2536 0 0 0 105 0 0 0 18 0 4 0 632127817 304316416 6910 33554432000 4194304 4650419 140736425045312 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=297184 CPUtime=1.05 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2663 0 0 0 105 0 0 0 18 0 4 0 632127817 304316416 6910 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=297184 CPUtime=1.04 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2328 0 0 0 104 0 0 0 19 0 4 0 632127817 304316416 6910 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 297184

[startup+1.10031 s]
/proc/loadavg: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=297184 CPUtime=4.37 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 10721 0 0 0 435 2 0 0 18 0 4 0 632127817 304316416 7031 33554432000 4194304 4650419 140736425045312 18446744073709551615 4367824 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 74296 7031 390 112 0 69261 0
[pid=32504/tid=32505] ppid=32502 vsize=297184 CPUtime=1.09 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2564 0 0 0 109 0 0 0 18 0 4 0 632127817 304316416 7031 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=297184 CPUtime=1.09 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2695 0 0 0 109 0 0 0 18 0 4 0 632127817 304316416 7031 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=297184 CPUtime=1.08 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 2358 0 0 0 108 0 0 0 19 0 4 0 632127817 304316416 7031 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 297184

[startup+1.50024 s]
/proc/loadavg: 6.85 7.83 7.88 3/360 32504
/proc/meminfo: memFree=25756100/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=297684 CPUtime=5.97 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 13262 0 0 0 595 2 0 0 19 0 4 0 632127817 304828416 7211 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 74421 7211 391 112 0 69386 0
[pid=32504/tid=32505] ppid=32502 vsize=297684 CPUtime=1.49 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 3175 0 0 0 149 0 0 0 19 0 4 0 632127817 304828416 7211 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=297684 CPUtime=1.49 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 3319 0 0 0 149 0 0 0 19 0 4 0 632127817 304828416 7211 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=297684 CPUtime=1.48 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 3012 0 0 0 148 0 0 0 20 0 4 0 632127817 304828416 7211 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 297684

[startup+3.10094 s]
/proc/loadavg: 7.02 7.85 7.88 9/371 32516
/proc/meminfo: memFree=25642944/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=298308 CPUtime=12.34 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 28939 0 0 0 1230 4 0 0 23 0 4 0 632127817 305467392 17904 33554432000 4194304 4650419 140736425045312 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 74577 17904 392 112 0 69542 0
[pid=32504/tid=32505] ppid=32502 vsize=298308 CPUtime=3.09 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 6342 0 0 0 308 1 0 0 23 0 4 0 632127817 305467392 17904 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=298308 CPUtime=3.08 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 8058 0 0 0 308 0 0 0 23 0 4 0 632127817 305467392 17904 33554432000 4194304 4650419 140736425045312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=298308 CPUtime=3.05 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 7681 0 0 0 304 1 0 0 25 0 4 0 632127817 305467392 17904 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 298308

[startup+6.31333 s]
/proc/loadavg: 7.18 7.87 7.89 10/371 32517
/proc/meminfo: memFree=25536456/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=269288 CPUtime=25.15 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 35163 0 0 0 2510 5 0 0 25 0 4 0 632127817 275750912 18033 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 67322 18033 392 112 0 62287 0
[pid=32504/tid=32505] ppid=32502 vsize=269288 CPUtime=6.3 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 8097 0 0 0 629 1 0 0 25 0 4 0 632127817 275750912 18033 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=269288 CPUtime=6.3 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 8970 0 0 0 630 0 0 0 25 0 4 0 632127817 275750912 18033 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=269288 CPUtime=6.22 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 9545 0 0 0 621 1 0 0 25 0 4 0 632127817 275750912 18033 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 269288

[startup+12.7011 s]
/proc/loadavg: 7.25 7.87 7.89 9/371 32517
/proc/meminfo: memFree=25485156/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=279312 CPUtime=50.63 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 51863 0 0 0 5055 8 0 0 25 0 4 0 632127817 286015488 28276 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 69828 28276 392 112 0 64793 0
[pid=32504/tid=32505] ppid=32502 vsize=279312 CPUtime=12.68 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 13370 0 0 0 1266 2 0 0 25 0 4 0 632127817 286015488 28276 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=279312 CPUtime=12.69 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 12082 0 0 0 1268 1 0 0 25 0 4 0 632127817 286015488 28276 33554432000 4194304 4650419 140736425045312 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=279312 CPUtime=12.54 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 14739 0 0 0 1252 2 0 0 25 0 4 0 632127817 286015488 28276 33554432000 4194304 4650419 140736425045312 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 279312

[startup+25.5007 s]
/proc/loadavg: 7.36 7.87 7.89 10/371 32517
/proc/meminfo: memFree=25342940/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=280084 CPUtime=101.69 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 80074 0 0 0 10152 17 0 0 25 0 4 0 632127817 286806016 33674 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 70021 33674 392 112 0 64986 0
[pid=32504/tid=32505] ppid=32502 vsize=280084 CPUtime=25.48 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 21180 0 0 0 2544 4 0 0 25 0 4 0 632127817 286806016 33674 33554432000 4194304 4650419 140736425045312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=280084 CPUtime=25.49 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 19269 0 0 0 2546 3 0 0 25 0 4 0 632127817 286806016 33674 33554432000 4194304 4650419 140736425045312 18446744073709551615 4439518 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=280084 CPUtime=25.19 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 22505 0 0 0 2514 5 0 0 25 0 4 0 632127817 286806016 33674 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 280084

[startup+51.1009 s]
/proc/loadavg: 7.58 7.88 7.89 10/371 32518
/proc/meminfo: memFree=25222380/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=422716 CPUtime=203.78 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 126656 0 0 0 20350 28 0 0 25 0 4 0 632127817 432861184 48256 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 105679 48256 392 112 0 100644 0
[pid=32504/tid=32505] ppid=32502 vsize=422716 CPUtime=51.08 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 33869 0 0 0 5101 7 0 0 25 0 4 0 632127817 432861184 48256 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=422716 CPUtime=51.09 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 31606 0 0 0 5103 6 0 0 25 0 4 0 632127817 432861184 48256 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=422716 CPUtime=50.49 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 34650 0 0 0 5041 8 0 0 25 0 4 0 632127817 432861184 48256 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 422716

[startup+102.3 s]
/proc/loadavg: 7.88 7.92 7.90 10/371 32519
/proc/meminfo: memFree=25073032/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=412364 CPUtime=407.96 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 200590 0 0 0 40747 49 0 0 25 0 4 0 632127817 422260736 60787 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 103091 60787 392 112 0 98056 0
[pid=32504/tid=32505] ppid=32502 vsize=412364 CPUtime=102.26 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 55325 0 0 0 10213 13 0 0 25 0 4 0 632127817 422260736 60787 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=412364 CPUtime=102.29 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 50709 0 0 0 10218 11 0 0 25 0 4 0 632127817 422260736 60787 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=412364 CPUtime=101.08 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 52572 0 0 0 10095 13 0 0 25 0 4 0 632127817 422260736 60787 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 412364

[startup+162.301 s]

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

[pid=32504] ppid=32502 vsize=728888 CPUtime=2560.72 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 511779 0 0 0 255889 183 0 0 25 0 4 0 632127817 746381312 110763 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 182222 110763 392 112 0 177187 0
[pid=32504/tid=32505] ppid=32502 vsize=728888 CPUtime=641.37 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 159690 0 0 0 64074 63 0 0 25 0 4 0 632127817 746381312 110763 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=728888 CPUtime=642.3 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 132824 0 0 0 64189 41 0 0 25 0 4 0 632127817 746381312 110763 33554432000 4194304 4650419 140736425045312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=728888 CPUtime=634.71 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 126598 0 0 0 63427 44 0 0 25 0 4 0 632127817 746381312 110763 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.72
Current children cumulated vsize (KiB) 728888

[startup+702.301 s]
/proc/loadavg: 8.11 8.15 8.03 9/371 32538
/proc/meminfo: memFree=24614896/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=573668 CPUtime=2800.02 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 530905 0 0 0 279811 191 0 0 25 0 4 0 632127817 587436032 107158 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 143417 107158 392 112 0 138382 0
[pid=32504/tid=32505] ppid=32502 vsize=573668 CPUtime=701.37 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 170374 0 0 0 70069 68 0 0 25 0 4 0 632127817 587436032 107158 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=573668 CPUtime=702.3 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 136416 0 0 0 70188 42 0 0 25 0 4 0 632127817 587436032 107158 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=573668 CPUtime=694 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 129850 0 0 0 69355 45 0 0 25 0 4 0 632127817 587436032 107158 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.02
Current children cumulated vsize (KiB) 573668

[startup+762.301 s]
/proc/loadavg: 8.14 8.15 8.03 10/371 32540
/proc/meminfo: memFree=24580968/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=639256 CPUtime=3039.29 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 554280 0 0 0 303730 199 0 0 25 0 4 0 632127817 654598144 111534 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 159814 111534 392 112 0 154779 0
[pid=32504/tid=32505] ppid=32502 vsize=639256 CPUtime=761.35 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 176921 0 0 0 76064 71 0 0 25 0 4 0 632127817 654598144 111534 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=639256 CPUtime=762.3 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 141007 0 0 0 76188 42 0 0 25 0 4 0 632127817 654598144 111534 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=639256 CPUtime=753.29 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 133374 0 0 0 75282 47 0 0 25 0 4 0 632127817 654598144 111534 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.29
Current children cumulated vsize (KiB) 639256

[startup+822.3 s]
/proc/loadavg: 8.10 8.14 8.03 10/371 32541
/proc/meminfo: memFree=24497356/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=639356 CPUtime=3278.58 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 584478 0 0 0 327645 213 0 0 25 0 4 0 632127817 654700544 113214 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 159839 113214 392 112 0 154804 0
[pid=32504/tid=32505] ppid=32502 vsize=639356 CPUtime=821.34 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 185910 0 0 0 82059 75 0 0 25 0 4 0 632127817 654700544 113214 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=639356 CPUtime=822.31 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 144161 0 0 0 82188 43 0 0 25 0 4 0 632127817 654700544 113214 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=639356 CPUtime=812.59 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 142552 0 0 0 81207 52 0 0 25 0 4 0 632127817 654700544 113214 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.58
Current children cumulated vsize (KiB) 639356

[startup+882.301 s]
/proc/loadavg: 8.08 8.12 8.03 10/371 32543
/proc/meminfo: memFree=24480084/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=613208 CPUtime=3517.87 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 607866 0 0 0 351563 224 0 0 25 0 4 0 632127817 627924992 113237 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 153302 113237 392 112 0 148267 0
[pid=32504/tid=32505] ppid=32502 vsize=613208 CPUtime=881.34 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 193305 0 0 0 88055 79 0 0 25 0 4 0 632127817 627924992 113237 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=613208 CPUtime=882.3 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 153259 0 0 0 88183 47 0 0 25 0 4 0 632127817 627924992 113237 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=613208 CPUtime=871.88 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 145546 0 0 0 87135 53 0 0 25 0 4 0 632127817 627924992 113237 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.87
Current children cumulated vsize (KiB) 613208

[startup+942.301 s]
/proc/loadavg: 8.07 8.11 8.03 10/371 32544
/proc/meminfo: memFree=24460576/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=681284 CPUtime=3757.2 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 628236 0 0 0 375485 235 0 0 25 0 4 0 632127817 697634816 115687 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 170321 115687 392 112 0 165286 0
[pid=32504/tid=32505] ppid=32502 vsize=681284 CPUtime=941.33 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 202312 0 0 0 94049 84 0 0 25 0 4 0 632127817 697634816 115687 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=681284 CPUtime=942.32 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 161793 0 0 0 94180 52 0 0 25 0 4 0 632127817 697634816 115687 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=681284 CPUtime=931.18 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 148086 0 0 0 93064 54 0 0 25 0 4 0 632127817 697634816 115687 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.2
Current children cumulated vsize (KiB) 681284

[startup+1002.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/371 32546
/proc/meminfo: memFree=24446024/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=802464 CPUtime=3996.42 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 648186 0 0 0 399399 243 0 0 25 0 4 0 632127817 821723136 124341 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 200616 124341 392 112 0 195581 0
[pid=32504/tid=32505] ppid=32502 vsize=802464 CPUtime=1001.31 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 207705 0 0 0 100046 85 0 0 25 0 4 0 632127817 821723136 124341 33554432000 4194304 4650419 140736425045312 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=802464 CPUtime=1002.31 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 167316 0 0 0 100176 55 0 0 25 0 4 0 632127817 821723136 124341 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=802464 CPUtime=990.45 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 157120 0 0 0 98986 59 0 0 25 0 4 0 632127817 821723136 124341 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.42
Current children cumulated vsize (KiB) 802464

[startup+1062.31 s]
/proc/loadavg: 8.08 8.11 8.04 9/371 32548
/proc/meminfo: memFree=24445984/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=869956 CPUtime=4235.76 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 664053 0 0 0 423323 253 0 0 25 0 4 0 632127817 890834944 124229 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 217489 124229 392 112 0 212454 0
[pid=32504/tid=32505] ppid=32502 vsize=869956 CPUtime=1061.32 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 207839 0 0 0 106047 85 0 0 25 0 4 0 632127817 890834944 124229 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=869956 CPUtime=1062.32 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 173756 0 0 0 106173 59 0 0 25 0 4 0 632127817 890834944 124229 33554432000 4194304 4650419 140736425045312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=869956 CPUtime=1049.75 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 166413 0 0 0 104911 64 0 0 25 0 4 0 632127817 890834944 124229 33554432000 4194304 4650419 140736425045312 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.76
Current children cumulated vsize (KiB) 869956

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 8.04 10/371 32549
/proc/meminfo: memFree=24423120/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=882424 CPUtime=4475 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 684350 0 0 0 447236 264 0 0 25 0 4 0 632127817 903602176 129804 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 220606 129804 392 112 0 215571 0
[pid=32504/tid=32505] ppid=32502 vsize=882424 CPUtime=1121.29 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 207839 0 0 0 112044 85 0 0 25 0 4 0 632127817 903602176 129804 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=882424 CPUtime=1122.32 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 182902 0 0 0 112166 66 0 0 25 0 4 0 632127817 903602176 129804 33554432000 4194304 4650419 140736425045312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=882424 CPUtime=1109.04 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 177564 0 0 0 110835 69 0 0 25 0 4 0 632127817 903602176 129804 33554432000 4194304 4650419 140736425045312 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475
Current children cumulated vsize (KiB) 882424

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.05 9/371 32551
/proc/meminfo: memFree=24404232/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=936600 CPUtime=4714.28 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 692715 0 0 0 471159 269 0 0 25 0 4 0 632127817 959078400 134764 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 234150 134764 392 112 0 229115 0
[pid=32504/tid=32505] ppid=32502 vsize=936600 CPUtime=1181.28 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 207839 0 0 0 118043 85 0 0 25 0 4 0 632127817 959078400 134764 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=936600 CPUtime=1182.32 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 188789 0 0 0 118162 70 0 0 25 0 4 0 632127817 959078400 134764 33554432000 4194304 4650419 140736425045312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=936600 CPUtime=1168.32 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 179750 0 0 0 116763 69 0 0 25 0 4 0 632127817 959078400 134764 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.28
Current children cumulated vsize (KiB) 936600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.12 8.12 8.04 5/367 32552
/proc/meminfo: memFree=25215816/32951124 swapFree=63083164/67111528
[pid=32504] ppid=32502 vsize=882424 CPUtime=4800.07 cores=0,2,4,6
/proc/32504/stat : 32504 (strangenight1-m) R 32502 32504 32471 0 -1 4202496 695186 0 0 0 479738 269 0 0 25 0 4 0 632127817 903602176 130167 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32504/statm: 220606 130167 392 112 0 215571 0
[pid=32504/tid=32505] ppid=32502 vsize=882424 CPUtime=1202.79 cores=0,2,4,6
/proc/32504/task/32505/stat : 32505 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 207839 0 0 0 120194 85 0 0 25 0 4 0 632127817 903602176 130167 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32504/tid=32506] ppid=32502 vsize=882424 CPUtime=1203.83 cores=0,2,4,6
/proc/32504/task/32506/stat : 32506 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 189075 0 0 0 120313 70 0 0 25 0 4 0 632127817 903602176 130167 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32504/tid=32507] ppid=32502 vsize=882424 CPUtime=1189.57 cores=0,2,4,6
/proc/32504/task/32507/stat : 32507 (strangenight1-m) R 32502 32504 32471 0 -1 4202560 181902 0 0 0 118888 69 0 0 25 0 4 0 632127817 903602176 130167 33554432000 4194304 4650419 140736425045312 18446744073709551615 4476527 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 882424

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): 1203.85
CPU time (s): 4800.13
CPU user time (s): 4797.4
CPU system time (s): 2.72259
CPU usage (%): 398.733
Max. virtual memory (cumulated for all children) (KiB): 936600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.4
system time used= 2.72259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695186
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= 1399
involuntary context switches= 23700

runsolver used 4.00539 second user time and 10.2764 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 20:18:42
IDJOB=3368552
IDBENCH=82561
IDSOLVER=1846
FILE ID=node141/3368552-1305397122
RUNJOBID= node141-1305397122-32489
PBS_JOBID= 13324452
Free space on /tmp= 73300 MiB

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

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

MD5SUM BENCH= fbc6593197090933c7d66c2e5740159a
RANDOM SEED=81099863

node141.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	: 5362.96
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.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.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.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.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.84
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.75
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:     32951124 kB
MemFree:      25756984 kB
Buffers:        221492 kB
Cached:        4762840 kB
SwapCached:      15388 kB
Active:        1927864 kB
Inactive:      5024532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25756984 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:            7136 kB
Writeback:           0 kB
AnonPages:     1960460 kB
Mapped:          11968 kB
Slab:           135916 kB
PageTables:      37736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86228976 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= 73292 MiB
End job on node141 at 2011-05-14 20:38:48