Trace number 3366368

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-2-mt (fixed)? (TO) 4800.31 1203.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
MD5SUM55b0e04e9e653549cf2eabcc194b78ff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.142977
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
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 53195
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.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366368-1305402655.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:      80 undec:       5 neg:      65
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.77/0.21	c  N st     8      4919       150      3195         0      4713     15975    142071   no data   no data
1.17/0.36	c  N st    10     11301       150      3195         0      4351     15975     99791   no data   no data
1.97/0.58	c  N st    11     17044       150      3195         0      9851     15975    271915   no data   no data
3.57/0.93	c  F st    12     25000       150      3195         0     12009     15975    319109   no data   no data
3.57/0.93	c  N st    12     25000       150      3195         0     12009     15975    319109   no data   no data
4.38/1.14	c Decided on static restart strategy
4.38/1.14	c  N st    18     30001       150      3195         0     10300     15975    260687   no data   no data
4.38/1.14	c  S st    18     30001       150      3195         0     10300     15975    260687   no data   no data
4.38/1.17	c  S st    18     30504       150      3195         0     10792     15975    275714   no data   no data
4.38/1.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.38/1.18	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.38/1.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.38/1.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.38/1.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.38/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.36	c lits-rem:       228  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  0.18 s
5.56/1.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.41	c calculated reachability. Time: 0.00
5.56/1.41	c  N st    18     30504       150      3195         0      9635     15975    237243   no data   no data
6.76/1.75	c  N st    20     37617       150      3195         0      8907     15975    196891   no data   no data
7.95/2.07	c  N st    21     44016       150      3195         0     15067     15975    390385   no data   no data
8.35/2.17	c  S st    22     45757       150      3195         0     16736     15975    440724   no data   no data
8.77/2.22	c  S st    22     46261       150      3195         0      8667     15975    170146   no data   no data
8.77/2.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.77/2.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.26	c lits-rem:        16  cl-subs:      167  v-elim:      0  v-fix:    0  time:  0.02 s
8.77/2.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.77/2.26	c vivif2 --  cl tried     8500 cl shrink        0 lits rem          0 time: 0.00
8.77/2.30	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
8.77/2.30	c calculated reachability. Time: 0.00
8.77/2.30	c  N st    22     46261       150      3195         0      8500     15975    165091   no data   no data
11.94/3.09	c  N st    23     60659       150      3195         0     12596     15975    270084   no data   no data
14.73/3.71	c  N st    24     69391       150      3195         0     10472     15975    192740   no data   no data
14.73/3.71	c  S st    24     69391       150      3195         0     10472     15975    192740   no data   no data
14.73/3.74	c  S st    24     69897       150      3195         0     10964     15975    207878   no data   no data
14.73/3.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.73/3.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.73/3.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.80	c lits-rem:        53  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.04 s
15.13/3.80	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.13/3.80	c vivif2 --  cl tried    10687 cl shrink        0 lits rem          0 time: 0.00
15.13/3.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.13/3.85	c calculated reachability. Time: 0.00
15.13/3.85	c  N st    24     69897       150      3195         0     10687     15975    199101   no data   no data
19.91/5.00	c  F st    25     87500       150      3195         0     16082     15975    349018   no data   no data
19.91/5.00	c  N st    25     87500       150      3195         0     16082     15975    349018   no data   no data
21.11/5.35	c Decided on static restart strategy
21.93/5.54	c  N st    32     95543       150      3195         0     23783     15975    583281   no data   no data
24.30/6.12	c  N st    34    104846       150      3195         0     20238     15975    470776   no data   no data
24.30/6.12	c  S st    34    104846       150      3195         0     20238     15975    470776   no data   no data
24.30/6.17	c  S st    34    105350       150      3195         0     20732     15975    485458   no data   no data
24.30/6.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.30/6.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.30/6.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.30/6.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.30/6.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.30/6.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.30/6.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.30/6.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.71/6.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.32/6.61	c lits-rem:       246  cl-subs:     1339  v-elim:      0  v-fix:    0  time:  0.41 s
26.32/6.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.32/6.61	c vivif2 --  cl tried    19393 cl shrink        0 lits rem          0 time: 0.00
26.32/6.69	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.32/6.69	c calculated reachability. Time: 0.00
26.32/6.69	c  N st    34    105350       150      3195         0     19393     15975    439141   no data   no data
29.49/7.40	c  N st    35    114948       150      3195         0     15243     15975    305412   no data   no data
33.88/8.58	c  N st    36    129345       150      3195         0     14666     15975    260218   no data   no data
40.65/10.23	c  N st    37    150943       150      3195         0     19935     15975    398619   no data   no data
42.66/10.79	c  S st    38    158028       150      3195         0     26639     15975    604110   no data   no data
43.06/10.86	c  S st    38    158531       150      3195         0     27132     15975    618570   no data   no data
43.06/10.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.06/10.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.06/10.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.06/10.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.06/10.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.06/10.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.06/10.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.06/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.64/11.79	c lits-rem:       915  cl-subs:     1993  v-elim:      0  v-fix:    0  time:  0.90 s
46.64/11.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.04/11.80	c vivif2 --  cl tried    25139 cl shrink        0 lits rem          0 time: 0.01
47.44/11.90	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.44/11.90	c calculated reachability. Time: 0.00
47.44/11.90	c  N st    38    158531       150      3195         0     25139     15975    554104   no data   no data
64.99/16.39	c  N st    39    207120       150      3195         0     20070     15975    356245   no data   no data
77.34/19.44	c  N st    40    237796       150      3195         0     30096     15975    641385   no data   no data
77.34/19.44	c  S st    40    237796       150      3195         0     30096     15975    641385   no data   no data
77.74/19.52	c  S st    40    238299       150      3195         0     30588     15975    655949   no data   no data
77.74/19.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.74/19.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.74/19.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.74/19.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.74/19.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.74/19.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.74/19.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.74/19.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.74/19.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.53/20.73	c lits-rem:      1055  cl-subs:     2396  v-elim:      0  v-fix:    0  time:  1.17 s
82.53/20.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
82.53/20.74	c vivif2 --  cl tried    28192 cl shrink        0 lits rem          0 time: 0.01
82.93/20.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
82.93/20.85	c calculated reachability. Time: 0.00
82.93/20.85	c  N st    40    238299       150      3195         0     28192     15975    583386   no data   no data
110.84/27.88	c  F st    41    306250       150      3195         0     30153     15975    595015   no data   no data
110.84/27.88	c  N st    41    306250       150      3195         0     30153     15975    595015   no data   no data
112.84/28.35	c Decided on static restart strategy
122.83/30.84	c  N st    51    334557       150      3195         0     34278     15975    690179   no data   no data
132.38/33.22	c  N st    53    357448       150      3195         0     32317     15975    615332   no data   no data
132.38/33.22	c  S st    53    357448       150      3195         0     32317     15975    615332   no data   no data
132.78/33.30	c  S st    53    357954       150      3195         0     32814     15975    629600   no data   no data
132.78/33.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.78/33.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.78/33.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.78/33.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.78/33.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.78/33.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
132.78/33.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.78/33.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.78/33.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.57/34.03	c lits-rem:       416  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  0.69 s
135.57/34.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
135.57/34.03	c vivif2 --  cl tried    31305 cl shrink        0 lits rem          0 time: 0.01
136.00/34.17	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
136.00/34.17	c calculated reachability. Time: 0.00
136.00/34.17	c  N st    53    357954       150      3195         0     31305     15975    581814   no data   no data
150.33/37.77	c  N st    54    390347       150      3195         0     37343     15975    746035   no data   no data
177.84/44.69	c  N st    55    438936       150      3195         0     31277     15975    539133   no data   no data
211.75/53.18	c  N st    56    511818       150      3195         0     44544     15975    915621   no data   no data
224.91/56.48	c  N st    57    536933       150      3195         0     38921     15975    708338   no data   no data
224.91/56.48	c  S st    57    536933       150      3195         0     38921     15975    708338   no data   no data
225.31/56.58	c  S st    57    537434       150      3195         0     39411     15975    722854   no data   no data
225.31/56.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
225.31/56.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
225.31/56.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.31/56.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.31/56.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.31/56.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
225.31/56.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
225.71/56.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.71/56.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.70/57.65	c lits-rem:       348  cl-subs:     1805  v-elim:      0  v-fix:    0  time:  1.03 s
229.70/57.65	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
229.70/57.66	c vivif2 --  cl tried    37606 cl shrink        0 lits rem          0 time: 0.01
230.50/57.83	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
230.50/57.83	c calculated reachability. Time: 0.00
230.50/57.83	c  N st    57    537434       150      3195         0     37606     15975    667861   no data   no data
325.41/81.67	c  N st    58    701418       150      3195         0     65450     15975   1464288   no data   no data
392.02/98.32	c  N st    59    806154       150      3195         0     59843     15975   1213698   no data   no data
392.02/98.32	c  S st    59    806154       150      3195         0     59843     15975   1213698   no data   no data
392.82/98.50	c  S st    59    806655       150      3195         0     60328     15975   1228784   no data   no data
392.82/98.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
392.82/98.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
392.82/98.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
392.82/98.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
392.82/98.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
392.82/98.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
392.82/98.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
392.82/98.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
392.82/98.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.34/105.45	c lits-rem:      1813  cl-subs:     5553  v-elim:      0  v-fix:    0  time:  6.87 s
420.34/105.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
420.34/105.47	c vivif2 --  cl tried    54775 cl shrink        0 lits rem          0 time: 0.01
421.58/105.76	c asymm  cl-useful: 0/3143/3195 lits-rem:0 time: 0.29
421.58/105.76	c calculated reachability. Time: 0.00
421.58/105.76	c  N st    59    806655       150      3195         0     54775     15975   1065800   no data   no data
583.90/146.48	c  F st    60   1071875       150      3195         0     70416     15975   1480228   no data   no data
583.90/146.48	c  N st    60   1071875       150      3195         0     70416     15975   1480228   no data   no data
589.04/147.77	c Decided on static restart strategy
606.98/152.27	c  N st    70   1100176       150      3195         0     54813     15975    945369   no data   no data
637.29/159.84	c  N st    72   1136172       150      3195         0     45393     15975    640204   no data   no data
657.24/164.86	c  N st    73   1168565       150      3195         0     76098     15975   1573231   no data   no data
686.76/172.26	c  N st    74   1209982       150      3195         0     70812     15975   1418004   no data   no data
686.76/172.26	c  S st    74   1209982       150      3195         0     70812     15975   1418004   no data   no data
687.56/172.47	c  S st    74   1210484       150      3195         0     71298     15975   1433304   no data   no data
687.56/172.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
687.96/172.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
687.96/172.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
687.96/172.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
687.96/172.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
687.96/172.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
687.96/172.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
687.96/172.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
687.96/172.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
750.96/188.30	c lits-rem:      1750  cl-subs:     4505  v-elim:      0  v-fix:    0  time: 15.72 s
750.96/188.30	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
750.96/188.32	c vivif2 --  cl tried    66793 cl shrink        0 lits rem          0 time: 0.02
752.96/188.89	c asymm  cl-useful: 0/2560/3195 lits-rem:0 time: 0.57
752.96/188.89	c calculated reachability. Time: 0.00
752.96/188.89	c  N st    74   1210484       150      3195         0     66793     15975   1283035   no data   no data
824.34/206.71	c  N st    75   1283368       150      3195         0     90260     15975   2000614   no data   no data
930.81/233.42	c  N st    76   1392696       150      3195         0     51898     15975    745839   no data   no data
1074.82/269.54	c  N st    77   1556680       150      3195         0     56549     15975    841110   no data   no data
1211.99/303.93	c  N st    78   1710486       150      3195         0     97146     15975   2075246   no data   no data
1211.99/303.93	c  S st    78   1710486       150      3195         0     97146     15975   2075246   no data   no data
1213.19/304.20	c  S st    78   1710989       150      3195         0     97639     15975   2089823   no data   no data
1213.19/304.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1213.19/304.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1213.19/304.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1213.19/304.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1213.19/304.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1213.19/304.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1213.19/304.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1213.19/304.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1213.59/304.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1305.71/327.49	c lits-rem:      2869  cl-subs:     8677  v-elim:      0  v-fix:    0  time: 23.16 s
1305.71/327.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1306.11/327.52	c vivif2 --  cl tried    88962 cl shrink        0 lits rem          0 time: 0.02
1306.51/327.66	c asymm  cl-useful: 0/635/3195 lits-rem:0 time: 0.14
1306.51/327.66	c calculated reachability. Time: 0.00
1306.51/327.66	c  N st    78   1710989       150      3195         0     88962     15975   1819053   no data   no data
1648.70/413.48	c  N st    79   2079954       150      3195         0    100069     15975   2054387   no data   no data
1769.93/443.81	c  N st    80   2210991       150      3195         0    104220     15975   2114376   no data   no data
1769.93/443.81	c  S st    80   2210991       150      3195         0    104220     15975   2114376   no data   no data
1771.13/444.14	c  S st    80   2211493       150      3195         0    104711     15975   2128930   no data   no data
1771.13/444.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1771.53/444.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1771.53/444.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1771.53/444.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1771.53/444.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1771.53/444.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1771.53/444.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1771.53/444.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1771.53/444.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1855.71/465.36	c lits-rem:      1901  cl-subs:     8300  v-elim:      0  v-fix:    0  time: 21.07 s
1855.71/465.36	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1855.71/465.38	c vivif2 --  cl tried    96411 cl shrink        0 lits rem          0 time: 0.03
1857.28/465.74	c asymm  cl-useful: 0/1825/3195 lits-rem:0 time: 0.36
1857.28/465.75	c calculated reachability. Time: 0.00
1857.28/465.75	c  N st    80   2211493       150      3195         0     96411     15975   1882401   no data   no data
2366.59/593.49	c  N st    81   2711494       150      3195         0    119119     15975   2421230   no data   no data
2366.59/593.49	c  S st    81   2711494       150      3195         0    119119     15975   2421230   no data   no data
2368.19/593.84	c  S st    81   2711995       150      3195         0    119607     15975   2436495   no data   no data
2368.19/593.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2368.59/593.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2368.59/593.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2368.59/593.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2368.59/593.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2368.59/593.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2368.59/593.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2368.59/593.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2368.59/594.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2518.92/631.63	c lits-rem:      3983  cl-subs:    12121  v-elim:      0  v-fix:    0  time: 37.62 s
2518.92/631.63	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2518.92/631.66	c vivif2 --  cl tried   107486 cl shrink        0 lits rem          0 time: 0.03
2520.52/632.04	c asymm  cl-useful: 0/1370/3195 lits-rem:0 time: 0.38
2520.52/632.04	c calculated reachability. Time: 0.00
2520.52/632.04	c  N st    81   2711995       150      3195         0    107486     15975   2094367   no data   no data
3123.57/783.29	c  N st    82   3211995       150      3195         0     84474     15975   1251083   no data   no data
3123.57/783.29	c  S st    82   3211995       150      3195         0     84474     15975   1251083   no data   no data
3125.14/783.64	c  S st    82   3212499       150      3195         0     84964     15975   1266251   no data   no data
3125.14/783.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3125.54/783.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3125.54/783.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3125.54/783.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3125.54/783.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3125.54/783.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3125.54/783.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3125.54/783.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3125.54/783.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3144.69/788.50	c lits-rem:       530  cl-subs:     2733  v-elim:      0  v-fix:    0  time:  4.73 s
3144.69/788.50	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3144.69/788.52	c vivif2 --  cl tried    82231 cl shrink        0 lits rem          0 time: 0.02
3146.27/788.98	c asymm  cl-useful: 0/2096/3195 lits-rem:0 time: 0.46
3146.27/788.98	c calculated reachability. Time: 0.00
3146.27/788.98	c  N st    82   3212499       150      3195         0     82231     15975   1192887   no data   no data
3794.38/951.46	c  N st    83   3712499       150      3195         0     92867     15975   1387280   no data   no data
3794.38/951.46	c  S st    83   3712499       150      3195         0     92867     15975   1387280   no data   no data
3795.57/951.74	c  S st    83   3713001       150      3195         0     93355     15975   1402116   no data   no data
3795.57/951.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3795.57/951.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3795.57/951.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3795.57/951.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3795.57/951.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3795.57/951.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3795.57/951.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3795.97/951.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3795.97/951.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3811.52/955.71	c lits-rem:       730  cl-subs:     3812  v-elim:      0  v-fix:    0  time:  3.86 s
3811.52/955.71	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3811.52/955.73	c vivif2 --  cl tried    89543 cl shrink        0 lits rem          0 time: 0.02
3812.34/955.97	c asymm  cl-useful: 0/1099/3195 lits-rem:0 time: 0.24
3812.34/955.97	c calculated reachability. Time: 0.00
3812.34/955.97	c  N st    83   3713001       150      3195         0     89543     15975   1301459   no data   no data
3853.80/966.32	c  F st    84   3751562       150      3195         0    125702     15975   2396712   no data   no data
3853.80/966.32	c  N st    84   3751562       150      3195         0    125702     15975   2396712   no data   no data
3861.78/968.33	c Decided on static restart strategy
3906.85/979.65	c  N st    94   3779864       150      3195         0    152583     15975   3234536   no data   no data
3961.92/993.42	c  N st    96   3815859       150      3195         0    106846     15975   1822834   no data   no data
4012.54/1006.11	c  N st    97   3848251       150      3195         0    137544     15975   2799805   no data   no data
4083.13/1023.85	c  N st    98   3896839       150      3195         0    102494     15975   1674014   no data   no data
4177.24/1047.43	c  N st    99   3969721       150      3195         0     89177     15975   1224785   no data   no data
4313.64/1081.66	c  N st   100   4079045       150      3195         0    108854     15975   1775820   no data   no data
4498.70/1128.03	c  N st   101   4213002       150      3195         0    150966     15975   3015831   no data   no data
4498.70/1128.03	c  S st   101   4213002       150      3195         0    150966     15975   3015831   no data   no data
4500.70/1128.55	c  S st   101   4213510       150      3195         0    151466     15975   3030630   no data   no data
4500.70/1128.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4501.12/1128.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4501.12/1128.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4501.12/1128.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.12/1128.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.12/1128.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4501.12/1128.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4501.12/1128.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4501.54/1128.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4716.86/1182.79	c lits-rem:      3987  cl-subs:    15330  v-elim:      0  v-fix:    0  time: 54.03 s
4716.86/1182.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4717.26/1182.83	c vivif2 --  cl tried   136136 cl shrink        0 lits rem          0 time: 0.04
4718.86/1183.22	c asymm  cl-useful: 0/1370/3195 lits-rem:0 time: 0.39
4718.86/1183.23	c calculated reachability. Time: 0.00
4718.86/1183.23	c  N st   101   4213510       150      3195         0    136136     15975   2592513   no data   no data

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-3366368-1305402655/watcher-3366368-1305402655 -o /tmp/evaluation-result-3366368-1305402655/solver-3366368-1305402655 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366368-1305402655.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: 8.07 8.11 8.08 5/367 15149
/proc/meminfo: memFree=22750808/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=207828 CPUtime=0 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 622 0 0 0 0 0 0 0 25 0 4 0 730496202 212815872 544 33554432000 4194304 4580107 140734301073424 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 51957 545 336 95 0 46939 0
[pid=15149/tid=15150] ppid=15147 vsize=207948 CPUtime=0 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 4 0 730496203 212938752 730 33554432000 4194304 4580107 140734301073424 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=207948 CPUtime=0 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 102 0 0 0 0 0 0 0 25 0 4 0 730496203 212938752 730 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=207948 CPUtime=0 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 40 0 0 0 0 0 0 0 25 0 4 0 730496203 212938752 730 33554432000 4194304 4580107 140734301073424 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.113719 s]
/proc/loadavg: 8.07 8.11 8.08 5/367 15149
/proc/meminfo: memFree=22750808/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=282428 CPUtime=0.42 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 2062 0 0 0 42 0 0 0 25 0 4 0 730496202 289206272 1901 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 70607 1902 376 95 0 65589 0
[pid=15149/tid=15150] ppid=15147 vsize=282428 CPUtime=0.1 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 466 0 0 0 10 0 0 0 25 0 4 0 730496203 289206272 1902 33554432000 4194304 4580107 140734301073424 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=282428 CPUtime=0.1 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 450 0 0 0 10 0 0 0 25 0 4 0 730496203 289206272 1902 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=282428 CPUtime=0.1 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 283 0 0 0 10 0 0 0 25 0 4 0 730496203 289206272 1902 33554432000 4194304 4580107 140734301073424 18446744073709551615 4295698 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282428

[startup+0.200649 s]
/proc/loadavg: 8.07 8.11 8.08 5/367 15149
/proc/meminfo: memFree=22750808/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=284104 CPUtime=0.77 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 2829 0 0 0 77 0 0 0 25 0 4 0 730496202 290922496 1946 33554432000 4194304 4580107 140734301073424 18446744073709551615 4321270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 71026 1947 376 95 0 66008 0
[pid=15149/tid=15150] ppid=15147 vsize=284104 CPUtime=0.19 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 665 0 0 0 19 0 0 0 25 0 4 0 730496203 290922496 1948 33554432000 4194304 4580107 140734301073424 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=284104 CPUtime=0.19 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 639 0 0 0 19 0 0 0 25 0 4 0 730496203 290922496 1948 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=284104 CPUtime=0.18 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 477 0 0 0 18 0 0 0 25 0 4 0 730496203 290922496 1948 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294688 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) 284104

[startup+0.30063 s]
/proc/loadavg: 8.07 8.11 8.08 5/367 15149
/proc/meminfo: memFree=22750808/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=284236 CPUtime=1.17 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 3317 0 0 0 117 0 0 0 25 0 4 0 730496202 291057664 2434 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 71059 2434 377 95 0 66041 0
[pid=15149/tid=15150] ppid=15147 vsize=284236 CPUtime=0.29 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 785 0 0 0 29 0 0 0 25 0 4 0 730496203 291057664 2434 33554432000 4194304 4580107 140734301073424 18446744073709551615 4316835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=284236 CPUtime=0.29 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 755 0 0 0 29 0 0 0 25 0 4 0 730496203 291057664 2434 33554432000 4194304 4580107 140734301073424 18446744073709551615 4320777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=284236 CPUtime=0.28 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 598 0 0 0 28 0 0 0 25 0 4 0 730496203 291057664 2434 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 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) 284236

[startup+0.700558 s]
/proc/loadavg: 8.07 8.11 8.08 5/367 15149
/proc/meminfo: memFree=22750808/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=286000 CPUtime=2.77 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 6039 0 0 0 276 1 0 0 25 0 4 0 730496202 292864000 2689 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 71500 2689 377 95 0 66482 0
[pid=15149/tid=15150] ppid=15147 vsize=286000 CPUtime=0.69 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 1457 0 0 0 69 0 0 0 25 0 4 0 730496203 292864000 2689 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=286000 CPUtime=0.69 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 1444 0 0 0 69 0 0 0 25 0 4 0 730496203 292864000 2689 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=286000 CPUtime=0.68 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 1279 0 0 0 68 0 0 0 25 0 4 0 730496203 292864000 2689 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294376 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) 286000

[startup+1.50041 s]
/proc/loadavg: 8.07 8.11 8.08 9/371 15153
/proc/meminfo: memFree=22737128/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=293052 CPUtime=5.96 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 12772 0 0 0 594 2 0 0 25 0 4 0 730496202 300085248 6236 33554432000 4194304 4580107 140734301073424 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 73263 6236 379 95 0 68245 0
[pid=15149/tid=15150] ppid=15147 vsize=293052 CPUtime=1.49 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 3838 0 0 0 149 0 0 0 25 0 4 0 730496203 300085248 6236 33554432000 4194304 4580107 140734301073424 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=293052 CPUtime=1.48 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 2456 0 0 0 148 0 0 0 25 0 4 0 730496203 300085248 6236 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=293052 CPUtime=1.46 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 2325 0 0 0 146 0 0 0 25 0 4 0 730496203 300085248 6236 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294436 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) 293052

[startup+3.10112 s]
/proc/loadavg: 8.06 8.10 8.08 9/371 15153
/proc/meminfo: memFree=22703896/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=293544 CPUtime=12.34 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 22275 0 0 0 1231 3 0 0 25 0 4 0 730496202 300589056 11212 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 73386 11212 379 95 0 68368 0
[pid=15149/tid=15150] ppid=15147 vsize=293544 CPUtime=3.08 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 5133 0 0 0 308 0 0 0 25 0 4 0 730496203 300589056 11212 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=293544 CPUtime=3.08 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 5732 0 0 0 308 0 0 0 25 0 4 0 730496203 300589056 11212 33554432000 4194304 4580107 140734301073424 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=293544 CPUtime=3.05 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 5514 0 0 0 304 1 0 0 25 0 4 0 730496203 300589056 11212 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293544

[startup+6.30053 s]
/proc/loadavg: 8.06 8.10 8.08 9/371 15153
/proc/meminfo: memFree=22683864/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=302244 CPUtime=25.11 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 35885 0 0 0 2505 6 0 0 25 0 4 0 730496202 309497856 16753 33554432000 4194304 4580107 140734301073424 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 75561 16753 379 95 0 70543 0
[pid=15149/tid=15150] ppid=15147 vsize=302244 CPUtime=6.29 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 8928 0 0 0 628 1 0 0 25 0 4 0 730496203 309497856 16753 33554432000 4194304 4580107 140734301073424 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=302244 CPUtime=6.29 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 9259 0 0 0 628 1 0 0 25 0 4 0 730496203 309497856 16753 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=302244 CPUtime=6.22 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 7840 0 0 0 620 2 0 0 25 0 4 0 730496203 309497856 16753 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 302244

[startup+12.7004 s]
/proc/loadavg: 8.05 8.10 8.08 9/371 15153
/proc/meminfo: memFree=22643936/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=298348 CPUtime=50.63 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 53665 0 0 0 5054 9 0 0 25 0 4 0 730496202 305508352 21298 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 74587 21298 379 95 0 69569 0
[pid=15149/tid=15150] ppid=15147 vsize=298348 CPUtime=12.69 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 13605 0 0 0 1268 1 0 0 25 0 4 0 730496203 305508352 21298 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=298348 CPUtime=12.68 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 11798 0 0 0 1267 1 0 0 25 0 4 0 730496203 305508352 21298 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=298348 CPUtime=12.53 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 13354 0 0 0 1251 2 0 0 25 0 4 0 730496203 305508352 21298 33554432000 4194304 4580107 140734301073424 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 298348

[startup+25.501 s]
/proc/loadavg: 8.12 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23135936/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=317576 CPUtime=101.67 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 82033 0 0 0 10152 15 0 0 25 0 4 0 730496202 325197824 30376 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 79394 30376 379 95 0 74376 0
[pid=15149/tid=15150] ppid=15147 vsize=317576 CPUtime=25.49 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 20784 0 0 0 2546 3 0 0 25 0 4 0 730496203 325197824 30376 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=317576 CPUtime=25.49 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 18991 0 0 0 2546 3 0 0 25 0 4 0 730496203 325197824 30376 33554432000 4194304 4580107 140734301073424 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=317576 CPUtime=25.17 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 20249 0 0 0 2513 4 0 0 25 0 4 0 730496203 325197824 30376 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 317576

[startup+51.1003 s]
/proc/loadavg: 8.08 8.10 8.08 9/371 15185
/proc/meminfo: memFree=23059268/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=352116 CPUtime=203.77 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 122035 0 0 0 20353 24 0 0 25 0 4 0 730496202 360566784 37570 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 88029 37570 379 95 0 83011 0
[pid=15149/tid=15150] ppid=15147 vsize=352116 CPUtime=51.09 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 30651 0 0 0 5105 4 0 0 25 0 4 0 730496203 360566784 37570 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=352116 CPUtime=51.08 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 30716 0 0 0 5103 5 0 0 25 0 4 0 730496203 360566784 37570 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=352116 CPUtime=50.48 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 30255 0 0 0 5041 7 0 0 25 0 4 0 730496203 360566784 37570 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 352116

[startup+102.301 s]
/proc/loadavg: 8.17 8.12 8.09 9/371 15187
/proc/meminfo: memFree=22972000/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=421436 CPUtime=408 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 179768 0 0 0 40759 41 0 0 25 0 4 0 730496202 431550464 49288 33554432000 4194304 4580107 140734301073424 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 105359 49288 379 95 0 100341 0
[pid=15149/tid=15150] ppid=15147 vsize=421436 CPUtime=102.3 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 34158 0 0 0 10225 5 0 0 25 0 4 0 730496203 431550464 49290 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=421436 CPUtime=102.31 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 47342 0 0 0 10220 11 0 0 25 0 4 0 730496203 431550464 49290 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=421436 CPUtime=101.08 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 49117 0 0 0 10095 13 0 0 25 0 4 0 730496203 431550464 49290 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 421436

[startup+162.301 s]

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

[pid=15149] ppid=15147 vsize=687484 CPUtime=2800.89 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 568890 0 0 0 279906 183 0 0 25 0 4 0 730496202 703983616 115823 33554432000 4194304 4580107 140734301073424 18446744073709551615 4296104 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 171871 115823 379 95 0 166853 0
[pid=15149/tid=15150] ppid=15147 vsize=687484 CPUtime=702.31 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 131553 0 0 0 70186 45 0 0 25 0 4 0 730496203 703983616 115823 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=687484 CPUtime=702.3 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 149147 0 0 0 70181 49 0 0 25 0 4 0 730496203 703983616 115823 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=687484 CPUtime=693.96 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 140920 0 0 0 69350 46 0 0 25 0 4 0 730496203 703983616 115823 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.89
Current children cumulated vsize (KiB) 687484

[startup+762.301 s]
/proc/loadavg: 8.15 8.11 8.09 9/371 15213
/proc/meminfo: memFree=22372456/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=766892 CPUtime=3040.22 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 587383 0 0 0 303831 191 0 0 25 0 4 0 730496202 785297408 116594 33554432000 4194304 4580107 140734301073424 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 191723 116594 379 95 0 186705 0
[pid=15149/tid=15150] ppid=15147 vsize=766892 CPUtime=762.32 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 137896 0 0 0 76185 47 0 0 25 0 4 0 730496203 785297408 116595 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=766892 CPUtime=762.31 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 151160 0 0 0 76181 50 0 0 25 0 4 0 730496203 785297408 116595 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=766892 CPUtime=753.24 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 145371 0 0 0 75277 47 0 0 25 0 4 0 730496203 785297408 116595 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.22
Current children cumulated vsize (KiB) 766892

[startup+822.301 s]
/proc/loadavg: 8.06 8.09 8.09 9/371 15215
/proc/meminfo: memFree=22379840/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=767572 CPUtime=3279.48 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 610662 0 0 0 327745 203 0 0 25 0 4 0 730496202 785993728 116701 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 191893 116701 379 95 0 186875 0
[pid=15149/tid=15150] ppid=15147 vsize=767572 CPUtime=822.31 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 145541 0 0 0 82179 52 0 0 25 0 4 0 730496203 785993728 116701 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=767572 CPUtime=822.3 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 156990 0 0 0 82177 53 0 0 25 0 4 0 730496203 785993728 116701 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=767572 CPUtime=812.53 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 150118 0 0 0 81204 49 0 0 25 0 4 0 730496203 785993728 116701 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.48
Current children cumulated vsize (KiB) 767572

[startup+882.314 s]
/proc/loadavg: 8.20 8.12 8.10 9/371 15217
/proc/meminfo: memFree=22323972/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=698656 CPUtime=3518.83 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 637365 0 0 0 351668 215 0 0 25 0 4 0 730496202 715423744 127303 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 174664 127303 379 95 0 169646 0
[pid=15149/tid=15150] ppid=15147 vsize=698656 CPUtime=882.32 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 154683 0 0 0 88176 56 0 0 25 0 4 0 730496203 715423744 127303 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=698656 CPUtime=882.32 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 159371 0 0 0 88178 54 0 0 25 0 4 0 730496203 715423744 127303 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=698656 CPUtime=871.83 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 158396 0 0 0 87130 53 0 0 25 0 4 0 730496203 715423744 127303 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.83
Current children cumulated vsize (KiB) 698656

[startup+942.301 s]
/proc/loadavg: 8.14 8.11 8.09 9/371 15218
/proc/meminfo: memFree=22305460/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=778268 CPUtime=3758.08 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 656652 0 0 0 375586 222 0 0 25 0 4 0 730496202 796946432 126401 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 194567 126401 379 95 0 189549 0
[pid=15149/tid=15150] ppid=15147 vsize=778268 CPUtime=942.31 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 162205 0 0 0 94172 59 0 0 25 0 4 0 730496203 796946432 126401 33554432000 4194304 4580107 140734301073424 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=778268 CPUtime=942.3 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 165356 0 0 0 94174 56 0 0 25 0 4 0 730496203 796946432 126401 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=778268 CPUtime=931.12 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 159863 0 0 0 93058 54 0 0 25 0 4 0 730496203 796946432 126401 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.08
Current children cumulated vsize (KiB) 778268

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.09 9/371 15220
/proc/meminfo: memFree=22307388/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=798340 CPUtime=3997.38 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 682373 0 0 0 399502 236 0 0 25 0 4 0 730496202 817500160 121868 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 199585 121868 379 95 0 194567 0
[pid=15149/tid=15150] ppid=15147 vsize=798340 CPUtime=1002.31 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 167596 0 0 0 100168 63 0 0 25 0 4 0 730496203 817500160 121868 33554432000 4194304 4580107 140734301073424 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=798340 CPUtime=1002.31 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 171792 0 0 0 100171 60 0 0 25 0 4 0 730496203 817500160 121868 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=798340 CPUtime=990.4 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 165772 0 0 0 98985 55 0 0 25 0 4 0 730496203 817500160 121868 33554432000 4194304 4580107 140734301073424 18446744073709551615 4416477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.38
Current children cumulated vsize (KiB) 798340

[startup+1062.3 s]
/proc/loadavg: 8.14 8.11 8.09 9/371 15221
/proc/meminfo: memFree=22306096/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=779852 CPUtime=4236.67 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 715249 0 0 0 423420 247 0 0 25 0 4 0 730496202 798568448 124943 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 194963 124943 379 95 0 189945 0
[pid=15149/tid=15150] ppid=15147 vsize=779852 CPUtime=1062.31 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 175205 0 0 0 106166 65 0 0 25 0 4 0 730496203 798568448 124943 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=779852 CPUtime=1062.31 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 181166 0 0 0 106168 63 0 0 25 0 4 0 730496203 798568448 124943 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=779852 CPUtime=1049.7 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 173133 0 0 0 104912 58 0 0 25 0 4 0 730496203 798568448 124943 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.67
Current children cumulated vsize (KiB) 779852

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 15223
/proc/meminfo: memFree=22338908/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=722924 CPUtime=4475.97 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 742842 0 0 0 447337 260 0 0 25 0 4 0 730496202 740274176 123717 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 180731 123717 379 95 0 175713 0
[pid=15149/tid=15150] ppid=15147 vsize=722924 CPUtime=1122.32 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 182610 0 0 0 112163 69 0 0 25 0 4 0 730496203 740274176 123717 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=722924 CPUtime=1122.31 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 189017 0 0 0 112164 67 0 0 25 0 4 0 730496203 740274176 123717 33554432000 4194304 4580107 140734301073424 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=722924 CPUtime=1108.99 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 177386 0 0 0 110839 60 0 0 25 0 4 0 730496203 740274176 123717 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.97
Current children cumulated vsize (KiB) 722924

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 15225
/proc/meminfo: memFree=22191892/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=903964 CPUtime=4715.27 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 761742 0 0 0 471256 271 0 0 25 0 4 0 730496202 925659136 137500 33554432000 4194304 4580107 140734301073424 18446744073709551615 4416036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 225991 137500 379 95 0 220973 0
[pid=15149/tid=15150] ppid=15147 vsize=903964 CPUtime=1182.32 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 187723 0 0 0 118160 72 0 0 25 0 4 0 730496203 925659136 137500 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=903964 CPUtime=1182.32 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 194459 0 0 0 118160 72 0 0 25 0 4 0 730496203 925659136 137500 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=903964 CPUtime=1168.28 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 179723 0 0 0 116767 61 0 0 25 0 4 0 730496203 925659136 137500 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.27
Current children cumulated vsize (KiB) 903964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.15 8.11 8.09 10/371 15225
/proc/meminfo: memFree=22210116/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=774200 CPUtime=4800.23 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 771978 0 0 0 479748 275 0 0 25 0 4 0 730496202 792780800 137747 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 193550 137747 379 95 0 188532 0
[pid=15149/tid=15150] ppid=15147 vsize=774200 CPUtime=1203.63 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 190946 0 0 0 120289 74 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=774200 CPUtime=1203.63 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 197749 0 0 0 120290 73 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=774200 CPUtime=1189.32 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 180343 0 0 0 118870 62 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 774200

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.15 8.11 8.09 10/371 15225
/proc/meminfo: memFree=22210116/32950928 swapFree=65730864/67111528
[pid=15149] ppid=15147 vsize=774200 CPUtime=4800.23 cores=0,2,4,6
/proc/15149/stat : 15149 (strangenight2-m) R 15147 15149 14715 0 -1 4202496 771978 0 0 0 479748 275 0 0 25 0 4 0 730496202 792780800 137747 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15149/statm: 193550 137747 379 95 0 188532 0
[pid=15149/tid=15150] ppid=15147 vsize=774200 CPUtime=1203.63 cores=0,2,4,6
/proc/15149/task/15150/stat : 15150 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 190946 0 0 0 120289 74 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15149/tid=15151] ppid=15147 vsize=774200 CPUtime=1203.63 cores=0,2,4,6
/proc/15149/task/15151/stat : 15151 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 197749 0 0 0 120290 73 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15149/tid=15152] ppid=15147 vsize=774200 CPUtime=1189.32 cores=0,2,4,6
/proc/15149/task/15152/stat : 15152 (strangenight2-m) R 15147 15149 14715 0 -1 4202560 180343 0 0 0 118870 62 0 0 25 0 4 0 730496203 792780800 137749 33554432000 4194304 4580107 140734301073424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 774200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.31
CPU user time (s): 4797.53
CPU system time (s): 2.77858
CPU usage (%): 398.814
Max. virtual memory (cumulated for all children) (KiB): 961432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.53
system time used= 2.77858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771981
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= 334
involuntary context switches= 32272

runsolver used 4.04038 second user time and 10.2404 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 21:50:55
IDJOB=3366368
IDBENCH=82777
IDSOLVER=1844
FILE ID=node116/3366368-1305402655
RUNJOBID= node116-1305401449-15030
PBS_JOBID= 13324469
Free space on /tmp= 73132 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366368-1305402655/watcher-3366368-1305402655 -o /tmp/evaluation-result-3366368-1305402655/solver-3366368-1305402655 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366368-1305402655.cnf

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

MD5SUM BENCH= 55b0e04e9e653549cf2eabcc194b78ff
RANDOM SEED=1814107241

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22751096 kB
Buffers:         29136 kB
Cached:         110836 kB
SwapCached:      12356 kB
Active:        9946136 kB
Inactive:        46688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22751096 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            5484 kB
Writeback:           0 kB
AnonPages:     9850896 kB
Mapped:          16332 kB
Slab:            96440 kB
PageTables:      45348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83397612 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= 73124 MiB
End job on node116 at 2011-05-14 22:11:01