Trace number 3368609

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.14 1203.67

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
MD5SUM04e94fe2f2a1881d983170c76e6cb046
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.6875
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368609-1305398557.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.00/0.12	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.12	c -- vars added      15000
0.00/0.12	c Parsing time:  0.15 s
0.00/0.12	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.13	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.48/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.48/0.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.48/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.48/0.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.48/0.21	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
1.10/0.34	c lits-rem:         0  cl-subs:        0  v-elim:    449  v-fix:    0  time:  0.52 s
1.10/0.35	c Finding binary XORs  T:     0.01 s  found:       0
1.10/0.38	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
1.10/0.38	c calculated reachability. Time: 0.00
1.10/0.38	c Calc default polars -  time:   0.02 s pos:    6599 undec:    1792 neg:    6609
1.10/0.38	c =========================================================================================
1.10/0.38	c types(t): F = full restart, N = normal restart
1.10/0.38	c types(t): S = simplification begin/end, E = solution found
1.10/0.38	c restart types(rt): st = static, dy = dynamic
1.10/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.10/0.38	c  B st     0         0     14551     62414         0         0    189769         0   no data   no data  --
4.31/1.20	c  N dy    19      4048     14551     62414         0      4048    189769    869412    113.97    123.86  --
7.88/2.02	c  N dy    46      8185     14551     62414         0      8185    189769   1611328    113.20    123.69  --
11.07/2.86	c  N dy    75     12296     14551     62414         0     12296    189769   2345221    113.61    120.54  --
14.66/3.74	c  N dy   102     16423     14551     62414         0     16423    189769   3077156    112.82    119.33  --
18.25/4.65	c  N dy   128     20513     14551     62414         0     10516    189769    607796    112.72    121.91  --
21.86/5.53	c  N dy   156     24714     14551     62414         0     14717    189769   1360009    112.44    121.18  --
21.86/5.59	c  F st   159     25000     14551     62414         0     15003    189769   1405836    112.39   no data  --
26.67/6.74	c  N dy   165     30001     14551     62414         0     20003    189769   2587020    112.39   no data  --
26.67/6.74	c  S st   165     30001     14551     62414         0     20003    189769   2587020    112.39   no data  --
27.01/6.86	c  S st   165     30509     14551     62414         0     20510    189769   2650304    112.39   no data  --
27.01/6.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.01/6.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.41/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.22/7.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.22/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.22/7.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
28.22/7.16	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.76/11.52	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 17.28 s
46.16/11.61	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.36
46.16/11.62	c calculated reachability. Time: 0.00
46.16/11.62	c  N dy   165     30509     14551     62414         0     20507    189769   2649031    112.39   no data  --
50.54/12.71	c  N dy   192     34550     14551     62414         0     24548    189769   3360772    112.31    120.06  --
54.93/13.82	c  N dy   220     38664     14551     62414         0     28662    189769   4073580    112.04    118.55  --
59.33/14.92	c  N dy   248     42692     14551     62414         0     17190    189769    917101    112.47    123.37  --
62.51/15.74	c  S st   271     45764     14551     62414         0     20262    189769   1468159    112.59    109.77  --
62.90/15.86	c  S st   271     46270     14551     62414         0     20768    189769   1530615    112.59   no data  --
62.90/15.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62.90/15.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.30/15.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
63.70/16.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.70/16.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.70/16.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
63.70/16.06	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
74.91/18.85	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.12 s
74.91/18.86	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
74.91/18.88	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.08
75.26/18.96	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.32
75.26/18.96	c calculated reachability. Time: 0.00
75.26/18.96	c  N dy   271     46270     14551     62414         0     20767    189769   1530492    112.59   no data  --
79.30/19.94	c  N dy   302     50353     14551     62414         0     24850    189769   2289667    112.96    200.79  --
83.27/20.97	c  N dy   330     54532     14551     62414         0     29029    189769   3029921    113.05    120.68  --
87.24/21.99	c  N dy   360     58561     14551     62414         0     33058    189769   3769243    113.32    119.51  --
91.63/23.04	c  N dy   387     62570     14551     62414         0     37067    189769   4500562    113.43    119.42  --
95.61/24.00	c  N dy   415     66584     14551     62414         0     22333    189769   1255603    113.47    125.93  --
98.00/24.69	c  S st   434     69405     14551     62414         0     25154    189769   1760627    113.42   no data  --
98.80/24.82	c  S st   434     69907     14551     62414         0     25656    189769   1826854    113.42   no data  --
98.80/24.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.80/24.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.80/24.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
99.59/25.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
99.59/25.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
99.59/25.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
99.59/25.02	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
113.16/28.42	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 13.52 s
113.16/28.42	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
113.16/28.45	c vivif2 --  cl tried    25656 cl shrink        0 lits rem          0 time: 0.10
113.56/28.54	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.36
113.56/28.54	c calculated reachability. Time: 0.00
113.56/28.54	c  N dy   434     69907     14551     62414         0     25656    189769   1826848    113.42   no data  --
117.94/29.66	c  N dy   461     74513     14551     62414         0     30262    189769   2655677    113.46    120.49  --
122.75/30.88	c  N dy   493     79292     14551     62414         0     35040    189769   3538386    113.48    144.28  --
128.31/32.26	c  N dy   529     84521     14551     62414         0     40268    189769   4505212    113.81    130.87  --
131.52/33.03	c  F st   550     87501     14551     62414         0     22375    189769    838692    113.80     89.00  --
134.69/33.88	c  N st   555     90800     14551     62414         0     25673    189769   1630662    113.80   no data  --
140.72/35.35	c  N dy   581     96682     14551     62414         0     31555    189769   2756857    113.75    120.29  --
147.46/37.00	c  N dy   621    102864     14551     62414         0     37737    189769   3874787    113.71    122.91  --
149.50/37.56	c  S st   632    104860     14551     62414         0     39733    189769   4237451    113.66    105.26  --
150.24/37.71	c  S st   632    105363     14551     62414         0     40236    189769   4307783    113.66   no data  --
150.24/37.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
150.24/37.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.64/37.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.33
151.44/38.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
151.44/38.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
151.44/38.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
151.44/38.08	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
254.35/63.89	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 102.77 s
254.35/63.89	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
254.77/63.95	c vivif2 --  cl tried    40233 cl shrink        0 lits rem          0 time: 0.22
255.13/64.07	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.47
255.13/64.07	c calculated reachability. Time: 0.00
255.13/64.07	c  N dy   632    105363     14551     62414         0     40233    189769   4305965    113.66   no data  --
262.71/65.92	c  N dy   679    112224     14551     62414         0     24658    189769    936392    113.77    121.09  --
269.89/67.74	c  N dy   729    119505     14551     62414         0     31937    189769   2254105    113.84    120.13  --
277.86/69.75	c  N dy   779    127186     14551     62414         0     39618    189769   3657453    113.88    130.62  --
287.04/72.07	c  N dy   831    135404     14551     62414         0     24119    189769    588163    114.04    124.25  --
295.81/74.27	c  N dy   888    144176     14551     62414         0     32891    189769   2199397    114.13    122.33  --
305.79/76.79	c  N dy   955    153418     14551     62414         0     42133    189769   3917883    114.34    121.11  --
311.39/78.16	c  S st   989    158045     14551     62414         0     46760    189769   4754885    114.26     95.51  --
312.16/78.33	c  S st   989    158547     14551     62414         0     47262    189769   4825747    114.26   no data  --
312.16/78.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
312.16/78.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
312.56/78.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
313.76/78.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
313.76/78.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
313.76/78.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
313.76/78.72	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
539.10/135.25	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 225.15 s
539.10/135.25	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
539.52/135.32	c vivif2 --  cl tried    47255 cl shrink        0 lits rem          0 time: 0.24
539.94/135.46	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.57
539.94/135.47	c calculated reachability. Time: 0.00
539.94/135.47	c  N dy   989    158547     14551     62414         0     47255    189769   4824031    114.26   no data  --
551.46/138.34	c  N dy  1059    168846     14551     62414         0     32696    189769   1923712    114.40    121.76  --
563.82/141.41	c  N dy  1130    179673     14551     62414         0     43522    189769   3899976    114.35    121.25  --
577.38/144.80	c  N dy  1202    191323     14551     62414         0     29243    189769   1058627    114.21    125.12  --
590.95/148.20	c  N dy  1285    203596     14551     62414         0     41515    189769   3277433    114.33    122.36  --
606.89/152.21	c  N dy  1371    216733     14551     62414         0     27687    189769    576565    114.40    120.93  --
622.05/156.02	c  N dy  1463    230654     14551     62414         0     41607    189769   3157874    114.52    148.12  --
630.42/158.18	c  S st  1512    237820     14551     62414         0     48773    189769   4459180    114.53     92.59  --
631.22/158.35	c  S st  1512    238324     14551     62414         0     49277    189769   4532700    114.53   no data  --
631.22/158.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
631.22/158.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
631.64/158.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.35
632.82/158.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
632.82/158.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
632.82/158.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
632.82/158.72	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
807.54/202.57	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 174.72 s
807.54/202.58	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
807.89/202.64	c vivif2 --  cl tried    49273 cl shrink        0 lits rem          0 time: 0.25
808.29/202.78	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.57
808.29/202.79	c calculated reachability. Time: 0.00
808.29/202.79	c  N dy  1512    238324     14551     62414         0     49273    189769   4531958    114.53   no data  --
825.84/207.18	c  N dy  1602    253589     14551     62414         0     36562    189769   1998390    114.40    124.59  --
844.99/211.99	c  N dy  1708    269839     14551     62414         0     52810    189769   4954698    114.43    122.16  --
865.33/217.07	c  N dy  1824    287232     14551     62414         0     41214    189769   2656522    114.40    122.76  --
887.26/222.56	c  N dy  1945    305603     14551     62414         0     59582    189769   5994852    114.43    122.28  --
888.06/222.79	c  F st  1949    306252     14551     62414         0     30238    189769    469756    114.42   no data  --
908.79/227.96	c  N dy  2048    325160     14551     62414         0     49144    189769   4120867    114.50    123.64  --
932.73/233.94	c  N dy  2179    345203     14551     62414         0     38191    189769   1732669    114.47    120.73  --
947.09/237.58	c  S st  2263    357488     14551     62414         0     50475    189769   3966540    114.48   no data  --
947.93/237.74	c  S st  2263    357989     14551     62414         0     50976    189769   4031913    114.48   no data  --
947.93/237.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
947.93/237.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
948.28/237.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
949.08/238.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
949.08/238.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
949.08/238.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
949.08/238.08	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1086.27/272.44	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 136.86 s
1086.27/272.45	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1086.67/272.50	c vivif2 --  cl tried    50971 cl shrink        0 lits rem          0 time: 0.22
1087.08/272.65	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.58
1087.08/272.65	c calculated reachability. Time: 0.00
1087.08/272.65	c  N dy  2263    357989     14551     62414         0     50971    189769   4030423    114.48   no data  --
1112.19/278.93	c  N dy  2400    378144     14551     62414         0     39126    189769   1779525    114.56    121.48  --
1137.32/285.29	c  N dy  2538    398264     14551     62414         0     59246    189769   5433689    114.55    123.34  --
1163.64/291.83	c  N dy  2677    418332     14551     62414         0     46316    189769   2905275    114.66    120.99  --
1190.77/298.67	c  N dy  2809    438358     14551     62414         0     66340    189769   6583963    114.70    121.26  --
1216.28/305.04	c  N dy  2942    458560     14551     62414         0     52542    189769   3832944    114.76    128.20  --
1244.21/312.01	c  N dy  3075    478687     14551     62414         0     37673    189769    941235    114.80    122.30  --
1269.33/318.36	c  N dy  3208    498715     14551     62414         0     57699    189769   4611114    114.84    152.37  --
1297.26/325.33	c  N dy  3341    518839     14551     62414         0     41820    189769   1519638    114.88    127.11  --
1321.18/331.37	c  S st  3449    536983     14551     62414         0     59963    189769   4816842    114.84    102.94  --
1321.98/331.56	c  S st  3449    537483     14551     62414         0     60463    189769   4879062    114.84   no data  --
1321.98/331.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1321.98/331.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1322.38/331.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.41
1323.58/331.95	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1323.58/331.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1323.58/331.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
1323.58/331.97	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1566.50/392.89	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time: 242.63 s
1566.85/392.90	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1566.85/392.96	c vivif2 --  cl tried    60459 cl shrink        0 lits rem          0 time: 0.26
1567.65/393.12	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.64
1567.65/393.13	c calculated reachability. Time: 0.00
1567.65/393.13	c  N dy  3449    537483     14551     62414         0     60459    189769   4877539    114.84   no data  --
1592.40/399.34	c  N dy  3575    557581     14551     62414         0     43557    189769   1636869    114.84    125.22  --
1616.71/405.42	c  N dy  3707    577679     14551     62414         0     63654    189769   5315922    114.85    124.21  --
1641.43/411.69	c  N dy  3840    597744     14551     62414         0     45721    189769   1861657    114.86    122.04  --
1666.16/417.83	c  N dy  3969    617966     14551     62414         0     65942    189769   5534174    114.85    121.03  --
1691.68/424.20	c  N dy  4101    638093     14551     62414         0     47065    189769   1891730    114.87    121.34  --
1716.01/430.39	c  N dy  4238    658243     14551     62414         0     67214    189769   5614717    114.95    123.69  --
1741.97/436.89	c  N dy  4373    678323     14551     62414         0     47298    189769   1777694    114.99    122.91  --
1766.66/443.04	c  N dy  4500    698424     14551     62414         0     67398    189769   5444149    114.99    123.77  --
1792.98/449.60	c  N dy  4629    718447     14551     62414         0     46427    189769   1467223    115.00    122.30  --
1817.70/455.82	c  N dy  4770    738497     14551     62414         0     66472    189769   5203740    115.08    163.51  --
1844.82/462.62	c  N dy  4899    758620     14551     62414         0     44601    189769    916801    115.04    121.39  --
1868.77/468.70	c  N dy  5029    778788     14551     62414         0     64767    189769   4610678    115.05    123.04  --
1896.66/475.61	c  N dy  5167    798954     14551     62414         0     84931    189769   8309702    115.06    125.31  --
1905.44/477.81	c  S st  5214    806224     14551     62414         0     49201    189769   1548809    115.06   no data  --
1905.83/477.96	c  S st  5214    806728     14551     62414         0     49705    189769   1613731    115.06   no data  --
1905.83/477.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1905.83/477.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1906.23/478.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1906.64/478.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1906.64/478.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1906.64/478.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
1906.64/478.17	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1921.00/481.73	c lits-rem:        24  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.18 s
1921.00/481.74	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1921.00/481.76	c vivif2 --  cl tried    49705 cl shrink        0 lits rem          0 time: 0.09
1921.42/481.89	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.51
1921.42/481.89	c calculated reachability. Time: 0.00
1921.42/481.90	c  N dy  5214    806728     14551     62414         0     49705    189769   1613707    115.06   no data  --
1946.92/488.22	c  N dy  5357    826741     14551     62414         0     69718    189769   5364610    115.17    123.41  --
1974.48/495.16	c  N dy  5489    846872     14551     62414         0     45851    189769    801264    115.20    127.64  --
1999.16/501.36	c  N dy  5616    866895     14551     62414         0     65873    189769   4529257    115.23    122.74  --
2028.67/508.75	c  N dy  5747    886956     14551     62414         0     85933    189769   8222622    115.24    123.89  --
2056.20/515.64	c  N dy  5879    907150     14551     62414         0     61128    189769   3449156    115.28    123.54  --
2086.11/523.12	c  N dy  6011    927213     14551     62414         0     81190    189769   7099396    115.27    139.03  --
2116.01/530.62	c  N dy  6147    947351     14551     62414         0     55326    189769   2179962    115.31    125.39  --
2146.32/538.26	c  N dy  6279    967500     14551     62414         0     75472    189769   5903065    115.33    121.88  --
2181.02/546.94	c  N dy  6427    987932     14551     62414         0     48904    189769    828264    115.37    122.46  --
2208.14/553.77	c  N dy  6561   1008052     14551     62414         0     69024    189769   4552094    115.41    122.85  --
2239.65/561.67	c  N dy  6698   1028106     14551     62414         0     89078    189769   8295781    115.45    126.28  --
2269.17/569.00	c  N dy  6837   1048138     14551     62414         0     61113    189769   2860608    115.45    124.94  --
2298.70/576.45	c  N dy  6967   1068236     14551     62414         0     81208    189769   6538693    115.46    137.66  --
2304.66/577.91	c  F st  6988   1071875     14551     62414         0     84847    189769   7181179    115.45     93.50  --
2330.58/584.49	c  N dy  7070   1088287     14551     62414         0     52269    189769   1091255    115.46    183.69  --
2358.50/591.41	c  N dy  7194   1108478     14551     62414         0     72458    189769   4778875    115.44    121.97  --
2388.81/599.08	c  N dy  7327   1128543     14551     62414         0     92520    189769   8509125    115.46    123.49  --
2417.92/606.30	c  N dy  7460   1148642     14551     62414         0     62620    189769   2805242    115.49    126.29  --
2446.24/613.49	c  N dy  7586   1168738     14551     62414         0     82715    189769   6500501    115.48    122.46  --
2480.14/621.92	c  N dy  7728   1188829     14551     62414         0     51811    189769    620584    115.50    126.88  --
2504.88/628.20	c  N dy  7859   1208842     14551     62414         0     71821    189769   4333551    115.52    124.50  --
2506.86/628.61	c  S st  7868   1210093     14551     62414         0     73071    189769   4559658    115.52   no data  --
2507.65/628.80	c  S st  7868   1210594     14551     62414         0     73572    189769   4626873    115.52   no data  --
2507.65/628.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2507.65/628.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2508.05/628.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.41
2508.85/629.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2508.85/629.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2508.85/629.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
2508.85/629.17	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2718.64/681.79	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 209.55 s
2719.04/681.80	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
2719.04/681.86	c vivif2 --  cl tried    73567 cl shrink        0 lits rem          0 time: 0.25
2719.85/682.04	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.70
2719.85/682.05	c calculated reachability. Time: 0.00
2719.85/682.05	c  N dy  7868   1210594     14551     62414         0     73567    189769   4624907    115.52   no data  --
2748.94/689.31	c  N dy  7994   1230701     14551     62414         0     93672    189769   8347392    115.52    123.01  --
2776.88/696.32	c  N dy  8129   1250705     14551     62414         0     61679    189769   2277049    115.54    125.17  --
2803.21/702.97	c  N dy  8255   1270814     14551     62414         0     81785    189769   5972391    115.53    139.64  --
2833.91/710.64	c  N dy  8395   1290875     14551     62414         0    101844    189769   9700570    115.57    149.18  --
2861.00/717.40	c  N dy  8523   1311012     14551     62414         0     68984    189769   3472556    115.57    126.74  --
2888.52/724.38	c  N dy  8654   1331023     14551     62414         0     88993    189769   7168306    115.58    142.08  --
2920.03/732.26	c  N dy  8781   1351131     14551     62414         0     55100    189769    690952    115.59    122.71  --
2945.95/738.74	c  N dy  8916   1371321     14551     62414         0     75289    189769   4391451    115.60    122.04  --
2975.46/746.18	c  N dy  9053   1391423     14551     62414         0     95391    189769   8132856    115.62    126.28  --
3006.16/753.86	c  N dy  9194   1411469     14551     62414         0     60443    189769   1508869    115.65    124.21  --
3032.48/760.45	c  N dy  9312   1431489     14551     62414         0     80460    189769   5225322    115.65    122.48  --
3062.44/767.96	c  N dy  9443   1451547     14551     62414         0    100518    189769   8913774    115.65    121.83  --
3091.91/775.37	c  N dy  9572   1471585     14551     62414         0     64557    189769   2083021    115.64    122.13  --
3120.22/782.42	c  N dy  9717   1491650     14551     62414         0     84620    189769   5831145    115.68    126.34  --
3153.33/790.77	c  N dy  9853   1511652     14551     62414         0    104622    189769   9561172    115.71    122.31  --
3184.85/798.68	c  N dy  9985   1531691     14551     62414         0     67662    189769   2498813    115.73    140.22  --
3214.75/806.19	c  N dy 10117   1551849     14551     62414         0     87819    189769   6247648    115.75    127.24  --
3250.24/815.05	c  N dy 10249   1571948     14551     62414         0    107912    189769   9927994    115.74    123.35  --
3282.95/823.27	c  N dy 10382   1591965     14551     62414         0     69935    189769   2722018    115.75    122.34  --
3314.45/831.17	c  N dy 10516   1612038     14551     62414         0     90007    189769   6433600    115.77    122.40  --
3349.94/840.08	c  N dy 10644   1632041     14551     62414         0    110009    189769  10152494    115.78    122.31  --
3383.45/848.41	c  N dy 10778   1652258     14551     62414         0     71236    189769   2774734    115.79    127.61  --
3414.95/856.35	c  N dy 10903   1672327     14551     62414         0     91304    189769   6477720    115.78    128.21  --
3450.84/865.36	c  N dy 11031   1692373     14551     62414         0    111347    189769  10190844    115.80    127.46  --
3480.36/872.75	c  S st 11146   1710595     14551     62414         0     69572    189769   2293868    115.78    122.52  --
3481.16/872.95	c  S st 11146   1711095     14551     62414         0     70072    189769   2362558    115.78   no data  --
3481.16/872.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3481.16/872.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3481.56/873.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3482.36/873.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3482.36/873.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3482.36/873.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
3482.36/873.22	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3511.07/880.46	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time: 28.85 s
3511.07/880.47	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
3511.47/880.51	c vivif2 --  cl tried    70069 cl shrink        0 lits rem          0 time: 0.15
3511.87/880.68	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.71
3511.87/880.69	c calculated reachability. Time: 0.00
3511.87/880.69	c  N dy 11146   1711095     14551     62414         0     70069    189769   2361504    115.78   no data  --
3542.57/888.32	c  N dy 11287   1731170     14551     62414         0     90144    189769   6116764    115.81    160.27  --
3576.07/896.73	c  N dy 11417   1751178     14551     62414         0    110150    189769   9808516    115.82    125.95  --
3609.98/905.22	c  N dy 11557   1771308     14551     62414         0     69279    189769   2074703    115.85    122.70  --
3639.89/912.73	c  N dy 11683   1791401     14551     62414         0     89370    189769   5850434    115.87    123.74  --
3673.79/921.21	c  N dy 11825   1811405     14551     62414         0    109373    189769   9597547    115.90    122.01  --
3708.48/929.95	c  N dy 11965   1831470     14551     62414         0     67438    189769   1539231    115.91    128.15  --
3738.03/937.38	c  N dy 12096   1851544     14551     62414         0     87511    189769   5235934    115.90    123.19  --
3771.49/945.76	c  N dy 12235   1871603     14551     62414         0    107568    189769   9023089    115.93    127.82  --
3807.81/954.91	c  N dy 12363   1891695     14551     62414         0     64665    189769    861545    115.92    124.26  --
3838.94/962.61	c  N dy 12501   1911771     14551     62414         0     84738    189769   4568652    115.94    124.59  --
3874.03/971.47	c  N dy 12630   1931952     14551     62414         0    104918    189769   8298861    115.94    124.20  --
3913.87/981.45	c  N dy 12766   1952055     14551     62414         0    125020    189769  12032931    115.96    123.12  --
3946.18/989.59	c  N dy 12895   1972061     14551     62414         0     81029    189769   3662190    115.95    123.23  --
3980.47/998.17	c  N dy 13025   1992125     14551     62414         0    101092    189769   7342512    115.94    125.04  --
4019.56/1007.96	c  N dy 13156   2012180     14551     62414         0    121145    189769  11083957    115.95    129.62  --
4055.05/1016.87	c  N dy 13299   2032320     14551     62414         0     76287    189769   2639322    115.98    125.04  --
4086.56/1024.74	c  N dy 13435   2052396     14551     62414         0     96363    189769   6352059    115.98    123.62  --
4121.66/1033.52	c  N dy 13563   2072489     14551     62414         0    116456    189769  10113648    116.00    124.12  --
4158.35/1042.70	c  N dy 13693   2092611     14551     62414         0     70580    189769   1426839    116.01    123.56  --
4188.26/1050.24	c  N dy 13822   2112701     14551     62414         0     90669    189769   5169501    116.02    122.82  --
4222.15/1058.71	c  N dy 13954   2132745     14551     62414         0    110712    189769   8889259    116.03    124.60  --
4260.44/1068.37	c  N dy 14096   2152885     14551     62414         0    130851    189769  12657729    116.06    124.36  --
4292.34/1076.31	c  N dy 14236   2172901     14551     62414         0     83869    189769   3699431    116.07    126.42  --
4326.24/1084.82	c  N dy 14366   2193006     14551     62414         0    103974    189769   7412004    116.08    122.50  --
4361.34/1093.66	c  S st 14475   2211095     14551     62414         0    122062    189769  10755709    116.07    104.04  --
4362.54/1093.97	c  S st 14475   2211600     14551     62414         0    122567    189769  10832247    116.07   no data  --
4362.54/1094.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4362.94/1094.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4363.34/1094.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.65
4366.13/1094.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4366.13/1094.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4366.13/1094.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14551 time:  0.02 s
4366.13/1094.86	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 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-3368609-1305398557/watcher-3368609-1305398557 -o /tmp/evaluation-result-3368609-1305398557/solver-3368609-1305398557 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368609-1305398557.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 8.02 6.80 2/351 12657
/proc/meminfo: memFree=21313592/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 417 0 0 0 1 0 0 0 25 0 4 0 651453406 52465664 357 33554432000 4194304 4650419 140733945370240 18446744073709551615 47890334152217 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 12809 357 306 112 0 7774 0
[pid=12657/tid=12658] ppid=12655 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651453407 52465664 357 33554432000 4194304 4650419 140733945370240 18446744073709551615 47890334152620 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 651453407 52465664 357 33554432000 4194304 4650419 140733945370240 18446744073709551615 47890334152217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651453407 52465664 357 33554432000 4194304 4650419 140733945370240 18446744073709551615 47890334152221 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.1458 s]
/proc/loadavg: 8.13 8.02 6.80 2/351 12657
/proc/meminfo: memFree=21313592/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=371428 CPUtime=0.48 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 13854 0 0 0 39 9 0 0 18 0 4 0 651453406 380342272 11683 33554432000 4194304 4650419 140733945370240 18446744073709551615 4369186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 92857 11683 377 112 0 87822 0
[pid=12657/tid=12658] ppid=12655 vsize=371428 CPUtime=0.12 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 3806 0 0 0 10 2 0 0 18 0 4 0 651453407 380342272 11683 33554432000 4194304 4650419 140733945370240 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=371428 CPUtime=0.11 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 3492 0 0 0 9 2 0 0 18 0 4 0 651453407 380342272 11683 33554432000 4194304 4650419 140733945370240 18446744073709551615 4369198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=371428 CPUtime=0.11 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 2831 0 0 0 9 2 0 0 18 0 4 0 651453407 380342272 11683 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 371428

[startup+0.225826 s]
/proc/loadavg: 8.13 8.02 6.80 2/351 12657
/proc/meminfo: memFree=21313592/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=376184 CPUtime=0.8 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 18825 0 0 0 69 11 0 0 18 0 4 0 651453406 385212416 16651 33554432000 4194304 4650419 140733945370240 18446744073709551615 4438383 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 94046 16651 385 112 0 89011 0
[pid=12657/tid=12658] ppid=12655 vsize=376184 CPUtime=0.19 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 5419 0 0 0 17 2 0 0 18 0 4 0 651453407 385212416 16651 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=376184 CPUtime=0.18 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 5259 0 0 0 16 2 0 0 18 0 4 0 651453407 385212416 16651 33554432000 4194304 4650419 140733945370240 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=376184 CPUtime=0.19 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 2897 0 0 0 17 2 0 0 18 0 4 0 651453407 385212416 16651 33554432000 4194304 4650419 140733945370240 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 376184

[startup+0.300808 s]
/proc/loadavg: 8.13 8.02 6.80 2/351 12657
/proc/meminfo: memFree=21313592/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=380184 CPUtime=1.1 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 22345 0 0 0 98 12 0 0 18 0 4 0 651453406 389308416 18469 33554432000 4194304 4650419 140733945370240 18446744073709551615 4428334 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 95046 18469 387 112 0 90011 0
[pid=12657/tid=12658] ppid=12655 vsize=380184 CPUtime=0.26 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 6456 0 0 0 24 2 0 0 18 0 4 0 651453407 389308416 18469 33554432000 4194304 4650419 140733945370240 18446744073709551615 218905389752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=380184 CPUtime=0.27 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 6378 0 0 0 24 3 0 0 18 0 4 0 651453407 389308416 18469 33554432000 4194304 4650419 140733945370240 18446744073709551615 218905386029 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=380184 CPUtime=0.26 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 2957 0 0 0 24 2 0 0 18 0 4 0 651453407 389308416 18469 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 380184

[startup+0.700738 s]
/proc/loadavg: 8.13 8.02 6.80 2/351 12657
/proc/meminfo: memFree=21313592/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=380184 CPUtime=2.7 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 24029 0 0 0 258 12 0 0 18 0 4 0 651453406 389308416 19950 33554432000 4194304 4650419 140733945370240 18446744073709551615 4229486 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 95046 19950 391 112 0 90011 0
[pid=12657/tid=12658] ppid=12655 vsize=380184 CPUtime=0.66 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 6856 0 0 0 64 2 0 0 18 0 4 0 651453407 389308416 19951 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=380184 CPUtime=0.67 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 6746 0 0 0 64 3 0 0 18 0 4 0 651453407 389308416 19951 33554432000 4194304 4650419 140733945370240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=380184 CPUtime=0.66 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 3318 0 0 0 64 2 0 0 18 0 4 0 651453407 389308416 19951 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 380184

[startup+1.50059 s]
/proc/loadavg: 8.28 8.05 6.82 10/361 12670
/proc/meminfo: memFree=21044288/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=380184 CPUtime=5.89 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 27017 0 0 0 576 13 0 0 19 0 4 0 651453406 389308416 22938 33554432000 4194304 4650419 140733945370240 18446744073709551615 4229517 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 95046 22938 391 112 0 90011 0
[pid=12657/tid=12658] ppid=12655 vsize=380184 CPUtime=1.46 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 7603 0 0 0 143 3 0 0 20 0 4 0 651453407 389308416 22938 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=380184 CPUtime=1.46 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 7489 0 0 0 143 3 0 0 19 0 4 0 651453407 389308416 22938 33554432000 4194304 4650419 140733945370240 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=380184 CPUtime=1.46 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 4035 0 0 0 144 2 0 0 19 0 4 0 651453407 389308416 22938 33554432000 4194304 4650419 140733945370240 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 380184

[startup+3.1003 s]
/proc/loadavg: 8.28 8.05 6.82 9/361 12670
/proc/meminfo: memFree=21012792/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=532728 CPUtime=12.27 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 32609 0 0 0 1213 14 0 0 24 0 4 0 651453406 545513472 28530 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 133182 28530 391 112 0 128147 0
[pid=12657/tid=12658] ppid=12655 vsize=532728 CPUtime=3.04 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 8985 0 0 0 301 3 0 0 25 0 4 0 651453407 545513472 28530 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=532728 CPUtime=3.07 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 8899 0 0 0 303 4 0 0 24 0 4 0 651453407 545513472 28530 33554432000 4194304 4650419 140733945370240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=532728 CPUtime=3.06 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 5424 0 0 0 304 2 0 0 25 0 4 0 651453407 545513472 28530 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 532728

[startup+6.30073 s]
/proc/loadavg: 8.34 8.07 6.83 9/361 12670
/proc/meminfo: memFree=20984412/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=392092 CPUtime=25.03 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 48402 0 0 0 2485 18 0 0 25 0 4 0 651453406 401502208 27594 33554432000 4194304 4650419 140733945370240 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 98023 27594 394 112 0 92988 0
[pid=12657/tid=12658] ppid=12655 vsize=392092 CPUtime=6.2 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 12860 0 0 0 616 4 0 0 25 0 4 0 651453407 401502208 27594 33554432000 4194304 4650419 140733945370240 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=392092 CPUtime=6.27 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 13028 0 0 0 622 5 0 0 25 0 4 0 651453407 401502208 27594 33554432000 4194304 4650419 140733945370240 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=392092 CPUtime=6.26 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 9163 0 0 0 623 3 0 0 25 0 4 0 651453407 401502208 27594 33554432000 4194304 4650419 140733945370240 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 392092

[startup+12.7006 s]
/proc/loadavg: 8.31 8.07 6.84 9/361 12670
/proc/meminfo: memFree=20775448/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=670084 CPUtime=50.54 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 115294 0 0 0 5018 36 0 0 25 0 4 0 651453406 686166016 82622 33554432000 4194304 4650419 140733945370240 18446744073709551615 4360372 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 167521 82622 395 112 0 162486 0
[pid=12657/tid=12658] ppid=12655 vsize=670084 CPUtime=12.57 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 34724 0 0 0 1247 10 0 0 25 0 4 0 651453407 686166016 82622 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=670084 CPUtime=12.66 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 24451 0 0 0 1258 8 0 0 25 0 4 0 651453407 686166016 82622 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=670084 CPUtime=12.62 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 26431 0 0 0 1254 8 0 0 25 0 4 0 651453407 686166016 82622 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 670084

[startup+25.5013 s]
/proc/loadavg: 8.26 8.06 6.85 9/361 12671
/proc/meminfo: memFree=20481668/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=606236 CPUtime=101.59 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 159062 0 0 0 10112 47 0 0 25 0 4 0 651453406 620785664 86012 33554432000 4194304 4650419 140733945370240 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 151559 86015 395 112 0 146524 0
[pid=12657/tid=12658] ppid=12655 vsize=606236 CPUtime=25.37 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 43721 0 0 0 2525 12 0 0 25 0 4 0 651453407 620785664 86020 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=606236 CPUtime=25.45 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 37111 0 0 0 2534 11 0 0 25 0 4 0 651453407 620785664 86020 33554432000 4194304 4650419 140733945370240 18446744073709551615 218905427723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=606236 CPUtime=25.27 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 35851 0 0 0 2516 11 0 0 25 0 4 0 651453407 620785664 86021 33554432000 4194304 4650419 140733945370240 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 606236

[startup+51.1006 s]
/proc/loadavg: 8.16 8.06 6.88 9/361 12671
/proc/meminfo: memFree=20228768/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=855480 CPUtime=203.69 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 231784 0 0 0 20303 66 0 0 25 0 4 0 651453406 876011520 129420 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 213870 129420 395 112 0 208835 0
[pid=12657/tid=12658] ppid=12655 vsize=855480 CPUtime=50.97 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 58497 0 0 0 5082 15 0 0 25 0 4 0 651453407 876011520 129420 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=855480 CPUtime=51.06 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 60691 0 0 0 5088 18 0 0 25 0 4 0 651453407 876011520 129420 33554432000 4194304 4650419 140733945370240 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=855480 CPUtime=50.57 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 54450 0 0 0 5040 17 0 0 25 0 4 0 651453407 876011520 129420 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.69
Current children cumulated vsize (KiB) 855480

[startup+102.3 s]
/proc/loadavg: 8.16 8.08 6.95 9/361 12673
/proc/meminfo: memFree=19937956/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=892992 CPUtime=407.91 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 327002 0 0 0 40696 95 0 0 25 0 4 0 651453406 914423808 149212 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 223248 149212 395 112 0 218213 0
[pid=12657/tid=12658] ppid=12655 vsize=892992 CPUtime=102.18 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 85972 0 0 0 10195 23 0 0 25 0 4 0 651453407 914423808 149220 33554432000 4194304 4650419 140733945370240 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=892992 CPUtime=102.28 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 85601 0 0 0 10201 27 0 0 25 0 4 0 651453407 914423808 149220 33554432000 4194304 4650419 140733945370240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=892992 CPUtime=101.16 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 84178 0 0 0 10091 25 0 0 25 0 4 0 651453407 914423808 149220 33554432000 4194304 4650419 140733945370240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 892992

[startup+162.301 s]

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

[pid=12657] ppid=12655 vsize=1317024 CPUtime=2800.79 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1224683 0 0 0 279640 439 0 0 25 0 4 0 651453406 1348632576 244118 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 329256 244118 395 112 0 324221 0
[pid=12657/tid=12658] ppid=12655 vsize=1317024 CPUtime=702.16 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 295280 0 0 0 70111 105 0 0 25 0 4 0 651453407 1348632576 244118 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1317024 CPUtime=702.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 358375 0 0 0 70098 128 0 0 25 0 4 0 651453407 1348632576 244118 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1317024 CPUtime=694.07 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 314584 0 0 0 69295 112 0 0 25 0 4 0 651453407 1348632576 244118 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.79
Current children cumulated vsize (KiB) 1317024

[startup+762.301 s]
/proc/loadavg: 8.08 8.08 7.52 9/361 12690
/proc/meminfo: memFree=18908076/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1265424 CPUtime=3040.09 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1343437 0 0 0 303524 485 0 0 25 0 4 0 651453406 1295794176 241896 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 316356 241896 395 112 0 311321 0
[pid=12657/tid=12658] ppid=12655 vsize=1265424 CPUtime=762.17 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 325343 0 0 0 76099 118 0 0 25 0 4 0 651453407 1295794176 241908 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1265424 CPUtime=762.27 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 390405 0 0 0 76088 139 0 0 25 0 4 0 651453407 1295794176 241909 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1265424 CPUtime=753.37 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 340762 0 0 0 75215 122 0 0 25 0 4 0 651453407 1295794176 241909 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.09
Current children cumulated vsize (KiB) 1265424

[startup+822.3 s]
/proc/loadavg: 8.13 8.09 7.56 9/361 12692
/proc/meminfo: memFree=18862404/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1266096 CPUtime=3279.35 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1467282 0 0 0 327408 527 0 0 25 0 4 0 651453406 1296482304 255513 33554432000 4194304 4650419 140733945370240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 316524 255513 395 112 0 311489 0
[pid=12657/tid=12658] ppid=12655 vsize=1266096 CPUtime=822.15 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 346681 0 0 0 82089 126 0 0 25 0 4 0 651453407 1296482304 255513 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1266096 CPUtime=822.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 433945 0 0 0 82079 147 0 0 25 0 4 0 651453407 1296482304 255513 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1266096 CPUtime=812.65 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 368170 0 0 0 81130 135 0 0 25 0 4 0 651453407 1296482304 255513 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.35
Current children cumulated vsize (KiB) 1266096

[startup+882.313 s]
/proc/loadavg: 8.09 8.09 7.58 9/361 12694
/proc/meminfo: memFree=18868952/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1373280 CPUtime=3518.68 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1519629 0 0 0 351311 557 0 0 25 0 4 0 651453406 1406238720 263766 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 343320 263766 395 112 0 338285 0
[pid=12657/tid=12658] ppid=12655 vsize=1373280 CPUtime=882.17 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 353364 0 0 0 88087 130 0 0 25 0 4 0 651453407 1406238720 263766 33554432000 4194304 4650419 140733945370240 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1373280 CPUtime=882.27 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 433945 0 0 0 88080 147 0 0 25 0 4 0 651453407 1406238720 263766 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1373280 CPUtime=871.95 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 391868 0 0 0 87046 149 0 0 25 0 4 0 651453407 1406238720 263766 33554432000 4194304 4650419 140733945370240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.68
Current children cumulated vsize (KiB) 1373280

[startup+942.301 s]
/proc/loadavg: 8.17 8.11 7.62 9/361 12695
/proc/meminfo: memFree=18823680/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1374204 CPUtime=3757.93 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1602291 0 0 0 375200 593 0 0 25 0 4 0 651453406 1407184896 268895 33554432000 4194304 4650419 140733945370240 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 343551 268895 395 112 0 338516 0
[pid=12657/tid=12658] ppid=12655 vsize=1374204 CPUtime=942.15 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 380948 0 0 0 94072 143 0 0 25 0 4 0 651453407 1407184896 268895 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1374204 CPUtime=942.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 433945 0 0 0 94079 147 0 0 25 0 4 0 651453407 1407184896 268895 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1374204 CPUtime=931.23 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 416487 0 0 0 92963 160 0 0 25 0 4 0 651453407 1407184896 268895 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.93
Current children cumulated vsize (KiB) 1374204

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 7.66 9/361 12697
/proc/meminfo: memFree=18640016/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1505912 CPUtime=3997.22 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1672184 0 0 0 399095 627 0 0 25 0 4 0 651453406 1542053888 299174 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 376478 299174 395 112 0 371443 0
[pid=12657/tid=12658] ppid=12655 vsize=1505912 CPUtime=1002.15 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 408650 0 0 0 100057 158 0 0 25 0 4 0 651453407 1542053888 299174 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1505912 CPUtime=1002.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 433945 0 0 0 100079 147 0 0 25 0 4 0 651453407 1542053888 299174 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1505912 CPUtime=990.52 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 437584 0 0 0 98886 166 0 0 25 0 4 0 651453407 1542053888 299174 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.22
Current children cumulated vsize (KiB) 1505912

[startup+1062.3 s]
/proc/loadavg: 8.10 8.12 7.68 9/361 12698
/proc/meminfo: memFree=18652640/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1455196 CPUtime=4236.51 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1745792 0 0 0 422985 666 0 0 25 0 4 0 651453406 1490120704 296564 33554432000 4194304 4650419 140733945370240 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 363799 296564 395 112 0 358764 0
[pid=12657/tid=12658] ppid=12655 vsize=1455196 CPUtime=1062.15 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 436808 0 0 0 106041 174 0 0 25 0 4 0 651453407 1490120704 296564 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1455196 CPUtime=1062.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 454703 0 0 0 106069 157 0 0 25 0 4 0 651453407 1490120704 296564 33554432000 4194304 4650419 140733945370240 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1455196 CPUtime=1049.82 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 437584 0 0 0 104816 166 0 0 25 0 4 0 651453407 1490120704 296564 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.51
Current children cumulated vsize (KiB) 1455196

[startup+1122.3 s]
/proc/loadavg: 8.12 8.13 7.71 9/361 12709
/proc/meminfo: memFree=18387208/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1628636 CPUtime=4475.77 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 1941338 0 0 0 446863 714 0 0 25 0 4 0 651453406 1667723264 339014 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 407159 339014 397 112 0 402124 0
[pid=12657/tid=12658] ppid=12655 vsize=1628636 CPUtime=1122.13 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 516158 0 0 0 112023 190 0 0 25 0 4 0 651453407 1667723264 339014 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1628636 CPUtime=1122.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 477481 0 0 0 112054 172 0 0 25 0 4 0 651453407 1667723264 339014 33554432000 4194304 4650419 140733945370240 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1628636 CPUtime=1109.1 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 510497 0 0 0 110734 176 0 0 25 0 4 0 651453407 1667723264 339014 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.77
Current children cumulated vsize (KiB) 1628636

[startup+1182.3 s]
/proc/loadavg: 8.15 8.13 7.74 9/361 12711
/proc/meminfo: memFree=18471244/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1629048 CPUtime=4715.07 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 2236112 0 0 0 470739 768 0 0 25 0 4 0 651453406 1668145152 335692 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 407262 335692 404 112 0 402227 0
[pid=12657/tid=12658] ppid=12655 vsize=1629048 CPUtime=1182.13 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 516168 0 0 0 118023 190 0 0 25 0 4 0 651453407 1668145152 335692 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1629048 CPUtime=1182.26 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 501591 0 0 0 118040 186 0 0 25 0 4 0 651453407 1668145152 335692 33554432000 4194304 4650419 140733945370240 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1629048 CPUtime=1168.41 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 781151 0 0 0 116625 216 0 0 25 0 4 0 651453407 1668145152 335692 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.07
Current children cumulated vsize (KiB) 1629048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.19 8.14 7.75 10/361 12711
/proc/meminfo: memFree=18372404/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1629048 CPUtime=4800.03 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 2350607 0 0 0 479213 790 0 0 25 0 4 0 651453406 1668145152 343454 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 407262 343454 395 112 0 402227 0
[pid=12657/tid=12658] ppid=12655 vsize=1629048 CPUtime=1203.44 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 516247 0 0 0 120154 190 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1629048 CPUtime=1203.58 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 509301 0 0 0 120166 192 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1629048 CPUtime=1189.44 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 887858 0 0 0 118712 232 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1629048

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

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

[startup+1203.6 s]
/proc/loadavg: 8.19 8.14 7.75 10/361 12711
/proc/meminfo: memFree=18372404/32951124 swapFree=65581052/67111528
[pid=12657] ppid=12655 vsize=1629048 CPUtime=4800.03 cores=1,3,5,7
/proc/12657/stat : 12657 (strangenight1-m) R 12655 12657 12531 0 -1 4202496 2350607 0 0 0 479213 790 0 0 25 0 4 0 651453406 1668145152 343454 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12657/statm: 407262 343454 395 112 0 402227 0
[pid=12657/tid=12658] ppid=12655 vsize=1629048 CPUtime=1203.44 cores=1,3,5,7
/proc/12657/task/12658/stat : 12658 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 516247 0 0 0 120154 190 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12657/tid=12659] ppid=12655 vsize=1629048 CPUtime=1203.58 cores=1,3,5,7
/proc/12657/task/12659/stat : 12659 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 509301 0 0 0 120166 192 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12657/tid=12660] ppid=12655 vsize=1629048 CPUtime=1189.44 cores=1,3,5,7
/proc/12657/task/12660/stat : 12660 (strangenight1-m) R 12655 12657 12531 0 -1 4202560 887858 0 0 0 118712 232 0 0 25 0 4 0 651453407 1668145152 343455 33554432000 4194304 4650419 140733945370240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1629048

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.67
CPU time (s): 4800.14
CPU user time (s): 4792.18
CPU system time (s): 7.96279
CPU usage (%): 398.791
Max. virtual memory (cumulated for all children) (KiB): 1629048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.18
system time used= 7.96279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350610
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= 7236
involuntary context switches= 22818

runsolver used 3.80642 second user time and 10.4544 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-14 20:42:37
IDJOB=3368609
IDBENCH=82618
IDSOLVER=1846
FILE ID=node137/3368609-1305398557
RUNJOBID= node137-1305397351-12550
PBS_JOBID= 13324457
Free space on /tmp= 73672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368609-1305398557/watcher-3368609-1305398557 -o /tmp/evaluation-result-3368609-1305398557/solver-3368609-1305398557 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368609-1305398557.cnf

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

MD5SUM BENCH= 04e94fe2f2a1881d983170c76e6cb046
RANDOM SEED=137494496

node137.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.844
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.68
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.844
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.844
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.74
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.844
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.74
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.844
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21314120 kB
Buffers:        274948 kB
Cached:        3695532 kB
SwapCached:      36328 kB
Active:        1608456 kB
Inactive:      9805376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21314120 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:            9764 kB
Writeback:           0 kB
AnonPages:     7416972 kB
Mapped:          18936 kB
Slab:           119560 kB
PageTables:      38316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75898852 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= 73660 MiB
End job on node137 at 2011-05-14 21:02:43