Trace number 3173928

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.41 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
MD5SUM7ce6e28d94f25a5004daf47b6c05c693
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark935.616
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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-3173928-1304073557.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 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.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     222 undec:      57 neg:     221
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       489      2119         0         0      6429         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.44/0.15	c  N st     8      4915       489      2119         0      4840      6429    108755   no data   no data
1.65/0.42	c  N st    10     11301       489      2119         0      4479      6429     73085   no data   no data
2.78/0.72	c  N st    11     17044       489      2119         0     10077      6429    199803   no data   no data
3.98/1.04	c  F st    12     25001       489      2119         0     12350      6429    235733   no data   no data
3.98/1.04	c  N st    12     25001       489      2119         0     12350      6429    235733   no data   no data
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30000       489      2119         0     10653      6429    190034   no data   no data
5.17/1.30	c  S st    18     30000       489      2119         0     10653      6429    190034   no data   no data
5.17/1.33	c  S st    18     30506       489      2119         0     11158      6429    200781   no data   no data
5.17/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.33	c blocked clauses removed:        0 vars:      0 tried:         489 T: 0.00 s
5.17/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
5.17/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c lits-rem:       101  cl-subs:      564  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.39	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
5.17/1.39	c calculated reachability. Time: 0.00
5.17/1.39	c  N st    18     30506       489      2119         0     10594      6429    188105   no data   no data
7.17/1.80	c  N st    20     37618       489      2119         0      9868      6429    155646   no data   no data
8.37/2.18	c  N st    21     44017       489      2119         0     16154      6429    305867   no data   no data
8.78/2.30	c  S st    22     45759       489      2119         0      9091      6429    122616   no data   no data
9.19/2.33	c  S st    22     46262       489      2119         0      9593      6429    134073   no data   no data
9.19/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.35	c lits-rem:        18  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.35	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
9.19/2.35	c vivif2 --  cl tried     9542 cl shrink        0 lits rem          0 time: 0.00
9.19/2.35	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.00
9.19/2.35	c calculated reachability. Time: 0.00
9.19/2.35	c  N st    22     46262       489      2119         0      9542      6429    132807   no data   no data
12.77/3.28	c  N st    23     60659       489      2119         0     13810      6429    229200   no data   no data
15.55/3.95	c  N st    24     69394       489      2119         0     11599      6429    163509   no data   no data
15.55/3.95	c  S st    24     69394       489      2119         0     11599      6429    163509   no data   no data
15.55/3.99	c  S st    24     69897       489      2119         0     12102      6429    175125   no data   no data
15.55/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
15.55/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.03	c lits-rem:        59  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.03 s
15.95/4.03	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
15.95/4.03	c vivif2 --  cl tried    11807 cl shrink        0 lits rem          0 time: 0.00
15.95/4.03	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
15.95/4.03	c calculated reachability. Time: 0.00
15.95/4.03	c  N st    24     69897       489      2119         0     11807      6429    168650   no data   no data
20.75/5.29	c  F st    25     87500       489      2119         0     17344      6429    302132   no data   no data
20.75/5.29	c  N st    25     87500       489      2119         0     17344      6429    302132   no data   no data
22.75/5.79	c Decided on static restart strategy
23.95/6.08	c  N st    32     95536       489      2119         0     25203      6429    478609   no data   no data
26.76/6.75	c  N st    34    104845       489      2119         0     21605      6429    366665   no data   no data
26.76/6.75	c  S st    34    104845       489      2119         0     21605      6429    366665   no data   no data
27.14/6.81	c  S st    34    105347       489      2119         0     22107      6429    377900   no data   no data
27.14/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
27.14/6.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.96	c lits-rem:       154  cl-subs:      798  v-elim:      0  v-fix:    0  time:  0.13 s
27.53/6.96	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
27.53/6.96	c vivif2 --  cl tried    21309 cl shrink        0 lits rem          0 time: 0.00
27.53/6.97	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
27.53/6.98	c calculated reachability. Time: 0.00
27.53/6.98	c  N st    34    105347       489      2119         0     21309      6429    360192   no data   no data
30.34/7.70	c  N st    35    114947       489      2119         0     17056      6429    243394   no data   no data
35.93/9.03	c  N st    36    129346       489      2119         0     16417      6429    216869   no data   no data
43.53/10.94	c  N st    37    150941       489      2119         0     21926      6429    338387   no data   no data
45.92/11.51	c  S st    38    158022       489      2119         0     28893      6429    513575   no data   no data
45.92/11.59	c  S st    38    158529       489      2119         0     29399      6429    525142   no data   no data
45.92/11.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.32/11.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.32/11.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.32/11.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.32/11.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
46.32/11.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.32/11.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.32/11.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.98	c lits-rem:       165  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  0.36 s
47.51/11.98	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
47.51/11.99	c vivif2 --  cl tried    27968 cl shrink        0 lits rem          0 time: 0.01
47.91/12.01	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
47.91/12.01	c calculated reachability. Time: 0.00
47.91/12.01	c  N st    38    158529       489      2119         0     27968      6429    488868   no data   no data
66.31/16.69	c  N st    39    207117       489      2119         0     22627      6429    314353   no data   no data
79.08/19.85	c  N st    40    237793       489      2119         0     33023      6429    559148   no data   no data
79.08/19.85	c  S st    40    237793       489      2119         0     33023      6429    559148   no data   no data
79.49/19.94	c  S st    40    238295       489      2119         0     33524      6429    570833   no data   no data
79.49/19.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.49/19.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.49/19.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.49/19.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.49/19.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.49/19.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
79.49/19.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.49/19.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.49/19.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.48	c lits-rem:       502  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  0.50 s
81.46/20.48	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
81.46/20.49	c vivif2 --  cl tried    32086 cl shrink        0 lits rem          0 time: 0.01
81.86/20.51	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
81.86/20.51	c calculated reachability. Time: 0.00
81.86/20.51	c  N st    40    238295       489      2119         0     32086      6429    533605   no data   no data
111.82/28.05	c  F st    41    306250       489      2119         0     34010      6429    543776   no data   no data
111.82/28.05	c  N st    41    306250       489      2119         0     34010      6429    543776   no data   no data
114.23/28.67	c Decided on static restart strategy
124.60/31.26	c  N st    51    334556       489      2119         0     38386      6429    622730   no data   no data
135.39/33.99	c  N st    53    357442       489      2119         0     36284      6429    556779   no data   no data
135.39/33.99	c  S st    53    357442       489      2119         0     36284      6429    556779   no data   no data
135.79/34.09	c  S st    53    357946       489      2119         0     36788      6429    568791   no data   no data
135.79/34.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.79/34.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
135.79/34.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.79/34.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.79/34.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.79/34.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
135.79/34.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.20/34.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.20/34.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.78/34.50	c lits-rem:       128  cl-subs:     1380  v-elim:      0  v-fix:    0  time:  0.37 s
137.78/34.50	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
137.78/34.51	c vivif2 --  cl tried    35408 cl shrink        0 lits rem          0 time: 0.01
137.78/34.53	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
137.78/34.53	c calculated reachability. Time: 0.00
137.78/34.53	c  N st    53    357946       489      2119         0     35408      6429    533963   no data   no data
154.56/38.74	c  N st    54    390338       489      2119         0     41600      6429    652216   no data   no data
180.93/45.30	c  N st    55    438927       489      2119         0     35179      6429    466405   no data   no data
224.89/56.34	c  N st    56    511811       489      2119         0     48515      6429    729537   no data   no data
240.07/60.16	c  N st    57    536920       489      2119         0     42873      6429    621854   no data   no data
240.07/60.16	c  S st    57    536920       489      2119         0     42873      6429    621854   no data   no data
240.47/60.27	c  S st    57    537426       489      2119         0     43375      6429    633523   no data   no data
240.47/60.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.47/60.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.47/60.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.47/60.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.47/60.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.47/60.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
240.47/60.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.87/60.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.87/60.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.26/60.95	c lits-rem:       346  cl-subs:     1851  v-elim:      0  v-fix:    0  time:  0.63 s
243.26/60.95	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
243.26/60.96	c vivif2 --  cl tried    41524 cl shrink        0 lits rem          0 time: 0.01
243.26/60.98	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.03
243.26/60.99	c calculated reachability. Time: 0.00
243.26/60.99	c  N st    57    537426       489      2119         0     41524      6429    590219   no data   no data
357.52/89.52	c  N st    58    701410       489      2119         0     35704      6429    363811   no data   no data
432.63/108.34	c  N st    59    806139       489      2119         0     64673      6429   1067159   no data   no data
432.63/108.34	c  S st    59    806139       489      2119         0     64673      6429   1067159   no data   no data
433.43/108.55	c  S st    59    806645       489      2119         0     65178      6429   1078514   no data   no data
433.43/108.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
433.43/108.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
433.43/108.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
433.43/108.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
433.43/108.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
433.43/108.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
433.43/108.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
433.83/108.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
433.83/108.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.81/111.63	c lits-rem:       715  cl-subs:     4308  v-elim:      0  v-fix:    0  time:  3.00 s
445.81/111.63	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
445.81/111.64	c vivif2 --  cl tried    60870 cl shrink        0 lits rem          0 time: 0.01
445.81/111.69	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.05
446.21/111.70	c calculated reachability. Time: 0.00
446.21/111.70	c  N st    59    806645       489      2119         0     60870      6429    976593   no data   no data
660.34/165.37	c  F st    60   1071876       489      2119         0     76793      6429   1241649   no data   no data
660.34/165.37	c  N st    60   1071876       489      2119         0     76793      6429   1241649   no data   no data
666.33/166.86	c Decided on static restart strategy
687.50/172.16	c  N st    70   1100180       489      2119         0     60617      6429    809496   no data   no data
721.45/180.68	c  N st    72   1136174       489      2119         0     50779      6429    566734   no data   no data
750.22/187.82	c  N st    73   1168567       489      2119         0     82233      6429   1246509   no data   no data
781.77/195.70	c  N st    74   1209967       489      2119         0     76920      6429   1207863   no data   no data
781.77/195.70	c  S st    74   1209967       489      2119         0     76920      6429   1207863   no data   no data
782.59/195.93	c  S st    74   1210474       489      2119         0     77426      6429   1220409   no data   no data
782.59/195.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
782.59/195.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
782.59/195.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
782.59/195.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
782.59/195.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
782.59/195.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
782.59/195.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
782.59/195.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
782.97/196.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
796.95/199.58	c lits-rem:       454  cl-subs:     4250  v-elim:      0  v-fix:    0  time:  3.56 s
796.95/199.58	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
797.35/199.60	c vivif2 --  cl tried    73176 cl shrink        0 lits rem          0 time: 0.02
797.35/199.69	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
797.35/199.69	c calculated reachability. Time: 0.00
797.35/199.69	c  N st    74   1210474       489      2119         0     73176      6429   1124019   no data   no data
879.26/220.16	c  N st    75   1283356       489      2119         0     49809      6429    497983   no data   no data
990.29/247.93	c  N st    76   1392679       489      2119         0     57911      6429    661965   no data   no data
1150.08/287.95	c  N st    77   1556663       489      2119         0     62602      6429    726991   no data   no data
1310.67/328.19	c  N st    78   1710474       489      2119         0    104285      6429   1665258   no data   no data
1310.67/328.19	c  S st    78   1710474       489      2119         0    104285      6429   1665258   no data   no data
1312.27/328.53	c  S st    78   1710980       489      2119         0    104789      6429   1677058   no data   no data
1312.27/328.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1312.27/328.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1312.27/328.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1312.27/328.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1312.27/328.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1312.27/328.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
1312.27/328.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1312.67/328.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1312.67/328.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1355.01/339.27	c lits-rem:      1046  cl-subs:     9723  v-elim:      0  v-fix:    0  time: 10.60 s
1355.01/339.27	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
1355.01/339.29	c vivif2 --  cl tried    95066 cl shrink        0 lits rem          0 time: 0.02
1355.41/339.38	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
1355.41/339.38	c calculated reachability. Time: 0.00
1355.41/339.38	c  N st    78   1710980       489      2119         0     95066      6429   1471032   no data   no data
1774.84/444.31	c  N st    79   2079944       489      2119         0    106522      6429   1671720   no data   no data
1921.04/480.91	c  N st    80   2210981       489      2119         0    110721      6429   1734870   no data   no data
1921.04/480.91	c  S st    80   2210981       489      2119         0    110721      6429   1734870   no data   no data
1922.24/481.27	c  S st    80   2211485       489      2119         0    111222      6429   1746551   no data   no data
1922.24/481.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1922.64/481.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1922.64/481.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1922.64/481.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1922.64/481.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1922.64/481.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
1922.64/481.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1922.64/481.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1923.04/481.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1963.38/491.59	c lits-rem:       876  cl-subs:     8070  v-elim:      0  v-fix:    0  time: 10.18 s
1963.38/491.59	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
1963.78/491.62	c vivif2 --  cl tried   103152 cl shrink        0 lits rem          0 time: 0.02
1964.19/491.72	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.10
1964.19/491.72	c calculated reachability. Time: 0.00
1964.19/491.72	c  N st    80   2211485       489      2119         0    103152      6429   1570736   no data   no data
2578.56/645.56	c  N st    81   2711486       489      2119         0    126951      6429   2122791   no data   no data
2578.56/645.56	c  S st    81   2711486       489      2119         0    126951      6429   2122791   no data   no data
2580.55/646.02	c  S st    81   2711988       489      2119         0    127453      6429   2134723   no data   no data
2580.55/646.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2580.55/646.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2580.55/646.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2580.95/646.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2580.95/646.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2580.95/646.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
2580.95/646.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2580.95/646.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2580.95/646.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2636.49/660.09	c lits-rem:       756  cl-subs:     8152  v-elim:      0  v-fix:    0  time: 13.90 s
2636.49/660.09	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
2636.90/660.12	c vivif2 --  cl tried   119301 cl shrink        0 lits rem          0 time: 0.03
2637.27/660.24	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.12
2637.27/660.25	c calculated reachability. Time: 0.00
2637.27/660.25	c  N st    81   2711988       489      2119         0    119301      6429   1947354   no data   no data
3358.70/840.89	c  N st    82   3211988       489      2119         0     94956      6429   1172644   no data   no data
3358.70/840.89	c  S st    82   3211988       489      2119         0     94956      6429   1172644   no data   no data
3359.90/841.19	c  S st    82   3212489       489      2119         0     95455      6429   1184707   no data   no data
3359.90/841.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3360.30/841.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3360.30/841.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3360.30/841.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3360.30/841.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3360.30/841.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
3360.30/841.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3360.30/841.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3360.70/841.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3367.89/843.11	c lits-rem:       203  cl-subs:     2977  v-elim:      0  v-fix:    0  time:  1.81 s
3367.89/843.11	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
3367.89/843.13	c vivif2 --  cl tried    92478 cl shrink        0 lits rem          0 time: 0.02
3368.28/843.21	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.08
3368.28/843.22	c calculated reachability. Time: 0.00
3368.28/843.22	c  N st    82   3212489       489      2119         0     92478      6429   1116476   no data   no data
4113.67/1029.85	c  N st    83   3712489       489      2119         0    102885      6429   1234408   no data   no data
4113.67/1029.85	c  S st    83   3712489       489      2119         0    102885      6429   1234408   no data   no data
4115.27/1030.20	c  S st    83   3712995       489      2119         0    103390      6429   1246526   no data   no data
4115.27/1030.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4115.27/1030.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4115.27/1030.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4115.27/1030.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4115.27/1030.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4115.27/1030.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
4115.27/1030.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4115.27/1030.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4115.67/1030.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4126.07/1032.99	c lits-rem:       225  cl-subs:     5721  v-elim:      0  v-fix:    0  time:  2.67 s
4126.07/1032.99	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
4126.48/1033.01	c vivif2 --  cl tried    97669 cl shrink        0 lits rem          0 time: 0.02
4126.86/1033.11	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
4126.86/1033.11	c calculated reachability. Time: 0.00
4126.86/1033.11	c  N st    83   3712995       489      2119         0     97669      6429   1129301   no data   no data
4178.81/1046.15	c  F st    84   3751563       489      2119         0    135262      6429   2071023   no data   no data
4178.81/1046.15	c  N st    84   3751563       489      2119         0    135262      6429   2071023   no data   no data
4188.00/1048.46	c Decided on static restart strategy
4231.53/1059.40	c  N st    94   3779866       489      2119         0    162791      6429   2710774   no data   no data
4285.04/1072.76	c  N st    96   3815859       489      2119         0    115556      6429   1525010   no data   no data
4340.57/1086.65	c  N st    97   3848253       489      2119         0    147067      6429   2264469   no data   no data
4408.48/1103.68	c  N st    98   3896841       489      2119         0    110844      6429   1404714   no data   no data
4523.93/1132.51	c  N st    99   3969724       489      2119         0     97211      6429   1055455   no data   no data
4672.91/1169.85	c  N st   100   4079048       489      2119         0    117773      6429   1499756   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-3173928-1304073557/watcher-3173928-1304073557 -o /tmp/evaluation-result-3173928-1304073557/solver-3173928-1304073557 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173928-1304073557.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.42 8.13 7.97 4/176 1015
/proc/meminfo: memFree=24806964/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=282136 CPUtime=0.04 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 1222 0 0 0 4 0 0 0 19 0 4 0 597586144 288907264 1119 33554432000 4194304 4627427 140735544848240 18446744073709551615 252457727009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 70534 1119 384 106 0 65505 0
[pid=1013/tid=1016] ppid=1010 vsize=282136 CPUtime=0.01 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 195 0 0 0 1 0 0 0 20 0 4 0 597586144 288907264 1131 33554432000 4194304 4627427 140735544848240 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=282136 CPUtime=0.01 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 227 0 0 0 1 0 0 0 20 0 4 0 597586144 288907264 1131 33554432000 4194304 4627427 140735544848240 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=282136 CPUtime=0.01 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 139 0 0 0 1 0 0 0 20 0 4 0 597586144 288907264 1131 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.11798 s]
/proc/loadavg: 8.42 8.13 7.97 4/176 1015
/proc/meminfo: memFree=24806964/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=282280 CPUtime=0.44 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 1736 0 0 0 44 0 0 0 19 0 4 0 597586144 289054720 1633 33554432000 4194304 4627427 140735544848240 18446744073709551615 4332978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 70570 1633 384 106 0 65541 0
[pid=1013/tid=1016] ppid=1010 vsize=282280 CPUtime=0.11 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 323 0 0 0 11 0 0 0 20 0 4 0 597586144 289054720 1633 33554432000 4194304 4627427 140735544848240 18446744073709551615 4333037 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=282280 CPUtime=0.11 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 339 0 0 0 11 0 0 0 20 0 4 0 597586144 289054720 1633 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=282280 CPUtime=0.11 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 267 0 0 0 11 0 0 0 20 0 4 0 597586144 289054720 1633 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282280

[startup+0.217961 s]
/proc/loadavg: 8.42 8.13 7.97 4/176 1015
/proc/meminfo: memFree=24806964/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=283420 CPUtime=0.84 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 2346 0 0 0 84 0 0 0 19 0 4 0 597586144 290222080 1695 33554432000 4194304 4627427 140735544848240 18446744073709551615 4321477 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 70855 1695 385 106 0 65826 0
[pid=1013/tid=1016] ppid=1010 vsize=283420 CPUtime=0.21 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 484 0 0 0 21 0 0 0 20 0 4 0 597586144 290222080 1695 33554432000 4194304 4627427 140735544848240 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=283420 CPUtime=0.21 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 482 0 0 0 21 0 0 0 20 0 4 0 597586144 290222080 1695 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=283420 CPUtime=0.21 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 418 0 0 0 21 0 0 0 20 0 4 0 597586144 290222080 1695 33554432000 4194304 4627427 140735544848240 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 283420

[startup+0.317943 s]
/proc/loadavg: 8.42 8.13 7.97 4/176 1015
/proc/meminfo: memFree=24806964/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=283556 CPUtime=1.24 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 2741 0 0 0 124 0 0 0 19 0 4 0 597586144 290361344 2090 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 70889 2090 385 106 0 65860 0
[pid=1013/tid=1016] ppid=1010 vsize=283556 CPUtime=0.3 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 588 0 0 0 30 0 0 0 20 0 4 0 597586144 290361344 2090 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=283556 CPUtime=0.31 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 567 0 0 0 31 0 0 0 20 0 4 0 597586144 290361344 2090 33554432000 4194304 4627427 140735544848240 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=283556 CPUtime=0.31 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 514 0 0 0 31 0 0 0 20 0 4 0 597586144 290361344 2090 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 283556

[startup+0.700873 s]
/proc/loadavg: 8.42 8.13 7.97 4/176 1015
/proc/meminfo: memFree=24806964/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=293144 CPUtime=2.78 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 4305 0 0 0 277 1 0 0 19 0 4 0 597586144 300179456 2821 33554432000 4194304 4627427 140735544848240 18446744073709551615 4503199 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 73286 2827 385 106 0 68257 0
[pid=1013/tid=1016] ppid=1010 vsize=293144 CPUtime=0.69 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 980 0 0 0 69 0 0 0 21 0 4 0 597586144 300179456 2831 33554432000 4194304 4627427 140735544848240 18446744073709551615 4330840 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=293144 CPUtime=0.69 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 904 0 0 0 69 0 0 0 21 0 4 0 597586144 300179456 2836 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=293144 CPUtime=0.69 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 901 0 0 0 69 0 0 0 21 0 4 0 597586144 300179456 2841 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 293144

[startup+1.50072 s]
/proc/loadavg: 8.47 8.14 7.97 10/184 1023
/proc/meminfo: memFree=24786192/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=290420 CPUtime=5.97 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 8433 0 0 0 596 1 0 0 21 0 4 0 597586144 297390080 4602 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 72605 4602 389 106 0 67576 0
[pid=1013/tid=1016] ppid=1010 vsize=290420 CPUtime=1.49 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 1740 0 0 0 149 0 0 0 23 0 4 0 597586144 297390080 4602 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=290420 CPUtime=1.49 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 1605 0 0 0 149 0 0 0 23 0 4 0 597586144 297390080 4603 33554432000 4194304 4627427 140735544848240 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=290420 CPUtime=1.48 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 1637 0 0 0 148 0 0 0 23 0 4 0 597586144 297390080 4603 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290420

[startup+3.10043 s]
/proc/loadavg: 8.47 8.14 7.97 10/184 1023
/proc/meminfo: memFree=24750180/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=290996 CPUtime=12.37 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 17532 0 0 0 1234 3 0 0 25 0 4 0 597586144 297979904 8720 33554432000 4194304 4627427 140735544848240 18446744073709551615 4327424 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 72749 8720 389 106 0 67720 0
[pid=1013/tid=1016] ppid=1010 vsize=290996 CPUtime=3.08 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 3989 0 0 0 308 0 0 0 25 0 4 0 597586144 297979904 8720 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=290996 CPUtime=3.08 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 4458 0 0 0 308 0 0 0 25 0 4 0 597586144 297979904 8720 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=290996 CPUtime=3.07 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 4381 0 0 0 307 0 0 0 25 0 4 0 597586144 297979904 8720 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 290996

[startup+6.30084 s]
/proc/loadavg: 8.43 8.14 7.97 10/184 1023
/proc/meminfo: memFree=24724272/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=292604 CPUtime=25.14 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 27431 0 0 0 2510 4 0 0 25 0 4 0 597586144 299626496 11822 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 73151 11822 389 106 0 68122 0
[pid=1013/tid=1016] ppid=1010 vsize=292604 CPUtime=6.28 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 7335 0 0 0 627 1 0 0 25 0 4 0 597586144 299626496 11822 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=292604 CPUtime=6.29 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 7272 0 0 0 628 1 0 0 25 0 4 0 597586144 299626496 11822 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=292604 CPUtime=6.25 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 6127 0 0 0 625 0 0 0 25 0 4 0 597586144 299626496 11822 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 292604

[startup+12.7006 s]
/proc/loadavg: 8.39 8.14 7.97 10/184 1023
/proc/meminfo: memFree=24685928/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=293948 CPUtime=50.71 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 44248 0 0 0 5063 8 0 0 25 0 4 0 597586144 301002752 18161 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 73487 18161 389 106 0 68458 0
[pid=1013/tid=1016] ppid=1010 vsize=293948 CPUtime=12.69 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 11526 0 0 0 1267 2 0 0 25 0 4 0 597586144 301002752 18161 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=293948 CPUtime=12.68 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 10608 0 0 0 1267 1 0 0 25 0 4 0 597586144 301002752 18161 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=293948 CPUtime=12.62 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 9962 0 0 0 1261 1 0 0 25 0 4 0 597586144 301002752 18161 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 293948

[startup+25.5003 s]
/proc/loadavg: 8.48 8.17 7.98 10/184 1023
/proc/meminfo: memFree=24648876/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=300068 CPUtime=101.83 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 66004 0 0 0 10171 12 0 0 25 0 4 0 597586144 307269632 24351 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 75017 24351 389 106 0 69988 0
[pid=1013/tid=1016] ppid=1010 vsize=300068 CPUtime=25.49 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 18249 0 0 0 2546 3 0 0 25 0 4 0 597586144 307269632 24351 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=300068 CPUtime=25.48 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 17111 0 0 0 2546 2 0 0 25 0 4 0 597586144 307269632 24351 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=300068 CPUtime=25.35 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 13165 0 0 0 2533 2 0 0 25 0 4 0 597586144 307269632 24351 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 300068

[startup+51.1005 s]
/proc/loadavg: 8.29 8.15 7.98 9/184 1054
/proc/meminfo: memFree=24614032/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=304436 CPUtime=204.11 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 96416 0 0 0 20390 21 0 0 25 0 4 0 597586144 311742464 28311 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 76109 28311 389 106 0 71080 0
[pid=1013/tid=1016] ppid=1010 vsize=304436 CPUtime=51.09 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 26070 0 0 0 5104 5 0 0 25 0 4 0 597586144 311742464 28311 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=304436 CPUtime=51.08 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 25195 0 0 0 5103 5 0 0 25 0 4 0 597586144 311742464 28311 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=304436 CPUtime=50.82 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 19394 0 0 0 5078 4 0 0 25 0 4 0 597586144 311742464 28311 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 304436

[startup+102.301 s]
/proc/loadavg: 8.17 8.14 7.99 9/184 1055
/proc/meminfo: memFree=24545436/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=328588 CPUtime=408.67 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 144030 0 0 0 40830 37 0 0 25 0 4 0 597586144 336474112 36328 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 82147 36328 389 106 0 77118 0
[pid=1013/tid=1016] ppid=1010 vsize=328588 CPUtime=102.29 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 39275 0 0 0 10221 8 0 0 25 0 4 0 597586144 336474112 36329 33554432000 4194304 4627427 140735544848240 18446744073709551615 4329710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=328588 CPUtime=102.28 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 36635 0 0 0 10219 9 0 0 25 0 4 0 597586144 336474112 36329 33554432000 4194304 4627427 140735544848240 18446744073709551615 4321445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=328588 CPUtime=101.78 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 30500 0 0 0 10170 8 0 0 25 0 4 0 597586144 336474112 36329 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 328588

[startup+162.301 s]

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

[pid=1013] ppid=1010 vsize=591192 CPUtime=2565.78 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 412212 0 0 0 256437 141 0 0 25 0 4 0 597586144 605380608 89983 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 147798 89983 389 106 0 142769 0
[pid=1013/tid=1016] ppid=1010 vsize=591192 CPUtime=642.31 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 107141 0 0 0 64195 36 0 0 25 0 4 0 597586144 605380608 89983 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=591192 CPUtime=642.24 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 103565 0 0 0 64191 33 0 0 25 0 4 0 597586144 605380608 89983 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=591192 CPUtime=638.89 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 96866 0 0 0 63855 34 0 0 25 0 4 0 597586144 605380608 89983 33554432000 4194304 4627427 140735544848240 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 591192

[startup+702.3 s]
/proc/loadavg: 8.14 8.11 8.01 9/184 1071
/proc/meminfo: memFree=24053460/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=571428 CPUtime=2805.44 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 435490 0 0 0 280394 150 0 0 25 0 4 0 597586144 585142272 93017 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 142857 93017 389 106 0 137828 0
[pid=1013/tid=1016] ppid=1010 vsize=571428 CPUtime=702.31 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 112730 0 0 0 70192 39 0 0 25 0 4 0 597586144 585142272 93017 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=571428 CPUtime=702.23 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 109960 0 0 0 70187 36 0 0 25 0 4 0 597586144 585142272 93017 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=571428 CPUtime=698.57 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 102121 0 0 0 69821 36 0 0 25 0 4 0 597586144 585142272 93017 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 571428

[startup+762.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 1073
/proc/meminfo: memFree=24024408/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=584184 CPUtime=3045.13 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 459121 0 0 0 304353 160 0 0 25 0 4 0 597586144 598204416 96304 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 146046 96304 389 106 0 141017 0
[pid=1013/tid=1016] ppid=1010 vsize=584184 CPUtime=762.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 118739 0 0 0 76190 42 0 0 25 0 4 0 597586144 598204416 96305 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=584184 CPUtime=762.23 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 114319 0 0 0 76185 38 0 0 25 0 4 0 597586144 598204416 96305 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=584184 CPUtime=758.24 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 109017 0 0 0 75786 38 0 0 25 0 4 0 597586144 598204416 96305 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 584184

[startup+822.301 s]
/proc/loadavg: 8.10 8.09 8.01 9/184 1075
/proc/meminfo: memFree=24013956/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=571892 CPUtime=3284.81 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 477718 0 0 0 328312 169 0 0 25 0 4 0 597586144 585617408 94693 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 142973 94693 389 106 0 137944 0
[pid=1013/tid=1016] ppid=1010 vsize=571892 CPUtime=822.31 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 125620 0 0 0 82187 44 0 0 25 0 4 0 597586144 585617408 94693 33554432000 4194304 4627427 140735544848240 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=571892 CPUtime=822.23 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 117942 0 0 0 82183 40 0 0 25 0 4 0 597586144 585617408 94693 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=571892 CPUtime=817.92 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 112879 0 0 0 81752 40 0 0 25 0 4 0 597586144 585617408 94693 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 571892

[startup+882.307 s]
/proc/loadavg: 8.09 8.09 8.01 9/184 1076
/proc/meminfo: memFree=23951420/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=572012 CPUtime=3524.5 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 501888 0 0 0 352271 179 0 0 25 0 4 0 597586144 585740288 101411 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 143003 101411 389 106 0 137974 0
[pid=1013/tid=1016] ppid=1010 vsize=572012 CPUtime=882.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 131678 0 0 0 88185 47 0 0 25 0 4 0 597586144 585740288 101411 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=572012 CPUtime=882.23 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 124609 0 0 0 88180 43 0 0 25 0 4 0 597586144 585740288 101411 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=572012 CPUtime=877.6 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 119158 0 0 0 87718 42 0 0 25 0 4 0 597586144 585740288 101411 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 572012

[startup+942.301 s]
/proc/loadavg: 8.20 8.12 8.02 9/184 1078
/proc/meminfo: memFree=23947908/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=623520 CPUtime=3764.15 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 523368 0 0 0 376227 188 0 0 25 0 4 0 597586144 638484480 99609 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 155880 99609 389 106 0 150851 0
[pid=1013/tid=1016] ppid=1010 vsize=623520 CPUtime=942.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 138234 0 0 0 94182 50 0 0 25 0 4 0 597586144 638484480 99609 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=623520 CPUtime=942.22 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 131648 0 0 0 94176 46 0 0 25 0 4 0 597586144 638484480 99609 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=623520 CPUtime=937.27 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 122651 0 0 0 93684 43 0 0 25 0 4 0 597586144 638484480 99609 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 623520

[startup+1002.3 s]
/proc/loadavg: 8.19 8.12 8.03 9/184 1079
/proc/meminfo: memFree=23897280/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=625164 CPUtime=4003.82 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 545171 0 0 0 400186 196 0 0 25 0 4 0 597586144 640167936 111569 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 156291 111569 389 106 0 151262 0
[pid=1013/tid=1016] ppid=1010 vsize=625164 CPUtime=1002.31 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 144586 0 0 0 100179 52 0 0 25 0 4 0 597586144 640167936 111569 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=625164 CPUtime=1002.21 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 138320 0 0 0 100172 49 0 0 25 0 4 0 597586144 640167936 111569 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=625164 CPUtime=996.94 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 126055 0 0 0 99650 44 0 0 25 0 4 0 597586144 640167936 111569 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 625164

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.02 9/184 1081
/proc/meminfo: memFree=23935068/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=558440 CPUtime=4243.51 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 562258 0 0 0 424146 205 0 0 25 0 4 0 597586144 571842560 110150 33554432000 4194304 4627427 140735544848240 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 139610 110150 389 106 0 134581 0
[pid=1013/tid=1016] ppid=1010 vsize=558440 CPUtime=1062.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 151297 0 0 0 106176 56 0 0 25 0 4 0 597586144 571842560 110150 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=558440 CPUtime=1062.2 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 144147 0 0 0 106169 51 0 0 25 0 4 0 597586144 571842560 110150 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=558440 CPUtime=1056.62 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 128003 0 0 0 105617 45 0 0 25 0 4 0 597586144 571842560 110150 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 558440

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 8.02 9/184 1083
/proc/meminfo: memFree=23893620/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=637100 CPUtime=4483.17 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 577409 0 0 0 448105 212 0 0 25 0 4 0 597586144 652390400 121406 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 159275 121406 389 106 0 154246 0
[pid=1013/tid=1016] ppid=1010 vsize=637100 CPUtime=1122.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 155449 0 0 0 112174 58 0 0 25 0 4 0 597586144 652390400 121406 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=637100 CPUtime=1122.2 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 148930 0 0 0 112167 53 0 0 25 0 4 0 597586144 652390400 121406 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=637100 CPUtime=1116.29 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 129321 0 0 0 111583 46 0 0 25 0 4 0 597586144 652390400 121406 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 637100

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 1084
/proc/meminfo: memFree=23860108/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=637892 CPUtime=4722.85 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 593690 0 0 0 472066 219 0 0 25 0 4 0 597586144 653201408 121354 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309408 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 159473 121354 389 106 0 154444 0
[pid=1013/tid=1016] ppid=1010 vsize=637892 CPUtime=1182.32 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 158250 0 0 0 118173 59 0 0 25 0 4 0 597586144 653201408 121354 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=637892 CPUtime=1182.2 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 154100 0 0 0 118164 56 0 0 25 0 4 0 597586144 653201408 121354 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=637892 CPUtime=1175.97 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 134592 0 0 0 117549 48 0 0 25 0 4 0 597586144 653201408 121354 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 637892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 1085
/proc/meminfo: memFree=23856264/32951124 swapFree=67111348/67111528
[pid=1013] ppid=1010 vsize=573136 CPUtime=4800.35 cores=0,2,4,6
/proc/1013/stat : 1013 (strangenight2-m) R 1010 1013 373 0 -1 4202496 598092 0 0 0 479814 221 0 0 25 0 4 0 597586144 586891264 116063 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1013/statm: 143284 116063 389 106 0 138255 0
[pid=1013/tid=1016] ppid=1010 vsize=573136 CPUtime=1201.73 cores=0,2,4,6
/proc/1013/task/1016/stat : 1016 (strangenight2-m) R 1010 1013 373 0 -1 4202560 160404 0 0 0 120113 60 0 0 25 0 4 0 597586144 586891264 116063 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1013/tid=1017] ppid=1010 vsize=573136 CPUtime=1201.6 cores=0,2,4,6
/proc/1013/task/1017/stat : 1017 (strangenight2-m) R 1010 1013 373 0 -1 4202560 154615 0 0 0 120104 56 0 0 25 0 4 0 597586144 586891264 116063 33554432000 4194304 4627427 140735544848240 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1013/tid=1019] ppid=1010 vsize=573136 CPUtime=1195.27 cores=0,2,4,6
/proc/1013/task/1019/stat : 1019 (strangenight2-m) R 1010 1013 373 0 -1 4202560 135703 0 0 0 119478 49 0 0 25 0 4 0 597586144 586891264 116063 33554432000 4194304 4627427 140735544848240 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 573136

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.74
CPU time (s): 4800.41
CPU user time (s): 4798.18
CPU system time (s): 2.23966
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 743604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 2.23966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598093
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= 598
involuntary context switches= 22146

runsolver used 2.01469 second user time and 4.46032 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 12:39:17
IDJOB=3173928
IDBENCH=82746
IDSOLVER=1586
FILE ID=node111/3173928-1304073557
RUNJOBID= node111-1304072352-896
PBS_JOBID= 13170470
Free space on /tmp= 70896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173928-1304073557/watcher-3173928-1304073557 -o /tmp/evaluation-result-3173928-1304073557/solver-3173928-1304073557 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173928-1304073557.cnf

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

MD5SUM BENCH= 7ce6e28d94f25a5004daf47b6c05c693
RANDOM SEED=1385362142

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24807284 kB
Buffers:       1275768 kB
Cached:        6314392 kB
SwapCached:        124 kB
Active:        3167956 kB
Inactive:      4486428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24807284 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           13084 kB
Writeback:          40 kB
AnonPages:       64444 kB
Mapped:          14372 kB
Slab:           424960 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188824 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= 70888 MiB
End job on node111 at 2011-04-29 12:59:20