Trace number 3366445

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.2 1203.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf
MD5SUMeeb610362e04643aaf1590ad5e0ca989
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.088986
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366445-1305404320.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.02	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.02	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
3.57/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      71 undec:       7 neg:      72
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4915       150      3195         0      4676     15975    139389   no data   no data
3.57/0.90	c  N st    10     11297       150      3195         0      4329     15975     98175   no data   no data
3.57/0.90	c  N st    11     17041       150      3195         0      9782     15975    260134   no data   no data
3.96/1.00	c  F st    12     25001       150      3195         0     11980     15975    316714   no data   no data
3.96/1.00	c  N st    12     25001       150      3195         0     11980     15975    316714   no data   no data
4.39/1.20	c Decided on static restart strategy
4.39/1.20	c  N st    18     30000       150      3195         0     10290     15975    262721   no data   no data
4.39/1.20	c  S st    18     30000       150      3195         0     10290     15975    262721   no data   no data
5.16/1.30	c  S st    18     30506       150      3195         0     10785     15975    277040   no data   no data
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.16/1.30	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
5.16/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.43	c lits-rem:       188  cl-subs:     1271  v-elim:      0  v-fix:    0  time:  0.19 s
5.55/1.47	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.55/1.47	c calculated reachability. Time: 0.00
5.55/1.47	c  N st    18     30506       150      3195         0      9514     15975    235342   no data   no data
7.15/1.81	c  N st    20     37618       150      3195         0      8780     15975    196542   no data   no data
8.34/2.15	c  N st    21     44018       150      3195         0     14923     15975    382506   no data   no data
8.76/2.26	c  S st    22     45761       150      3195         0     16585     15975    433574   no data   no data
8.76/2.30	c  S st    22     46263       150      3195         0     17077     15975    448023   no data   no data
8.76/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.76/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.76/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.73/2.78	c lits-rem:       408  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.46 s
10.73/2.78	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
10.73/2.79	c vivif2 --  cl tried    15619 cl shrink        0 lits rem          0 time: 0.00
11.13/2.85	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
11.13/2.85	c calculated reachability. Time: 0.00
11.13/2.85	c  N st    22     46263       150      3195         0     15619     15975    399110   no data   no data
14.32/3.67	c  N st    23     60661       150      3195         0     11300     15975    233528   no data   no data
16.72/4.21	c  N st    24     69395       150      3195         0     19550     15975    477993   no data   no data
16.72/4.21	c  S st    24     69395       150      3195         0     19550     15975    477993   no data   no data
16.72/4.25	c  S st    24     69897       150      3195         0     20047     15975    491992   no data   no data
16.72/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.72/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.72/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.72/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.72/4.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.72/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.72/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.91/5.03	c lits-rem:       286  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.75 s
19.91/5.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.91/5.03	c vivif2 --  cl tried    17981 cl shrink        0 lits rem          0 time: 0.00
20.31/5.11	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
20.31/5.11	c calculated reachability. Time: 0.00
20.31/5.11	c  N st    24     69897       150      3195         0     17981     15975    427016   no data   no data
24.29/6.18	c  F st    25     87501       150      3195         0     12956     15975    258426   no data   no data
24.29/6.19	c  N st    25     87501       150      3195         0     12956     15975    258426   no data   no data
25.49/6.48	c Decided on static restart strategy
26.31/6.67	c  N st    32     95541       150      3195         0     20635     15975    493217   no data   no data
29.08/7.30	c  N st    34    104846       150      3195         0     17154     15975    375089   no data   no data
29.08/7.30	c  S st    34    104846       150      3195         0     17154     15975    375089   no data   no data
29.08/7.35	c  S st    34    105350       150      3195         0     17650     15975    389953   no data   no data
29.08/7.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.08/7.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
29.08/7.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.08/7.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.08/7.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.08/7.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
29.08/7.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.08/7.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.08/7.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.28/7.60	c lits-rem:       186  cl-subs:      953  v-elim:      0  v-fix:    0  time:  0.23 s
30.28/7.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
30.28/7.61	c vivif2 --  cl tried    16697 cl shrink        0 lits rem          0 time: 0.00
30.28/7.69	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
30.28/7.69	c calculated reachability. Time: 0.00
30.28/7.69	c  N st    34    105350       150      3195         0     16697     15975    358324   no data   no data
33.87/8.51	c  N st    35    114948       150      3195         0     25757     15975    634582   no data   no data
38.26/9.60	c  N st    36    129346       150      3195         0     26159     15975    630410   no data   no data
45.03/11.37	c  N st    37    150942       150      3195         0     17245     15975    316789   no data   no data
47.03/11.89	c  S st    38    158026       150      3195         0     23991     15975    526636   no data   no data
47.43/11.95	c  S st    38    158528       150      3195         0     24476     15975    541231   no data   no data
47.43/11.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.43/11.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
47.43/11.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.43/11.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.43/11.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.43/11.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
47.43/11.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.43/11.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
47.43/11.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.81/12.56	c lits-rem:       366  cl-subs:     1515  v-elim:      0  v-fix:    0  time:  0.59 s
49.81/12.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
49.81/12.57	c vivif2 --  cl tried    22961 cl shrink        0 lits rem          0 time: 0.01
50.21/12.66	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.09
50.21/12.66	c calculated reachability. Time: 0.00
50.21/12.66	c  N st    38    158528       150      3195         0     22961     15975    490767   no data   no data
66.21/16.66	c  N st    39    207116       150      3195         0     35870     15975    856396   no data   no data
77.34/19.48	c  N st    40    237793       150      3195         0     27985     15975    592063   no data   no data
77.34/19.48	c  S st    40    237793       150      3195         0     27985     15975    592063   no data   no data
77.74/19.57	c  S st    40    238295       150      3195         0     28480     15975    606602   no data   no data
77.74/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.74/19.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.74/19.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.74/19.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.74/19.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.74/19.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.74/19.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.74/19.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.13/19.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.33/20.41	c lits-rem:       591  cl-subs:     1753  v-elim:      0  v-fix:    0  time:  0.81 s
81.33/20.41	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.33/20.42	c vivif2 --  cl tried    26727 cl shrink        0 lits rem          0 time: 0.01
81.73/20.54	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.73/20.54	c calculated reachability. Time: 0.00
81.73/20.54	c  N st    40    238295       150      3195         0     26727     15975    553640   no data   no data
108.44/27.21	c  F st    41    306251       150      3195         0     28495     15975    548495   no data   no data
108.44/27.21	c  N st    41    306251       150      3195         0     28495     15975    548495   no data   no data
110.43/27.74	c Decided on static restart strategy
120.80/30.35	c  N st    51    334563       150      3195         0     32740     15975    649390   no data   no data
132.02/33.14	c  N st    53    357442       150      3195         0     30805     15975    573858   no data   no data
132.02/33.14	c  S st    53    357442       150      3195         0     30805     15975    573858   no data   no data
132.36/33.22	c  S st    53    357943       150      3195         0     31293     15975    588140   no data   no data
132.36/33.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.36/33.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.36/33.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.36/33.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.36/33.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.36/33.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
132.36/33.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.36/33.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.36/33.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.37/33.77	c lits-rem:       270  cl-subs:     1211  v-elim:      0  v-fix:    0  time:  0.52 s
134.37/33.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.37/33.77	c vivif2 --  cl tried    30082 cl shrink        0 lits rem          0 time: 0.01
135.16/33.90	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.13
135.16/33.90	c calculated reachability. Time: 0.00
135.16/33.90	c  N st    53    357943       150      3195         0     30082     15975    549335   no data   no data
148.72/37.40	c  N st    54    390336       150      3195         0     36225     15975    735828   no data   no data
177.03/44.48	c  N st    55    438924       150      3195         0     30030     15975    518115   no data   no data
210.13/52.80	c  N st    56    511806       150      3195         0     43171     15975    885026   no data   no data
223.29/56.09	c  N st    57    536914       150      3195         0     37705     15975    677989   no data   no data
223.29/56.09	c  S st    57    536914       150      3195         0     37705     15975    677989   no data   no data
223.71/56.19	c  S st    57    537416       150      3195         0     38197     15975    692515   no data   no data
223.71/56.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
223.71/56.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
223.71/56.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.71/56.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
223.71/56.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.71/56.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
223.71/56.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.13/56.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
224.13/56.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.28/57.01	c lits-rem:       511  cl-subs:     1370  v-elim:      0  v-fix:    0  time:  0.78 s
227.28/57.01	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.28/57.02	c vivif2 --  cl tried    36827 cl shrink        0 lits rem          0 time: 0.01
227.67/57.19	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
227.67/57.19	c calculated reachability. Time: 0.00
227.67/57.19	c  N st    57    537416       150      3195         0     36827     15975    649547   no data   no data
321.79/80.76	c  N st    58    701401       150      3195         0     65015     15975   1471722   no data   no data
386.79/97.05	c  N st    59    806124       150      3195         0     59306     15975   1244105   no data   no data
386.79/97.05	c  S st    59    806124       150      3195         0     59306     15975   1244105   no data   no data
387.59/97.22	c  S st    59    806629       150      3195         0     59798     15975   1258922   no data   no data
387.59/97.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
387.59/97.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
387.59/97.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
387.59/97.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
387.59/97.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
387.59/97.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
387.59/97.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
387.59/97.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
387.98/97.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.53/102.79	c lits-rem:      1728  cl-subs:     3954  v-elim:      0  v-fix:    0  time:  5.48 s
409.53/102.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
409.93/102.80	c vivif2 --  cl tried    55844 cl shrink        0 lits rem          0 time: 0.01
410.73/103.09	c asymm  cl-useful: 0/2926/3195 lits-rem:0 time: 0.29
410.73/103.09	c calculated reachability. Time: 0.00
410.73/103.09	c  N st    59    806629       150      3195         0     55844     15975   1135050   no data   no data
591.78/148.45	c  F st    60   1071875       150      3195         0     71118     15975   1475591   no data   no data
591.78/148.46	c  N st    60   1071875       150      3195         0     71118     15975   1475591   no data   no data
596.58/149.65	c Decided on static restart strategy
612.91/153.75	c  N st    70   1100176       150      3195         0     55465     15975    977942   no data   no data
643.63/161.47	c  N st    72   1136170       150      3195         0     45983     15975    662063   no data   no data
666.78/167.26	c  N st    73   1168562       150      3195         0     76684     15975   1606543   no data   no data
698.25/175.19	c  N st    74   1209944       150      3195         0     71433     15975   1419182   no data   no data
698.25/175.19	c  S st    74   1209944       150      3195         0     71433     15975   1419182   no data   no data
699.45/175.40	c  S st    74   1210449       150      3195         0     71921     15975   1433817   no data   no data
699.45/175.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
699.45/175.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
699.45/175.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
699.45/175.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
699.45/175.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
699.45/175.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
699.45/175.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
699.45/175.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
699.85/175.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.27/188.91	c lits-rem:      1363  cl-subs:     4798  v-elim:      0  v-fix:    0  time: 13.41 s
753.27/188.91	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
753.27/188.94	c vivif2 --  cl tried    67123 cl shrink        0 lits rem          0 time: 0.02
755.66/189.51	c asymm  cl-useful: 0/2396/3195 lits-rem:0 time: 0.57
755.66/189.52	c calculated reachability. Time: 0.00
755.66/189.52	c  N st    74   1210449       150      3195         0     67123     15975   1282995   no data   no data
831.84/208.61	c  N st    75   1283331       150      3195         0     90692     15975   2026951   no data   no data
947.92/237.77	c  N st    76   1392654       150      3195         0     52036     15975    755149   no data   no data
1104.20/276.95	c  N st    77   1556639       150      3195         0     56688     15975    845898   no data   no data
1244.19/312.04	c  N st    78   1710450       150      3195         0     96811     15975   1998813   no data   no data
1244.19/312.04	c  S st    78   1710450       150      3195         0     96811     15975   1998813   no data   no data
1245.38/312.32	c  S st    78   1710952       150      3195         0     97299     15975   2013541   no data   no data
1245.38/312.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1245.38/312.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1245.38/312.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1245.38/312.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1245.38/312.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1245.38/312.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1245.38/312.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1245.38/312.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1245.80/312.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1347.84/338.01	c lits-rem:      3002  cl-subs:    11061  v-elim:      0  v-fix:    0  time: 25.55 s
1347.84/338.01	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1347.84/338.03	c vivif2 --  cl tried    86238 cl shrink        0 lits rem          0 time: 0.02
1348.64/338.22	c asymm  cl-useful: 0/799/3195 lits-rem:0 time: 0.18
1348.64/338.22	c calculated reachability. Time: 0.00
1348.64/338.22	c  N st    78   1710952       150      3195         0     86238     15975   1700551   no data   no data
1711.54/429.20	c  N st    79   2079919       150      3195         0     98510     15975   1994604   no data   no data
1845.94/462.96	c  N st    80   2210952       150      3195         0    102106     15975   2042472   no data   no data
1845.94/462.96	c  S st    80   2210952       150      3195         0    102106     15975   2042472   no data   no data
1847.18/463.24	c  S st    80   2211456       150      3195         0    102598     15975   2057920   no data   no data
1847.18/463.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1847.52/463.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1847.52/463.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1847.52/463.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1847.52/463.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1847.52/463.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1847.52/463.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1847.52/463.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1847.52/463.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1942.44/487.18	c lits-rem:      1621  cl-subs:     9707  v-elim:      0  v-fix:    0  time: 23.79 s
1942.44/487.18	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1942.84/487.20	c vivif2 --  cl tried    92891 cl shrink        0 lits rem          0 time: 0.03
1944.02/487.56	c asymm  cl-useful: 0/1829/3195 lits-rem:0 time: 0.36
1944.02/487.56	c calculated reachability. Time: 0.00
1944.02/487.56	c  N st    80   2211456       150      3195         0     92891     15975   1775223   no data   no data
2479.61/621.88	c  N st    81   2711457       150      3195         0    116004     15975   2378473   no data   no data
2479.61/621.88	c  S st    81   2711457       150      3195         0    116004     15975   2378473   no data   no data
2481.21/622.24	c  S st    81   2711959       150      3195         0    116494     15975   2393220   no data   no data
2481.21/622.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2481.61/622.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2481.61/622.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2481.61/622.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2481.61/622.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2481.61/622.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2481.61/622.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2481.61/622.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2482.00/622.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2606.80/653.71	c lits-rem:      1729  cl-subs:    10702  v-elim:      0  v-fix:    0  time: 31.30 s
2606.80/653.71	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2606.80/653.74	c vivif2 --  cl tried   105792 cl shrink        0 lits rem          0 time: 0.03
2608.40/654.13	c asymm  cl-useful: 0/1366/3195 lits-rem:0 time: 0.39
2608.40/654.13	c calculated reachability. Time: 0.00
2608.40/654.13	c  N st    81   2711959       150      3195         0    105792     15975   2077172   no data   no data
3258.42/817.16	c  N st    82   3211959       150      3195         0     82784     15975   1223879   no data   no data
3258.42/817.16	c  S st    82   3211959       150      3195         0     82784     15975   1223879   no data   no data
3259.24/817.41	c  S st    82   3212462       150      3195         0     83274     15975   1238767   no data   no data
3259.66/817.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3259.66/817.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3259.66/817.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3259.66/817.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3259.66/817.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3259.66/817.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3259.66/817.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3259.66/817.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3260.00/817.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3268.01/819.56	c lits-rem:       464  cl-subs:     1851  v-elim:      0  v-fix:    0  time:  2.05 s
3268.01/819.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3268.01/819.58	c vivif2 --  cl tried    81423 cl shrink        0 lits rem          0 time: 0.02
3269.58/819.91	c asymm  cl-useful: 0/2039/3195 lits-rem:0 time: 0.33
3269.58/819.92	c calculated reachability. Time: 0.00
3269.58/819.92	c  N st    82   3212462       150      3195         0     81423     15975   1183152   no data   no data
3939.16/987.82	c  N st    83   3712462       150      3195         0     91859     15975   1390814   no data   no data
3939.16/987.82	c  S st    83   3712462       150      3195         0     91859     15975   1390814   no data   no data
3940.33/988.18	c  S st    83   3712962       150      3195         0     92346     15975   1405570   no data   no data
3940.33/988.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3940.73/988.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3940.73/988.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3940.73/988.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3940.73/988.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3940.73/988.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3940.73/988.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3940.73/988.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3941.13/988.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3965.48/994.44	c lits-rem:       632  cl-subs:     2816  v-elim:      0  v-fix:    0  time:  6.11 s
3965.48/994.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3965.48/994.46	c vivif2 --  cl tried    89530 cl shrink        0 lits rem          0 time: 0.02
3967.04/994.81	c asymm  cl-useful: 0/1156/3195 lits-rem:0 time: 0.35
3967.04/994.82	c calculated reachability. Time: 0.00
3967.04/994.82	c  N st    83   3712962       150      3195         0     89530     15975   1322432   no data   no data
4025.28/1009.46	c  F st    84   3751562       150      3195         0    125960     15975   2480417   no data   no data
4025.28/1009.46	c  N st    84   3751562       150      3195         0    125960     15975   2480417   no data   no data
4034.44/1011.71	c Decided on static restart strategy
4074.73/1021.90	c  N st    94   3779868       150      3195         0    152826     15975   3339872   no data   no data
4120.59/1033.30	c  N st    96   3815862       150      3195         0    107061     15975   1876703   no data   no data
4181.19/1048.54	c  N st    97   3848254       150      3195         0    137698     15975   2823728   no data   no data
4251.04/1066.09	c  N st    98   3896844       150      3195         0    102431     15975   1672111   no data   no data
4365.44/1094.77	c  N st    99   3969726       150      3195         0     88988     15975   1229606   no data   no data
4527.74/1135.42	c  N st   100   4079051       150      3195         0    108948     15975   1820044   no data   no data
4730.33/1186.24	c  N st   101   4212965       150      3195         0    151236     15975   3139847   no data   no data
4730.33/1186.24	c  S st   101   4212965       150      3195         0    151236     15975   3139847   no data   no data
4732.33/1186.72	c  S st   101   4213468       150      3195         0    151729     15975   3155099   no data   no data
4732.33/1186.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4732.73/1186.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4732.73/1186.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4732.73/1186.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4732.73/1186.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4732.73/1186.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4732.73/1186.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4732.73/1186.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4733.14/1186.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: 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-3366445-1305404320/watcher-3366445-1305404320 -o /tmp/evaluation-result-3366445-1305404320/solver-3366445-1305404320 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366445-1305404320.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: 6.86 7.83 8.00 2/365 5622
/proc/meminfo: memFree=18291112/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 730662690 52396032 348 33554432000 4194304 4580107 140733328903712 18446744073709551615 47061118166962 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 12792 348 299 95 0 7774 0
[pid=5622/tid=5626] ppid=5620 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730662691 52396032 348 33554432000 4194304 4580107 140733328903712 18446744073709551615 47061118166962 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730662691 52396032 348 33554432000 4194304 4580107 140733328903712 18446744073709551615 47061118166962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730662691 52396032 348 33554432000 4194304 4580107 140733328903712 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.101774 s]
/proc/loadavg: 6.86 7.83 8.00 2/365 5622
/proc/meminfo: memFree=18291112/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=282432 CPUtime=0.38 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 1944 0 0 0 38 0 0 0 18 0 4 0 730662690 289210368 1777 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 70608 1777 376 95 0 65590 0
[pid=5622/tid=5626] ppid=5620 vsize=282432 CPUtime=0.09 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 407 0 0 0 9 0 0 0 18 0 4 0 730662691 289210368 1777 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=282432 CPUtime=0.09 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 416 0 0 0 9 0 0 0 18 0 4 0 730662691 289210368 1777 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=282432 CPUtime=0.08 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 293 0 0 0 8 0 0 0 25 0 4 0 730662691 289210368 1777 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282432

[startup+0.200758 s]
/proc/loadavg: 6.86 7.83 8.00 2/365 5622
/proc/meminfo: memFree=18291112/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=284108 CPUtime=0.77 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 2824 0 0 0 77 0 0 0 18 0 4 0 730662690 290926592 1940 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294363 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 71027 1940 376 95 0 66009 0
[pid=5622/tid=5626] ppid=5620 vsize=284108 CPUtime=0.19 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 633 0 0 0 19 0 0 0 18 0 4 0 730662691 290926592 1940 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=284108 CPUtime=0.19 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 634 0 0 0 19 0 0 0 18 0 4 0 730662691 290926592 1940 33554432000 4194304 4580107 140733328903712 18446744073709551615 4324215 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=284108 CPUtime=0.18 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 509 0 0 0 18 0 0 0 25 0 4 0 730662691 290926592 1940 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294955 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) 284108

[startup+0.300741 s]
/proc/loadavg: 6.86 7.83 8.00 2/365 5622
/proc/meminfo: memFree=18291112/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=284380 CPUtime=1.17 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 3312 0 0 0 117 0 0 0 18 0 4 0 730662690 291205120 2428 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 71095 2428 377 95 0 66077 0
[pid=5622/tid=5626] ppid=5620 vsize=284380 CPUtime=0.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 760 0 0 0 29 0 0 0 18 0 4 0 730662691 291205120 2428 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=284380 CPUtime=0.29 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 758 0 0 0 29 0 0 0 18 0 4 0 730662691 291205120 2428 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=284380 CPUtime=0.28 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 633 0 0 0 28 0 0 0 25 0 4 0 730662691 291205120 2428 33554432000 4194304 4580107 140733328903712 18446744073709551615 4321100 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) 284380

[startup+0.700675 s]
/proc/loadavg: 6.86 7.83 8.00 2/365 5622
/proc/meminfo: memFree=18291112/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=286004 CPUtime=2.77 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 6040 0 0 0 277 0 0 0 18 0 4 0 730662690 292868096 2704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4319898 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 71501 2704 377 95 0 66483 0
[pid=5622/tid=5626] ppid=5620 vsize=286004 CPUtime=0.69 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 1459 0 0 0 69 0 0 0 18 0 4 0 730662691 292868096 2704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=286004 CPUtime=0.69 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 1441 0 0 0 69 0 0 0 18 0 4 0 730662691 292868096 2704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=286004 CPUtime=0.68 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 1308 0 0 0 68 0 0 0 25 0 4 0 730662691 292868096 2704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294751 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) 286004

[startup+1.50054 s]
/proc/loadavg: 6.86 7.83 8.00 10/373 5630
/proc/meminfo: memFree=18265380/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=287368 CPUtime=5.94 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 12867 0 0 0 593 1 0 0 20 0 4 0 730662690 294264832 6367 33554432000 4194304 4580107 140733328903712 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 71842 6367 379 95 0 66824 0
[pid=5622/tid=5626] ppid=5620 vsize=287368 CPUtime=1.49 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 3884 0 0 0 149 0 0 0 20 0 4 0 730662691 294264832 6367 33554432000 4194304 4580107 140733328903712 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=287368 CPUtime=1.48 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 2499 0 0 0 148 0 0 0 19 0 4 0 730662691 294264832 6367 33554432000 4194304 4580107 140733328903712 18446744073709551615 4320810 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=287368 CPUtime=1.46 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 2340 0 0 0 146 0 0 0 25 0 4 0 730662691 294264832 6367 33554432000 4194304 4580107 140733328903712 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 287368

[startup+3.10028 s]
/proc/loadavg: 7.11 7.87 8.01 10/373 5630
/proc/meminfo: memFree=18227984/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=288780 CPUtime=12.33 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 23222 0 0 0 1230 3 0 0 25 0 4 0 730662690 295710720 12198 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 72195 12198 379 95 0 67177 0
[pid=5622/tid=5626] ppid=5620 vsize=288780 CPUtime=3.09 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 5181 0 0 0 309 0 0 0 25 0 4 0 730662691 295710720 12198 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=288780 CPUtime=3.09 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 5773 0 0 0 308 1 0 0 25 0 4 0 730662691 295710720 12198 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=288780 CPUtime=3.04 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 5726 0 0 0 303 1 0 0 25 0 4 0 730662691 295710720 12198 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 288780

[startup+6.30074 s]
/proc/loadavg: 7.11 7.87 8.01 10/373 5630
/proc/meminfo: memFree=18163764/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=294644 CPUtime=25.09 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 35354 0 0 0 2503 6 0 0 25 0 4 0 730662690 301715456 17708 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 73661 17708 379 95 0 68643 0
[pid=5622/tid=5626] ppid=5620 vsize=294644 CPUtime=6.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 9054 0 0 0 628 1 0 0 25 0 4 0 730662691 301715456 17708 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=294644 CPUtime=6.29 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 8966 0 0 0 627 2 0 0 25 0 4 0 730662691 301715456 17708 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=294644 CPUtime=6.2 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 8096 0 0 0 619 1 0 0 25 0 4 0 730662691 301715456 17708 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 294644

[startup+12.7007 s]
/proc/loadavg: 7.25 7.87 8.01 10/373 5630
/proc/meminfo: memFree=18112448/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=295420 CPUtime=50.62 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 54401 0 0 0 5051 11 0 0 25 0 4 0 730662690 302510080 22754 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 73855 22754 379 95 0 68837 0
[pid=5622/tid=5626] ppid=5620 vsize=295420 CPUtime=12.69 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 14175 0 0 0 1267 2 0 0 25 0 4 0 730662691 302510080 22754 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=295420 CPUtime=12.69 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 13031 0 0 0 1266 3 0 0 25 0 4 0 730662691 302510080 22754 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=295420 CPUtime=12.53 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 13862 0 0 0 1250 3 0 0 25 0 4 0 730662691 302510080 22754 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 295420

[startup+25.5005 s]
/proc/loadavg: 7.36 7.88 8.01 10/373 5630
/proc/meminfo: memFree=18053800/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=305800 CPUtime=101.66 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 82118 0 0 0 10148 18 0 0 25 0 4 0 730662690 313139200 29068 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 76450 29068 379 95 0 71432 0
[pid=5622/tid=5626] ppid=5620 vsize=305800 CPUtime=25.49 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 22037 0 0 0 2545 4 0 0 25 0 4 0 730662691 313139200 29068 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=305800 CPUtime=25.48 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 20654 0 0 0 2544 4 0 0 25 0 4 0 730662691 313139200 29068 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=305800 CPUtime=25.16 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 20947 0 0 0 2512 4 0 0 25 0 4 0 730662691 313139200 29068 33554432000 4194304 4580107 140733328903712 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 305800

[startup+51.1013 s]
/proc/loadavg: 7.58 7.89 8.01 10/373 5632
/proc/meminfo: memFree=17987116/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=313768 CPUtime=203.74 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 124848 0 0 0 20344 30 0 0 25 0 4 0 730662690 321298432 36704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 78442 36704 379 95 0 73424 0
[pid=5622/tid=5626] ppid=5620 vsize=313768 CPUtime=51.09 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 33916 0 0 0 5103 6 0 0 25 0 4 0 730662691 321298432 36704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=313768 CPUtime=51.07 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 31728 0 0 0 5101 6 0 0 25 0 4 0 730662691 321298432 36704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=313768 CPUtime=50.46 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 30175 0 0 0 5037 9 0 0 25 0 4 0 730662691 321298432 36704 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 313768

[startup+102.301 s]
/proc/loadavg: 7.83 7.90 8.00 10/373 5632
/proc/meminfo: memFree=17873512/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=382072 CPUtime=407.95 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 197265 0 0 0 40745 50 0 0 25 0 4 0 730662690 391241728 49531 33554432000 4194304 4580107 140733328903712 18446744073709551615 4416734 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 95518 49531 379 95 0 90500 0
[pid=5622/tid=5626] ppid=5620 vsize=382072 CPUtime=102.3 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 50988 0 0 0 10219 11 0 0 25 0 4 0 730662691 391241728 49535 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=382072 CPUtime=102.29 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 48433 0 0 0 10218 11 0 0 25 0 4 0 730662691 391241728 49535 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=382072 CPUtime=101.05 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 49116 0 0 0 10091 14 0 0 25 0 4 0 730662691 391241728 49535 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 382072

[startup+162.301 s]

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

[pid=5622] ppid=5620 vsize=592448 CPUtime=2561.35 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 590267 0 0 0 255948 187 0 0 25 0 4 0 730662690 606666752 93735 33554432000 4194304 4580107 140733328903712 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 148112 93735 379 95 0 143094 0
[pid=5622/tid=5626] ppid=5620 vsize=592448 CPUtime=642.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 146416 0 0 0 64185 44 0 0 25 0 4 0 730662691 606666752 93735 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=592448 CPUtime=642.26 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 144514 0 0 0 64180 46 0 0 25 0 4 0 730662691 606666752 93735 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=592448 CPUtime=634.47 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 152838 0 0 0 63398 49 0 0 25 0 4 0 730662691 606666752 93735 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294743 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.35
Current children cumulated vsize (KiB) 592448

[startup+702.301 s]
/proc/loadavg: 8.15 8.10 8.03 10/373 5648
/proc/meminfo: memFree=17344684/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=645096 CPUtime=2800.62 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 622799 0 0 0 279862 200 0 0 25 0 4 0 730662690 660578304 100926 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 161274 100926 379 95 0 156256 0
[pid=5622/tid=5626] ppid=5620 vsize=645096 CPUtime=702.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 155072 0 0 0 70182 47 0 0 25 0 4 0 730662691 660578304 100926 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=645096 CPUtime=702.26 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 152598 0 0 0 70176 50 0 0 25 0 4 0 730662691 660578304 100926 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=645096 CPUtime=693.74 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 161568 0 0 0 69322 52 0 0 25 0 4 0 730662691 660578304 100926 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.62
Current children cumulated vsize (KiB) 645096

[startup+762.301 s]
/proc/loadavg: 8.16 8.11 8.04 10/373 5650
/proc/meminfo: memFree=17326796/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=694472 CPUtime=3039.92 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 659067 0 0 0 303781 211 0 0 25 0 4 0 730662690 711139328 105160 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 173618 105160 379 95 0 168600 0
[pid=5622/tid=5626] ppid=5620 vsize=694472 CPUtime=762.31 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 167895 0 0 0 76181 50 0 0 25 0 4 0 730662691 711139328 105161 33554432000 4194304 4580107 140733328903712 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=694472 CPUtime=762.28 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 159091 0 0 0 76175 53 0 0 25 0 4 0 730662691 711139328 105161 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=694472 CPUtime=753.02 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 171060 0 0 0 75246 56 0 0 25 0 4 0 730662691 711139328 105161 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.92
Current children cumulated vsize (KiB) 694472

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 8.04 10/373 5652
/proc/meminfo: memFree=17319196/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=711776 CPUtime=3279.15 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 684323 0 0 0 327693 222 0 0 25 0 4 0 730662690 728858624 111548 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 177944 111548 379 95 0 172926 0
[pid=5622/tid=5626] ppid=5620 vsize=711776 CPUtime=822.3 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 172291 0 0 0 82177 53 0 0 25 0 4 0 730662691 728858624 111548 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=711776 CPUtime=822.26 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 166230 0 0 0 82170 56 0 0 25 0 4 0 730662691 728858624 111548 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=711776 CPUtime=812.27 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 179071 0 0 0 81169 58 0 0 25 0 4 0 730662691 728858624 111548 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.15
Current children cumulated vsize (KiB) 711776

[startup+882.314 s]
/proc/loadavg: 8.10 8.11 8.04 10/373 5654
/proc/meminfo: memFree=17294116/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=606952 CPUtime=3518.47 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 717366 0 0 0 351610 237 0 0 25 0 4 0 730662690 621518848 110080 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 151738 110080 379 95 0 146720 0
[pid=5622/tid=5626] ppid=5620 vsize=606952 CPUtime=882.31 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 180509 0 0 0 88175 56 0 0 25 0 4 0 730662691 621518848 110080 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=606952 CPUtime=882.27 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 173209 0 0 0 88169 58 0 0 25 0 4 0 730662691 621518848 110080 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=606952 CPUtime=871.55 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 188774 0 0 0 87091 64 0 0 25 0 4 0 730662691 621518848 110080 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.47
Current children cumulated vsize (KiB) 606952

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 8.04 10/373 5654
/proc/meminfo: memFree=17287504/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=663568 CPUtime=3757.7 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 750968 0 0 0 375520 250 0 0 25 0 4 0 730662690 679493632 112584 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 165892 112584 379 95 0 160874 0
[pid=5622/tid=5626] ppid=5620 vsize=663568 CPUtime=942.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 188804 0 0 0 94171 58 0 0 25 0 4 0 730662691 679493632 112584 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=663568 CPUtime=942.25 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 181086 0 0 0 94164 61 0 0 25 0 4 0 730662691 679493632 112584 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=663568 CPUtime=930.83 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 197628 0 0 0 93015 68 0 0 25 0 4 0 730662691 679493632 112584 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.7
Current children cumulated vsize (KiB) 663568

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.05 10/373 5656
/proc/meminfo: memFree=17261692/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=664316 CPUtime=3996.96 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 781125 0 0 0 399433 263 0 0 25 0 4 0 730662690 680259584 117847 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 166079 117847 379 95 0 161061 0
[pid=5622/tid=5626] ppid=5620 vsize=664316 CPUtime=1002.3 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 195414 0 0 0 100170 60 0 0 25 0 4 0 730662691 680259584 117847 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=664316 CPUtime=1002.25 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 188042 0 0 0 100161 64 0 0 25 0 4 0 730662691 680259584 117847 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=664316 CPUtime=990.08 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 205859 0 0 0 98937 71 0 0 25 0 4 0 730662691 680259584 117847 33554432000 4194304 4580107 140733328903712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.96
Current children cumulated vsize (KiB) 664316

[startup+1062.3 s]
/proc/loadavg: 8.10 8.12 8.05 10/373 5658
/proc/meminfo: memFree=17267492/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=672632 CPUtime=4236.23 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 811299 0 0 0 423349 274 0 0 25 0 4 0 730662690 688775168 118184 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 168158 118184 379 95 0 163140 0
[pid=5622/tid=5626] ppid=5620 vsize=672632 CPUtime=1062.29 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 203667 0 0 0 106167 62 0 0 25 0 4 0 730662691 688775168 118184 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=672632 CPUtime=1062.25 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 195752 0 0 0 106157 68 0 0 25 0 4 0 730662691 688775168 118184 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=672632 CPUtime=1049.36 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 212512 0 0 0 104862 74 0 0 25 0 4 0 730662691 688775168 118184 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.23
Current children cumulated vsize (KiB) 672632

[startup+1122.3 s]
/proc/loadavg: 8.23 8.14 8.06 10/373 5660
/proc/meminfo: memFree=17236976/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=730172 CPUtime=4475.5 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 839857 0 0 0 447264 286 0 0 25 0 4 0 730662690 747696128 121998 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 182543 121998 379 95 0 177525 0
[pid=5622/tid=5626] ppid=5620 vsize=730172 CPUtime=1122.3 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 211764 0 0 0 112164 66 0 0 25 0 4 0 730662691 747696128 121998 33554432000 4194304 4580107 140733328903712 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=730172 CPUtime=1122.25 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 203341 0 0 0 112154 71 0 0 25 0 4 0 730662691 747696128 121998 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=730172 CPUtime=1108.64 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 218988 0 0 0 110786 78 0 0 25 0 4 0 730662691 747696128 121998 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.5
Current children cumulated vsize (KiB) 730172

[startup+1182.3 s]
/proc/loadavg: 8.23 8.14 8.07 10/373 5662
/proc/meminfo: memFree=17222924/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=673996 CPUtime=4714.78 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 871989 0 0 0 471177 301 0 0 25 0 4 0 730662690 690171904 120896 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 168499 120896 379 95 0 163481 0
[pid=5622/tid=5626] ppid=5620 vsize=673996 CPUtime=1182.3 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 219903 0 0 0 118161 69 0 0 25 0 4 0 730662691 690171904 120896 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=673996 CPUtime=1182.25 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 211405 0 0 0 118150 75 0 0 25 0 4 0 730662691 690171904 120896 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=673996 CPUtime=1167.9 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 227132 0 0 0 116708 82 0 0 25 0 4 0 730662691 690171904 120896 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.78
Current children cumulated vsize (KiB) 673996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.23 8.15 8.07 9/373 5662
/proc/meminfo: memFree=17178152/32951124 swapFree=45193364/67111528
[pid=5622] ppid=5620 vsize=739812 CPUtime=4800.12 cores=0,2,4,6
/proc/5622/stat : 5622 (strangenight2-m) R 5620 5622 5085 0 -1 4202496 886889 0 0 0 479707 305 0 0 25 0 4 0 730662690 757567488 126884 33554432000 4194304 4580107 140733328903712 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5622/statm: 184953 126884 379 95 0 179935 0
[pid=5622/tid=5626] ppid=5620 vsize=739812 CPUtime=1203.71 cores=0,2,4,6
/proc/5622/task/5626/stat : 5626 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 221454 0 0 0 120301 70 0 0 25 0 4 0 730662691 757567488 126886 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5622/tid=5627] ppid=5620 vsize=739812 CPUtime=1203.65 cores=0,2,4,6
/proc/5622/task/5627/stat : 5627 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 214138 0 0 0 120290 75 0 0 25 0 4 0 730662691 757567488 126886 33554432000 4194304 4580107 140733328903712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5622/tid=5628] ppid=5620 vsize=739812 CPUtime=1189.03 cores=0,2,4,6
/proc/5622/task/5628/stat : 5628 (strangenight2-m) R 5620 5622 5085 0 -1 4202560 230279 0 0 0 118820 83 0 0 25 0 4 0 730662691 757567488 126886 33554432000 4194304 4580107 140733328903712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 739812

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): 1203.74
CPU time (s): 4800.2
CPU user time (s): 4797.12
CPU system time (s): 3.07853
CPU usage (%): 398.773
Max. virtual memory (cumulated for all children) (KiB): 807132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.12
system time used= 3.07853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886892
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= 344
involuntary context switches= 37537

runsolver used 4.00039 second user time and 10.4564 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-14 22:18:40
IDJOB=3366445
IDBENCH=82854
IDSOLVER=1844
FILE ID=node118/3366445-1305404320
RUNJOBID= node118-1305404320-5603
PBS_JOBID= 13324486
Free space on /tmp= 73052 MiB

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

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

MD5SUM BENCH= eeb610362e04643aaf1590ad5e0ca989
RANDOM SEED=321918961

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18291788 kB
Buffers:        274568 kB
Cached:        4387272 kB
SwapCached:      22084 kB
Active:       11774204 kB
Inactive:      2582556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18291788 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:           11052 kB
Writeback:           0 kB
AnonPages:     9685592 kB
Mapped:          14612 kB
Slab:           148588 kB
PageTables:      89932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88631980 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= 73040 MiB
End job on node118 at 2011-05-14 22:38:46