Trace number 3368675

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.31 1202.74

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-3368675-1305400466.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.96/0.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.96/0.53	c Finding binary XORs  T:     0.00 s  found:       0
1.96/0.53	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.96/0.53	c calculated reachability. Time: 0.00
1.96/0.53	c Calc default polars -  time:   0.00 s pos:      76 undec:       1 neg:      73
1.96/0.53	c =========================================================================================
1.96/0.53	c types(t): F = full restart, N = normal restart
1.96/0.53	c types(t): S = simplification begin/end, E = solution found
1.96/0.53	c restart types(rt): st = static, dy = dynamic
1.96/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.96/0.53	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
4.39/1.20	c  N dy    12      5005       150     12750         0      2411     89250     79708     40.02     42.16  --
4.39/1.20	c  N dy    17     11754       150     12750         0      4796     89250    154732     38.15     40.17  --
4.39/1.20	c  N dy    36     16314       150     12750         0      9167     89250    350427     38.45     40.59  --
5.96/1.50	c  N dy    53     20455       150     12750         0      7765     89250    251824     38.51     40.64  --
6.36/1.67	c  F st    54     25002       150     12750         0     12116     89250    443937     38.09     37.30  --
6.36/1.68	c  N st    54     25002       150     12750         0     12116     89250    443937     38.09     37.30  --
7.56/1.96	c  N dy    60     30001       150     12750         0     10365     89250    337161     38.09   no data  --
7.56/1.96	c  S st    60     30001       150     12750         0     10365     89250    337161     38.09   no data  --
7.96/2.01	c  S st    60     30503       150     12750         0     10857     89250    358788     38.09   no data  --
7.96/2.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.96/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.96/2.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.96/2.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.14/4.34	c lits-rem:      2644  cl-subs:      463  v-elim:      0  v-fix:    0  time:  9.23 s
18.73/4.78	c asymm  cl-useful: 0/10599/12750 lits-rem:0 time: 1.75
18.73/4.78	c calculated reachability. Time: 0.00
18.73/4.78	c  N dy    60     30503       150     12750         0     10394     89250    330611     38.09   no data  --
19.92/5.07	c  N dy    73     34515       150     12750         0     14224     89250    499774     38.20     40.30  --
21.52/5.41	c  N dy    86     40068       150     12750         0     11997     89250    371677     38.14     40.16  --
22.72/5.71	c  N dy   105     44210       150     12750         0     15973     89250    548475     38.24     40.34  --
23.12/5.84	c  S st   116     45757       150     12750         0      8864     89250    201335     38.32     40.19  --
23.12/5.88	c  S st   116     46260       150     12750         0      9351     89250    222765     38.32   no data  --
23.12/5.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.12/5.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.12/5.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.12/5.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.12/5.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.12/5.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.12/5.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.90/7.51	c lits-rem:       365  cl-subs:       33  v-elim:      0  v-fix:    0  time:  6.47 s
29.90/7.51	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
29.90/7.52	c vivif2 --  cl tried     9318 cl shrink        0 lits rem          0 time: 0.01
30.30/7.61	c asymm  cl-useful: 0/2151/12750 lits-rem:0 time: 0.36
30.30/7.61	c calculated reachability. Time: 0.00
30.30/7.61	c  N dy   116     46260       150     12750         0      9318     89250    220361     38.32   no data  --
31.50/7.90	c  N dy   128     51167       150     12750         0     14038     89250    429172     38.26     40.32  --
32.70/8.20	c  N dy   140     55255       150     12750         0     17943     89250    603963     38.31     40.41  --
33.90/8.50	c  N dy   165     59389       150     12750         0     12376     89250    327070     38.43     41.26  --
34.70/8.79	c  N dy   181     63471       150     12750         0     16276     89250    500208     38.48     40.81  --
36.69/9.24	c  N dy   193     69391       150     12750         0     11424     89250    251603     38.44     38.36  --
36.69/9.24	c  S st   193     69391       150     12750         0     11424     89250    251603     38.44     38.36  --
36.69/9.28	c  S st   193     69893       150     12750         0     11913     89250    272995     38.44   no data  --
36.69/9.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.69/9.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.69/9.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.09/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.09/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.09/9.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
37.09/9.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.67/11.22	c lits-rem:       674  cl-subs:      132  v-elim:      0  v-fix:    0  time:  7.65 s
44.67/11.22	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
44.67/11.23	c vivif2 --  cl tried    11781 cl shrink        0 lits rem          0 time: 0.01
46.67/11.73	c asymm  cl-useful: 0/10099/12750 lits-rem:0 time: 2.01
46.67/11.73	c calculated reachability. Time: 0.00
46.67/11.73	c  N dy   193     69893       150     12750         0     11781     89250    265122     38.44   no data  --
48.30/12.13	c  N dy   215     75087       150     12750         0     16792     89250    488202     38.50     40.68  --
50.66/12.73	c  N dy   227     82053       150     12750         0     11942     89250    241178     38.47     40.56  --
52.26/13.10	c  N dy   235     87318       150     12750         0     16958     89250    463136     38.43     42.41  --
52.26/13.12	c  F st   237     87501       150     12750         0     17133     89250    471152     38.44   no data  --
53.85/13.53	c  N dy   245     92914       150     12750         0     22313     89250    704940     38.45     41.36  --
56.64/14.27	c  N dy   276    102317       150     12750         0     18858     89250    519430     38.44     40.92  --
57.48/14.47	c  S st   281    104840       150     12750         0     21261     89250    626717     38.43     36.88  --
57.84/14.54	c  S st   281    105346       150     12750         0     21752     89250    649033     38.43   no data  --
57.84/14.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.84/14.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.84/14.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.84/14.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.84/14.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.84/14.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.84/14.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.82/17.50	c lits-rem:      1688  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 11.64 s
69.82/17.50	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
69.82/17.50	c vivif2 --  cl tried    20728 cl shrink        0 lits rem          0 time: 0.02
70.65/17.71	c asymm  cl-useful: 0/2651/12750 lits-rem:0 time: 0.81
70.65/17.71	c calculated reachability. Time: 0.00
70.65/17.71	c  N dy   281    105346       150     12750         0     20728     89250    593547     38.43   no data  --
73.02/18.38	c  N dy   302    112182       150     12750         0     13899     89250    267574     38.45     40.71  --
75.41/18.94	c  N dy   329    119370       150     12750         0     20786     89250    574128     38.48     42.96  --
80.59/20.28	c  N dy   342    135057       150     12750         0     21422     89250    566592     38.19     40.24  --
83.83/21.04	c  N dy   362    143702       150     12750         0     29715     89250    933320     38.17     40.25  --
86.98/21.84	c  N dy   411    152961       150     12750         0     23300     89250    626286     38.27     45.19  --
88.98/22.31	c  S st   428    158019       150     12750         0     28165     89250    842371     38.28     37.72  --
88.98/22.39	c  S st   428    158521       150     12750         0     28654     89250    863893     38.28   no data  --
88.98/22.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
88.98/22.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.38/22.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
89.38/22.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.38/22.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.38/22.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
89.38/22.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.17/27.62	c lits-rem:      1953  cl-subs:     1204  v-elim:      0  v-fix:    0  time: 20.70 s
110.17/27.62	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
110.17/27.63	c vivif2 --  cl tried    27450 cl shrink        0 lits rem          0 time: 0.04
110.93/27.86	c asymm  cl-useful: 0/3158/12750 lits-rem:0 time: 0.91
110.93/27.86	c calculated reachability. Time: 0.00
110.93/27.86	c  N dy   428    158521       150     12750         0     27450     89250    795023     38.28   no data  --
115.32/28.92	c  N dy   480    169528       150     12750         0     21724     89250    515422     38.35     40.72  --
120.50/30.25	c  N dy   525    181565       150     12750         0     33243     89250   1027661     38.38     40.71  --
125.30/31.45	c  N dy   560    193346       150     12750         0     27288     89250    735534     38.39     40.47  --
131.28/32.93	c  N dy   595    206091       150     12750         0     21287     89250    431307     38.37     40.47  --
136.87/34.37	c  N dy   652    219298       150     12750         0     33954     89250    995914     38.43     40.55  --
142.86/35.88	c  N dy   694    233388       150     12750         0     28291     89250    709385     38.43     40.50  --
144.89/36.39	c  S st   718    237781       150     12750         0     32529     89250    899547     38.45   no data  --
145.29/36.48	c  S st   718    238281       150     12750         0     33018     89250    920927     38.45   no data  --
145.29/36.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.29/36.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.65/36.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
145.65/36.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.65/36.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.65/36.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
145.65/36.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.45/40.71	c lits-rem:       992  cl-subs:     1455  v-elim:      0  v-fix:    0  time: 16.68 s
162.45/40.71	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
162.45/40.72	c vivif2 --  cl tried    31563 cl shrink        0 lits rem          0 time: 0.04
163.22/40.96	c asymm  cl-useful: 0/2492/12750 lits-rem:0 time: 0.96
163.22/40.96	c calculated reachability. Time: 0.00
163.22/40.96	c  N dy   718    238281       150     12750         0     31563     89250    841884     38.45   no data  --
170.01/42.62	c  N dy   779    253563       150     12750         0     26120     89250    585810     38.49     40.63  --
177.58/44.54	c  N dy   845    270712       150     12750         0     21486     89250    342850     38.52     40.83  --
185.17/46.50	c  N dy   912    289463       150     12750         0     39501     89250   1147804     38.55     40.68  --
192.76/48.31	c  F st   951    306252       150     12750         0     33476     89250    844713     38.55     39.83  --
193.59/48.54	c  N st   955    308285       150     12750         0     35429     89250    933803     38.55   no data  --
202.73/50.80	c  N dy   995    328182       150     12750         0     31434     89250    720654     38.52     40.69  --
212.31/53.22	c  N dy  1062    348184       150     12750         0     26702     89250    482056     38.54     41.28  --
216.30/54.29	c  S st  1110    357421       150     12750         0     35583     89250    878270     38.56   no data  --
217.10/54.40	c  S st  1110    357928       150     12750         0     36081     89250    899653     38.56   no data  --
217.10/54.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
217.10/54.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.10/54.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.09
217.10/54.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
217.10/54.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.10/54.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
217.10/54.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.22/63.26	c lits-rem:      1936  cl-subs:     1149  v-elim:      0  v-fix:    0  time: 35.13 s
252.22/63.26	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
252.22/63.27	c vivif2 --  cl tried    34932 cl shrink        0 lits rem          0 time: 0.04
253.82/63.61	c asymm  cl-useful: 0/2221/12750 lits-rem:0 time: 1.34
253.82/63.61	c calculated reachability. Time: 0.00
253.82/63.61	c  N dy  1110    357928       150     12750         0     34932     89250    833344     38.56   no data  --
265.40/66.53	c  N dy  1179    378042       150     12750         0     29291     89250    559786     38.59     40.83  --
276.61/69.38	c  N dy  1246    398202       150     12750         0     48628     89250   1420312     38.61     40.64  --
288.55/72.34	c  N dy  1312    421838       150     12750         0     45401     89250   1245972     38.58     41.15  --
299.32/75.05	c  N dy  1398    442056       150     12750         0     37994     89250    885284     38.61     40.66  --
310.90/77.92	c  N dy  1474    462127       150     12750         0     29405     89250    469747     38.64     41.49  --
328.47/82.32	c  N dy  1515    496861       150     12750         0     33805     89250    632559     38.52     40.57  --
340.84/85.44	c  N dy  1608    518705       150     12750         0     54738     89250   1565775     38.55     40.89  --
350.42/87.86	c  S st  1652    536894       150     12750         0     42469     89250    983854     38.54     37.75  --
350.82/87.97	c  S st  1652    537397       150     12750         0     42962     89250   1004866     38.54   no data  --
350.82/87.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
350.82/87.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
350.82/88.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
351.25/88.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
351.25/88.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
351.25/88.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
351.25/88.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
373.60/93.68	c lits-rem:      1066  cl-subs:     1559  v-elim:      0  v-fix:    0  time: 22.57 s
373.60/93.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
373.60/93.70	c vivif2 --  cl tried    41403 cl shrink        0 lits rem          0 time: 0.04
374.77/93.96	c asymm  cl-useful: 0/1851/12750 lits-rem:0 time: 1.04
374.77/93.96	c calculated reachability. Time: 0.00
374.77/93.96	c  N dy  1652    537397       150     12750         0     41403     89250    923990     38.54   no data  --
387.54/97.14	c  N dy  1722    557420       150     12750         0     60587     89250   1778819     38.55     40.76  --
399.13/100.08	c  N dy  1763    580304       150     12750         0     51916     89250   1373473     38.52     40.69  --
415.49/104.19	c  N dy  1857    603546       150     12750         0     42609     89250    925361     38.55     40.67  --
429.46/107.67	c  N dy  1918    624055       150     12750         0     62251     89250   1798300     38.55     40.68  --
441.83/110.70	c  N dy  1962    646638       150     12750         0     51330     89250   1282806     38.53     40.58  --
458.60/114.95	c  N dy  2016    674167       150     12750         0     44128     89250    937263     38.51     40.77  --
471.77/118.21	c  N dy  2091    694308       150     12750         0     63370     89250   1795670     38.53     40.57  --
485.74/121.71	c  N dy  2155    715072       150     12750         0     48839     89250   1109140     38.53     40.80  --
502.50/125.96	c  N dy  2238    735964       150     12750         0     68917     89250   2010414     38.55     41.12  --
516.07/129.32	c  N dy  2306    756140       150     12750         0     52776     89250   1248348     38.56     40.72  --
532.44/133.45	c  N dy  2383    776782       150     12750         0     72542     89250   2128599     38.57     40.76  --
544.45/136.44	c  N dy  2462    796885       150     12750         0     55396     89250   1329925     38.58     40.68  --
551.61/138.22	c  S st  2497    806095       150     12750         0     64250     89250   1726850     38.58   no data  --
552.41/138.42	c  S st  2497    806596       150     12750         0     64734     89250   1748113     38.58   no data  --
552.41/138.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
552.41/138.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
552.41/138.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
552.81/138.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
552.81/138.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
552.81/138.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
552.81/138.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
645.83/161.83	c lits-rem:      2748  cl-subs:     2759  v-elim:      0  v-fix:    0  time: 92.91 s
645.83/161.83	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
645.83/161.84	c vivif2 --  cl tried    61975 cl shrink        0 lits rem          0 time: 0.07
646.99/162.18	c asymm  cl-useful: 0/1325/12750 lits-rem:0 time: 1.36
646.99/162.19	c calculated reachability. Time: 0.00
646.99/162.19	c  N dy  2497    806596       150     12750         0     61975     89250   1596348     38.58   no data  --
660.96/165.66	c  N dy  2520    828055       150     12750         0     45126     89250    834797     38.52     40.70  --
674.54/169.04	c  N dy  2565    848312       150     12750         0     64583     89250   1700524     38.52     40.90  --
688.90/172.64	c  N dy  2595    868993       150     12750         0     46075     89250    848350     38.50     40.79  --
702.91/176.17	c  N dy  2678    890027       150     12750         0     66237     89250   1750706     38.51     40.60  --
719.25/180.20	c  N dy  2772    910033       150     12750         0     46210     89250    823483     38.52     40.93  --
732.82/183.61	c  N dy  2829    930375       150     12750         0     65686     89250   1689775     38.52     40.73  --
749.58/187.84	c  N dy  2914    950416       150     12750         0     44668     89250    720230     38.54     41.06  --
763.15/191.24	c  N dy  2996    970494       150     12750         0     63842     89250   1576582     38.55     40.76  --
781.55/195.87	c  N dy  3073    991948       150     12750         0     43263     89250    626899     38.56     40.71  --
796.68/199.69	c  N dy  3140   1016646       150     12750         0     66876     89250   1681888     38.55     41.00  --
814.65/204.12	c  N dy  3216   1036744       150     12750         0     44026     89250    627468     38.56     41.33  --
827.82/207.40	c  N dy  3272   1056909       150     12750         0     63362     89250   1490690     38.56     40.89  --
843.01/211.30	c  F st  3331   1071877       150     12750         0     77716     89250   2129236     38.57     38.32  --
848.97/212.74	c  N dy  3337   1077070       150     12750         0     82658     89250   2354096     38.57   no data  --
866.13/217.05	c  N dy  3411   1099197       150     12750         0     60742     89250   1335157     38.57     40.75  --
884.49/221.68	c  N dy  3480   1119456       150     12750         0     80130     89250   2199073     38.57     40.89  --
903.26/226.37	c  N dy  3520   1142575       150     12750         0     58148     89250   1180825     38.56     40.94  --
922.46/231.12	c  N dy  3585   1162970       150     12750         0     77708     89250   2055228     38.56     40.64  --
942.38/236.12	c  N dy  3615   1183297       150     12750         0     52148     89250    887715     38.54     40.65  --
961.14/240.90	c  N dy  3706   1203375       150     12750         0     71434     89250   1751252     38.55     41.00  --
968.72/242.78	c  S st  3729   1209894       150     12750         0     77690     89250   2030816     38.55   no data  --
969.92/243.03	c  S st  3729   1210396       150     12750         0     78180     89250   2052340     38.55   no data  --
969.92/243.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
969.92/243.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
969.92/243.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
970.35/243.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
970.35/243.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
970.35/243.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
970.35/243.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1161.49/291.02	c lits-rem:      2545  cl-subs:     3483  v-elim:      0  v-fix:    0  time: 191.07 s
1161.49/291.02	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
1161.49/291.05	c vivif2 --  cl tried    74697 cl shrink        0 lits rem          0 time: 0.09
1163.51/291.51	c asymm  cl-useful: 0/1167/12750 lits-rem:0 time: 1.84
1163.51/291.51	c calculated reachability. Time: 0.00
1163.51/291.51	c  N dy  3729   1210396       150     12750         0     74697     89250   1864303     38.55   no data  --
1188.63/297.85	c  N dy  3785   1230491       150     12750         0     48009     89250    670104     38.55     42.31  --
1206.99/302.48	c  N dy  3854   1250567       150     12750         0     67245     89250   1527013     38.55     42.78  --
1232.13/308.71	c  N dy  3923   1270574       150     12750         0     86439     89250   2382188     38.55     42.52  --
1253.27/314.04	c  N dy  3967   1290918       150     12750         0     59001     89250   1124183     38.54     40.84  --
1275.23/319.55	c  N dy  4028   1311781       150     12750         0     79026     89250   2019722     38.55     40.58  --
1302.37/326.39	c  N dy  4098   1332539       150     12750         0     51026     89250    735303     38.55     40.78  --
1322.32/331.38	c  N dy  4159   1353145       150     12750         0     70742     89250   1616105     38.56     40.59  --
1347.07/337.55	c  N dy  4224   1373176       150     12750         0     89930     89250   2478034     38.56     40.78  --
1370.61/343.40	c  N dy  4291   1393263       150     12750         0     60348     89250   1120513     38.57     40.74  --
1392.55/348.92	c  N dy  4355   1413361       150     12750         0     79599     89250   1979207     38.57     40.65  --
1421.69/356.28	c  N dy  4441   1433405       150     12750         0     98767     89250   2836319     38.58     42.15  --
1442.84/361.58	c  N dy  4503   1454821       150     12750         0     69466     89250   1491831     38.58     40.95  --
1469.59/368.25	c  N dy  4581   1475819       150     12750         0     89572     89250   2389499     38.59     40.77  --
1501.12/376.10	c  N dy  4657   1501288       150     12750         0     63204     89250   1181483     38.59     40.76  --
1522.66/381.53	c  N dy  4703   1521750       150     12750         0     82786     89250   2057698     38.58     40.68  --
1551.40/388.77	c  N dy  4767   1541759       150     12750         0    101882     89250   2904527     38.58     40.73  --
1572.54/394.06	c  N dy  4835   1561828       150     12750         0     69416     89250   1425419     38.59     43.11  --
1594.89/399.68	c  N dy  4875   1582495       150     12750         0     89164     89250   2312901     38.57     40.67  --
1623.63/406.86	c  N dy  4931   1603166       150     12750         0     56356     89250    808263     38.57     40.81  --
1643.58/411.88	c  N dy  5005   1623198       150     12750         0     75586     89250   1664299     38.58     40.68  --
1668.36/418.06	c  N dy  5082   1643216       150     12750         0     94738     89250   2523916     38.58     40.62  --
1695.86/424.92	c  N dy  5162   1663234       150     12750         0     60315     89250    949810     38.59     41.26  --
1716.23/430.09	c  N dy  5237   1683244       150     12750         0     79499     89250   1810496     38.59     41.84  --
1743.76/436.90	c  N dy  5316   1703391       150     12750         0     98872     89250   2675953     38.60     40.77  --
1753.73/439.49	c  S st  5343   1710396       150     12750         0    105609     89250   2977134     38.60     38.76  --
1755.33/439.83	c  S st  5343   1710897       150     12750         0    106092     89250   2998548     38.60   no data  --
1755.33/439.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1755.33/439.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1755.73/439.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.30
1755.73/440.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1755.73/440.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1755.73/440.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1755.73/440.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2968.63/743.85	c lits-rem:      6101  cl-subs:     5233  v-elim:      0  v-fix:    0  time: 1212.18 s
2968.63/743.86	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2968.63/743.89	c vivif2 --  cl tried   100859 cl shrink        0 lits rem          0 time: 0.14
2969.83/744.16	c asymm  cl-useful: 0/536/12750 lits-rem:0 time: 1.09
2969.83/744.17	c calculated reachability. Time: 0.00
2969.83/744.17	c  N dy  5343   1710897       150     12750         0    100859     89250   2709163     38.60   no data  --
2998.18/751.26	c  N dy  5379   1738773       150     12750         0     72815     89250   1469128     38.58     40.62  --
3018.93/756.48	c  N dy  5397   1759295       150     12750         0     92418     89250   2345250     38.57     40.64  --
3048.46/763.80	c  N dy  5448   1779520       150     12750         0     56384     89250    708669     38.56     40.89  --
3068.84/768.96	c  N dy  5528   1799705       150     12750         0     75759     89250   1574734     38.57     40.96  --
3091.96/774.74	c  N dy  5596   1820078       150     12750         0     95261     89250   2446243     38.58     41.12  --
3120.70/781.93	c  N dy  5675   1840171       150     12750         0     58046     89250    747306     38.58     40.64  --
3139.49/786.67	c  N dy  5748   1860674       150     12750         0     77686     89250   1623739     38.58     40.83  --
3162.61/792.49	c  N dy  5803   1881246       150     12750         0     97363     89250   2503163     38.58     40.74  --
3194.93/800.50	c  N dy  5850   1908903       150     12750         0     66366     89250   1086440     38.57     40.62  --
3214.90/805.53	c  N dy  5911   1928987       150     12750         0     85571     89250   1943568     38.57     40.89  --
3239.24/811.64	c  N dy  5952   1949160       150     12750         0    104894     89250   2803314     38.57     40.82  --
3263.20/817.64	c  N dy  5996   1969448       150     12750         0     65928     89250   1033442     38.57     40.80  --
3283.98/822.85	c  N dy  6041   1991604       150     12750         0     87172     89250   1983786     38.57     40.85  --
3311.49/829.79	c  N dy  6136   2011679       150     12750         0    106349     89250   2842254     38.58     40.93  --
3336.24/835.95	c  N dy  6186   2031796       150     12750         0     66290     89250   1014122     38.58     41.02  --
3356.19/840.93	c  N dy  6243   2051849       150     12750         0     85474     89250   1875064     38.58     41.17  --
3380.14/846.97	c  N dy  6324   2072153       150     12750         0    104929     89250   2743796     38.58     40.87  --
3406.50/853.54	c  N dy  6356   2097058       150     12750         0     68416     89250   1073661     38.57     40.87  --
3426.05/858.40	c  N dy  6431   2117509       150     12750         0     88023     89250   1950686     38.57     40.77  --
3447.61/863.81	c  N dy  6455   2137738       150     12750         0    107325     89250   2803153     38.56     40.64  --
3474.35/870.57	c  N dy  6505   2161830       150     12750         0     69195     89250   1083300     38.56     40.80  --
3494.31/875.59	c  N dy  6597   2181904       150     12750         0     88474     89250   1945707     38.57     40.70  --
3519.06/881.74	c  N dy  6679   2201942       150     12750         0    107668     89250   2805382     38.57     40.75  --
3532.23/885.00	c  S st  6723   2210899       150     12750         0    116266     89250   3193151     38.58     38.82  --
3533.42/885.33	c  S st  6723   2211401       150     12750         0    116761     89250   3214064     38.58   no data  --
3533.42/885.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3533.42/885.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3533.82/885.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3533.82/885.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3533.82/885.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3533.82/885.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3533.82/885.50	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-3368675-1305400466/watcher-3368675-1305400466 -o /tmp/evaluation-result-3368675-1305400466/solver-3368675-1305400466 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368675-1305400466.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.72 8.06 7.73 8/277 31263
/proc/meminfo: memFree=25139976/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=216384 CPUtime=0.01 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 1066 0 0 0 1 0 0 0 25 0 4 0 730277201 221577216 992 33554432000 4194304 4650419 140735082996432 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 54096 996 343 112 0 49061 0
[pid=31263/tid=31264] ppid=31261 vsize=216384 CPUtime=0 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 177 0 0 0 0 0 0 0 25 0 4 0 730277201 221577216 999 33554432000 4194304 4650419 140735082996432 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=216384 CPUtime=0 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 154 0 0 0 0 0 0 0 18 0 4 0 730277201 221577216 999 33554432000 4194304 4650419 140735082996432 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=216384 CPUtime=0 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 133 0 0 0 0 0 0 0 25 0 4 0 730277201 221577216 1000 33554432000 4194304 4650419 140735082996432 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.111184 s]
/proc/loadavg: 7.72 8.06 7.73 8/277 31263
/proc/meminfo: memFree=25139976/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=217956 CPUtime=0.41 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 2205 0 0 0 41 0 0 0 25 0 4 0 730277201 223186944 2109 33554432000 4194304 4650419 140735082996432 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 54489 2109 366 112 0 49454 0
[pid=31263/tid=31264] ppid=31261 vsize=217956 CPUtime=0.1 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 417 0 0 0 10 0 0 0 18 0 4 0 730277201 223186944 2109 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=217956 CPUtime=0.1 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 390 0 0 0 10 0 0 0 18 0 4 0 730277201 223186944 2109 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=217956 CPUtime=0.1 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 525 0 0 0 10 0 0 0 25 0 4 0 730277201 223186944 2109 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 217956

[startup+0.201168 s]
/proc/loadavg: 7.72 8.06 7.73 8/277 31263
/proc/meminfo: memFree=25139976/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=218088 CPUtime=0.77 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 2386 0 0 0 77 0 0 0 25 0 4 0 730277201 223322112 2290 33554432000 4194304 4650419 140735082996432 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 54522 2290 366 112 0 49487 0
[pid=31263/tid=31264] ppid=31261 vsize=218088 CPUtime=0.19 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 431 0 0 0 19 0 0 0 18 0 4 0 730277201 223322112 2290 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=218088 CPUtime=0.19 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 398 0 0 0 19 0 0 0 18 0 4 0 730277201 223322112 2290 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=218088 CPUtime=0.19 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 667 0 0 0 19 0 0 0 25 0 4 0 730277201 223322112 2290 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218088

[startup+0.301151 s]
/proc/loadavg: 7.72 8.06 7.73 8/277 31263
/proc/meminfo: memFree=25139976/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=219364 CPUtime=1.17 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 2821 0 0 0 117 0 0 0 25 0 4 0 730277201 224628736 2343 33554432000 4194304 4650419 140735082996432 18446744073709551615 4371143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 54841 2343 370 112 0 49806 0
[pid=31263/tid=31264] ppid=31261 vsize=219364 CPUtime=0.29 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 439 0 0 0 29 0 0 0 18 0 4 0 730277201 224628736 2343 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=219364 CPUtime=0.29 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 403 0 0 0 29 0 0 0 18 0 4 0 730277201 224628736 2343 33554432000 4194304 4650419 140735082996432 18446744073709551615 4370526 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=219364 CPUtime=0.29 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 1077 0 0 0 29 0 0 0 25 0 4 0 730277201 224628736 2343 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219364

[startup+0.701078 s]
/proc/loadavg: 7.72 8.06 7.73 8/277 31263
/proc/meminfo: memFree=25139976/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=217008 CPUtime=2.77 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 8066 0 0 0 276 1 0 0 25 0 4 0 730277201 222216192 5626 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 54252 5626 390 112 0 49217 0
[pid=31263/tid=31264] ppid=31261 vsize=217008 CPUtime=0.68 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 2012 0 0 0 68 0 0 0 18 0 4 0 730277201 222216192 5626 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=217008 CPUtime=0.69 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 1920 0 0 0 69 0 0 0 18 0 4 0 730277201 222216192 5626 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=217008 CPUtime=0.68 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 1691 0 0 0 68 0 0 0 25 0 4 0 730277201 222216192 5626 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 217008

[startup+1.50093 s]
/proc/loadavg: 7.72 8.06 7.73 10/281 31267
/proc/meminfo: memFree=25088328/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=228776 CPUtime=5.96 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 13209 0 0 0 594 2 0 0 25 0 4 0 730277201 234266624 6890 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 57194 6890 391 112 0 52159 0
[pid=31263/tid=31264] ppid=31261 vsize=228776 CPUtime=1.49 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 3261 0 0 0 148 1 0 0 19 0 4 0 730277201 234266624 6890 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=228776 CPUtime=1.48 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 3327 0 0 0 148 0 0 0 19 0 4 0 730277201 234266624 6890 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=228776 CPUtime=1.47 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 2928 0 0 0 147 0 0 0 25 0 4 0 730277201 234266624 6890 33554432000 4194304 4650419 140735082996432 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 228776

[startup+3.10064 s]
/proc/loadavg: 7.72 8.06 7.73 9/281 31267
/proc/meminfo: memFree=25065512/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=255220 CPUtime=12.35 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 28517 0 0 0 1231 4 0 0 25 0 4 0 730277201 261345280 17395 33554432000 4194304 4650419 140735082996432 18446744073709551615 4439254 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 63805 17395 392 112 0 58770 0
[pid=31263/tid=31264] ppid=31261 vsize=255220 CPUtime=3.09 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 6252 0 0 0 308 1 0 0 23 0 4 0 730277201 261345280 17395 33554432000 4194304 4650419 140735082996432 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=255220 CPUtime=3.08 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 8343 0 0 0 307 1 0 0 23 0 4 0 730277201 261345280 17395 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=255220 CPUtime=3.06 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 7530 0 0 0 306 0 0 0 25 0 4 0 730277201 261345280 17395 33554432000 4194304 4650419 140735082996432 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 255220

[startup+6.30105 s]
/proc/loadavg: 7.74 8.06 7.73 9/281 31267
/proc/meminfo: memFree=24929740/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=246212 CPUtime=25.12 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 33901 0 0 0 2507 5 0 0 25 0 4 0 730277201 252121088 17389 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 61553 17389 392 112 0 56518 0
[pid=31263/tid=31264] ppid=31261 vsize=246212 CPUtime=6.28 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 8009 0 0 0 627 1 0 0 25 0 4 0 730277201 252121088 17389 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=246212 CPUtime=6.28 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 8970 0 0 0 627 1 0 0 25 0 4 0 730277201 252121088 17389 33554432000 4194304 4650419 140735082996432 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=246212 CPUtime=6.23 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 8693 0 0 0 623 0 0 0 25 0 4 0 730277201 252121088 17389 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 246212

[startup+12.7009 s]
/proc/loadavg: 7.76 8.06 7.73 9/281 31267
/proc/meminfo: memFree=24885632/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=264700 CPUtime=50.66 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 52107 0 0 0 5058 8 0 0 25 0 4 0 730277201 271052800 26809 33554432000 4194304 4650419 140735082996432 18446744073709551615 4513959 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 66175 26809 392 112 0 61140 0
[pid=31263/tid=31264] ppid=31261 vsize=264700 CPUtime=12.68 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 13318 0 0 0 1266 2 0 0 25 0 4 0 730277201 271052800 26809 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=264700 CPUtime=12.68 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 13189 0 0 0 1267 1 0 0 25 0 4 0 730277201 271052800 26809 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=264700 CPUtime=12.58 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 15054 0 0 0 1256 2 0 0 25 0 4 0 730277201 271052800 26809 33554432000 4194304 4650419 140735082996432 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 264700

[startup+25.5005 s]
/proc/loadavg: 7.81 8.06 7.73 9/281 31268
/proc/meminfo: memFree=24732104/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=273796 CPUtime=101.75 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 82524 0 0 0 10159 16 0 0 25 0 4 0 730277201 280367104 36576 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 68449 36576 392 112 0 63414 0
[pid=31263/tid=31264] ppid=31261 vsize=273796 CPUtime=25.48 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 20977 0 0 0 2543 5 0 0 25 0 4 0 730277201 280367104 36576 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=273796 CPUtime=25.48 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 21373 0 0 0 2544 4 0 0 25 0 4 0 730277201 280367104 36576 33554432000 4194304 4650419 140735082996432 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=273796 CPUtime=25.27 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 21768 0 0 0 2524 3 0 0 25 0 4 0 730277201 280367104 36576 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 273796

[startup+51.1008 s]
/proc/loadavg: 7.88 8.05 7.74 9/281 31268
/proc/meminfo: memFree=24634936/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=340552 CPUtime=203.93 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 124051 0 0 0 20364 29 0 0 25 0 4 0 730277201 348725248 45012 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 85138 45012 392 112 0 80103 0
[pid=31263/tid=31264] ppid=31261 vsize=340552 CPUtime=51.08 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 31183 0 0 0 5100 8 0 0 25 0 4 0 730277201 348725248 45012 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=340552 CPUtime=51.07 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 33386 0 0 0 5099 8 0 0 25 0 4 0 730277201 348725248 45012 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=340552 CPUtime=50.66 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 33480 0 0 0 5060 6 0 0 25 0 4 0 730277201 348725248 45012 33554432000 4194304 4650419 140735082996432 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 340552

[startup+102.3 s]
/proc/loadavg: 8.10 8.07 7.76 9/281 31270
/proc/meminfo: memFree=24552200/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=366776 CPUtime=408.33 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 171744 0 0 0 40789 44 0 0 25 0 4 0 730277201 375578624 55538 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 91694 55538 392 112 0 86659 0
[pid=31263/tid=31264] ppid=31261 vsize=366776 CPUtime=102.29 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 36665 0 0 0 10219 10 0 0 25 0 4 0 730277201 375578624 55538 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=366776 CPUtime=102.28 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 48190 0 0 0 10216 12 0 0 25 0 4 0 730277201 375578624 55538 33554432000 4194304 4650419 140735082996432 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=366776 CPUtime=101.44 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 49594 0 0 0 10132 12 0 0 25 0 4 0 730277201 375578624 55538 33554432000 4194304 4650419 140735082996432 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.33
Current children cumulated vsize (KiB) 366776

[startup+162.3 s]

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

[pid=31263] ppid=31261 vsize=660324 CPUtime=2563.56 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 412841 0 0 0 256219 137 0 0 25 0 4 0 730277201 676171776 104517 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 165081 104517 392 112 0 160046 0
[pid=31263/tid=31264] ppid=31261 vsize=660324 CPUtime=642.3 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 97871 0 0 0 64192 38 0 0 25 0 4 0 730277201 676171776 104517 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=660324 CPUtime=642.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 99601 0 0 0 64198 29 0 0 25 0 4 0 730277201 676171776 104517 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=660324 CPUtime=636.75 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 99774 0 0 0 63642 33 0 0 25 0 4 0 730277201 676171776 104517 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.56
Current children cumulated vsize (KiB) 660324

[startup+702.301 s]
/proc/loadavg: 8.08 8.09 7.90 9/281 31286
/proc/meminfo: memFree=24086336/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=661416 CPUtime=2803.02 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 432390 0 0 0 280152 150 0 0 25 0 4 0 730277201 677289984 104519 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 165354 104519 392 112 0 160319 0
[pid=31263/tid=31264] ppid=31261 vsize=661416 CPUtime=702.3 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 106252 0 0 0 70185 45 0 0 25 0 4 0 730277201 677289984 104519 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=661416 CPUtime=702.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 99699 0 0 0 70198 29 0 0 25 0 4 0 730277201 677289984 104519 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=661416 CPUtime=696.21 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 110759 0 0 0 69582 39 0 0 25 0 4 0 730277201 677289984 104519 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.02
Current children cumulated vsize (KiB) 661416

[startup+762.301 s]
/proc/loadavg: 8.07 8.08 7.91 9/281 31287
/proc/meminfo: memFree=24065968/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=623428 CPUtime=3042.51 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 448135 0 0 0 304091 160 0 0 25 0 4 0 730277201 638390272 109659 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 155857 109659 392 112 0 150822 0
[pid=31263/tid=31264] ppid=31261 vsize=623428 CPUtime=762.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 116062 0 0 0 76180 51 0 0 25 0 4 0 730277201 638390272 109659 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=623428 CPUtime=762.28 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 99699 0 0 0 76199 29 0 0 25 0 4 0 730277201 638390272 109659 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=623428 CPUtime=755.68 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 112634 0 0 0 75528 40 0 0 25 0 4 0 730277201 638390272 109659 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.51
Current children cumulated vsize (KiB) 623428

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 7.92 9/281 31289
/proc/meminfo: memFree=23978524/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=652860 CPUtime=3281.96 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 471347 0 0 0 328027 169 0 0 25 0 4 0 730277201 668528640 114393 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 163215 114393 392 112 0 158180 0
[pid=31263/tid=31264] ppid=31261 vsize=652860 CPUtime=822.3 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 120123 0 0 0 82177 53 0 0 25 0 4 0 730277201 668528640 114393 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=652860 CPUtime=822.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 99699 0 0 0 82198 29 0 0 25 0 4 0 730277201 668528640 114393 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=652860 CPUtime=815.16 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 118426 0 0 0 81473 43 0 0 25 0 4 0 730277201 668528640 114393 33554432000 4194304 4650419 140735082996432 18446744073709551615 4313707 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.96
Current children cumulated vsize (KiB) 652860

[startup+882.31 s]
/proc/loadavg: 8.15 8.11 7.93 9/281 31290
/proc/meminfo: memFree=24010008/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=574528 CPUtime=3521.48 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 502352 0 0 0 351966 182 0 0 25 0 4 0 730277201 588316672 104158 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 143632 104158 392 112 0 138597 0
[pid=31263/tid=31264] ppid=31261 vsize=574528 CPUtime=882.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 125175 0 0 0 88175 56 0 0 25 0 4 0 730277201 588316672 104158 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=574528 CPUtime=882.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 104686 0 0 0 88196 31 0 0 25 0 4 0 730277201 588316672 104158 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=574528 CPUtime=874.67 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 130120 0 0 0 87420 47 0 0 25 0 4 0 730277201 588316672 104158 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.48
Current children cumulated vsize (KiB) 574528

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 7.94 9/281 31292
/proc/meminfo: memFree=24029692/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=692216 CPUtime=3760.94 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 524409 0 0 0 375900 194 0 0 25 0 4 0 730277201 708829184 108600 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 173054 108609 392 112 0 168019 0
[pid=31263/tid=31264] ppid=31261 vsize=692216 CPUtime=942.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 133377 0 0 0 94170 61 0 0 25 0 4 0 730277201 708829184 108613 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=692216 CPUtime=942.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 113527 0 0 0 94191 36 0 0 25 0 4 0 730277201 708829184 108617 33554432000 4194304 4650419 140735082996432 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=692216 CPUtime=934.15 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 134558 0 0 0 93365 50 0 0 25 0 4 0 730277201 708829184 108618 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.94
Current children cumulated vsize (KiB) 692216

[startup+1002.3 s]
/proc/loadavg: 8.25 8.14 7.96 9/281 31294
/proc/meminfo: memFree=24005228/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=720784 CPUtime=4000.4 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 551155 0 0 0 399835 205 0 0 25 0 4 0 730277201 738082816 111431 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 180196 111431 392 112 0 175161 0
[pid=31263/tid=31264] ppid=31261 vsize=720784 CPUtime=1002.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 141058 0 0 0 100167 64 0 0 25 0 4 0 730277201 738082816 111431 33554432000 4194304 4650419 140735082996432 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=720784 CPUtime=1002.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 123470 0 0 0 100188 39 0 0 25 0 4 0 730277201 738082816 111431 33554432000 4194304 4650419 140735082996432 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=720784 CPUtime=993.62 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 143663 0 0 0 99308 54 0 0 25 0 4 0 730277201 738082816 111431 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.4
Current children cumulated vsize (KiB) 720784

[startup+1062.3 s]
/proc/loadavg: 8.16 8.13 7.96 9/281 31295
/proc/meminfo: memFree=23994272/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=815556 CPUtime=4239.89 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 565917 0 0 0 423776 213 0 0 25 0 4 0 730277201 835129344 110567 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 203889 110567 392 112 0 198854 0
[pid=31263/tid=31264] ppid=31261 vsize=815556 CPUtime=1062.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 147082 0 0 0 106163 68 0 0 25 0 4 0 730277201 835129344 110567 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=815556 CPUtime=1062.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 126345 0 0 0 106186 41 0 0 25 0 4 0 730277201 835129344 110567 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=815556 CPUtime=1053.1 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 149526 0 0 0 105254 56 0 0 25 0 4 0 730277201 835129344 110567 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.89
Current children cumulated vsize (KiB) 815556

[startup+1122.3 s]
/proc/loadavg: 8.19 8.13 7.97 9/281 31297
/proc/meminfo: memFree=23997956/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=765716 CPUtime=4479.36 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 590632 0 0 0 447711 225 0 0 25 0 4 0 730277201 784093184 110635 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 191429 110635 392 112 0 186394 0
[pid=31263/tid=31264] ppid=31261 vsize=765716 CPUtime=1122.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 156538 0 0 0 112157 74 0 0 25 0 4 0 730277201 784093184 110635 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=765716 CPUtime=1122.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 132071 0 0 0 112183 44 0 0 25 0 4 0 730277201 784093184 110635 33554432000 4194304 4650419 140735082996432 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=765716 CPUtime=1112.59 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 159059 0 0 0 111199 60 0 0 25 0 4 0 730277201 784093184 110635 33554432000 4194304 4650419 140735082996432 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.36
Current children cumulated vsize (KiB) 765716

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 7.98 9/281 31298
/proc/meminfo: memFree=23940140/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=867572 CPUtime=4718.83 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 613826 0 0 0 471649 234 0 0 25 0 4 0 730277201 888393728 127090 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 216893 127090 392 112 0 211858 0
[pid=31263/tid=31264] ppid=31261 vsize=867572 CPUtime=1182.31 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 166355 0 0 0 118155 76 0 0 25 0 4 0 730277201 888393728 127090 33554432000 4194304 4650419 140735082996432 18446744073709551615 4439181 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=867572 CPUtime=1182.27 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 141090 0 0 0 118178 49 0 0 25 0 4 0 730277201 888393728 127090 33554432000 4194304 4650419 140735082996432 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=867572 CPUtime=1172.06 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 163417 0 0 0 117145 61 0 0 25 0 4 0 730277201 888393728 127090 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.83
Current children cumulated vsize (KiB) 867572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 8.09 8.11 7.98 5/276 31300
/proc/meminfo: memFree=24644252/32951124 swapFree=67083432/67111528
[pid=31263] ppid=31261 vsize=813472 CPUtime=4800.26 cores=0,2,4,6
/proc/31263/stat : 31263 (strangenight1-m) R 31261 31263 31021 0 -1 4202496 615899 0 0 0 479792 234 0 0 25 0 4 0 730277201 832995328 127027 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31263/statm: 203368 127027 392 112 0 198333 0
[pid=31263/tid=31264] ppid=31261 vsize=813472 CPUtime=1202.72 cores=0,2,4,6
/proc/31263/task/31264/stat : 31264 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 167298 0 0 0 120196 76 0 0 25 0 4 0 730277201 832995328 127027 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31263/tid=31265] ppid=31261 vsize=813472 CPUtime=1202.68 cores=0,2,4,6
/proc/31263/task/31265/stat : 31265 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 142220 0 0 0 120218 50 0 0 25 0 4 0 730277201 832995328 127027 33554432000 4194304 4650419 140735082996432 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31263/tid=31266] ppid=31261 vsize=813472 CPUtime=1192.27 cores=0,2,4,6
/proc/31263/task/31266/stat : 31266 (strangenight1-m) R 31261 31263 31021 0 -1 4202560 163417 0 0 0 119166 61 0 0 25 0 4 0 730277201 832995328 127027 33554432000 4194304 4650419 140735082996432 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 813472

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.74
CPU time (s): 4800.31
CPU user time (s): 4797.94
CPU system time (s): 2.37164
CPU usage (%): 399.115
Max. virtual memory (cumulated for all children) (KiB): 867572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.94
system time used= 2.37164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 615899
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= 1066
involuntary context switches= 24873

runsolver used 3.00054 second user time and 7.47886 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-14 21:14:26
IDJOB=3368675
IDBENCH=82684
IDSOLVER=1846
FILE ID=node110/3368675-1305400466
RUNJOBID= node110-1305398056-31039
PBS_JOBID= 13324476
Free space on /tmp= 73588 MiB

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

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

MD5SUM BENCH= 707c4bcddcda116edc4a57a77dc3ba68
RANDOM SEED=1985369336

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25140132 kB
Buffers:        276392 kB
Cached:        4041544 kB
SwapCached:       1440 kB
Active:        4298016 kB
Inactive:      3184120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25140132 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           13612 kB
Writeback:           0 kB
AnonPages:     3162780 kB
Mapped:          22992 kB
Slab:           245748 kB
PageTables:      20240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46191772 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= 73588 MiB
End job on node110 at 2011-05-14 21:34:31