Trace number 3173959

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? (TO) 4800.18 1201.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-3173959-1304074349.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	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.07/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.07/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.07/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.07/0.10	c calculated reachability. Time: 0.00
0.07/0.10	c Calc default polars -  time:   0.00 s pos:      80 undec:       5 neg:      65
0.07/0.10	c =========================================================================================
0.07/0.10	c types(t): F = full restart, N = normal restart
0.07/0.10	c types(t): S = simplification begin/end, E = solution found
0.07/0.10	c restart types(rt): st = static, dy = dynamic
0.07/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.07/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.07/0.10	c Decided on static restart strategy
0.77/0.20	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.40/1.14	c Decided on static restart strategy
4.40/1.14	c  N st    18     30001       150      3195         0     10300     15975    260687   no data   no data
4.40/1.14	c  S st    18     30001       150      3195         0     10300     15975    260687   no data   no data
4.40/1.17	c  S st    18     30504       150      3195         0     10792     15975    275714   no data   no data
4.40/1.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.18	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.40/1.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.40/1.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.37	c lits-rem:       228  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.41	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.41	c calculated reachability. Time: 0.00
5.57/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.97/2.07	c  N st    21     44016       150      3195         0     15067     15975    390385   no data   no data
8.38/2.17	c  S st    22     45757       150      3195         0     16736     15975    440724   no data   no data
8.79/2.23	c  S st    22     46261       150      3195         0      8667     15975    170146   no data   no data
8.79/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.26	c lits-rem:        16  cl-subs:      167  v-elim:      0  v-fix:    0  time:  0.02 s
8.79/2.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.79/2.26	c vivif2 --  cl tried     8500 cl shrink        0 lits rem          0 time: 0.00
9.17/2.30	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.17/2.30	c calculated reachability. Time: 0.00
9.17/2.30	c  N st    22     46261       150      3195         0      8500     15975    165091   no data   no data
12.36/3.10	c  N st    23     60659       150      3195         0     12596     15975    270084   no data   no data
14.76/3.72	c  N st    24     69391       150      3195         0     10472     15975    192740   no data   no data
14.76/3.72	c  S st    24     69391       150      3195         0     10472     15975    192740   no data   no data
14.76/3.75	c  S st    24     69897       150      3195         0     10964     15975    207878   no data   no data
14.76/3.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.81	c lits-rem:        53  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.04 s
15.15/3.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.15/3.81	c vivif2 --  cl tried    10687 cl shrink        0 lits rem          0 time: 0.00
15.15/3.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.15/3.86	c calculated reachability. Time: 0.00
15.15/3.86	c  N st    24     69897       150      3195         0     10687     15975    199101   no data   no data
19.94/5.00	c  F st    25     87500       150      3195         0     16082     15975    349018   no data   no data
19.94/5.00	c  N st    25     87500       150      3195         0     16082     15975    349018   no data   no data
21.14/5.35	c Decided on static restart strategy
21.97/5.54	c  N st    32     95543       150      3195         0     23783     15975    583281   no data   no data
24.34/6.12	c  N st    34    104846       150      3195         0     20238     15975    470776   no data   no data
24.34/6.12	c  S st    34    104846       150      3195         0     20238     15975    470776   no data   no data
24.34/6.17	c  S st    34    105350       150      3195         0     20732     15975    485458   no data   no data
24.34/6.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.34/6.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.34/6.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.34/6.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.34/6.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.34/6.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.34/6.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.34/6.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.74/6.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.62	c lits-rem:       246  cl-subs:     1339  v-elim:      0  v-fix:    0  time:  0.42 s
26.36/6.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.36/6.62	c vivif2 --  cl tried    19393 cl shrink        0 lits rem          0 time: 0.00
26.73/6.70	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.73/6.70	c calculated reachability. Time: 0.00
26.73/6.70	c  N st    34    105350       150      3195         0     19393     15975    439141   no data   no data
29.54/7.41	c  N st    35    114948       150      3195         0     15243     15975    305412   no data   no data
33.93/8.58	c  N st    36    129345       150      3195         0     14666     15975    260218   no data   no data
40.72/10.22	c  N st    37    150943       150      3195         0     19935     15975    398619   no data   no data
42.72/10.78	c  S st    38    158028       150      3195         0     26639     15975    604110   no data   no data
43.12/10.85	c  S st    38    158531       150      3195         0     27132     15975    618570   no data   no data
43.12/10.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.12/10.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.12/10.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.12/10.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.12/10.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.78	c lits-rem:       915  cl-subs:     1993  v-elim:      0  v-fix:    0  time:  0.90 s
46.72/11.78	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.72/11.79	c vivif2 --  cl tried    25139 cl shrink        0 lits rem          0 time: 0.01
47.11/11.89	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.11/11.89	c calculated reachability. Time: 0.00
47.11/11.89	c  N st    38    158531       150      3195         0     25139     15975    554104   no data   no data
65.09/16.39	c  N st    39    207120       150      3195         0     20070     15975    356245   no data   no data
77.47/19.43	c  N st    40    237796       150      3195         0     30096     15975    641385   no data   no data
77.47/19.43	c  S st    40    237796       150      3195         0     30096     15975    641385   no data   no data
77.87/19.51	c  S st    40    238299       150      3195         0     30588     15975    655949   no data   no data
77.87/19.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.87/19.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.87/19.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.87/19.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.87/19.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.87/19.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.87/19.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.87/19.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.87/19.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.66/20.73	c lits-rem:      1055  cl-subs:     2396  v-elim:      0  v-fix:    0  time:  1.18 s
82.66/20.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
82.66/20.74	c vivif2 --  cl tried    28192 cl shrink        0 lits rem          0 time: 0.01
83.08/20.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
83.08/20.86	c calculated reachability. Time: 0.00
83.08/20.86	c  N st    40    238299       150      3195         0     28192     15975    583386   no data   no data
111.42/27.90	c  F st    41    306250       150      3195         0     30153     15975    595015   no data   no data
111.42/27.90	c  N st    41    306250       150      3195         0     30153     15975    595015   no data   no data
113.01/28.37	c Decided on static restart strategy
123.03/30.85	c  N st    51    334557       150      3195         0     34278     15975    690179   no data   no data
132.59/33.24	c  N st    53    357448       150      3195         0     32317     15975    615332   no data   no data
132.59/33.24	c  S st    53    357448       150      3195         0     32317     15975    615332   no data   no data
132.99/33.32	c  S st    53    357954       150      3195         0     32814     15975    629600   no data   no data
132.99/33.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.99/33.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.99/33.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.99/33.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.99/33.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.99/33.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
132.99/33.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.99/33.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.99/33.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.80/34.05	c lits-rem:       416  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  0.70 s
135.80/34.06	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
135.80/34.06	c vivif2 --  cl tried    31305 cl shrink        0 lits rem          0 time: 0.01
136.58/34.21	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
136.58/34.21	c calculated reachability. Time: 0.00
136.58/34.21	c  N st    53    357954       150      3195         0     31305     15975    581814   no data   no data
150.96/37.82	c  N st    54    390347       150      3195         0     37343     15975    746035   no data   no data
178.52/44.77	c  N st    55    438936       150      3195         0     31277     15975    539133   no data   no data
212.48/53.27	c  N st    56    511818       150      3195         0     44544     15975    915621   no data   no data
225.67/56.59	c  N st    57    536933       150      3195         0     38921     15975    708338   no data   no data
225.67/56.59	c  S st    57    536933       150      3195         0     38921     15975    708338   no data   no data
226.07/56.69	c  S st    57    537434       150      3195         0     39411     15975    722854   no data   no data
226.07/56.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.47/56.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
226.47/56.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.47/56.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.47/56.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.47/56.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
226.47/56.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
226.47/56.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
226.47/56.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.46/57.76	c lits-rem:       348  cl-subs:     1805  v-elim:      0  v-fix:    0  time:  1.03 s
230.46/57.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
230.46/57.77	c vivif2 --  cl tried    37606 cl shrink        0 lits rem          0 time: 0.01
231.26/57.95	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
231.26/57.95	c calculated reachability. Time: 0.00
231.26/57.95	c  N st    57    537434       150      3195         0     37606     15975    667861   no data   no data
326.33/81.79	c  N st    58    701418       150      3195         0     65450     15975   1464288   no data   no data
393.05/98.44	c  N st    59    806154       150      3195         0     59843     15975   1213698   no data   no data
393.05/98.44	c  S st    59    806154       150      3195         0     59843     15975   1213698   no data   no data
393.84/98.62	c  S st    59    806655       150      3195         0     60328     15975   1228784   no data   no data
393.84/98.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
393.84/98.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
393.84/98.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
393.84/98.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
393.84/98.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
393.84/98.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
393.84/98.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
393.84/98.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
394.25/98.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.42/105.59	c lits-rem:      1813  cl-subs:     5553  v-elim:      0  v-fix:    0  time:  6.89 s
421.42/105.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
421.83/105.61	c vivif2 --  cl tried    54775 cl shrink        0 lits rem          0 time: 0.01
422.60/105.89	c asymm  cl-useful: 0/3143/3195 lits-rem:0 time: 0.29
422.60/105.89	c calculated reachability. Time: 0.00
422.60/105.89	c  N st    59    806655       150      3195         0     54775     15975   1065800   no data   no data
585.59/146.67	c  F st    60   1071875       150      3195         0     70416     15975   1480228   no data   no data
585.59/146.67	c  N st    60   1071875       150      3195         0     70416     15975   1480228   no data   no data
590.79/147.99	c Decided on static restart strategy
609.16/152.50	c  N st    70   1100176       150      3195         0     54813     15975    945369   no data   no data
639.52/160.11	c  N st    72   1136172       150      3195         0     45393     15975    640204   no data   no data
659.11/165.09	c  N st    73   1168565       150      3195         0     76098     15975   1573231   no data   no data
692.64/173.40	c  N st    74   1209982       150      3195         0     70812     15975   1418004   no data   no data
692.64/173.40	c  S st    74   1209982       150      3195         0     70812     15975   1418004   no data   no data
693.44/173.68	c  S st    74   1210484       150      3195         0     71298     15975   1433304   no data   no data
693.44/173.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
693.86/173.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
693.86/173.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
693.86/173.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
693.86/173.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
693.86/173.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
693.86/173.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
693.86/173.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
694.27/173.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
759.35/190.13	c lits-rem:      1750  cl-subs:     4505  v-elim:      0  v-fix:    0  time: 16.32 s
759.35/190.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
759.35/190.15	c vivif2 --  cl tried    66793 cl shrink        0 lits rem          0 time: 0.02
761.34/190.67	c asymm  cl-useful: 0/2560/3195 lits-rem:0 time: 0.52
761.34/190.67	c calculated reachability. Time: 0.00
761.34/190.67	c  N st    74   1210484       150      3195         0     66793     15975   1283035   no data   no data
826.46/206.99	c  N st    75   1283368       150      3195         0     90260     15975   2000614   no data   no data
934.31/233.91	c  N st    76   1392696       150      3195         0     51898     15975    745839   no data   no data
1079.32/270.20	c  N st    77   1556680       150      3195         0     56549     15975    841110   no data   no data
1216.33/304.58	c  N st    78   1710486       150      3195         0     97146     15975   2075246   no data   no data
1216.33/304.58	c  S st    78   1710486       150      3195         0     97146     15975   2075246   no data   no data
1217.54/304.87	c  S st    78   1710989       150      3195         0     97639     15975   2089823   no data   no data
1217.54/304.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1217.94/304.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1217.94/304.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1217.94/304.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1217.94/304.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1217.94/304.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1217.94/304.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1217.94/304.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1218.33/305.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1310.21/328.01	c lits-rem:      2869  cl-subs:     8677  v-elim:      0  v-fix:    0  time: 23.00 s
1310.21/328.01	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1310.21/328.03	c vivif2 --  cl tried    88962 cl shrink        0 lits rem          0 time: 0.02
1310.61/328.17	c asymm  cl-useful: 0/635/3195 lits-rem:0 time: 0.14
1310.61/328.17	c calculated reachability. Time: 0.00
1310.61/328.17	c  N st    78   1710989       150      3195         0     88962     15975   1819053   no data   no data
1654.15/414.19	c  N st    79   2079954       150      3195         0    100069     15975   2054387   no data   no data
1776.79/444.80	c  N st    80   2210991       150      3195         0    104220     15975   2114376   no data   no data
1776.79/444.80	c  S st    80   2210991       150      3195         0    104220     15975   2114376   no data   no data
1777.99/445.13	c  S st    80   2211493       150      3195         0    104711     15975   2128930   no data   no data
1777.99/445.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1777.99/445.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1777.99/445.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1777.99/445.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1777.99/445.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1777.99/445.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1777.99/445.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1778.39/445.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1778.39/445.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1862.27/466.20	c lits-rem:      1901  cl-subs:     8300  v-elim:      0  v-fix:    0  time: 20.92 s
1862.27/466.20	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1862.27/466.23	c vivif2 --  cl tried    96411 cl shrink        0 lits rem          0 time: 0.03
1863.46/466.59	c asymm  cl-useful: 0/1825/3195 lits-rem:0 time: 0.36
1863.46/466.59	c calculated reachability. Time: 0.00
1863.46/466.59	c  N st    80   2211493       150      3195         0     96411     15975   1882401   no data   no data
2377.56/595.28	c  N st    81   2711494       150      3195         0    119119     15975   2421230   no data   no data
2377.56/595.28	c  S st    81   2711494       150      3195         0    119119     15975   2421230   no data   no data
2379.16/595.64	c  S st    81   2711995       150      3195         0    119607     15975   2436495   no data   no data
2379.16/595.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2379.56/595.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2379.56/595.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2379.56/595.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2379.56/595.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2379.56/595.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2379.56/595.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2379.56/595.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2379.96/595.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2523.76/631.89	c lits-rem:      3983  cl-subs:    12121  v-elim:      0  v-fix:    0  time: 36.08 s
2523.76/631.89	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2524.16/631.92	c vivif2 --  cl tried   107486 cl shrink        0 lits rem          0 time: 0.03
2525.76/632.31	c asymm  cl-useful: 0/1370/3195 lits-rem:0 time: 0.39
2525.76/632.31	c calculated reachability. Time: 0.00
2525.76/632.31	c  N st    81   2711995       150      3195         0    107486     15975   2094367   no data   no data
3152.10/789.12	c  N st    82   3211995       150      3195         0     84474     15975   1251083   no data   no data
3152.10/789.12	c  S st    82   3211995       150      3195         0     84474     15975   1251083   no data   no data
3152.90/789.39	c  S st    82   3212499       150      3195         0     84964     15975   1266251   no data   no data
3153.30/789.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3153.30/789.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3153.30/789.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3153.30/789.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3153.30/789.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3153.30/789.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3153.30/789.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3153.30/789.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3153.70/789.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3164.08/792.19	c lits-rem:       530  cl-subs:     2733  v-elim:      0  v-fix:    0  time:  2.69 s
3164.08/792.19	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3164.48/792.21	c vivif2 --  cl tried    82231 cl shrink        0 lits rem          0 time: 0.02
3165.68/792.57	c asymm  cl-useful: 0/2096/3195 lits-rem:0 time: 0.37
3165.68/792.57	c calculated reachability. Time: 0.00
3165.68/792.57	c  N st    82   3212499       150      3195         0     82231     15975   1192887   no data   no data
3849.28/963.63	c  N st    83   3712499       150      3195         0     92867     15975   1387280   no data   no data
3849.28/963.63	c  S st    83   3712499       150      3195         0     92867     15975   1387280   no data   no data
3850.85/964.04	c  S st    83   3713001       150      3195         0     93355     15975   1402116   no data   no data
3850.85/964.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3851.25/964.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3851.25/964.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3851.25/964.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3851.25/964.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3851.25/964.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3851.25/964.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3851.25/964.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3851.65/964.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3882.01/971.82	c lits-rem:       730  cl-subs:     3812  v-elim:      0  v-fix:    0  time:  7.62 s
3882.01/971.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3882.01/971.85	c vivif2 --  cl tried    89543 cl shrink        0 lits rem          0 time: 0.02
3883.61/972.20	c asymm  cl-useful: 0/1099/3195 lits-rem:0 time: 0.35
3883.61/972.20	c calculated reachability. Time: 0.00
3883.61/972.20	c  N st    83   3713001       150      3195         0     89543     15975   1301459   no data   no data
3935.55/985.22	c  F st    84   3751562       150      3195         0    125702     15975   2396712   no data   no data
3935.55/985.22	c  N st    84   3751562       150      3195         0    125702     15975   2396712   no data   no data
3943.53/987.25	c Decided on static restart strategy
3985.10/997.63	c  N st    94   3779864       150      3195         0    152583     15975   3234536   no data   no data
4031.43/1009.26	c  N st    96   3815859       150      3195         0    106846     15975   1822834   no data   no data
4077.80/1020.81	c  N st    97   3848251       150      3195         0    137544     15975   2799805   no data   no data
4152.52/1039.56	c  N st    98   3896839       150      3195         0    102494     15975   1674014   no data   no data
4251.98/1064.45	c  N st    99   3969721       150      3195         0     89177     15975   1224785   no data   no data
4395.81/1100.45	c  N st   100   4079045       150      3195         0    108854     15975   1775820   no data   no data
4590.39/1149.19	c  N st   101   4213002       150      3195         0    150966     15975   3015831   no data   no data
4590.39/1149.19	c  S st   101   4213002       150      3195         0    150966     15975   3015831   no data   no data
4592.79/1149.72	c  S st   101   4213510       150      3195         0    151466     15975   3030630   no data   no data
4592.79/1149.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4593.19/1149.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4593.19/1149.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4593.19/1149.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4593.19/1149.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4593.19/1149.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4593.19/1149.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4593.19/1149.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4593.59/1149.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173959-1304074349/watcher-3173959-1304074349 -o /tmp/evaluation-result-3173959-1304074349/solver-3173959-1304074349 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173959-1304074349.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.09 8.00 7.50 5/180 31530
/proc/meminfo: memFree=31121420/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519033631 52441088 347 33554432000 4194304 4627427 140734339718256 18446744073709551615 47883450156968 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 12803 347 299 106 0 7774 0
[pid=31530/tid=31531] ppid=31528 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519033631 52441088 347 33554432000 4194304 4627427 140734339718256 18446744073709551615 47883450156982 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519033631 52441088 347 33554432000 4194304 4627427 140734339718256 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519033631 52441088 347 33554432000 4194304 4627427 140734339718256 18446744073709551615 47883450156978 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0231769 s]
/proc/loadavg: 8.09 8.00 7.50 5/180 31530
/proc/meminfo: memFree=31121420/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=281860 CPUtime=0.07 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) D 31528 31530 30873 0 -1 4202496 1348 0 0 0 7 0 0 0 25 0 4 0 519033631 288624640 1254 33554432000 4194304 4627427 140734339718256 18446744073709551615 235594909879 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 70465 1254 375 106 0 65436 0
[pid=31530/tid=31531] ppid=31528 vsize=281860 CPUtime=0.01 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) D 31528 31530 30873 0 -1 4202560 275 0 0 0 1 0 0 0 25 0 4 0 519033631 288624640 1254 33554432000 4194304 4627427 140734339718256 18446744073709551615 235594563339 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=281860 CPUtime=0.01 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 244 0 0 0 1 0 0 0 25 0 4 0 519033631 288624640 1254 33554432000 4194304 4627427 140734339718256 18446744073709551615 235594909879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=281860 CPUtime=0.01 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 164 0 0 0 1 0 0 0 25 0 4 0 519033631 288624640 1254 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 281860

[startup+0.11114 s]
/proc/loadavg: 8.09 8.00 7.50 5/180 31530
/proc/meminfo: memFree=31121420/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=282008 CPUtime=0.42 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 2055 0 0 0 42 0 0 0 25 0 4 0 519033631 288776192 1891 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 70502 1891 383 106 0 65473 0
[pid=31530/tid=31531] ppid=31528 vsize=282008 CPUtime=0.1 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 455 0 0 0 10 0 0 0 25 0 4 0 519033631 288776192 1891 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=282008 CPUtime=0.1 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 424 0 0 0 10 0 0 0 25 0 4 0 519033631 288776192 1891 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=282008 CPUtime=0.1 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 318 0 0 0 10 0 0 0 25 0 4 0 519033631 288776192 1891 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282008

[startup+0.301108 s]
/proc/loadavg: 8.09 8.00 7.50 5/180 31530
/proc/meminfo: memFree=31121420/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=283960 CPUtime=1.17 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 3338 0 0 0 117 0 0 0 25 0 4 0 519033631 290775040 2452 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 70990 2452 384 106 0 65961 0
[pid=31530/tid=31531] ppid=31528 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 789 0 0 0 29 0 0 0 25 0 4 0 519033631 290775040 2452 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 731 0 0 0 29 0 0 0 25 0 4 0 519033631 290775040 2452 33554432000 4194304 4627427 140734339718256 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 633 0 0 0 29 0 0 0 25 0 4 0 519033631 290775040 2452 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309408 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283960

[startup+0.701038 s]
/proc/loadavg: 8.09 8.00 7.50 5/180 31530
/proc/meminfo: memFree=31121420/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=285596 CPUtime=2.77 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 6069 0 0 0 277 0 0 0 25 0 4 0 519033631 292450304 2716 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 71399 2716 384 106 0 66370 0
[pid=31530/tid=31531] ppid=31528 vsize=285596 CPUtime=0.69 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 1461 0 0 0 69 0 0 0 25 0 4 0 519033631 292450304 2716 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=285596 CPUtime=0.68 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 1429 0 0 0 68 0 0 0 25 0 4 0 519033631 292450304 2716 33554432000 4194304 4627427 140734339718256 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=285596 CPUtime=0.69 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 1310 0 0 0 69 0 0 0 25 0 4 0 519033631 292450304 2716 33554432000 4194304 4627427 140734339718256 18446744073709551615 4310489 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285596

[startup+1.5009 s]
/proc/loadavg: 8.09 8.00 7.50 9/184 31534
/proc/meminfo: memFree=31107748/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=286864 CPUtime=5.97 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 12791 0 0 0 596 1 0 0 25 0 4 0 519033631 293748736 6235 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 71716 6235 388 106 0 66687 0
[pid=31530/tid=31531] ppid=31528 vsize=286864 CPUtime=1.48 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 3800 0 0 0 148 0 0 0 25 0 4 0 519033631 293748736 6235 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420208 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=286864 CPUtime=1.48 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 2439 0 0 0 148 0 0 0 25 0 4 0 519033631 293748736 6235 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=286864 CPUtime=1.49 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 2380 0 0 0 149 0 0 0 25 0 4 0 519033631 293748736 6235 33554432000 4194304 4627427 140734339718256 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286864

[startup+3.10062 s]
/proc/loadavg: 8.09 8.00 7.50 9/184 31534
/proc/meminfo: memFree=31076864/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=296292 CPUtime=12.36 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 22469 0 0 0 1233 3 0 0 25 0 4 0 519033631 303403008 11131 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 74073 11131 388 106 0 69044 0
[pid=31530/tid=31531] ppid=31528 vsize=296292 CPUtime=3.08 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 5137 0 0 0 308 0 0 0 25 0 4 0 519033631 303403008 11131 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=296292 CPUtime=3.07 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 5784 0 0 0 306 1 0 0 25 0 4 0 519033631 303403008 11131 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=296292 CPUtime=3.08 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 5649 0 0 0 308 0 0 0 25 0 4 0 519033631 303403008 11131 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296292

[startup+6.30106 s]
/proc/loadavg: 8.08 8.00 7.50 9/184 31534
/proc/meminfo: memFree=31065208/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=297464 CPUtime=25.14 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 36727 0 0 0 2509 5 0 0 25 0 4 0 519033631 304603136 16222 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 74366 16222 388 106 0 69337 0
[pid=31530/tid=31531] ppid=31528 vsize=297464 CPUtime=6.29 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 9095 0 0 0 628 1 0 0 25 0 4 0 519033631 304603136 16223 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=297464 CPUtime=6.25 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 9392 0 0 0 624 1 0 0 25 0 4 0 519033631 304603136 16224 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=297464 CPUtime=6.29 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 8318 0 0 0 628 1 0 0 25 0 4 0 519033631 304603136 16224 33554432000 4194304 4627427 140734339718256 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297464

[startup+12.7009 s]
/proc/loadavg: 8.15 8.02 7.51 9/184 31534
/proc/meminfo: memFree=31029336/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=307360 CPUtime=50.7 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 56119 0 0 0 5062 8 0 0 25 0 4 0 519033631 314736640 21508 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 76840 21508 388 106 0 71811 0
[pid=31530/tid=31531] ppid=31528 vsize=307360 CPUtime=12.69 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 14045 0 0 0 1267 2 0 0 25 0 4 0 519033631 314736640 21508 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=307360 CPUtime=12.62 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 13566 0 0 0 1260 2 0 0 25 0 4 0 519033631 314736640 21508 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=307360 CPUtime=12.68 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 13554 0 0 0 1267 1 0 0 25 0 4 0 519033631 314736640 21508 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 307360

[startup+25.5007 s]
/proc/loadavg: 8.12 8.02 7.52 9/184 31534
/proc/meminfo: memFree=30980448/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=280868 CPUtime=101.84 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 86060 0 0 0 10170 14 0 0 25 0 4 0 519033631 287608832 30658 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 70217 30658 388 106 0 65188 0
[pid=31530/tid=31531] ppid=31528 vsize=280868 CPUtime=25.49 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 21889 0 0 0 2546 3 0 0 25 0 4 0 519033631 287608832 30658 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=280868 CPUtime=25.34 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 21779 0 0 0 2531 3 0 0 25 0 4 0 519033631 287608832 30658 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=280868 CPUtime=25.49 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 20444 0 0 0 2546 3 0 0 25 0 4 0 519033631 287608832 30658 33554432000 4194304 4627427 140734339718256 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 280868

[startup+51.1012 s]
/proc/loadavg: 8.14 8.03 7.54 9/184 31535
/proc/meminfo: memFree=30954360/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=358056 CPUtime=204.1 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 125437 0 0 0 20384 26 0 0 25 0 4 0 519033631 366649344 41730 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 89514 41730 388 106 0 84485 0
[pid=31530/tid=31531] ppid=31528 vsize=358056 CPUtime=51.09 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 33497 0 0 0 5103 6 0 0 25 0 4 0 519033631 366649344 41730 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=358056 CPUtime=50.81 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 32795 0 0 0 5075 6 0 0 25 0 4 0 519033631 366649344 41730 33554432000 4194304 4627427 140734339718256 18446744073709551615 4332706 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=358056 CPUtime=51.09 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 30361 0 0 0 5102 7 0 0 25 0 4 0 519033631 366649344 41730 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 358056

[startup+102.307 s]
/proc/loadavg: 8.17 8.05 7.57 9/184 31536
/proc/meminfo: memFree=30899392/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=385184 CPUtime=408.64 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 193215 0 0 0 40822 42 0 0 25 0 4 0 519033631 394428416 47928 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 96296 47928 388 106 0 91267 0
[pid=31530/tid=31531] ppid=31528 vsize=385184 CPUtime=102.29 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 48009 0 0 0 10220 9 0 0 25 0 4 0 519033631 394428416 47928 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=385184 CPUtime=101.73 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 50004 0 0 0 10162 11 0 0 25 0 4 0 519033631 394428416 47928 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=385184 CPUtime=102.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 49325 0 0 0 10219 11 0 0 25 0 4 0 519033631 394428416 47928 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 385184

[startup+162.301 s]

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

[pid=31530] ppid=31528 vsize=562676 CPUtime=2565.72 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 582768 0 0 0 256388 184 0 0 25 0 4 0 519033631 576180224 100215 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 140669 100215 388 106 0 135640 0
[pid=31530/tid=31531] ppid=31528 vsize=562676 CPUtime=642.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 156079 0 0 0 64180 51 0 0 25 0 4 0 519033631 576180224 100215 33554432000 4194304 4627427 140734339718256 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=562676 CPUtime=638.78 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 141378 0 0 0 63834 44 0 0 25 0 4 0 519033631 576180224 100215 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=562676 CPUtime=642.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 150266 0 0 0 64183 47 0 0 25 0 4 0 519033631 576180224 100215 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 562676

[startup+702.301 s]
/proc/loadavg: 8.16 8.09 7.80 9/184 31563
/proc/meminfo: memFree=30533812/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=790540 CPUtime=2805.37 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 613001 0 0 0 280340 197 0 0 25 0 4 0 519033631 809512960 112707 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 197635 112707 388 106 0 192606 0
[pid=31530/tid=31531] ppid=31528 vsize=790540 CPUtime=702.3 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 164873 0 0 0 70175 55 0 0 25 0 4 0 519033631 809512960 112707 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=790540 CPUtime=698.44 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 145688 0 0 0 69799 45 0 0 25 0 4 0 519033631 809512960 112707 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=790540 CPUtime=702.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 158886 0 0 0 70179 51 0 0 25 0 4 0 519033631 809512960 112707 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 790540

[startup+762.306 s]
/proc/loadavg: 7.33 7.93 7.77 5/175 31584
/proc/meminfo: memFree=30983212/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=819516 CPUtime=3045.06 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 642470 0 0 0 304297 209 0 0 25 0 4 0 519033631 839184384 127536 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 204879 127536 388 106 0 199850 0
[pid=31530/tid=31531] ppid=31528 vsize=819516 CPUtime=762.3 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 174749 0 0 0 76173 57 0 0 25 0 4 0 519033631 839184384 127536 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=819516 CPUtime=758.11 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 152650 0 0 0 75763 48 0 0 25 0 4 0 519033631 839184384 127536 33554432000 4194304 4627427 140734339718256 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=819516 CPUtime=762.31 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 166270 0 0 0 76176 55 0 0 25 0 4 0 519033631 839184384 127536 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 819516

[startup+822.301 s]
/proc/loadavg: 5.22 7.22 7.53 5/175 31586
/proc/meminfo: memFree=31012648/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=767872 CPUtime=3284.75 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 665633 0 0 0 328254 221 0 0 25 0 4 0 519033631 786300928 117423 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 191968 117423 388 106 0 186939 0
[pid=31530/tid=31531] ppid=31528 vsize=767872 CPUtime=822.3 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 184021 0 0 0 82168 62 0 0 25 0 4 0 519033631 786300928 117423 33554432000 4194304 4627427 140734339718256 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=767872 CPUtime=817.81 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 156527 0 0 0 81731 50 0 0 25 0 4 0 519033631 786300928 117423 33554432000 4194304 4627427 140734339718256 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=767872 CPUtime=822.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 170738 0 0 0 82173 57 0 0 25 0 4 0 519033631 786300928 117423 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 767872

[startup+882.301 s]
/proc/loadavg: 4.50 6.64 7.31 5/175 31587
/proc/meminfo: memFree=30989128/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=710008 CPUtime=3524.47 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 698566 0 0 0 352215 232 0 0 25 0 4 0 519033631 727048192 126083 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 177502 126083 388 106 0 172473 0
[pid=31530/tid=31531] ppid=31528 vsize=710008 CPUtime=882.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 192512 0 0 0 88165 66 0 0 25 0 4 0 519033631 727048192 126083 33554432000 4194304 4627427 140734339718256 18446744073709551615 4333301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=710008 CPUtime=877.53 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 165164 0 0 0 87700 53 0 0 25 0 4 0 519033631 727048192 126083 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=710008 CPUtime=882.31 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 180178 0 0 0 88171 60 0 0 25 0 4 0 519033631 727048192 126083 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 710008

[startup+942.301 s]
/proc/loadavg: 4.18 6.16 7.10 5/175 31589
/proc/meminfo: memFree=30944904/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=724220 CPUtime=3764.17 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 725863 0 0 0 376171 246 0 0 25 0 4 0 519033631 741601280 137216 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 181055 137216 388 106 0 176026 0
[pid=31530/tid=31531] ppid=31528 vsize=724220 CPUtime=942.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 199726 0 0 0 94162 69 0 0 25 0 4 0 519033631 741601280 137216 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=724220 CPUtime=937.23 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 173280 0 0 0 93666 57 0 0 25 0 4 0 519033631 741601280 137216 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=724220 CPUtime=942.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 188059 0 0 0 94167 63 0 0 25 0 4 0 519033631 741601280 137216 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 724220

[startup+1002.3 s]
/proc/loadavg: 4.06 5.76 6.90 5/175 31590
/proc/meminfo: memFree=31005932/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=618828 CPUtime=4003.87 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 746979 0 0 0 400132 255 0 0 25 0 4 0 519033631 633679872 118914 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 154707 118914 388 106 0 149678 0
[pid=31530/tid=31531] ppid=31528 vsize=618828 CPUtime=1002.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 206970 0 0 0 100159 72 0 0 25 0 4 0 519033631 633679872 118914 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=618828 CPUtime=996.92 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 177283 0 0 0 99633 59 0 0 25 0 4 0 519033631 633679872 118914 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=618828 CPUtime=1002.3 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 191455 0 0 0 100166 64 0 0 25 0 4 0 519033631 633679872 118914 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.87
Current children cumulated vsize (KiB) 618828

[startup+1062.3 s]
/proc/loadavg: 4.06 5.45 6.72 5/175 31592
/proc/meminfo: memFree=30971360/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=803912 CPUtime=4243.59 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 771484 0 0 0 424093 266 0 0 25 0 4 0 519033631 823205888 130466 33554432000 4194304 4627427 140734339718256 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 200978 130466 388 106 0 195949 0
[pid=31530/tid=31531] ppid=31528 vsize=803912 CPUtime=1062.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 213427 0 0 0 106157 74 0 0 25 0 4 0 519033631 823205888 130466 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=803912 CPUtime=1056.65 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 182295 0 0 0 105603 62 0 0 25 0 4 0 519033631 823205888 130466 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=803912 CPUtime=1062.31 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 197854 0 0 0 106164 67 0 0 25 0 4 0 519033631 823205888 130466 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.59
Current children cumulated vsize (KiB) 803912

[startup+1122.3 s]
/proc/loadavg: 4.06 5.20 6.56 5/175 31594
/proc/meminfo: memFree=30994956/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=734084 CPUtime=4483.31 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 794402 0 0 0 448056 275 0 0 25 0 4 0 519033631 751702016 124582 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 183521 124582 388 106 0 178492 0
[pid=31530/tid=31531] ppid=31528 vsize=734084 CPUtime=1122.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 221138 0 0 0 112154 77 0 0 25 0 4 0 519033631 751702016 124582 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=734084 CPUtime=1116.36 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 188702 0 0 0 111572 64 0 0 25 0 4 0 519033631 751702016 124582 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=734084 CPUtime=1122.31 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 198660 0 0 0 112163 68 0 0 25 0 4 0 519033631 751702016 124582 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.31
Current children cumulated vsize (KiB) 734084

[startup+1182.3 s]
/proc/loadavg: 4.06 4.99 6.40 5/175 31595
/proc/meminfo: memFree=30957656/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=757244 CPUtime=4723 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 821787 0 0 0 472015 285 0 0 25 0 4 0 519033631 775417856 133820 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 189311 133820 388 106 0 184282 0
[pid=31530/tid=31531] ppid=31528 vsize=757244 CPUtime=1182.31 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 228758 0 0 0 118151 80 0 0 25 0 4 0 519033631 775417856 133820 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=757244 CPUtime=1176.05 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 194649 0 0 0 117538 67 0 0 25 0 4 0 519033631 775417856 133820 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=757244 CPUtime=1182.31 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 203215 0 0 0 118161 70 0 0 25 0 4 0 519033631 775417856 133820 33554432000 4194304 4627427 140734339718256 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4723
Current children cumulated vsize (KiB) 757244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.10 4.95 6.35 5/175 31596
/proc/meminfo: memFree=30942872/32950928 swapFree=67111404/67111528
[pid=31530] ppid=31528 vsize=714108 CPUtime=4800.13 cores=0,2,4,6
/proc/31530/stat : 31530 (strangenight2-m) R 31528 31530 30873 0 -1 4202496 825827 0 0 0 479725 288 0 0 25 0 4 0 519033631 731246592 137362 33554432000 4194304 4627427 140734339718256 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31530/statm: 178527 137362 388 106 0 173498 0
[pid=31530/tid=31531] ppid=31528 vsize=714108 CPUtime=1201.62 cores=0,2,4,6
/proc/31530/task/31531/stat : 31531 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 230079 0 0 0 120081 81 0 0 25 0 4 0 519033631 731246592 137362 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31530/tid=31532] ppid=31528 vsize=714108 CPUtime=1195.25 cores=0,2,4,6
/proc/31530/task/31532/stat : 31532 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 197368 0 0 0 119456 69 0 0 25 0 4 0 519033631 731246592 137362 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31530/tid=31533] ppid=31528 vsize=714108 CPUtime=1201.62 cores=0,2,4,6
/proc/31530/task/31533/stat : 31533 (strangenight2-m) R 31528 31530 30873 0 -1 4202560 203215 0 0 0 120092 70 0 0 25 0 4 0 519033631 731246592 137363 33554432000 4194304 4627427 140734339718256 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 714108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.18
CPU user time (s): 4797.27
CPU system time (s): 2.90856
CPU usage (%): 399.469
Max. virtual memory (cumulated for all children) (KiB): 836596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 2.90856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825828
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= 425
involuntary context switches= 28609

runsolver used 1.87871 second user time and 4.34034 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 12:52:29
IDJOB=3173959
IDBENCH=82777
IDSOLVER=1586
FILE ID=node120/3173959-1304074349
RUNJOBID= node120-1304072690-31310
PBS_JOBID= 13170475
Free space on /tmp= 72068 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173959-1304074349/watcher-3173959-1304074349 -o /tmp/evaluation-result-3173959-1304074349/solver-3173959-1304074349 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173959-1304074349.cnf

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

MD5SUM BENCH= 55b0e04e9e653549cf2eabcc194b78ff
RANDOM SEED=1051200183

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      31121708 kB
Buffers:        453336 kB
Cached:         585972 kB
SwapCached:          8 kB
Active:         757000 kB
Inactive:       712212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31121708 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            5848 kB
Writeback:           0 kB
AnonPages:      429000 kB
Mapped:          15676 kB
Slab:           295520 kB
PageTables:       6044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   675424 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= 72068 MiB
End job on node120 at 2011-04-29 13:12:32