Trace number 3175066

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.32 1202.84

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
MD5SUM707c4bcddcda116edc4a57a77dc3ba68
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.5224
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-3175066-1304080983.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.05	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.05	c -- vars added        150
0.00/0.05	c Parsing time:  0.03 s
0.00/0.05	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.18/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.18/0.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.18/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.18/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.18/0.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.18/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.18/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.18/0.38	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.18/0.38	c calculated reachability. Time: 0.00
1.18/0.38	c Calc default polars -  time:   0.00 s pos:      76 undec:       1 neg:      73
1.18/0.38	c =========================================================================================
1.18/0.38	c types(t): F = full restart, N = normal restart
1.18/0.38	c types(t): S = simplification begin/end, E = solution found
1.18/0.38	c restart types(rt): st = static, dy = dynamic
1.18/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.18/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.59	c  N dy    12      5005       150     12750         0      2411     89250     79708     40.02     42.16  --
1.18/0.94	c  N dy    17     11754       150     12750         0      4796     89250    154732     38.15     40.17  --
4.37/1.17	c  N dy    36     16314       150     12750         0      9167     89250    350427     38.45     40.59  --
5.58/1.41	c  N dy    53     20455       150     12750         0      7765     89250    251824     38.51     40.64  --
6.39/1.67	c  F st    54     25002       150     12750         0     12116     89250    443937     38.09     37.30  --
6.39/1.67	c  N st    54     25002       150     12750         0     12116     89250    443937     38.09     37.30  --
7.57/1.96	c  N dy    60     30001       150     12750         0     10365     89250    337161     38.09   no data  --
7.57/1.96	c  S st    60     30001       150     12750         0     10365     89250    337161     38.09   no data  --
7.97/2.00	c  S st    60     30503       150     12750         0     10857     89250    358788     38.09   no data  --
7.97/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7.97/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.97/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.97/2.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.97/2.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.92/5.08	c lits-rem:      2644  cl-subs:      463  v-elim:      0  v-fix:    0  time:  9.85 s
19.25/5.46	c asymm  cl-useful: 0/10599/12750 lits-rem:0 time: 1.18
19.25/5.46	c calculated reachability. Time: 0.00
19.25/5.46	c  N dy    60     30503       150     12750         0     10394     89250    330611     38.09   no data  --
20.24/5.73	c  N dy    73     34515       150     12750         0     14224     89250    499774     38.20     40.30  --
21.28/6.07	c  N dy    86     40068       150     12750         0     11997     89250    371677     38.14     40.16  --
22.27/6.36	c  N dy   105     44210       150     12750         0     15973     89250    548475     38.24     40.34  --
22.61/6.49	c  S st   116     45757       150     12750         0      8864     89250    201335     38.32     40.19  --
22.96/6.53	c  S st   116     46260       150     12750         0      9351     89250    222765     38.32   no data  --
22.96/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.96/6.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.96/6.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.96/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.96/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.96/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.96/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.56/8.26	c lits-rem:       365  cl-subs:       33  v-elim:      0  v-fix:    0  time:  6.65 s
29.56/8.26	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.56/8.26	c vivif2 --  cl tried     9318 cl shrink        0 lits rem          0 time: 0.01
29.96/8.35	c asymm  cl-useful: 0/2151/12750 lits-rem:0 time: 0.33
29.96/8.35	c calculated reachability. Time: 0.00
29.96/8.35	c  N dy   116     46260       150     12750         0      9318     89250    220361     38.32   no data  --
31.13/8.64	c  N dy   128     51167       150     12750         0     14038     89250    429172     38.26     40.32  --
32.33/8.94	c  N dy   140     55255       150     12750         0     17943     89250    603963     38.31     40.41  --
33.54/9.24	c  N dy   165     59389       150     12750         0     12376     89250    327070     38.43     41.26  --
34.73/9.53	c  N dy   181     63471       150     12750         0     16276     89250    500208     38.48     40.81  --
36.73/10.02	c  N dy   193     69391       150     12750         0     11424     89250    251603     38.44     38.36  --
36.73/10.02	c  S st   193     69391       150     12750         0     11424     89250    251603     38.44     38.36  --
36.73/10.07	c  S st   193     69893       150     12750         0     11913     89250    272995     38.44   no data  --
36.73/10.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
36.73/10.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/10.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
36.73/10.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/10.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/10.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
37.13/10.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.93	c lits-rem:       674  cl-subs:      132  v-elim:      0  v-fix:    0  time:  7.31 s
44.32/11.93	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
44.32/11.93	c vivif2 --  cl tried    11781 cl shrink        0 lits rem          0 time: 0.01
45.92/12.34	c asymm  cl-useful: 0/10099/12750 lits-rem:0 time: 1.62
45.92/12.34	c calculated reachability. Time: 0.00
45.92/12.34	c  N dy   193     69893       150     12750         0     11781     89250    265122     38.44   no data  --
47.53/12.72	c  N dy   215     75087       150     12750         0     16792     89250    488202     38.50     40.68  --
49.51/13.26	c  N dy   227     82053       150     12750         0     11942     89250    241178     38.47     40.56  --
51.11/13.61	c  N dy   235     87318       150     12750         0     16958     89250    463136     38.43     42.41  --
51.11/13.63	c  F st   237     87501       150     12750         0     17133     89250    471152     38.44   no data  --
52.70/14.03	c  N dy   245     92914       150     12750         0     22313     89250    704940     38.45     41.36  --
55.50/14.79	c  N dy   276    102317       150     12750         0     18858     89250    519430     38.44     40.92  --
56.31/14.99	c  S st   281    104840       150     12750         0     21261     89250    626717     38.43     36.88  --
56.69/15.06	c  S st   281    105346       150     12750         0     21752     89250    649033     38.43   no data  --
56.69/15.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.69/15.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.69/15.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.09/15.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.09/15.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.09/15.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.09/15.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.88/18.34	c lits-rem:      1688  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 12.95 s
69.88/18.35	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
69.88/18.35	c vivif2 --  cl tried    20728 cl shrink        0 lits rem          0 time: 0.03
70.67/18.57	c asymm  cl-useful: 0/2651/12750 lits-rem:0 time: 0.88
70.67/18.57	c calculated reachability. Time: 0.00
70.67/18.57	c  N dy   281    105346       150     12750         0     20728     89250    593547     38.43   no data  --
73.48/19.24	c  N dy   302    112182       150     12750         0     13899     89250    267574     38.45     40.71  --
75.46/19.78	c  N dy   329    119370       150     12750         0     20786     89250    574128     38.48     42.96  --
80.66/21.08	c  N dy   342    135057       150     12750         0     21422     89250    566592     38.19     40.24  --
83.86/21.84	c  N dy   362    143702       150     12750         0     29715     89250    933320     38.17     40.25  --
87.07/22.63	c  N dy   411    152961       150     12750         0     23300     89250    626286     38.27     45.19  --
89.05/23.13	c  S st   428    158019       150     12750         0     28165     89250    842371     38.28     37.72  --
89.45/23.22	c  S st   428    158521       150     12750         0     28654     89250    863893     38.28   no data  --
89.45/23.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
89.45/23.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.45/23.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
89.45/23.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.45/23.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.45/23.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
89.45/23.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.81/28.38	c lits-rem:      1953  cl-subs:     1204  v-elim:      0  v-fix:    0  time: 20.37 s
109.81/28.38	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
109.81/28.38	c vivif2 --  cl tried    27450 cl shrink        0 lits rem          0 time: 0.03
111.02/28.61	c asymm  cl-useful: 0/3158/12750 lits-rem:0 time: 0.88
111.02/28.61	c calculated reachability. Time: 0.00
111.02/28.61	c  N dy   428    158521       150     12750         0     27450     89250    795023     38.28   no data  --
115.39/29.70	c  N dy   480    169528       150     12750         0     21724     89250    515422     38.35     40.72  --
120.59/31.09	c  N dy   525    181565       150     12750         0     33243     89250   1027661     38.38     40.71  --
125.39/32.25	c  N dy   560    193346       150     12750         0     27288     89250    735534     38.39     40.47  --
131.37/33.72	c  N dy   595    206091       150     12750         0     21287     89250    431307     38.37     40.47  --
136.97/35.11	c  N dy   652    219298       150     12750         0     33954     89250    995914     38.43     40.55  --
142.56/36.53	c  N dy   694    233388       150     12750         0     28291     89250    709385     38.43     40.50  --
144.55/37.02	c  S st   718    237781       150     12750         0     32529     89250    899547     38.45   no data  --
144.95/37.11	c  S st   718    238281       150     12750         0     33018     89250    920927     38.45   no data  --
144.95/37.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.95/37.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.95/37.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
144.95/37.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.95/37.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.95/37.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
144.95/37.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.52/41.53	c lits-rem:       992  cl-subs:     1455  v-elim:      0  v-fix:    0  time: 17.44 s
162.52/41.53	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
162.52/41.54	c vivif2 --  cl tried    31563 cl shrink        0 lits rem          0 time: 0.04
163.32/41.79	c asymm  cl-useful: 0/2492/12750 lits-rem:0 time: 0.99
163.32/41.79	c calculated reachability. Time: 0.00
163.32/41.79	c  N dy   718    238281       150     12750         0     31563     89250    841884     38.45   no data  --
170.13/43.45	c  N dy   779    253563       150     12750         0     26120     89250    585810     38.49     40.63  --
177.70/45.38	c  N dy   845    270712       150     12750         0     21486     89250    342850     38.52     40.83  --
185.69/47.33	c  N dy   912    289463       150     12750         0     39501     89250   1147804     38.55     40.68  --
192.88/49.16	c  F st   951    306252       150     12750         0     33476     89250    844713     38.55     39.83  --
193.68/49.39	c  N st   955    308285       150     12750         0     35429     89250    933803     38.55   no data  --
202.87/51.63	c  N dy   995    328182       150     12750         0     31434     89250    720654     38.52     40.69  --
212.46/54.05	c  N dy  1062    348184       150     12750         0     26702     89250    482056     38.54     41.28  --
216.85/55.17	c  S st  1110    357421       150     12750         0     35583     89250    878270     38.56   no data  --
217.25/55.28	c  S st  1110    357928       150     12750         0     36081     89250    899653     38.56   no data  --
217.25/55.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
217.25/55.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.65/55.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
217.65/55.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
217.65/55.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.65/55.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
217.65/55.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.80/64.17	c lits-rem:      1936  cl-subs:     1149  v-elim:      0  v-fix:    0  time: 35.28 s
252.80/64.17	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
252.80/64.18	c vivif2 --  cl tried    34932 cl shrink        0 lits rem          0 time: 0.04
254.02/64.48	c asymm  cl-useful: 0/2221/12750 lits-rem:0 time: 1.21
254.02/64.48	c calculated reachability. Time: 0.00
254.02/64.48	c  N dy  1110    357928       150     12750         0     34932     89250    833344     38.56   no data  --
265.98/67.42	c  N dy  1179    378042       150     12750         0     29291     89250    559786     38.59     40.83  --
277.16/70.27	c  N dy  1246    398202       150     12750         0     48628     89250   1420312     38.61     40.64  --
288.76/73.14	c  N dy  1312    421838       150     12750         0     45401     89250   1245972     38.58     41.15  --
299.52/75.85	c  N dy  1398    442056       150     12750         0     37994     89250    885284     38.61     40.66  --
311.13/78.74	c  N dy  1474    462127       150     12750         0     29405     89250    469747     38.64     41.49  --
328.70/83.13	c  N dy  1515    496861       150     12750         0     33805     89250    632559     38.52     40.57  --
341.07/86.24	c  N dy  1608    518705       150     12750         0     54738     89250   1565775     38.55     40.89  --
350.66/88.66	c  S st  1652    536894       150     12750         0     42469     89250    983854     38.54     37.75  --
351.04/88.76	c  S st  1652    537397       150     12750         0     42962     89250   1004866     38.54   no data  --
351.04/88.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
351.04/88.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
351.04/88.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
351.44/88.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
351.44/88.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
351.44/88.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
351.44/88.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
373.80/94.46	c lits-rem:      1066  cl-subs:     1559  v-elim:      0  v-fix:    0  time: 22.49 s
373.80/94.46	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
373.80/94.47	c vivif2 --  cl tried    41403 cl shrink        0 lits rem          0 time: 0.04
375.00/94.74	c asymm  cl-useful: 0/1851/12750 lits-rem:0 time: 1.08
375.00/94.74	c calculated reachability. Time: 0.00
375.00/94.74	c  N dy  1652    537397       150     12750         0     41403     89250    923990     38.54   no data  --
387.79/97.92	c  N dy  1722    557420       150     12750         0     60587     89250   1778819     38.55     40.76  --
398.99/100.77	c  N dy  1763    580304       150     12750         0     51916     89250   1373473     38.52     40.69  --
415.35/104.87	c  N dy  1857    603546       150     12750         0     42609     89250    925361     38.55     40.67  --
429.74/108.42	c  N dy  1918    624055       150     12750         0     62251     89250   1798300     38.55     40.68  --
441.71/111.44	c  N dy  1962    646638       150     12750         0     51330     89250   1282806     38.53     40.58  --
458.88/115.70	c  N dy  2016    674167       150     12750         0     44128     89250    937263     38.51     40.77  --
472.46/119.11	c  N dy  2091    694308       150     12750         0     63370     89250   1795670     38.53     40.57  --
486.05/122.54	c  N dy  2155    715072       150     12750         0     48839     89250   1109140     38.53     40.80  --
503.22/126.83	c  N dy  2238    735964       150     12750         0     68917     89250   2010414     38.55     41.12  --
516.39/130.10	c  N dy  2306    756140       150     12750         0     52776     89250   1248348     38.56     40.72  --
532.37/134.14	c  N dy  2383    776782       150     12750         0     72542     89250   2128599     38.57     40.76  --
544.35/137.12	c  N dy  2462    796885       150     12750         0     55396     89250   1329925     38.58     40.68  --
551.55/138.94	c  S st  2497    806095       150     12750         0     64250     89250   1726850     38.58   no data  --
552.36/139.14	c  S st  2497    806596       150     12750         0     64734     89250   1748113     38.58   no data  --
552.36/139.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
552.36/139.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
552.36/139.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
552.77/139.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
552.77/139.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
552.77/139.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
552.77/139.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
646.18/162.64	c lits-rem:      2748  cl-subs:     2759  v-elim:      0  v-fix:    0  time: 93.39 s
646.18/162.64	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
646.18/162.66	c vivif2 --  cl tried    61975 cl shrink        0 lits rem          0 time: 0.07
647.78/163.00	c asymm  cl-useful: 0/1325/12750 lits-rem:0 time: 1.36
647.78/163.00	c calculated reachability. Time: 0.00
647.78/163.00	c  N dy  2497    806596       150     12750         0     61975     89250   1596348     38.58   no data  --
661.36/166.46	c  N dy  2520    828055       150     12750         0     45126     89250    834797     38.52     40.70  --
674.94/169.84	c  N dy  2565    848312       150     12750         0     64583     89250   1700524     38.52     40.90  --
689.31/173.45	c  N dy  2595    868993       150     12750         0     46075     89250    848350     38.50     40.79  --
703.29/176.96	c  N dy  2678    890027       150     12750         0     66237     89250   1750706     38.51     40.60  --
719.69/181.01	c  N dy  2772    910033       150     12750         0     46210     89250    823483     38.52     40.93  --
733.25/184.40	c  N dy  2829    930375       150     12750         0     65686     89250   1689775     38.52     40.73  --
750.04/188.62	c  N dy  2914    950416       150     12750         0     44668     89250    720230     38.54     41.06  --
763.22/191.99	c  N dy  2996    970494       150     12750         0     63842     89250   1576582     38.55     40.76  --
781.98/196.64	c  N dy  3073    991948       150     12750         0     43263     89250    626899     38.56     40.71  --
797.15/200.43	c  N dy  3140   1016646       150     12750         0     66876     89250   1681888     38.55     41.00  --
814.73/204.87	c  N dy  3216   1036744       150     12750         0     44026     89250    627468     38.56     41.33  --
827.90/208.16	c  N dy  3272   1056909       150     12750         0     63362     89250   1490690     38.56     40.89  --
843.47/212.04	c  F st  3331   1071877       150     12750         0     77716     89250   2129236     38.57     38.32  --
849.06/213.48	c  N dy  3337   1077070       150     12750         0     82658     89250   2354096     38.57   no data  --
866.64/217.83	c  N dy  3411   1099197       150     12750         0     60742     89250   1335157     38.57     40.75  --
885.40/222.54	c  N dy  3480   1119456       150     12750         0     80130     89250   2199073     38.57     40.89  --
904.96/227.40	c  N dy  3520   1142575       150     12750         0     58148     89250   1180825     38.56     40.94  --
924.94/232.42	c  N dy  3585   1162970       150     12750         0     77708     89250   2055228     38.56     40.64  --
944.50/237.33	c  N dy  3615   1183297       150     12750         0     52148     89250    887715     38.54     40.65  --
964.07/242.22	c  N dy  3706   1203375       150     12750         0     71434     89250   1751252     38.55     41.00  --
970.86/243.98	c  S st  3729   1209894       150     12750         0     77690     89250   2030816     38.55   no data  --
972.06/244.25	c  S st  3729   1210396       150     12750         0     78180     89250   2052340     38.55   no data  --
972.06/244.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
972.06/244.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
972.46/244.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
972.46/244.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
972.46/244.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
972.46/244.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
972.46/244.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1164.54/292.49	c lits-rem:      2545  cl-subs:     3483  v-elim:      0  v-fix:    0  time: 192.13 s
1164.54/292.49	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1164.94/292.51	c vivif2 --  cl tried    74697 cl shrink        0 lits rem          0 time: 0.10
1166.54/292.99	c asymm  cl-useful: 0/1167/12750 lits-rem:0 time: 1.90
1166.54/292.99	c calculated reachability. Time: 0.00
1166.54/292.99	c  N dy  3729   1210396       150     12750         0     74697     89250   1864303     38.55   no data  --
1192.10/299.32	c  N dy  3785   1230491       150     12750         0     48009     89250    670104     38.55     42.31  --
1210.47/303.97	c  N dy  3854   1250567       150     12750         0     67245     89250   1527013     38.55     42.78  --
1235.62/310.20	c  N dy  3923   1270574       150     12750         0     86439     89250   2382188     38.55     42.52  --
1256.79/315.56	c  N dy  3967   1290918       150     12750         0     59001     89250   1124183     38.54     40.84  --
1278.75/321.04	c  N dy  4028   1311781       150     12750         0     79026     89250   2019722     38.55     40.58  --
1306.31/327.93	c  N dy  4098   1332539       150     12750         0     51026     89250    735303     38.55     40.78  --
1326.27/332.94	c  N dy  4159   1353145       150     12750         0     70742     89250   1616105     38.56     40.59  --
1350.63/339.07	c  N dy  4224   1373176       150     12750         0     89930     89250   2478034     38.56     40.78  --
1374.20/344.97	c  N dy  4291   1393263       150     12750         0     60348     89250   1120513     38.57     40.74  --
1396.17/350.47	c  N dy  4355   1413361       150     12750         0     79599     89250   1979207     38.57     40.65  --
1425.70/357.84	c  N dy  4441   1433405       150     12750         0     98767     89250   2836319     38.58     42.15  --
1446.86/363.17	c  N dy  4503   1454821       150     12750         0     69466     89250   1491831     38.58     40.95  --
1473.62/369.86	c  N dy  4581   1475819       150     12750         0     89572     89250   2389499     38.59     40.77  --
1505.17/377.73	c  N dy  4657   1501288       150     12750         0     63204     89250   1181483     38.59     40.76  --
1526.74/383.12	c  N dy  4703   1521750       150     12750         0     82786     89250   2057698     38.58     40.68  --
1555.47/390.31	c  N dy  4767   1541759       150     12750         0    101882     89250   2904527     38.58     40.73  --
1576.64/395.66	c  N dy  4835   1561828       150     12750         0     69416     89250   1425419     38.59     43.11  --
1599.00/401.25	c  N dy  4875   1582495       150     12750         0     89164     89250   2312901     38.57     40.67  --
1626.55/408.12	c  N dy  4931   1603166       150     12750         0     56356     89250    808263     38.57     40.81  --
1646.55/413.14	c  N dy  5005   1623198       150     12750         0     75586     89250   1664299     38.58     40.68  --
1671.28/419.35	c  N dy  5082   1643216       150     12750         0     94738     89250   2523916     38.58     40.62  --
1698.85/426.23	c  N dy  5162   1663234       150     12750         0     60315     89250    949810     38.59     41.26  --
1719.60/431.41	c  N dy  5237   1683244       150     12750         0     79499     89250   1810496     38.59     41.84  --
1746.36/438.16	c  N dy  5316   1703391       150     12750         0     98872     89250   2675953     38.60     40.77  --
1756.75/440.74	c  S st  5343   1710396       150     12750         0    105609     89250   2977134     38.60     38.76  --
1757.95/441.07	c  S st  5343   1710897       150     12750         0    106092     89250   2998548     38.60   no data  --
1757.95/441.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1757.95/441.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1758.35/441.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
1758.74/441.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1758.74/441.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1758.74/441.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1758.74/441.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2976.43/746.12	c lits-rem:      6101  cl-subs:     5233  v-elim:      0  v-fix:    0  time: 1216.95 s
2976.43/746.13	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2976.43/746.16	c vivif2 --  cl tried   100859 cl shrink        0 lits rem          0 time: 0.13
2977.64/746.44	c asymm  cl-useful: 0/536/12750 lits-rem:0 time: 1.10
2977.64/746.44	c calculated reachability. Time: 0.00
2977.64/746.44	c  N dy  5343   1710897       150     12750         0    100859     89250   2709163     38.60   no data  --
3007.58/753.91	c  N dy  5379   1738773       150     12750         0     72815     89250   1469128     38.58     40.62  --
3029.54/759.42	c  N dy  5397   1759295       150     12750         0     92418     89250   2345250     38.57     40.64  --
3057.48/766.48	c  N dy  5448   1779520       150     12750         0     56384     89250    708669     38.56     40.89  --
3076.25/771.17	c  N dy  5528   1799705       150     12750         0     75759     89250   1574734     38.57     40.96  --
3099.41/776.93	c  N dy  5596   1820078       150     12750         0     95261     89250   2446243     38.58     41.12  --
3128.15/784.16	c  N dy  5675   1840171       150     12750         0     58046     89250    747306     38.58     40.64  --
3147.33/788.91	c  N dy  5748   1860674       150     12750         0     77686     89250   1623739     38.58     40.83  --
3170.50/794.78	c  N dy  5803   1881246       150     12750         0     97363     89250   2503163     38.58     40.74  --
3202.43/802.77	c  N dy  5850   1908903       150     12750         0     66366     89250   1086440     38.57     40.62  --
3222.80/807.80	c  N dy  5911   1928987       150     12750         0     85571     89250   1943568     38.57     40.89  --
3247.14/813.95	c  N dy  5952   1949160       150     12750         0    104894     89250   2803314     38.57     40.82  --
3271.09/819.94	c  N dy  5996   1969448       150     12750         0     65928     89250   1033442     38.57     40.80  --
3291.86/825.16	c  N dy  6041   1991604       150     12750         0     87172     89250   1983786     38.57     40.85  --
3319.83/832.13	c  N dy  6136   2011679       150     12750         0    106349     89250   2842254     38.58     40.93  --
3344.58/838.31	c  N dy  6186   2031796       150     12750         0     66290     89250   1014122     38.58     41.02  --
3364.54/843.37	c  N dy  6243   2051849       150     12750         0     85474     89250   1875064     38.58     41.17  --
3388.50/849.38	c  N dy  6324   2072153       150     12750         0    104929     89250   2743796     38.58     40.87  --
3415.26/856.00	c  N dy  6356   2097058       150     12750         0     68416     89250   1073661     38.57     40.87  --
3434.45/860.88	c  N dy  6431   2117509       150     12750         0     88023     89250   1950686     38.57     40.77  --
3456.01/866.30	c  N dy  6455   2137738       150     12750         0    107325     89250   2803153     38.56     40.64  --
3483.13/873.02	c  N dy  6505   2161830       150     12750         0     69195     89250   1083300     38.56     40.80  --
3503.11/878.04	c  N dy  6597   2181904       150     12750         0     88474     89250   1945707     38.57     40.70  --
3527.86/884.23	c  N dy  6679   2201942       150     12750         0    107668     89250   2805382     38.57     40.75  --
3540.65/887.45	c  S st  6723   2210899       150     12750         0    116266     89250   3193151     38.58     38.82  --
3541.85/887.78	c  S st  6723   2211401       150     12750         0    116761     89250   3214064     38.58   no data  --
3541.85/887.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3541.85/887.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3542.25/887.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3542.65/887.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3542.65/887.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3542.65/887.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3542.65/887.95	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-3175066-1304080983/watcher-3175066-1304080983 -o /tmp/evaluation-result-3175066-1304080983/solver-3175066-1304080983 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175066-1304080983.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 519696973 52465664 356 33554432000 4194304 4650419 140734289836928 18446744073709551615 47967960397746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 12809 356 306 112 0 7774 0
[pid=11393/tid=11394] ppid=11391 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 519696973 52465664 356 33554432000 4194304 4650419 140734289836928 18446744073709551615 242970550203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519696973 52465664 356 33554432000 4194304 4650419 140734289836928 18446744073709551615 47967960397746 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519696973 52465664 356 33554432000 4194304 4650419 140734289836928 18446744073709551615 242965597270 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.10571 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=282796 CPUtime=0.4 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 2197 0 0 0 40 0 0 0 25 0 4 0 519696973 289583104 2105 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 70699 2105 366 112 0 65664 0
[pid=11393/tid=11394] ppid=11391 vsize=282796 CPUtime=0.1 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 408 0 0 0 10 0 0 0 25 0 4 0 519696973 289583104 2105 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=282796 CPUtime=0.1 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 413 0 0 0 10 0 0 0 25 0 4 0 519696973 289583104 2105 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=282796 CPUtime=0.09 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 541 0 0 0 9 0 0 0 25 0 4 0 519696973 289583104 2105 33554432000 4194304 4650419 140734289836928 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282796

[startup+0.200693 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=282796 CPUtime=0.78 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 2390 0 0 0 78 0 0 0 25 0 4 0 519696973 289583104 2298 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370682 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 70699 2298 366 112 0 65664 0
[pid=11393/tid=11394] ppid=11391 vsize=282796 CPUtime=0.19 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 426 0 0 0 19 0 0 0 25 0 4 0 519696973 289583104 2298 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=282796 CPUtime=0.19 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 432 0 0 0 19 0 0 0 25 0 4 0 519696973 289583104 2298 33554432000 4194304 4650419 140734289836928 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=282796 CPUtime=0.19 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 678 0 0 0 19 0 0 0 25 0 4 0 519696973 289583104 2298 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 282796

[startup+0.300677 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=284072 CPUtime=1.18 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 2833 0 0 0 118 0 0 0 25 0 4 0 519696973 290889728 2359 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 71018 2359 370 112 0 65983 0
[pid=11393/tid=11394] ppid=11391 vsize=284072 CPUtime=0.29 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 440 0 0 0 29 0 0 0 25 0 4 0 519696973 290889728 2359 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=284072 CPUtime=0.29 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 445 0 0 0 29 0 0 0 25 0 4 0 519696973 290889728 2359 33554432000 4194304 4650419 140734289836928 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=284072 CPUtime=0.29 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 1082 0 0 0 29 0 0 0 25 0 4 0 519696973 290889728 2359 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284072

[startup+0.993544 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=300948 CPUtime=3.94 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 10439 0 0 0 393 1 0 0 25 0 4 0 519696973 308170752 6307 33554432000 4194304 4650419 140734289836928 18446744073709551615 4310421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 75237 6307 390 112 0 70202 0
[pid=11393/tid=11394] ppid=11391 vsize=300948 CPUtime=0.98 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 2647 0 0 0 98 0 0 0 18 0 4 0 519696973 308170752 6307 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=300948 CPUtime=0.98 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 2535 0 0 0 98 0 0 0 18 0 4 0 519696973 308170752 6307 33554432000 4194304 4650419 140734289836928 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=300948 CPUtime=0.98 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 2347 0 0 0 98 0 0 0 25 0 4 0 519696973 308170752 6307 33554432000 4194304 4650419 140734289836928 18446744073709551615 242970593639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 300948

[startup+1.50047 s]
/proc/loadavg: 7.70 7.98 7.98 5/178 11393
/proc/meminfo: memFree=26576260/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=292340 CPUtime=5.98 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 13026 0 0 0 596 2 0 0 25 0 4 0 519696973 299356160 6526 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11393/statm: 73085 6526 391 112 0 68050 0
[pid=11393/tid=11394] ppid=11391 vsize=292340 CPUtime=1.49 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 3390 0 0 0 149 0 0 0 19 0 4 0 519696973 299356160 6526 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=292340 CPUtime=1.48 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 3248 0 0 0 148 0 0 0 19 0 4 0 519696973 299356160 6526 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=292340 CPUtime=1.49 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 3145 0 0 0 149 0 0 0 25 0 4 0 519696973 299356160 6526 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 292340

[startup+3.1002 s]
/proc/loadavg: 7.70 7.98 7.98 9/182 11398
/proc/meminfo: memFree=26493692/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=302752 CPUtime=12.05 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 25390 0 0 0 1194 11 0 0 25 0 4 0 519696973 310018048 14518 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 75688 14518 392 112 0 70653 0
[pid=11393/tid=11394] ppid=11391 vsize=302752 CPUtime=3.09 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 6489 0 0 0 308 1 0 0 23 0 4 0 519696973 310018048 14518 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=302752 CPUtime=3.06 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 8291 0 0 0 300 6 0 0 23 0 4 0 519696973 310018048 14518 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=302752 CPUtime=2.93 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 5016 0 0 0 293 0 0 0 25 0 4 0 519696973 310018048 14518 33554432000 4194304 4650419 140734289836928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 302752

[startup+6.30065 s]
/proc/loadavg: 8.05 8.05 8.00 9/182 11398
/proc/meminfo: memFree=26397912/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=304108 CPUtime=22.27 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 32419 0 0 0 2184 43 0 0 25 0 4 0 519696973 311406592 17823 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 76027 17823 392 112 0 70992 0
[pid=11393/tid=11394] ppid=11391 vsize=304108 CPUtime=6.28 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 8386 0 0 0 625 3 0 0 25 0 4 0 519696973 311406592 17823 33554432000 4194304 4650419 140734289836928 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=304108 CPUtime=6.16 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 9180 0 0 0 607 9 0 0 25 0 4 0 519696973 311406592 17823 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=304108 CPUtime=4.3 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 8137 0 0 0 404 26 0 0 25 0 4 0 519696973 311406592 17823 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 304108

[startup+12.7065 s]
/proc/loadavg: 8.04 8.05 8.00 9/182 11398
/proc/meminfo: memFree=26323304/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=303728 CPUtime=47.53 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 49370 0 0 0 4704 49 0 0 25 0 4 0 519696973 311017472 25767 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 75932 25767 392 112 0 70897 0
[pid=11393/tid=11394] ppid=11391 vsize=303728 CPUtime=12.66 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 13721 0 0 0 1262 4 0 0 25 0 4 0 519696973 311017472 25767 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=303728 CPUtime=12.53 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 14378 0 0 0 1244 9 0 0 25 0 4 0 519696973 311017472 25767 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=303728 CPUtime=10.39 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 12310 0 0 0 1009 30 0 0 25 0 4 0 519696973 311017472 25767 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.53
Current children cumulated vsize (KiB) 303728

[startup+25.5003 s]
/proc/loadavg: 8.03 8.04 8.00 9/182 11398
/proc/meminfo: memFree=26197704/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=323388 CPUtime=98.63 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 79940 0 0 0 9807 56 0 0 25 0 4 0 519696973 331149312 36551 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 80847 36551 392 112 0 75812 0
[pid=11393/tid=11394] ppid=11391 vsize=323388 CPUtime=25.44 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 20951 0 0 0 2538 6 0 0 25 0 4 0 519696973 331149312 36551 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=323388 CPUtime=25.26 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 24009 0 0 0 2515 11 0 0 25 0 4 0 519696973 331149312 36551 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=323388 CPUtime=23.19 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 19845 0 0 0 2287 32 0 0 25 0 4 0 519696973 331149312 36551 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.63
Current children cumulated vsize (KiB) 323388

[startup+51.1009 s]
/proc/loadavg: 8.08 8.06 8.00 10/182 11399
/proc/meminfo: memFree=26090000/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=371220 CPUtime=200.89 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 125157 0 0 0 20022 67 0 0 25 0 4 0 519696973 380129280 45770 33554432000 4194304 4650419 140734289836928 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 92805 45770 392 112 0 87770 0
[pid=11393/tid=11394] ppid=11391 vsize=371220 CPUtime=51.02 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 34304 0 0 0 5093 9 0 0 25 0 4 0 519696973 380129280 45771 33554432000 4194304 4650419 140734289836928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=371220 CPUtime=50.73 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 37572 0 0 0 5057 16 0 0 25 0 4 0 519696973 380129280 45771 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=371220 CPUtime=48.79 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 32970 0 0 0 4845 34 0 0 25 0 4 0 519696973 380129280 45771 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.89
Current children cumulated vsize (KiB) 371220

[startup+102.301 s]
/proc/loadavg: 8.18 8.08 8.01 9/182 11400
/proc/meminfo: memFree=26017788/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=351680 CPUtime=405.36 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 190143 0 0 0 40451 85 0 0 25 0 4 0 519696973 360120320 59043 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 87920 59043 392 112 0 82885 0
[pid=11393/tid=11394] ppid=11391 vsize=351680 CPUtime=102.17 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 46302 0 0 0 10206 11 0 0 25 0 4 0 519696973 360120320 59043 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=351680 CPUtime=101.67 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 55863 0 0 0 10147 20 0 0 25 0 4 0 519696973 360120320 59043 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=351680 CPUtime=99.98 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 57529 0 0 0 9955 43 0 0 25 0 4 0 519696973 360120320 59043 33554432000 4194304 4650419 140734289836928 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.36
Current children cumulated vsize (KiB) 351680

[startup+162.307 s]

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

[pid=11393] ppid=11391 vsize=670340 CPUtime=2561.86 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 531778 0 0 0 255982 204 0 0 25 0 4 0 519696973 686428160 106917 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 167585 106917 392 112 0 162550 0
[pid=11393/tid=11394] ppid=11391 vsize=670340 CPUtime=642.1 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 130456 0 0 0 64174 36 0 0 25 0 4 0 519696973 686428160 106917 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=670340 CPUtime=638.78 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 157869 0 0 0 63827 51 0 0 25 0 4 0 519696973 686428160 106917 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=670340 CPUtime=639.44 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 173985 0 0 0 63858 86 0 0 25 0 4 0 519696973 686428160 106917 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.86
Current children cumulated vsize (KiB) 670340

[startup+702.301 s]
/proc/loadavg: 8.00 8.03 8.00 9/182 11416
/proc/meminfo: memFree=25523636/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=671644 CPUtime=2801.51 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 550401 0 0 0 279935 216 0 0 25 0 4 0 519696973 687763456 102941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 167911 102941 392 112 0 162876 0
[pid=11393/tid=11394] ppid=11391 vsize=671644 CPUtime=702.1 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 138579 0 0 0 70169 41 0 0 25 0 4 0 519696973 687763456 102941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=671644 CPUtime=698.45 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 158617 0 0 0 69794 51 0 0 25 0 4 0 519696973 687763456 102941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=671644 CPUtime=699.41 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 183737 0 0 0 69848 93 0 0 25 0 4 0 519696973 687763456 102941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.51
Current children cumulated vsize (KiB) 671644

[startup+762.3 s]
/proc/loadavg: 8.04 8.04 8.00 9/182 11418
/proc/meminfo: memFree=25494480/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=620620 CPUtime=3041.1 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 568207 0 0 0 303883 227 0 0 25 0 4 0 519696973 635514880 106710 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 155155 106710 392 112 0 150120 0
[pid=11393/tid=11394] ppid=11391 vsize=620620 CPUtime=762.09 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 144553 0 0 0 76164 45 0 0 25 0 4 0 519696973 635514880 106710 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=620620 CPUtime=758.12 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 158617 0 0 0 75761 51 0 0 25 0 4 0 519696973 635514880 106710 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=620620 CPUtime=759.34 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 192555 0 0 0 75836 98 0 0 25 0 4 0 519696973 635514880 106710 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.1
Current children cumulated vsize (KiB) 620620

[startup+822.306 s]
/proc/loadavg: 8.11 8.06 8.01 9/182 11419
/proc/meminfo: memFree=25449432/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=645428 CPUtime=3280.71 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 594836 0 0 0 327830 241 0 0 25 0 4 0 519696973 660918272 111120 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 161357 111120 392 112 0 156322 0
[pid=11393/tid=11394] ppid=11391 vsize=645428 CPUtime=822.09 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 151847 0 0 0 82161 48 0 0 25 0 4 0 519696973 660918272 111120 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=645428 CPUtime=817.8 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 158617 0 0 0 81729 51 0 0 25 0 4 0 519696973 660918272 111120 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=645428 CPUtime=819.26 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 203700 0 0 0 81821 105 0 0 25 0 4 0 519696973 660918272 111120 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.71
Current children cumulated vsize (KiB) 645428

[startup+882.301 s]
/proc/loadavg: 8.22 8.09 8.02 9/182 11421
/proc/meminfo: memFree=25402664/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=698292 CPUtime=3520.29 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 621149 0 0 0 351776 253 0 0 25 0 4 0 519696973 715051008 111101 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 174573 111101 392 112 0 169538 0
[pid=11393/tid=11394] ppid=11391 vsize=698292 CPUtime=882.09 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 160364 0 0 0 88157 52 0 0 25 0 4 0 519696973 715051008 111101 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=698292 CPUtime=877.48 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 164163 0 0 0 87695 53 0 0 25 0 4 0 519696973 715051008 111101 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=698292 CPUtime=879.17 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 214022 0 0 0 87807 110 0 0 25 0 4 0 519696973 715051008 111101 33554432000 4194304 4650419 140734289836928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.29
Current children cumulated vsize (KiB) 698292

[startup+942.3 s]
/proc/loadavg: 8.15 8.09 8.02 10/182 11423
/proc/meminfo: memFree=25419512/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=751484 CPUtime=3759.91 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 641841 0 0 0 375729 262 0 0 25 0 4 0 519696973 769519616 109435 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 187871 109435 392 112 0 182836 0
[pid=11393/tid=11394] ppid=11391 vsize=751484 CPUtime=942.08 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 166319 0 0 0 94154 54 0 0 25 0 4 0 519696973 769519616 109435 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=751484 CPUtime=937.15 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 172399 0 0 0 93658 57 0 0 25 0 4 0 519696973 769519616 109435 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=751484 CPUtime=939.13 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 219915 0 0 0 93801 112 0 0 25 0 4 0 519696973 769519616 109435 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.91
Current children cumulated vsize (KiB) 751484

[startup+1002.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/182 11424
/proc/meminfo: memFree=25390856/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=754080 CPUtime=3999.55 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 665752 0 0 0 399680 275 0 0 25 0 4 0 519696973 772177920 115546 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 188520 115546 392 112 0 183485 0
[pid=11393/tid=11394] ppid=11391 vsize=754080 CPUtime=1002.08 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 173126 0 0 0 100151 57 0 0 25 0 4 0 519696973 772177920 115546 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=754080 CPUtime=996.83 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 180342 0 0 0 99623 60 0 0 25 0 4 0 519696973 772177920 115546 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=754080 CPUtime=999.1 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 229076 0 0 0 99791 119 0 0 25 0 4 0 519696973 772177920 115546 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.55
Current children cumulated vsize (KiB) 754080

[startup+1062.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/182 11426
/proc/meminfo: memFree=25402744/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=767180 CPUtime=4239.18 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 687879 0 0 0 423631 287 0 0 25 0 4 0 519696973 785592320 108001 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 191795 108001 392 112 0 186760 0
[pid=11393/tid=11394] ppid=11391 vsize=767180 CPUtime=1062.07 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 183643 0 0 0 106145 62 0 0 25 0 4 0 519696973 785592320 108001 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=767180 CPUtime=1056.5 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 182688 0 0 0 105588 62 0 0 25 0 4 0 519696973 785592320 108001 33554432000 4194304 4650419 140734289836928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=767180 CPUtime=1059.06 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 238340 0 0 0 105782 124 0 0 25 0 4 0 519696973 785592320 108001 33554432000 4194304 4650419 140734289836928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.18
Current children cumulated vsize (KiB) 767180

[startup+1122.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/182 11436
/proc/meminfo: memFree=25354180/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=717696 CPUtime=4478.73 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 723402 0 0 0 447569 304 0 0 25 0 4 0 519696973 734920704 114542 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 179424 114542 392 112 0 174389 0
[pid=11393/tid=11394] ppid=11391 vsize=717696 CPUtime=1122.06 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 192996 0 0 0 112140 66 0 0 25 0 4 0 519696973 734920704 114542 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=717696 CPUtime=1116.18 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 192286 0 0 0 111552 66 0 0 25 0 4 0 519696973 734920704 114542 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=717696 CPUtime=1118.96 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 254912 0 0 0 111763 133 0 0 25 0 4 0 519696973 734920704 114542 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.73
Current children cumulated vsize (KiB) 717696

[startup+1182.3 s]
/proc/loadavg: 8.01 8.05 8.00 9/182 11438
/proc/meminfo: memFree=25372524/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=772948 CPUtime=4718.35 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 738737 0 0 0 471524 311 0 0 25 0 4 0 519696973 791498752 117941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 193237 117941 392 112 0 188202 0
[pid=11393/tid=11394] ppid=11391 vsize=772948 CPUtime=1182.05 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 198508 0 0 0 118137 68 0 0 25 0 4 0 519696973 791498752 117941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=772948 CPUtime=1175.84 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 198814 0 0 0 117515 69 0 0 25 0 4 0 519696973 791498752 117941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=772948 CPUtime=1178.91 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 258206 0 0 0 117757 134 0 0 25 0 4 0 519696973 791498752 117941 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.35
Current children cumulated vsize (KiB) 772948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.05 8.00 10/182 11470
/proc/meminfo: memFree=26106324/32951132 swapFree=67111364/67111528
[pid=11393] ppid=11391 vsize=772948 CPUtime=4800.27 cores=0,2,4,6
/proc/11393/stat : 11393 (strangenight1-m) R 11391 11393 11258 0 -1 4202496 746038 0 0 0 479712 315 0 0 25 0 4 0 519696973 791498752 119340 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11393/statm: 193237 119340 392 112 0 188202 0
[pid=11393/tid=11394] ppid=11391 vsize=772948 CPUtime=1202.57 cores=0,2,4,6
/proc/11393/task/11394/stat : 11394 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 200396 0 0 0 120188 69 0 0 25 0 4 0 519696973 791498752 119340 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11393/tid=11395] ppid=11391 vsize=772948 CPUtime=1196.24 cores=0,2,4,6
/proc/11393/task/11395/stat : 11395 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 201498 0 0 0 119552 72 0 0 25 0 4 0 519696973 791498752 119340 33554432000 4194304 4650419 140734289836928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11393/tid=11396] ppid=11391 vsize=772948 CPUtime=1199.41 cores=0,2,4,6
/proc/11393/task/11396/stat : 11396 (strangenight1-m) R 11391 11393 11258 0 -1 4202560 260935 0 0 0 119806 135 0 0 25 0 4 0 519696973 791498752 119340 33554432000 4194304 4650419 140734289836928 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 772948

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.32
CPU user time (s): 4797.14
CPU system time (s): 3.17652
CPU usage (%): 399.082
Max. virtual memory (cumulated for all children) (KiB): 827048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.14
system time used= 3.17652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746039
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= 897
involuntary context switches= 23278

runsolver used 1.89571 second user time and 4.6083 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 14:43:03
IDJOB=3175066
IDBENCH=82684
IDSOLVER=1588
FILE ID=node128/3175066-1304080983
RUNJOBID= node128-1304079777-11276
PBS_JOBID= 13170532
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= 707c4bcddcda116edc4a57a77dc3ba68
RANDOM SEED=1574884851

node128.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.852
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.70
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.852
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.75
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.852
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.852
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.852
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26576664 kB
Buffers:       1277420 kB
Cached:        4401092 kB
SwapCached:        160 kB
Active:         381648 kB
Inactive:      5407188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26576664 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           13624 kB
Writeback:           0 kB
AnonPages:      109632 kB
Mapped:          15660 kB
Slab:           523864 kB
PageTables:       4568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   317988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66960 MiB
End job on node128 at 2011-04-29 15:03:08