Trace number 3366475

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.11 1203.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
MD5SUMa7a611663d2f029393d16aacd4e48364
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.066989
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366475-1305405140.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3195/3195 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:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     15  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:     329 undec:      74 neg:     347
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       735      3175         0         0      9625         0   no data   no data
0.00/0.08	c Decided on static restart strategy
0.37/0.19	c  N st     8      4917       735      3175         0      4865      9625    160155   no data   no data
1.56/0.49	c  N st    10     11302       735      3175         0      4526      9625     98347   no data   no data
3.16/0.80	c  N st    11     17047       735      3175         0     10202      9625    295051   no data   no data
4.75/1.28	c  F st    12     25001       735      3175         0     12470      9625    355898   no data   no data
4.75/1.28	c  N st    12     25001       735      3175         0     12470      9625    355898   no data   no data
5.95/1.55	c Decided on static restart strategy
5.95/1.55	c  N st    18     30001       735      3175         0     10739      9625    263461   no data   no data
5.95/1.55	c  S st    18     30001       735      3175         0     10739      9625    263461   no data   no data
5.95/1.58	c  S st    18     30506       735      3175         0     11244      9625    277925   no data   no data
5.95/1.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.95/1.58	c blocked clauses removed:       18 vars:      3 tried:         735 T: 0.00 s
5.95/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
5.95/1.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.95/1.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.64	c lits-rem:        60  cl-subs:      208  v-elim:      0  v-fix:    0  time:  0.05 s
6.35/1.65	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
6.35/1.65	c calculated reachability. Time: 0.00
6.35/1.65	c  N st    18     30506       732      3157         0     11036      9571    269801   no data   no data
7.95/2.07	c  N st    20     37620       732      3157         0     10300      9571    220360   no data   no data
9.54/2.47	c  N st    21     44019       732      3157         0     16630      9571    417043   no data   no data
9.94/2.60	c  S st    22     45761       732      3157         0      9504      9571    170815   no data   no data
10.34/2.62	c  S st    22     46263       732      3157         0     10006      9571    185517   no data   no data
10.34/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.34/2.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
10.34/2.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.34/2.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.65	c lits-rem:        17  cl-subs:       39  v-elim:      0  v-fix:    0  time:  0.01 s
10.34/2.65	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c vivif2 --  cl tried     9967 cl shrink        0 lits rem          0 time: 0.00
10.34/2.66	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
10.34/2.66	c calculated reachability. Time: 0.00
10.34/2.66	c  N st    22     46263       732      3157         0      9967      9571    184104   no data   no data
14.73/3.72	c  N st    23     60661       732      3157         0     14363      9571    323234   no data   no data
17.56/4.42	c  N st    24     69395       732      3157         0     12134      9571    231816   no data   no data
17.56/4.42	c  S st    24     69395       732      3157         0     12134      9571    231816   no data   no data
17.56/4.46	c  S st    24     69897       732      3157         0     12636      9571    246186   no data   no data
17.56/4.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.56/4.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.56/4.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.56/4.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.56/4.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.56/4.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
17.56/4.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.56/4.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.56/4.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.56/4.49	c lits-rem:        18  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.02 s
17.56/4.49	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
17.91/4.50	c vivif2 --  cl tried    12556 cl shrink        0 lits rem          0 time: 0.00
17.91/4.50	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
17.91/4.51	c calculated reachability. Time: 0.00
17.91/4.51	c  N st    24     69897       732      3157         0     12556      9571    243038   no data   no data
23.50/5.94	c  F st    25     87500       732      3157         0     18050      9571    417655   no data   no data
23.50/5.94	c  N st    25     87500       732      3157         0     18050      9571    417655   no data   no data
25.10/6.37	c Decided on static restart strategy
26.33/6.65	c  N st    32     95535       732      3157         0     13184      9571    221828   no data   no data
29.08/7.37	c  N st    34    104848       732      3157         0     22399      9571    528163   no data   no data
29.08/7.37	c  S st    34    104848       732      3157         0     22399      9571    528163   no data   no data
29.48/7.43	c  S st    34    105351       732      3157         0     22902      9571    542490   no data   no data
29.48/7.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.48/7.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.48/7.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.48/7.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.48/7.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.48/7.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
29.48/7.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.48/7.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.48/7.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.88/7.60	c lits-rem:       116  cl-subs:      407  v-elim:      0  v-fix:    0  time:  0.13 s
29.88/7.60	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
29.88/7.60	c vivif2 --  cl tried    22495 cl shrink        0 lits rem          0 time: 0.01
30.29/7.62	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
30.29/7.62	c calculated reachability. Time: 0.00
30.29/7.62	c  N st    34    105351       732      3157         0     22495      9571    526432   no data   no data
33.07/8.38	c  N st    35    114949       732      3157         0     18156      9571    357346   no data   no data
39.07/9.85	c  N st    36    129346       732      3157         0     17521      9571    317449   no data   no data
47.03/11.83	c  N st    37    150943       732      3157         0     22964      9571    477540   no data   no data
49.82/12.54	c  S st    38    158026       732      3157         0     29928      9571    697510   no data   no data
50.22/12.62	c  S st    38    158529       732      3157         0     30431      9571    712229   no data   no data
50.22/12.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.22/12.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.22/12.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.22/12.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.22/12.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.22/12.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
50.22/12.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.22/12.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.22/12.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.66/13.21	c lits-rem:       139  cl-subs:     1209  v-elim:      0  v-fix:    0  time:  0.55 s
52.66/13.21	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
52.66/13.22	c vivif2 --  cl tried    29222 cl shrink        0 lits rem          0 time: 0.01
52.66/13.24	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.02
52.66/13.24	c calculated reachability. Time: 0.00
52.66/13.24	c  N st    38    158529       732      3157         0     29222      9571    667791   no data   no data
73.35/18.43	c  N st    39    207117       732      3157         0     23973      9571    448965   no data   no data
87.74/22.08	c  N st    40    237793       732      3157         0     34551      9571    792691   no data   no data
87.74/22.08	c  S st    40    237793       732      3157         0     34551      9571    792691   no data   no data
88.09/22.17	c  S st    40    238295       732      3157         0     35053      9571    807092   no data   no data
88.09/22.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.09/22.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
88.09/22.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.09/22.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.09/22.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.09/22.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
88.09/22.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
88.09/22.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
88.49/22.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.49/22.70	c lits-rem:       231  cl-subs:      708  v-elim:      0  v-fix:    0  time:  0.48 s
90.49/22.70	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
90.49/22.71	c vivif2 --  cl tried    34345 cl shrink        0 lits rem          0 time: 0.01
90.49/22.73	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.02
90.49/22.74	c calculated reachability. Time: 0.00
90.49/22.74	c  N st    40    238295       732      3157         0     34345      9571    779009   no data   no data
123.19/30.91	c  F st    41    306250       732      3157         0     36270      9571    779508   no data   no data
123.19/30.91	c  N st    41    306250       732      3157         0     36270      9571    779508   no data   no data
125.99/31.60	c Decided on static restart strategy
137.15/34.48	c  N st    51    334559       732      3157         0     40511      9571    897377   no data   no data
149.17/37.45	c  N st    53    357442       732      3157         0     38373      9571    767363   no data   no data
149.17/37.45	c  S st    53    357442       732      3157         0     38373      9571    767363   no data   no data
149.52/37.55	c  S st    53    357948       732      3157         0     38879      9571    781615   no data   no data
149.52/37.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.52/37.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.52/37.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.52/37.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.52/37.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.52/37.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
149.52/37.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.52/37.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.91/37.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.51/38.09	c lits-rem:       163  cl-subs:     1178  v-elim:      0  v-fix:    0  time:  0.49 s
151.51/38.09	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
151.91/38.11	c vivif2 --  cl tried    37701 cl shrink        0 lits rem          0 time: 0.01
151.91/38.13	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.03
151.91/38.14	c calculated reachability. Time: 0.00
151.91/38.14	c  N st    53    357948       732      3157         0     37701      9571    740138   no data   no data
171.45/43.02	c  N st    54    390341       732      3157         0     44069      9571    949198   no data   no data
201.80/50.62	c  N st    55    438930       732      3157         0     37629      9571    696328   no data   no data
249.64/62.62	c  N st    56    511814       732      3157         0     51189      9571   1148427   no data   no data
266.77/66.93	c  N st    57    536923       732      3157         0     45435      9571    890427   no data   no data
266.77/66.93	c  S st    57    536923       732      3157         0     45435      9571    890427   no data   no data
267.18/67.05	c  S st    57    537427       732      3157         0     45939      9571    905051   no data   no data
267.18/67.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.18/67.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
267.18/67.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.18/67.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.18/67.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.18/67.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
267.18/67.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.18/67.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
267.18/67.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.35/67.88	c lits-rem:       205  cl-subs:      980  v-elim:      0  v-fix:    0  time:  0.77 s
270.35/67.88	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
270.35/67.89	c vivif2 --  cl tried    44959 cl shrink        0 lits rem          0 time: 0.01
270.75/67.92	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.04
270.75/67.93	c calculated reachability. Time: 0.00
270.75/67.93	c  N st    57    537427       732      3157         0     44959      9571    866430   no data   no data
397.98/99.81	c  N st    58    701411       732      3157         0     39024      9571    559959   no data   no data
480.12/120.44	c  N st    59    806140       732      3157         0     68134      9571   1529537   no data   no data
480.12/120.44	c  S st    59    806140       732      3157         0     68134      9571   1529537   no data   no data
480.92/120.63	c  S st    59    806643       732      3157         0     68637      9571   1543772   no data   no data
480.92/120.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
480.92/120.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
480.92/120.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
480.92/120.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
480.92/120.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.92/120.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
480.92/120.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
480.92/120.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
481.32/120.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
503.26/126.23	c lits-rem:       783  cl-subs:     3437  v-elim:      0  v-fix:    0  time:  5.49 s
503.26/126.23	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
503.26/126.25	c vivif2 --  cl tried    65200 cl shrink        0 lits rem          0 time: 0.02
503.66/126.31	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.06
503.66/126.31	c calculated reachability. Time: 0.00
503.66/126.31	c  N st    59    806643       732      3157         0     65200      9571   1421113   no data   no data
738.56/185.29	c  F st    60   1071875       732      3157         0     81107      9571   1837257   no data   no data
738.56/185.29	c  N st    60   1071875       732      3157         0     81107      9571   1837257   no data   no data
744.14/186.68	c Decided on static restart strategy
761.69/191.03	c  N st    70   1100178       732      3157         0     64978      9571   1216448   no data   no data
795.58/199.52	c  N st    72   1136170       732      3157         0     55140      9571    851558   no data   no data
826.69/207.31	c  N st    73   1168562       732      3157         0     87060      9571   1914975   no data   no data
863.80/216.67	c  N st    74   1209966       732      3157         0     81396      9571   1647554   no data   no data
863.80/216.67	c  S st    74   1209966       732      3157         0     81396      9571   1647554   no data   no data
864.97/216.92	c  S st    74   1210473       732      3157         0     81903      9571   1663230   no data   no data
864.97/216.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
864.97/216.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
864.97/216.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.97/216.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.97/216.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.97/216.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
864.97/216.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
864.97/216.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
865.37/217.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
891.69/223.62	c lits-rem:       823  cl-subs:     4305  v-elim:      0  v-fix:    0  time:  6.59 s
891.69/223.62	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
891.69/223.65	c vivif2 --  cl tried    77598 cl shrink        0 lits rem          0 time: 0.02
892.09/223.73	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.08
892.09/223.73	c calculated reachability. Time: 0.00
892.09/223.73	c  N st    74   1210473       732      3157         0     77598      9571   1530967   no data   no data
966.28/242.38	c  N st    75   1283356       732      3157         0     53971      9571    745541   no data   no data
1072.76/269.02	c  N st    76   1392679       732      3157         0     62290      9571    975606   no data   no data
1252.62/314.10	c  N st    77   1556664       732      3157         0     67147      9571   1088322   no data   no data
1415.74/355.09	c  N st    78   1710473       732      3157         0    109266      9571   2444846   no data   no data
1415.74/355.09	c  S st    78   1710473       732      3157         0    109266      9571   2444846   no data   no data
1417.32/355.43	c  S st    78   1710974       732      3157         0    109767      9571   2460531   no data   no data
1417.32/355.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1417.72/355.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1417.72/355.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1417.72/355.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1417.72/355.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1417.72/355.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1417.72/355.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1417.72/355.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1418.12/355.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1471.17/368.97	c lits-rem:       673  cl-subs:     4959  v-elim:      0  v-fix:    0  time: 13.37 s
1471.17/368.97	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
1471.57/369.00	c vivif2 --  cl tried   104808 cl shrink        0 lits rem          0 time: 0.03
1471.97/369.12	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.11
1471.97/369.12	c calculated reachability. Time: 0.00
1471.97/369.12	c  N st    78   1710974       732      3157         0    104808      9571   2300003   no data   no data
1896.28/475.70	c  N st    79   2079938       732      3157         0    116235      9571   2737764   no data   no data
2062.59/517.40	c  N st    80   2210974       732      3157         0    120411      9571   2777854   no data   no data
2062.59/517.40	c  S st    80   2210974       732      3157         0    120411      9571   2777854   no data   no data
2064.19/517.81	c  S st    80   2211474       732      3157         0    120911      9571   2792298   no data   no data
2064.19/517.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2064.19/517.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2064.19/517.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2064.19/517.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2064.19/517.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2064.19/517.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2064.19/517.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2064.59/517.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2064.59/518.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2123.61/532.73	c lits-rem:      1375  cl-subs:     4366  v-elim:      0  v-fix:    0  time: 14.73 s
2123.61/532.73	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
2123.61/532.77	c vivif2 --  cl tried   116545 cl shrink        0 lits rem          0 time: 0.04
2124.41/532.90	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.13
2124.41/532.91	c calculated reachability. Time: 0.00
2124.41/532.91	c  N st    80   2211474       732      3157         0    116545      9571   2629682   no data   no data
2797.61/701.81	c  N st    81   2711475       732      3157         0    139554      9571   3154966   no data   no data
2797.61/701.81	c  S st    81   2711475       732      3157         0    139554      9571   3154966   no data   no data
2799.59/702.29	c  S st    81   2711981       732      3157         0    140060      9571   3169691   no data   no data
2799.99/702.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2799.99/702.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2799.99/702.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2799.99/702.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2799.99/702.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2799.99/702.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2799.99/702.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2800.39/702.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2800.78/702.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2957.52/741.86	c lits-rem:       848  cl-subs:    10382  v-elim:      0  v-fix:    0  time: 39.35 s
2957.52/741.86	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
2957.92/741.90	c vivif2 --  cl tried   129678 cl shrink        0 lits rem          0 time: 0.04
2958.32/742.05	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.15
2958.32/742.05	c calculated reachability. Time: 0.00
2958.32/742.05	c  N st    81   2711981       732      3157         0    129678      9571   2816215   no data   no data
3686.94/924.77	c  N st    82   3211985       732      3157         0    105696      9571   1780021   no data   no data
3686.94/924.77	c  S st    82   3211985       732      3157         0    105696      9571   1780021   no data   no data
3688.15/925.10	c  S st    82   3212489       732      3157         0    106200      9571   1796172   no data   no data
3688.58/925.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3688.58/925.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3688.58/925.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3688.58/925.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3688.58/925.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3688.58/925.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3688.58/925.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3688.92/925.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3688.92/925.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3713.27/931.39	c lits-rem:       358  cl-subs:     4184  v-elim:      0  v-fix:    0  time:  6.14 s
3713.27/931.39	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
3713.67/931.42	c vivif2 --  cl tried   102016 cl shrink        0 lits rem          0 time: 0.03
3714.07/931.53	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.11
3714.07/931.53	c calculated reachability. Time: 0.00
3714.07/931.53	c  N st    82   3212489       732      3157         0    102016      9571   1672450   no data   no data
4511.69/1131.53	c  N st    83   3712490       732      3157         0    112754      9571   1889134   no data   no data
4511.69/1131.53	c  S st    83   3712490       732      3157         0    112754      9571   1889134   no data   no data
4512.90/1131.87	c  S st    83   3712994       732      3157         0    113258      9571   1904919   no data   no data
4512.90/1131.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4513.32/1131.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4513.32/1131.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4513.32/1131.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4513.32/1131.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4513.32/1131.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4513.32/1131.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4513.32/1131.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4513.67/1132.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4539.64/1138.53	c lits-rem:       257  cl-subs:     3812  v-elim:      0  v-fix:    0  time:  6.50 s
4539.64/1138.54	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
4539.64/1138.56	c vivif2 --  cl tried   109446 cl shrink        0 lits rem          0 time: 0.03
4539.99/1138.69	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.12
4539.99/1138.69	c calculated reachability. Time: 0.00
4539.99/1138.69	c  N st    83   3712994       732      3157         0    109446      9571   1785057   no data   no data
4601.41/1154.01	c  F st    84   3751562       732      3157         0    147391      9571   3058367   no data   no data
4601.41/1154.01	c  N st    84   3751562       732      3157         0    147391      9571   3058367   no data   no data
4612.18/1156.73	c Decided on static restart strategy
4651.27/1166.56	c  N st    94   3779864       732      3157         0     92039      9571   1207766   no data   no data
4700.72/1178.99	c  N st    96   3815857       732      3157         0    127553      9571   2392964   no data   no data
4754.18/1192.40	c  N st    97   3848251       732      3157         0    159666      9571   3523423   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366475-1305405140/watcher-3366475-1305405140 -o /tmp/evaluation-result-3366475-1305405140/solver-3366475-1305405140 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366475-1305405140.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: 5.53 7.42 7.80 3/360 15405
/proc/meminfo: memFree=23311592/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 730744693 52396032 347 33554432000 4194304 4580107 140734914826800 18446744073709551615 47711741999026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 12792 347 299 95 0 7774 0
[pid=15405/tid=15406] ppid=15403 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730744693 52396032 347 33554432000 4194304 4580107 140734914826800 18446744073709551615 47711741999020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730744693 52396032 347 33554432000 4194304 4580107 140734914826800 18446744073709551615 47711741999026 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730744693 52396032 347 33554432000 4194304 4580107 140734914826800 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0936349 s]
/proc/loadavg: 5.53 7.42 7.80 3/360 15405
/proc/meminfo: memFree=23311592/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=282544 CPUtime=0.34 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 1892 0 0 0 34 0 0 0 25 0 4 0 730744693 289325056 1768 33554432000 4194304 4580107 140734914826800 18446744073709551615 4324385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 70636 1769 377 95 0 65618 0
[pid=15405/tid=15406] ppid=15403 vsize=282544 CPUtime=0.08 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 394 0 0 0 8 0 0 0 25 0 4 0 730744693 289325056 1769 33554432000 4194304 4580107 140734914826800 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=282544 CPUtime=0.08 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 401 0 0 0 8 0 0 0 25 0 4 0 730744693 289325056 1770 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=282544 CPUtime=0.07 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 282 0 0 0 7 0 0 0 25 0 4 0 730744693 289325056 1771 33554432000 4194304 4580107 140734914826800 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 282544

[startup+0.100633 s]
/proc/loadavg: 5.53 7.42 7.80 3/360 15405
/proc/meminfo: memFree=23311592/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=282544 CPUtime=0.37 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 1937 0 0 0 37 0 0 0 25 0 4 0 730744693 289325056 1813 33554432000 4194304 4580107 140734914826800 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 70636 1813 377 95 0 65618 0
[pid=15405/tid=15406] ppid=15403 vsize=282544 CPUtime=0.09 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 402 0 0 0 9 0 0 0 25 0 4 0 730744693 289325056 1813 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=282544 CPUtime=0.09 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 416 0 0 0 9 0 0 0 25 0 4 0 730744693 289325056 1813 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=282544 CPUtime=0.08 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 289 0 0 0 8 0 0 0 25 0 4 0 730744693 289325056 1813 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282544

[startup+0.300597 s]
/proc/loadavg: 5.53 7.42 7.80 3/360 15405
/proc/meminfo: memFree=23311592/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=284224 CPUtime=1.16 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 3110 0 0 0 116 0 0 0 25 0 4 0 730744693 291045376 2220 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 71056 2221 377 95 0 66038 0
[pid=15405/tid=15406] ppid=15403 vsize=284224 CPUtime=0.29 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 686 0 0 0 29 0 0 0 25 0 4 0 730744693 291045376 2221 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=284224 CPUtime=0.29 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 707 0 0 0 29 0 0 0 25 0 4 0 730744693 291045376 2221 33554432000 4194304 4580107 140734914826800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=284224 CPUtime=0.28 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 590 0 0 0 28 0 0 0 25 0 4 0 730744693 291045376 2221 33554432000 4194304 4580107 140734914826800 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284224

[startup+0.700523 s]
/proc/loadavg: 5.53 7.42 7.80 3/360 15405
/proc/meminfo: memFree=23311592/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=285300 CPUtime=2.76 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 4961 0 0 0 276 0 0 0 25 0 4 0 730744693 292147200 2922 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 71325 2922 377 95 0 66307 0
[pid=15405/tid=15406] ppid=15403 vsize=285300 CPUtime=0.69 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 1148 0 0 0 69 0 0 0 25 0 4 0 730744693 292147200 2922 33554432000 4194304 4580107 140734914826800 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=285300 CPUtime=0.69 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 1163 0 0 0 69 0 0 0 25 0 4 0 730744693 292147200 2922 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=285300 CPUtime=0.68 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 1048 0 0 0 68 0 0 0 25 0 4 0 730744693 292147200 2922 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285300

[startup+1.50038 s]
/proc/loadavg: 5.53 7.42 7.80 9/371 15417
/proc/meminfo: memFree=23285480/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=286852 CPUtime=5.95 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 8684 0 0 0 594 1 0 0 25 0 4 0 730744693 293736448 3478 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 71713 3479 378 95 0 66695 0
[pid=15405/tid=15406] ppid=15403 vsize=286852 CPUtime=1.49 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 2081 0 0 0 149 0 0 0 25 0 4 0 730744693 293736448 3479 33554432000 4194304 4580107 140734914826800 18446744073709551615 4318884 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=286852 CPUtime=1.48 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 2103 0 0 0 148 0 0 0 25 0 4 0 730744693 293736448 3479 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=286852 CPUtime=1.46 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 1972 0 0 0 146 0 0 0 25 0 4 0 730744693 293736448 3479 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286852

[startup+3.10109 s]
/proc/loadavg: 5.72 7.43 7.80 9/371 15417
/proc/meminfo: memFree=23244064/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=288444 CPUtime=12.34 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 20919 0 0 0 1231 3 0 0 25 0 4 0 730744693 295366656 11622 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 72111 11622 379 95 0 67093 0
[pid=15405/tid=15406] ppid=15403 vsize=288444 CPUtime=3.08 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 4349 0 0 0 308 0 0 0 25 0 4 0 730744693 295366656 11622 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=288444 CPUtime=3.08 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 5738 0 0 0 308 0 0 0 25 0 4 0 730744693 295366656 11622 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=288444 CPUtime=3.06 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 5247 0 0 0 305 1 0 0 25 0 4 0 730744693 295366656 11622 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 288444

[startup+6.3005 s]
/proc/loadavg: 5.72 7.43 7.80 9/371 15417
/proc/meminfo: memFree=23188868/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=307360 CPUtime=25.1 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 31368 0 0 0 2504 6 0 0 25 0 4 0 730744693 314736640 14469 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 76840 14469 379 95 0 71822 0
[pid=15405/tid=15406] ppid=15403 vsize=307360 CPUtime=6.29 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 7699 0 0 0 628 1 0 0 25 0 4 0 730744693 314736640 14469 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=307360 CPUtime=6.28 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 7966 0 0 0 627 1 0 0 25 0 4 0 730744693 314736640 14469 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=307360 CPUtime=6.22 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 7443 0 0 0 620 2 0 0 25 0 4 0 730744693 314736640 14470 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 307360

[startup+12.7003 s]
/proc/loadavg: 6.07 7.45 7.80 9/371 15418
/proc/meminfo: memFree=23125644/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=307780 CPUtime=50.61 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 53298 0 0 0 5052 9 0 0 25 0 4 0 730744693 315166720 27595 33554432000 4194304 4580107 140734914826800 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 76945 27595 379 95 0 71927 0
[pid=15405/tid=15406] ppid=15403 vsize=307780 CPUtime=12.69 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 12908 0 0 0 1267 2 0 0 25 0 4 0 730744693 315166720 27595 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=307780 CPUtime=12.68 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 12866 0 0 0 1266 2 0 0 25 0 4 0 730744693 315166720 27595 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=307780 CPUtime=12.53 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 12533 0 0 0 1251 2 0 0 25 0 4 0 730744693 315166720 27595 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 307780

[startup+25.501 s]
/proc/loadavg: 6.37 7.46 7.80 9/371 15418
/proc/meminfo: memFree=23055956/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=308724 CPUtime=101.65 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 73752 0 0 0 10151 14 0 0 25 0 4 0 730744693 316133376 35861 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 77181 35861 379 95 0 72163 0
[pid=15405/tid=15406] ppid=15403 vsize=308724 CPUtime=25.49 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 19267 0 0 0 2546 3 0 0 25 0 4 0 730744693 316133376 35861 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=308724 CPUtime=25.48 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 15633 0 0 0 2545 3 0 0 25 0 4 0 730744693 316133376 35861 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=308724 CPUtime=25.17 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 18037 0 0 0 2513 4 0 0 25 0 4 0 730744693 316133376 35861 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 308724

[startup+51.1003 s]
/proc/loadavg: 6.93 7.50 7.81 9/371 15419
/proc/meminfo: memFree=23004260/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=393048 CPUtime=203.76 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 105743 0 0 0 20352 24 0 0 25 0 4 0 730744693 402481152 43265 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 98262 43265 379 95 0 93244 0
[pid=15405/tid=15406] ppid=15403 vsize=393048 CPUtime=51.09 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 30243 0 0 0 5103 6 0 0 25 0 4 0 730744693 402481152 43265 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=393048 CPUtime=51.08 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 18304 0 0 0 5104 4 0 0 25 0 4 0 730744693 402481152 43265 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=393048 CPUtime=50.47 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 27910 0 0 0 5040 7 0 0 25 0 4 0 730744693 402481152 43265 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 393048

[startup+102.314 s]
/proc/loadavg: 7.61 7.60 7.82 9/371 15420
/proc/meminfo: memFree=22921264/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=350068 CPUtime=407.99 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 156629 0 0 0 40763 36 0 0 25 0 4 0 730744693 358469632 52234 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 87517 52234 379 95 0 82499 0
[pid=15405/tid=15406] ppid=15403 vsize=350068 CPUtime=102.3 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 49946 0 0 0 10220 10 0 0 25 0 4 0 730744693 358469632 52234 33554432000 4194304 4580107 140734914826800 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=350068 CPUtime=102.3 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 19499 0 0 0 10225 5 0 0 25 0 4 0 730744693 358469632 52234 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=350068 CPUtime=101.06 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 46220 0 0 0 10095 11 0 0 25 0 4 0 730744693 358469632 52234 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 350068

[startup+162.301 s]

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

[pid=15405] ppid=15403 vsize=632428 CPUtime=2560.73 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 455730 0 0 0 255926 147 0 0 25 0 4 0 730744693 647606272 99614 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 158107 99614 379 95 0 153089 0
[pid=15405/tid=15406] ppid=15403 vsize=632428 CPUtime=641.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 152548 0 0 0 64134 50 0 0 25 0 4 0 730744693 647606272 99615 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=632428 CPUtime=642.32 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 37573 0 0 0 64219 13 0 0 25 0 4 0 730744693 647606272 99615 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=632428 CPUtime=634.25 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 112365 0 0 0 63387 38 0 0 25 0 4 0 730744693 647606272 99615 33554432000 4194304 4580107 140734914826800 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.73
Current children cumulated vsize (KiB) 632428

[startup+702.301 s]
/proc/loadavg: 8.11 8.07 7.96 9/371 15439
/proc/meminfo: memFree=22453820/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=684036 CPUtime=2799.99 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 480839 0 0 0 279841 158 0 0 25 0 4 0 730744693 700452864 103398 33554432000 4194304 4580107 140734914826800 18446744073709551615 4452955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 171009 103398 379 95 0 165991 0
[pid=15405/tid=15406] ppid=15403 vsize=684036 CPUtime=701.83 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 164136 0 0 0 70129 54 0 0 25 0 4 0 730744693 700452864 103398 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=684036 CPUtime=702.3 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 37961 0 0 0 70217 13 0 0 25 0 4 0 730744693 700452864 103398 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=684036 CPUtime=693.52 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 117304 0 0 0 69313 39 0 0 25 0 4 0 730744693 700452864 103398 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.99
Current children cumulated vsize (KiB) 684036

[startup+762.314 s]
/proc/loadavg: 8.21 8.10 7.97 9/371 15441
/proc/meminfo: memFree=22382936/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=672328 CPUtime=3039.32 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 501902 0 0 0 303766 166 0 0 25 0 4 0 730744693 688463872 112049 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 168082 112049 379 95 0 163064 0
[pid=15405/tid=15406] ppid=15403 vsize=672328 CPUtime=761.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 171662 0 0 0 76126 58 0 0 25 0 4 0 730744693 688463872 112049 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=672328 CPUtime=762.32 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 39765 0 0 0 76217 15 0 0 25 0 4 0 730744693 688463872 112049 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=672328 CPUtime=752.81 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 120398 0 0 0 75241 40 0 0 25 0 4 0 730744693 688463872 112049 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.32
Current children cumulated vsize (KiB) 672328

[startup+822.301 s]
/proc/loadavg: 8.16 8.11 7.98 9/371 15442
/proc/meminfo: memFree=22379136/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=677660 CPUtime=3278.57 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 522695 0 0 0 327681 176 0 0 25 0 4 0 730744693 693923840 110995 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 169415 110995 379 95 0 164397 0
[pid=15405/tid=15406] ppid=15403 vsize=677660 CPUtime=821.83 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 180269 0 0 0 82121 62 0 0 25 0 4 0 730744693 693923840 110995 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=677660 CPUtime=822.31 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 40313 0 0 0 82215 16 0 0 25 0 4 0 730744693 693923840 110995 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=677660 CPUtime=812.08 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 123831 0 0 0 81167 41 0 0 25 0 4 0 730744693 693923840 110995 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.57
Current children cumulated vsize (KiB) 677660

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 8.00 9/371 15444
/proc/meminfo: memFree=22344492/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=733164 CPUtime=3517.83 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 547376 0 0 0 351600 183 0 0 25 0 4 0 730744693 750759936 125188 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 183291 125188 379 95 0 178273 0
[pid=15405/tid=15406] ppid=15403 vsize=733164 CPUtime=881.83 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 194086 0 0 0 88119 64 0 0 25 0 4 0 730744693 750759936 125188 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=733164 CPUtime=882.31 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 41021 0 0 0 88215 16 0 0 25 0 4 0 730744693 750759936 125188 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=733164 CPUtime=871.36 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 129468 0 0 0 87092 44 0 0 25 0 4 0 730744693 750759936 125188 33554432000 4194304 4580107 140734914826800 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.83
Current children cumulated vsize (KiB) 733164

[startup+942.301 s]
/proc/loadavg: 8.10 8.12 8.00 9/371 15445
/proc/meminfo: memFree=22392028/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=641088 CPUtime=3757.14 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 567390 0 0 0 375522 192 0 0 25 0 4 0 730744693 656474112 121162 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 160272 121162 379 95 0 155254 0
[pid=15405/tid=15406] ppid=15403 vsize=641088 CPUtime=941.83 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 202068 0 0 0 94115 68 0 0 25 0 4 0 730744693 656474112 121162 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=641088 CPUtime=942.31 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 41931 0 0 0 94214 17 0 0 25 0 4 0 730744693 656474112 121162 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=641088 CPUtime=930.65 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 132256 0 0 0 93020 45 0 0 25 0 4 0 730744693 656474112 121162 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.14
Current children cumulated vsize (KiB) 641088

[startup+1002.3 s]
/proc/loadavg: 8.07 8.11 8.00 9/371 15447
/proc/meminfo: memFree=22352540/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=653284 CPUtime=3996.41 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 591185 0 0 0 399439 202 0 0 25 0 4 0 730744693 668962816 127641 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 163321 127641 379 95 0 158303 0
[pid=15405/tid=15406] ppid=15403 vsize=653284 CPUtime=1001.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 210244 0 0 0 100112 72 0 0 25 0 4 0 730744693 668962816 127641 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=653284 CPUtime=1002.31 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 44961 0 0 0 100213 18 0 0 25 0 4 0 730744693 668962816 127641 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=653284 CPUtime=989.92 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 137314 0 0 0 98945 47 0 0 25 0 4 0 730744693 668962816 127641 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.41
Current children cumulated vsize (KiB) 653284

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.01 9/371 15449
/proc/meminfo: memFree=22314524/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=701540 CPUtime=4235.71 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 611906 0 0 0 423362 209 0 0 25 0 4 0 730744693 718376960 126936 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 175385 126936 379 95 0 170367 0
[pid=15405/tid=15406] ppid=15403 vsize=701540 CPUtime=1061.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 218186 0 0 0 106110 74 0 0 25 0 4 0 730744693 718376960 126936 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=701540 CPUtime=1062.31 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 46702 0 0 0 106212 19 0 0 25 0 4 0 730744693 718376960 126936 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=701540 CPUtime=1049.21 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 140796 0 0 0 104873 48 0 0 25 0 4 0 730744693 718376960 126936 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.71
Current children cumulated vsize (KiB) 701540

[startup+1122.3 s]
/proc/loadavg: 8.03 8.09 8.00 9/371 15450
/proc/meminfo: memFree=22238444/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=720480 CPUtime=4474.99 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 634978 0 0 0 447282 217 0 0 25 0 4 0 730744693 737771520 134787 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 180120 134787 379 95 0 175102 0
[pid=15405/tid=15406] ppid=15403 vsize=720480 CPUtime=1121.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 228715 0 0 0 112108 76 0 0 25 0 4 0 730744693 737771520 134787 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=720480 CPUtime=1122.32 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 47390 0 0 0 112213 19 0 0 25 0 4 0 730744693 737771520 134787 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=720480 CPUtime=1108.49 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 145428 0 0 0 110799 50 0 0 25 0 4 0 730744693 737771520 134787 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.99
Current children cumulated vsize (KiB) 720480

[startup+1182.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/371 15452
/proc/meminfo: memFree=22242956/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=823932 CPUtime=4714.28 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 653869 0 0 0 471203 225 0 0 25 0 4 0 730744693 843706368 136880 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 205983 136880 379 95 0 200965 0
[pid=15405/tid=15406] ppid=15403 vsize=823932 CPUtime=1181.84 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 234384 0 0 0 118106 78 0 0 25 0 4 0 730744693 843706368 136880 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=823932 CPUtime=1182.32 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 48436 0 0 0 118212 20 0 0 25 0 4 0 730744693 843706368 136880 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=823932 CPUtime=1167.79 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 149568 0 0 0 116727 52 0 0 25 0 4 0 730744693 843706368 136880 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.28
Current children cumulated vsize (KiB) 823932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.08 8.09 8.00 5/366 15453
/proc/meminfo: memFree=22764764/32950928 swapFree=65730864/67111528
[pid=15405] ppid=15403 vsize=720680 CPUtime=4800.03 cores=0,2,4,6
/proc/15405/stat : 15405 (strangenight2-m) R 15403 15405 14715 0 -1 4202496 660539 0 0 0 479775 228 0 0 25 0 4 0 730744693 737976320 134315 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15405/statm: 180170 134315 379 95 0 175152 0
[pid=15405/tid=15406] ppid=15403 vsize=720680 CPUtime=1203.36 cores=0,2,4,6
/proc/15405/task/15406/stat : 15406 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 237354 0 0 0 120256 80 0 0 25 0 4 0 730744693 737976320 134316 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15405/tid=15407] ppid=15403 vsize=720680 CPUtime=1203.83 cores=0,2,4,6
/proc/15405/task/15407/stat : 15407 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 48875 0 0 0 120363 20 0 0 25 0 4 0 730744693 737976320 134316 33554432000 4194304 4580107 140734914826800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15405/tid=15408] ppid=15403 vsize=720680 CPUtime=1189.03 cores=0,2,4,6
/proc/15405/task/15408/stat : 15408 (strangenight2-m) R 15403 15405 14715 0 -1 4202560 149568 0 0 0 118851 52 0 0 25 0 4 0 730744693 737976320 134316 33554432000 4194304 4580107 140734914826800 18446744073709551615 4295714 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 720680

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.11
CPU user time (s): 4797.8
CPU system time (s): 2.30765
CPU usage (%): 398.733
Max. virtual memory (cumulated for all children) (KiB): 878760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.30765
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660541
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= 255
involuntary context switches= 34398

runsolver used 3.97939 second user time and 10.2734 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 22:32:20
IDJOB=3366475
IDBENCH=82884
IDSOLVER=1844
FILE ID=node116/3366475-1305405140
RUNJOBID= node116-1305405140-15390
PBS_JOBID= 13324469
Free space on /tmp= 73136 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366475-1305405140/watcher-3366475-1305405140 -o /tmp/evaluation-result-3366475-1305405140/solver-3366475-1305405140 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366475-1305405140.cnf

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

MD5SUM BENCH= a7a611663d2f029393d16aacd4e48364
RANDOM SEED=1120545566

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23313112 kB
Buffers:         32296 kB
Cached:         107428 kB
SwapCached:      12356 kB
Active:        9379284 kB
Inactive:        52328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23313112 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            7856 kB
Writeback:           0 kB
AnonPages:     9290000 kB
Mapped:          15384 kB
Slab:            96556 kB
PageTables:      44156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82744388 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= 73132 MiB
End job on node116 at 2011-05-14 22:52:26