Trace number 3173886

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.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf
MD5SUMb444591b86255859f3a5d3b876e65166
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.4203
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.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-3173886-1304072475.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.75	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.00 s
0.00/0.75	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.75	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.75	c calculated reachability. Time: 0.00
0.00/0.75	c Calc default polars -  time:   0.00 s pos:     167 undec:      56 neg:     177
0.00/0.75	c =========================================================================================
0.00/0.75	c types(t): F = full restart, N = normal restart
0.00/0.75	c types(t): S = simplification begin/end, E = solution found
0.00/0.75	c restart types(rt): st = static, dy = dynamic
0.00/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.75	c  B st     0         0       395      1699         0         0      5122         0   no data   no data
0.00/0.75	c Decided on static restart strategy
0.00/0.75	c  N st     8      4911       395      1699         0      4761      5122     85793   no data   no data
0.00/0.75	c  N st    10     11298       395      1699         0      4415      5122     61091   no data   no data
0.00/0.75	c  N st    11     17041       395      1699         0      9992      5122    168788   no data   no data
3.97/1.05	c  F st    12     25004       395      1699         0     12314      5122    208129   no data   no data
3.97/1.05	c  N st    12     25004       395      1699         0     12314      5122    208129   no data   no data
4.77/1.25	c Decided on static restart strategy
4.77/1.25	c  N st    18     30003       395      1699         0     10627      5122    163521   no data   no data
4.77/1.25	c  S st    18     30003       395      1699         0     10627      5122    163521   no data   no data
5.18/1.35	c  S st    18     30504       395      1699         0     11126      5122    173223   no data   no data
5.18/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.18/1.35	c blocked clauses removed:        9 vars:      1 tried:         395 T: 0.00 s
5.18/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
5.18/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.18/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.18/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.35	c lits-rem:       151  cl-subs:      875  v-elim:      0  v-fix:    0  time:  0.05 s
5.18/1.35	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.01
5.18/1.35	c calculated reachability. Time: 0.00
5.18/1.35	c  N st    18     30504       394      1690         0     10251      5095    156983   no data   no data
6.77/1.73	c  N st    20     37614       394      1690         0      9499      5095    127927   no data   no data
7.96/2.07	c  N st    21     44014       394      1690         0     15686      5095    242619   no data   no data
8.37/2.19	c  S st    22     45756       394      1690         0     17374      5095    276330   no data   no data
8.77/2.23	c  S st    22     46258       394      1690         0      9211      5095    111195   no data   no data
8.77/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
8.77/2.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.25	c lits-rem:        15  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.01 s
8.77/2.25	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
8.77/2.25	c vivif2 --  cl tried     9052 cl shrink        0 lits rem          0 time: 0.00
8.77/2.26	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.00
8.77/2.26	c calculated reachability. Time: 0.00
8.77/2.26	c  N st    22     46258       394      1690         0      9052      5095    108598   no data   no data
12.36/3.12	c  N st    23     60655       394      1690         0     13335      5095    178109   no data   no data
14.76/3.72	c  N st    24     69387       394      1690         0     11150      5095    132811   no data   no data
14.76/3.72	c  S st    24     69387       394      1690         0     11150      5095    132811   no data   no data
14.76/3.75	c  S st    24     69890       394      1690         0     11652      5095    142466   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.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.76/3.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
14.76/3.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.76	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
14.76/3.78	c lits-rem:        48  cl-subs:      203  v-elim:      0  v-fix:    0  time:  0.01 s
14.76/3.78	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
14.76/3.78	c vivif2 --  cl tried    11449 cl shrink        0 lits rem          0 time: 0.00
14.76/3.79	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.01
14.76/3.79	c calculated reachability. Time: 0.00
14.76/3.79	c  N st    24     69890       394      1690         0     11449      5095    138853   no data   no data
19.97/5.00	c  F st    25     87502       394      1690         0     16935      5095    241779   no data   no data
19.97/5.00	c  N st    25     87502       394      1690         0     16935      5095    241779   no data   no data
21.55/5.43	c Decided on static restart strategy
22.35/5.68	c  N st    32     95538       394      1690         0     24733      5095    392280   no data   no data
25.14/6.33	c  N st    34    104835       394      1690         0     21140      5095    308779   no data   no data
25.14/6.33	c  S st    34    104835       394      1690         0     21140      5095    308779   no data   no data
25.14/6.38	c  S st    34    105339       394      1690         0     21642      5095    318749   no data   no data
25.14/6.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.14/6.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.14/6.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.14/6.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
25.14/6.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.14/6.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.54/6.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.58	c lits-rem:       135  cl-subs:     1510  v-elim:      0  v-fix:    0  time:  0.18 s
25.94/6.58	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
25.94/6.59	c vivif2 --  cl tried    20132 cl shrink        0 lits rem          0 time: 0.00
26.34/6.60	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.01
26.34/6.60	c calculated reachability. Time: 0.00
26.34/6.60	c  N st    34    105339       394      1690         0     20132      5095    288984   no data   no data
29.54/7.40	c  N st    35    114937       394      1690         0     15866      5095    187983   no data   no data
34.32/8.61	c  N st    36    129334       394      1690         0     15269      5095    164855   no data   no data
41.52/10.45	c  N st    37    150929       394      1690         0     20724      5095    259617   no data   no data
43.92/11.06	c  S st    38    158008       394      1690         0     27548      5095    386170   no data   no data
44.32/11.13	c  S st    38    158510       394      1690         0     28048      5095    396055   no data   no data
44.32/11.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.32/11.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.32/11.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.32/11.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.32/11.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.32/11.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
44.32/11.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.32/11.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.48	c lits-rem:       221  cl-subs:     1914  v-elim:      0  v-fix:    0  time:  0.32 s
45.52/11.48	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
45.52/11.49	c vivif2 --  cl tried    26134 cl shrink        0 lits rem          0 time: 0.00
45.92/11.50	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.02
45.92/11.50	c calculated reachability. Time: 0.00
45.92/11.50	c  N st    38    158510       394      1690         0     26134      5095    361970   no data   no data
64.31/16.18	c  N st    39    207101       394      1690         0     20952      5095    242712   no data   no data
76.27/19.10	c  N st    40    237770       394      1690         0     31253      5095    416468   no data   no data
76.27/19.10	c  S st    40    237770       394      1690         0     31253      5095    416468   no data   no data
76.27/19.18	c  S st    40    238273       394      1690         0     31756      5095    426150   no data   no data
76.27/19.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.27/19.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.27/19.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.27/19.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.27/19.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.27/19.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
76.27/19.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.68/19.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.68/19.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.27/19.61	c lits-rem:       173  cl-subs:     2482  v-elim:      0  v-fix:    0  time:  0.39 s
78.27/19.61	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
78.27/19.61	c vivif2 --  cl tried    29274 cl shrink        0 lits rem          0 time: 0.00
78.27/19.63	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.02
78.27/19.63	c calculated reachability. Time: 0.00
78.27/19.63	c  N st    40    238273       394      1690         0     29274      5095    385266   no data   no data
107.43/26.92	c  F st    41    306250       394      1690         0     31195      5095    387193   no data   no data
107.43/26.92	c  N st    41    306250       394      1690         0     31195      5095    387193   no data   no data
109.83/27.50	c Decided on static restart strategy
120.62/30.25	c  N st    51    334554       394      1690         0     35382      5095    443384   no data   no data
131.00/32.88	c  N st    53    357410       394      1690         0     33263      5095    398913   no data   no data
131.00/32.88	c  S st    53    357410       394      1690         0     33263      5095    398913   no data   no data
131.40/32.96	c  S st    53    357910       394      1690         0     33762      5095    409499   no data   no data
131.40/32.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.40/32.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.40/32.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.40/32.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.40/32.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.40/32.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
131.40/32.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.40/32.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.40/32.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.60/33.27	c lits-rem:       172  cl-subs:     1928  v-elim:      0  v-fix:    0  time:  0.28 s
132.60/33.27	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
132.60/33.27	c vivif2 --  cl tried    31834 cl shrink        0 lits rem          0 time: 0.00
132.60/33.29	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.02
132.60/33.29	c calculated reachability. Time: 0.00
132.60/33.29	c  N st    53    357910       394      1690         0     31834      5095    376626   no data   no data
148.97/37.30	c  N st    54    390303       394      1690         0     37963      5095    484145   no data   no data
174.54/43.75	c  N st    55    438891       394      1690         0     31844      5095    338843   no data   no data
216.48/54.28	c  N st    56    511773       394      1690         0     45065      5095    567865   no data   no data
229.66/57.54	c  N st    57    536868       394      1690         0     39474      5095    478389   no data   no data
229.66/57.54	c  S st    57    536868       394      1690         0     39474      5095    478389   no data   no data
230.06/57.64	c  S st    57    537370       394      1690         0     39975      5095    488526   no data   no data
230.06/57.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
230.06/57.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
230.06/57.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
230.06/57.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
230.06/57.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.06/57.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
230.06/57.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
230.06/57.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
230.06/57.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.67/58.04	c lits-rem:       305  cl-subs:     1610  v-elim:      0  v-fix:    0  time:  0.36 s
231.67/58.04	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
231.67/58.04	c vivif2 --  cl tried    38365 cl shrink        0 lits rem          0 time: 0.01
231.67/58.07	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.02
231.67/58.07	c calculated reachability. Time: 0.00
231.67/58.07	c  N st    57    537370       394      1690         0     38365      5095    456996   no data   no data
327.13/81.90	c  N st    58    701354       394      1690         0     67252      5095    934848   no data   no data
395.44/99.01	c  N st    59    806055       394      1690         0     61044      5095    774147   no data   no data
395.44/99.01	c  S st    59    806055       394      1690         0     61044      5095    774147   no data   no data
395.84/99.19	c  S st    59    806556       394      1690         0     61543      5095    783981   no data   no data
395.84/99.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
396.24/99.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
396.24/99.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.24/99.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
396.24/99.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
396.24/99.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
396.24/99.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.24/99.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
396.24/99.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
405.43/101.50	c lits-rem:       585  cl-subs:     8041  v-elim:      0  v-fix:    0  time:  2.25 s
405.43/101.50	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
405.43/101.51	c vivif2 --  cl tried    53502 cl shrink        0 lits rem          0 time: 0.01
405.43/101.55	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.04
405.43/101.55	c calculated reachability. Time: 0.00
405.43/101.55	c  N st    59    806556       394      1690         0     53502      5095    650833   no data   no data
601.56/150.62	c  F st    60   1071877       394      1690         0     69209      5095    846933   no data   no data
601.56/150.62	c  N st    60   1071877       394      1690         0     69209      5095    846933   no data   no data
606.35/151.89	c Decided on static restart strategy
627.13/157.04	c  N st    70   1100182       394      1690         0     53407      5095    577040   no data   no data
658.28/164.84	c  N st    72   1136175       394      1690         0     88025      5095   1229849   no data   no data
682.66/170.92	c  N st    73   1168567       394      1690         0     75153      5095    986467   no data   no data
714.22/178.87	c  N st    74   1209836       394      1690         0     69678      5095    868419   no data   no data
714.22/178.87	c  S st    74   1209836       394      1690         0     69678      5095    868419   no data   no data
715.01/179.09	c  S st    74   1210339       394      1690         0     70177      5095    878548   no data   no data
715.01/179.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
715.41/179.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
715.41/179.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
715.41/179.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
715.41/179.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
715.41/179.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
715.41/179.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
715.41/179.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
715.41/179.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
723.00/181.05	c lits-rem:       305  cl-subs:     5815  v-elim:      0  v-fix:    0  time:  1.89 s
723.00/181.05	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
723.00/181.06	c vivif2 --  cl tried    64362 cl shrink        0 lits rem          0 time: 0.01
723.42/181.11	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.05
723.42/181.11	c calculated reachability. Time: 0.00
723.42/181.11	c  N st    74   1210339       394      1690         0     64362      5095    781412   no data   no data
790.11/197.87	c  N st    75   1283222       394      1690         0     88676      5095   1256277   no data   no data
890.77/223.05	c  N st    76   1392546       394      1690         0     49325      5095    425162   no data   no data
1034.99/259.12	c  N st    77   1556532       394      1690         0     54039      5095    480907   no data   no data
1172.40/293.53	c  N st    78   1710339       394      1690         0     95055      5095   1263542   no data   no data
1172.40/293.53	c  S st    78   1710339       394      1690         0     95055      5095   1263542   no data   no data
1173.59/293.83	c  S st    78   1710843       394      1690         0     95556      5095   1274265   no data   no data
1173.59/293.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1173.59/293.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1173.59/293.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1173.59/293.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1173.59/293.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1173.59/293.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
1173.59/293.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1173.99/293.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1173.99/293.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1195.56/299.31	c lits-rem:       947  cl-subs:     9254  v-elim:      0  v-fix:    0  time:  5.37 s
1195.56/299.31	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1195.56/299.32	c vivif2 --  cl tried    86302 cl shrink        0 lits rem          0 time: 0.02
1195.96/299.41	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
1195.96/299.41	c calculated reachability. Time: 0.00
1195.96/299.41	c  N st    78   1710843       394      1690         0     86302      5095   1117824   no data   no data
1585.04/396.88	c  N st    79   2079807       394      1690         0     97953      5095   1234269   no data   no data
1727.65/432.51	c  N st    80   2210843       394      1690         0    101753      5095   1291895   no data   no data
1727.65/432.51	c  S st    80   2210843       394      1690         0    101753      5095   1291895   no data   no data
1728.85/432.87	c  S st    80   2211344       394      1690         0    102253      5095   1301832   no data   no data
1728.85/432.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1729.25/432.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.04
1729.25/432.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1729.25/432.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1729.25/432.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1729.25/432.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
1729.25/432.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1729.25/432.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1729.25/432.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1752.81/438.84	c lits-rem:       859  cl-subs:    10992  v-elim:      0  v-fix:    0  time:  5.86 s
1752.81/438.84	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
1752.81/438.86	c vivif2 --  cl tried    91261 cl shrink        0 lits rem          0 time: 0.02
1753.21/438.95	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.09
1753.21/438.96	c calculated reachability. Time: 0.00
1753.21/438.96	c  N st    80   2211344       394      1690         0     91261      5095   1119095   no data   no data
2322.46/581.41	c  N st    81   2711345       394      1690         0    114694      5095   1448512   no data   no data
2322.46/581.41	c  S st    81   2711345       394      1690         0    114694      5095   1448512   no data   no data
2324.04/581.84	c  S st    81   2711848       394      1690         0    115191      5095   1459308   no data   no data
2324.04/581.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2324.44/581.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2324.44/581.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2324.44/581.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2324.44/581.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2324.44/581.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
2324.44/581.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2324.44/581.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2324.44/581.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2355.59/589.75	c lits-rem:       532  cl-subs:    14329  v-elim:      0  v-fix:    0  time:  7.78 s
2355.59/589.75	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
2355.59/589.77	c vivif2 --  cl tried   100862 cl shrink        0 lits rem          0 time: 0.02
2355.99/589.88	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.11
2355.99/589.88	c calculated reachability. Time: 0.00
2355.99/589.88	c  N st    81   2711848       394      1690         0    100862      5095   1230539   no data   no data
2976.37/745.15	c  N st    82   3211848       394      1690         0     77746      5095    684284   no data   no data
2976.37/745.15	c  S st    82   3211848       394      1690         0     77746      5095    684284   no data   no data
2977.17/745.38	c  S st    82   3212353       394      1690         0     78248      5095    694390   no data   no data
2977.17/745.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2977.58/745.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
2977.58/745.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2977.58/745.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2977.58/745.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2977.58/745.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
2977.58/745.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2977.58/745.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2977.58/745.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2978.36/745.62	c lits-rem:        16  cl-subs:      522  v-elim:      0  v-fix:    0  time:  0.17 s
2978.36/745.62	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
2978.36/745.63	c vivif2 --  cl tried    77726 cl shrink        0 lits rem          0 time: 0.01
2978.76/745.70	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.07
2978.76/745.70	c calculated reachability. Time: 0.00
2978.76/745.70	c  N st    82   3212353       394      1690         0     77726      5095    687066   no data   no data
3627.49/908.13	c  N st    83   3712353       394      1690         0     87908      5095    819525   no data   no data
3627.49/908.13	c  S st    83   3712353       394      1690         0     87908      5095    819525   no data   no data
3628.68/908.40	c  S st    83   3712856       394      1690         0     88408      5095    829196   no data   no data
3628.68/908.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3628.68/908.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3628.68/908.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3628.68/908.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3628.68/908.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3628.68/908.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
3628.68/908.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3628.68/908.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3628.68/908.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3630.69/908.98	c lits-rem:        71  cl-subs:     1913  v-elim:      0  v-fix:    0  time:  0.50 s
3630.69/908.98	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
3631.09/909.00	c vivif2 --  cl tried    86495 cl shrink        0 lits rem          0 time: 0.01
3631.09/909.07	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.08
3631.09/909.08	c calculated reachability. Time: 0.00
3631.09/909.08	c  N st    83   3712856       394      1690         0     86495      5095    797803   no data   no data
3679.41/921.18	c  F st    84   3751563       394      1690         0    123530      5095   1512609   no data   no data
3679.41/921.18	c  N st    84   3751563       394      1690         0    123530      5095   1512609   no data   no data
3688.21/923.37	c Decided on static restart strategy
3726.15/932.85	c  N st    94   3779870       394      1690         0    150706      5095   2053884   no data   no data
3776.09/945.32	c  N st    96   3815866       394      1690         0    103805      5095   1097586   no data   no data
3818.43/955.98	c  N st    97   3848258       394      1690         0    134887      5095   1705959   no data   no data
3885.14/972.66	c  N st    98   3896847       394      1690         0     99178      5095   1033779   no data   no data
4007.37/1003.25	c  N st    99   3969730       394      1690         0     85749      5095    749844   no data   no data
4151.19/1039.22	c  N st   100   4079055       394      1690         0    105955      5095   1127016   no data   no data
4334.54/1085.17	c  N st   101   4212856       394      1690         0    148711      5095   1966705   no data   no data
4334.54/1085.17	c  S st   101   4212856       394      1690         0    148711      5095   1966705   no data   no data
4336.93/1085.74	c  S st   101   4213362       394      1690         0    149216      5095   1977206   no data   no data
4336.93/1085.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4337.33/1085.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4337.33/1085.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4337.33/1085.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4337.33/1085.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4337.33/1085.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    394 time:  0.00 s
4337.33/1085.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4337.33/1085.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4337.73/1085.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4411.63/1104.47	c lits-rem:       943  cl-subs:    18225  v-elim:      0  v-fix:    0  time: 18.56 s
4411.63/1104.47	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
4412.03/1104.50	c vivif2 --  cl tried   130991 cl shrink        0 lits rem          0 time: 0.03
4412.43/1104.65	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.15
4412.43/1104.66	c calculated reachability. Time: 0.00
4412.43/1104.66	c  N st   101   4213362       394      1690         0    130991      5095   1668133   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3173886-1304072475/watcher-3173886-1304072475 -o /tmp/evaluation-result-3173886-1304072475/solver-3173886-1304072475 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173886-1304072475.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=14880 CPUtime=0 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4194304 109 0 0 0 0 0 0 0 23 0 1 0 518845200 15237120 64 33554432000 4194304 4627427 140733309758064 18446744073709551615 218900807303 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/493/statm: 3720 67 51 106 0 49 0
[pid=493/tid=494] ppid=491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 518845200 52441088 347 33554432000 4194304 4627427 140733309758064 18446744073709551615 47705269811122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518845200 52441088 347 33554432000 4194304 4627427 140733309758064 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=493/tid=496] ppid=491 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518845200 52441088 347 33554432000 4194304 4627427 140733309758064 18446744073709551615 47705269811122 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.757008 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=284920 CPUtime=3 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 4447 0 0 0 299 1 0 0 18 0 4 0 518845200 291758080 2284 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 71230 2284 385 106 0 66201 0
[pid=493/tid=494] ppid=491 vsize=284920 CPUtime=0.74 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 995 0 0 0 74 0 0 0 18 0 4 0 518845200 291758080 2284 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=284920 CPUtime=0.74 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 987 0 0 0 74 0 0 0 19 0 4 0 518845200 291758080 2284 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=284920 CPUtime=0.74 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 981 0 0 0 74 0 0 0 18 0 4 0 518845200 291758080 2284 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 284920

[startup+0.800915 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=284920 CPUtime=3.17 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 4542 0 0 0 316 1 0 0 18 0 4 0 518845200 291758080 2379 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 71230 2379 385 106 0 66201 0
[pid=493/tid=494] ppid=491 vsize=284920 CPUtime=0.79 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 1017 0 0 0 79 0 0 0 18 0 4 0 518845200 291758080 2379 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=284920 CPUtime=0.78 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 1007 0 0 0 78 0 0 0 19 0 4 0 518845200 291758080 2379 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=284920 CPUtime=0.79 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 1011 0 0 0 79 0 0 0 18 0 4 0 518845200 291758080 2379 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 284920

[startup+0.900898 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=284920 CPUtime=3.57 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 4760 0 0 0 356 1 0 0 19 0 4 0 518845200 291758080 2597 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 71230 2597 385 106 0 66201 0
[pid=493/tid=494] ppid=491 vsize=284920 CPUtime=0.89 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 1070 0 0 0 89 0 0 0 19 0 4 0 518845200 291758080 2597 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=284920 CPUtime=0.88 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 1060 0 0 0 88 0 0 0 19 0 4 0 518845200 291758080 2597 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=284920 CPUtime=0.89 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 1077 0 0 0 89 0 0 0 19 0 4 0 518845200 291758080 2597 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284920

[startup+1.00088 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=285256 CPUtime=3.97 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 5032 0 0 0 396 1 0 0 19 0 4 0 518845200 292102144 2869 33554432000 4194304 4627427 140733309758064 18446744073709551615 4329673 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 71314 2869 386 106 0 66285 0
[pid=493/tid=494] ppid=491 vsize=285256 CPUtime=0.99 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 1132 0 0 0 99 0 0 0 19 0 4 0 518845200 292102144 2869 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=285256 CPUtime=0.98 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 1127 0 0 0 98 0 0 0 19 0 4 0 518845200 292102144 2869 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=285256 CPUtime=0.99 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 1152 0 0 0 99 0 0 0 19 0 4 0 518845200 292102144 2869 33554432000 4194304 4627427 140733309758064 18446744073709551615 4306167 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285256

[startup+1.50079 s]
/proc/loadavg: 6.41 7.75 7.71 3/172 493
/proc/meminfo: memFree=27780400/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=290420 CPUtime=5.97 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 7593 0 0 0 595 2 0 0 20 0 4 0 518845200 297390080 4336 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 72605 4336 389 106 0 67576 0
[pid=493/tid=494] ppid=491 vsize=290420 CPUtime=1.49 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 1482 0 0 0 149 0 0 0 19 0 4 0 518845200 297390080 4336 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=290420 CPUtime=1.48 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 1485 0 0 0 148 0 0 0 20 0 4 0 518845200 297390080 4336 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=290420 CPUtime=1.49 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 1474 0 0 0 149 0 0 0 20 0 4 0 518845200 297390080 4336 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290420

[startup+3.1005 s]
/proc/loadavg: 6.53 7.75 7.71 9/184 505
/proc/meminfo: memFree=27706072/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=296444 CPUtime=12.36 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 15735 0 0 0 1233 3 0 0 25 0 4 0 518845200 303558656 7891 33554432000 4194304 4627427 140733309758064 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 74111 7891 389 106 0 69082 0
[pid=493/tid=494] ppid=491 vsize=296444 CPUtime=3.08 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 3481 0 0 0 308 0 0 0 25 0 4 0 518845200 303558656 7891 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=296444 CPUtime=3.07 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 4283 0 0 0 307 0 0 0 25 0 4 0 518845200 303558656 7891 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=296444 CPUtime=3.09 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 3780 0 0 0 309 0 0 0 25 0 4 0 518845200 303558656 7891 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296444

[startup+6.30092 s]
/proc/loadavg: 6.53 7.75 7.71 9/184 505
/proc/meminfo: memFree=27688464/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=297184 CPUtime=25.14 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 23912 0 0 0 2509 5 0 0 25 0 4 0 518845200 304316416 10673 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 74296 10673 389 106 0 69267 0
[pid=493/tid=494] ppid=491 vsize=297184 CPUtime=6.28 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 6168 0 0 0 627 1 0 0 25 0 4 0 518845200 304316416 10673 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=297184 CPUtime=6.26 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 6655 0 0 0 625 1 0 0 25 0 4 0 518845200 304316416 10673 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=297184 CPUtime=6.28 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 5280 0 0 0 628 0 0 0 25 0 4 0 518845200 304316416 10673 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297184

[startup+12.7008 s]
/proc/loadavg: 6.76 7.76 7.72 9/184 505
/proc/meminfo: memFree=27649892/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=310452 CPUtime=50.72 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 38166 0 0 0 5064 8 0 0 25 0 4 0 518845200 317902848 15179 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 77613 15179 389 106 0 72584 0
[pid=493/tid=494] ppid=491 vsize=310452 CPUtime=12.69 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 9826 0 0 0 1267 2 0 0 25 0 4 0 518845200 317902848 15182 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=310452 CPUtime=12.63 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 9436 0 0 0 1261 2 0 0 25 0 4 0 518845200 317902848 15182 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=310452 CPUtime=12.69 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 8870 0 0 0 1268 1 0 0 25 0 4 0 518845200 317902848 15182 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 310452

[startup+25.5004 s]
/proc/loadavg: 6.95 7.77 7.72 9/184 506
/proc/meminfo: memFree=27611192/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=305024 CPUtime=101.84 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 57594 0 0 0 10171 13 0 0 25 0 4 0 518845200 312344576 21381 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 76256 21381 389 106 0 71227 0
[pid=493/tid=494] ppid=491 vsize=305024 CPUtime=25.49 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 15356 0 0 0 2546 3 0 0 25 0 4 0 518845200 312344576 21381 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=305024 CPUtime=25.35 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 14787 0 0 0 2532 3 0 0 25 0 4 0 518845200 312344576 21381 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=305024 CPUtime=25.49 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 12775 0 0 0 2547 2 0 0 25 0 4 0 518845200 312344576 21381 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305024

[startup+51.1008 s]
/proc/loadavg: 7.31 7.79 7.73 9/184 506
/proc/meminfo: memFree=27577032/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=318768 CPUtime=204.1 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 83956 0 0 0 20389 21 0 0 25 0 4 0 518845200 326418432 26141 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 79692 26141 389 106 0 74663 0
[pid=493/tid=494] ppid=491 vsize=318768 CPUtime=51.09 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 21413 0 0 0 5104 5 0 0 25 0 4 0 518845200 326418432 26141 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=318768 CPUtime=50.81 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 22580 0 0 0 5075 6 0 0 25 0 4 0 518845200 326418432 26141 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=318768 CPUtime=51.08 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 18130 0 0 0 5105 3 0 0 25 0 4 0 518845200 326418432 26141 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 318768

[startup+102.301 s]
/proc/loadavg: 7.70 7.82 7.74 9/184 508
/proc/meminfo: memFree=27526288/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=329832 CPUtime=408.63 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 128781 0 0 0 40827 36 0 0 25 0 4 0 518845200 337747968 33108 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 82458 33108 389 106 0 77429 0
[pid=493/tid=494] ppid=491 vsize=329832 CPUtime=102.28 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 31147 0 0 0 10220 8 0 0 25 0 4 0 518845200 337747968 33108 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=329832 CPUtime=101.73 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 32448 0 0 0 10164 9 0 0 25 0 4 0 518845200 337747968 33108 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=329832 CPUtime=102.29 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 30118 0 0 0 10221 8 0 0 25 0 4 0 518845200 337747968 33108 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 329832

[startup+162.301 s]

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

[pid=493] ppid=491 vsize=491168 CPUtime=2565.72 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 405553 0 0 0 256432 140 0 0 25 0 4 0 518845200 502956032 75550 33554432000 4194304 4627427 140733309758064 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 122792 75550 389 106 0 117763 0
[pid=493/tid=494] ppid=491 vsize=491168 CPUtime=642.3 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 100157 0 0 0 64195 35 0 0 25 0 4 0 518845200 502956032 75550 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=491168 CPUtime=638.77 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 104028 0 0 0 63841 36 0 0 25 0 4 0 518845200 502956032 75550 33554432000 4194304 4627427 140733309758064 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=491168 CPUtime=642.3 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 90688 0 0 0 64202 28 0 0 25 0 4 0 518845200 502956032 75550 33554432000 4194304 4627427 140733309758064 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 491168

[startup+702.301 s]
/proc/loadavg: 8.06 8.06 7.89 9/184 524
/proc/meminfo: memFree=27155044/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=502988 CPUtime=2805.4 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 425572 0 0 0 280389 151 0 0 25 0 4 0 518845200 515059712 82525 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 125747 82525 389 106 0 120718 0
[pid=493/tid=494] ppid=491 vsize=502988 CPUtime=702.3 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 102200 0 0 0 70194 36 0 0 25 0 4 0 518845200 515059712 82525 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=502988 CPUtime=698.45 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 108280 0 0 0 69805 40 0 0 25 0 4 0 518845200 515059712 82525 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=502988 CPUtime=702.31 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 97304 0 0 0 70200 31 0 0 25 0 4 0 518845200 515059712 82525 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 502988

[startup+762.301 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 525
/proc/meminfo: memFree=27140376/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=491508 CPUtime=3045.07 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 444892 0 0 0 304346 161 0 0 25 0 4 0 518845200 503304192 81733 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 122877 81733 389 106 0 117848 0
[pid=493/tid=494] ppid=491 vsize=491508 CPUtime=762.31 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 106715 0 0 0 76193 38 0 0 25 0 4 0 518845200 503304192 81733 33554432000 4194304 4627427 140733309758064 18446744073709551615 4327652 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=491508 CPUtime=758.13 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 111559 0 0 0 75771 42 0 0 25 0 4 0 518845200 503304192 81733 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=491508 CPUtime=762.3 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 102721 0 0 0 76197 33 0 0 25 0 4 0 518845200 503304192 81733 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 491508

[startup+822.301 s]
/proc/loadavg: 8.21 8.10 7.93 9/184 527
/proc/meminfo: memFree=27113316/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=545048 CPUtime=3284.77 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 461842 0 0 0 328307 170 0 0 25 0 4 0 518845200 558129152 84192 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 136262 84192 389 106 0 131233 0
[pid=493/tid=494] ppid=491 vsize=545048 CPUtime=822.32 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 107679 0 0 0 82193 39 0 0 25 0 4 0 518845200 558129152 84192 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=545048 CPUtime=817.79 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 118950 0 0 0 81735 44 0 0 25 0 4 0 518845200 558129152 84192 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=545048 CPUtime=822.31 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 105376 0 0 0 82196 35 0 0 25 0 4 0 518845200 558129152 84192 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 545048

[startup+882.3 s]
/proc/loadavg: 8.22 8.11 7.94 9/184 529
/proc/meminfo: memFree=27149236/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=557952 CPUtime=3524.43 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 485622 0 0 0 352262 181 0 0 25 0 4 0 518845200 571342848 80920 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 139488 80920 389 106 0 134459 0
[pid=493/tid=494] ppid=491 vsize=557952 CPUtime=882.3 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 114789 0 0 0 88189 41 0 0 25 0 4 0 518845200 571342848 80920 33554432000 4194304 4627427 140733309758064 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=557952 CPUtime=877.47 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 125982 0 0 0 87698 49 0 0 25 0 4 0 518845200 571342848 80920 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=557952 CPUtime=882.31 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 107871 0 0 0 88195 36 0 0 25 0 4 0 518845200 571342848 80920 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 557952

[startup+942.306 s]
/proc/loadavg: 8.19 8.12 7.95 9/184 530
/proc/meminfo: memFree=27090928/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=558248 CPUtime=3764.12 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 507243 0 0 0 376221 191 0 0 25 0 4 0 518845200 571645952 86224 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 139562 86224 389 106 0 134533 0
[pid=493/tid=494] ppid=491 vsize=558248 CPUtime=942.32 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 120758 0 0 0 94187 45 0 0 25 0 4 0 518845200 571645952 86224 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=558248 CPUtime=937.14 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 131476 0 0 0 93662 52 0 0 25 0 4 0 518845200 571645952 86224 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=558248 CPUtime=942.32 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 112356 0 0 0 94194 38 0 0 25 0 4 0 518845200 571645952 86224 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 558248

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 7.96 9/184 532
/proc/meminfo: memFree=27088544/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=561396 CPUtime=4003.78 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 524975 0 0 0 400178 200 0 0 25 0 4 0 518845200 574869504 86903 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 140349 86903 389 106 0 135320 0
[pid=493/tid=494] ppid=491 vsize=561396 CPUtime=1002.31 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 126251 0 0 0 100184 47 0 0 25 0 4 0 518845200 574869504 86903 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=561396 CPUtime=996.81 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 136222 0 0 0 99626 55 0 0 25 0 4 0 518845200 574869504 86903 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=561396 CPUtime=1002.31 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 115250 0 0 0 100192 39 0 0 25 0 4 0 518845200 574869504 86903 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 561396

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 7.96 9/184 533
/proc/meminfo: memFree=27102276/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=560740 CPUtime=4243.46 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 544117 0 0 0 424136 210 0 0 25 0 4 0 518845200 574197760 85948 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 140185 85948 389 106 0 135156 0
[pid=493/tid=494] ppid=491 vsize=560740 CPUtime=1062.31 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 131857 0 0 0 106182 49 0 0 25 0 4 0 518845200 574197760 85948 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=560740 CPUtime=1056.48 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 141641 0 0 0 105591 57 0 0 25 0 4 0 518845200 574197760 85948 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=560740 CPUtime=1062.32 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 117428 0 0 0 106191 41 0 0 25 0 4 0 518845200 574197760 85948 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 560740

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 7.97 9/184 535
/proc/meminfo: memFree=27059696/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=613732 CPUtime=4483.14 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 563366 0 0 0 448094 220 0 0 25 0 4 0 518845200 628461568 93671 33554432000 4194304 4627427 140733309758064 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 153433 93671 389 106 0 148404 0
[pid=493/tid=494] ppid=491 vsize=613732 CPUtime=1122.31 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 136883 0 0 0 112180 51 0 0 25 0 4 0 518845200 628461568 93671 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=613732 CPUtime=1116.15 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 147153 0 0 0 111555 60 0 0 25 0 4 0 518845200 628461568 93671 33554432000 4194304 4627427 140733309758064 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=613732 CPUtime=1122.32 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 121925 0 0 0 112188 44 0 0 25 0 4 0 518845200 628461568 93671 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 613732

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 7.97 9/184 537
/proc/meminfo: memFree=27046276/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=576652 CPUtime=4722.81 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 579995 0 0 0 472053 228 0 0 25 0 4 0 518845200 590491648 97593 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 144163 97593 389 106 0 139134 0
[pid=493/tid=494] ppid=491 vsize=576652 CPUtime=1182.32 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 139895 0 0 0 118179 53 0 0 25 0 4 0 518845200 590491648 97593 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=576652 CPUtime=1175.82 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 152269 0 0 0 117519 63 0 0 25 0 4 0 518845200 590491648 97593 33554432000 4194304 4627427 140733309758064 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=576652 CPUtime=1182.32 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 125193 0 0 0 118187 45 0 0 25 0 4 0 518845200 590491648 97593 33554432000 4194304 4627427 140733309758064 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 576652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.10 7.97 9/184 537
/proc/meminfo: memFree=27040564/32951124 swapFree=67111356/67111528
[pid=493] ppid=491 vsize=628028 CPUtime=4800.31 cores=1,3,5,7
/proc/493/stat : 493 (strangenight2-m) R 491 493 32444 0 -1 4202496 584627 0 0 0 479802 229 0 0 25 0 4 0 518845200 643100672 98340 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/493/statm: 157007 98340 389 106 0 151978 0
[pid=493/tid=494] ppid=491 vsize=628028 CPUtime=1201.72 cores=1,3,5,7
/proc/493/task/494/stat : 494 (strangenight2-m) R 491 493 32444 0 -1 4202560 141985 0 0 0 120119 53 0 0 25 0 4 0 518845200 643100672 98341 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=493/tid=495] ppid=491 vsize=628028 CPUtime=1195.12 cores=1,3,5,7
/proc/493/task/495/stat : 495 (strangenight2-m) R 491 493 32444 0 -1 4202560 152821 0 0 0 119449 63 0 0 25 0 4 0 518845200 643100672 98341 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=493/tid=496] ppid=491 vsize=628028 CPUtime=1201.73 cores=1,3,5,7
/proc/493/task/496/stat : 496 (strangenight2-m) R 491 493 32444 0 -1 4202560 125206 0 0 0 120128 45 0 0 25 0 4 0 518845200 643100672 98341 33554432000 4194304 4627427 140733309758064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 628028

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.73
CPU time (s): 4800.37
CPU user time (s): 4798.06
CPU system time (s): 2.31565
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 628028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.06
system time used= 2.31565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584628
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= 410
involuntary context switches= 32275

runsolver used 1.83472 second user time and 4.73928 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 12:21:15
IDJOB=3173886
IDBENCH=82704
IDSOLVER=1586
FILE ID=node137/3173886-1304072475
RUNJOBID= node137-1304072475-479
PBS_JOBID= 13170471
Free space on /tmp= 71620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173886-1304072475/watcher-3173886-1304072475 -o /tmp/evaluation-result-3173886-1304072475/solver-3173886-1304072475 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173886-1304072475.cnf

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

MD5SUM BENCH= b444591b86255859f3a5d3b876e65166
RANDOM SEED=1989568191

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27780440 kB
Buffers:        905368 kB
Cached:        3736912 kB
SwapCached:         56 kB
Active:         309340 kB
Inactive:      4395564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27780440 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11440 kB
Writeback:           0 kB
AnonPages:       62868 kB
Mapped:          14484 kB
Slab:           401448 kB
PageTables:       4312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184252 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= 71608 MiB
End job on node137 at 2011-04-29 12:41:19