Trace number 3366363

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.4 1202.83

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf
MD5SUM7d7bac8ccb8010e4eec020bc5c53d758
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366363-1305402560.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.18/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
3.18/0.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
3.18/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.85	c calculated reachability. Time: 0.00
3.18/0.85	c Calc default polars -  time:   0.00 s pos:     182 undec:      50 neg:     168
3.18/0.85	c =========================================================================================
3.18/0.85	c types(t): F = full restart, N = normal restart
3.18/0.85	c types(t): S = simplification begin/end, E = solution found
3.18/0.85	c restart types(rt): st = static, dy = dynamic
3.18/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.85	c  B st     0         0       392      1696         0         0      5127         0   no data   no data
3.18/0.85	c Decided on static restart strategy
3.18/0.85	c  N st     8      4921       392      1696         0      4806      5127     99045   no data   no data
3.18/0.85	c  N st    10     11310       392      1696         0      4451      5127     68591   no data   no data
3.18/0.85	c  N st    11     17054       392      1696         0     10042      5127    186913   no data   no data
3.99/1.05	c  F st    12     25002       392      1696         0     12265      5127    210915   no data   no data
3.99/1.05	c  N st    12     25002       392      1696         0     12265      5127    210915   no data   no data
4.77/1.29	c Decided on static restart strategy
4.77/1.29	c  N st    18     30001       392      1696         0     10551      5127    171311   no data   no data
4.77/1.29	c  S st    18     30001       392      1696         0     10551      5127    171311   no data   no data
4.77/1.29	c  S st    18     30504       392      1696         0     11053      5127    181165   no data   no data
4.77/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.29	c blocked clauses removed:        3 vars:      1 tried:         392 T: 0.00 s
4.77/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4.77/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c lits-rem:       216  cl-subs:      760  v-elim:      0  v-fix:    0  time:  0.05 s
5.16/1.35	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.00
5.16/1.35	c calculated reachability. Time: 0.00
5.16/1.35	c  N st    18     30504       391      1693         0     10293      5118    165118   no data   no data
6.77/1.72	c  N st    20     37616       391      1693         0      9571      5118    136534   no data   no data
7.97/2.10	c  N st    21     44016       391      1693         0     15791      5118    260058   no data   no data
8.79/2.22	c  S st    22     45757       391      1693         0     17480      5118    292530   no data   no data
8.79/2.25	c  S st    22     46260       391      1693         0      9295      5118    115539   no data   no data
8.79/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
8.79/2.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c lits-rem:        17  cl-subs:       81  v-elim:      0  v-fix:    0  time:  0.01 s
8.79/2.27	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
8.79/2.27	c vivif2 --  cl tried     9214 cl shrink        0 lits rem          0 time: 0.00
8.79/2.27	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.00
8.79/2.27	c calculated reachability. Time: 0.00
8.79/2.27	c  N st    22     46260       391      1693         0      9214      5118    113997   no data   no data
12.35/3.18	c  N st    23     60659       391      1693         0     13521      5118    188856   no data   no data
14.75/3.77	c  N st    24     69390       391      1693         0     11318      5118    140287   no data   no data
14.75/3.77	c  S st    24     69390       391      1693         0     11318      5118    140287   no data   no data
15.15/3.80	c  S st    24     69892       391      1693         0     11820      5118    150363   no data   no data
15.15/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.15/3.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.15/3.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.83	c lits-rem:        38  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.01 s
15.15/3.83	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
15.15/3.83	c vivif2 --  cl tried    11594 cl shrink        0 lits rem          0 time: 0.00
15.15/3.84	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
15.15/3.84	c calculated reachability. Time: 0.00
15.15/3.84	c  N st    24     69892       391      1693         0     11594      5118    146062   no data   no data
19.94/5.08	c  F st    25     87502       391      1693         0     17077      5118    253946   no data   no data
19.94/5.08	c  N st    25     87502       391      1693         0     17077      5118    253946   no data   no data
21.55/5.50	c Decided on static restart strategy
22.72/5.77	c  N st    32     95540       391      1693         0     24894      5118    402134   no data   no data
25.53/6.45	c  N st    34    104838       391      1693         0     21275      5118    301415   no data   no data
25.53/6.45	c  S st    34    104838       391      1693         0     21275      5118    301415   no data   no data
25.53/6.50	c  S st    34    105342       391      1693         0     21777      5118    311413   no data   no data
25.95/6.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.95/6.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
25.95/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.67	c lits-rem:       151  cl-subs:     1425  v-elim:      0  v-fix:    0  time:  0.15 s
26.36/6.67	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
26.36/6.68	c vivif2 --  cl tried    20352 cl shrink        0 lits rem          0 time: 0.00
26.36/6.69	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
26.36/6.69	c calculated reachability. Time: 0.00
26.36/6.69	c  N st    34    105342       391      1693         0     20352      5118    287237   no data   no data
29.92/7.50	c  N st    35    114941       391      1693         0     16070      5118    194683   no data   no data
34.31/8.67	c  N st    36    129339       391      1693         0     15517      5118    172922   no data   no data
41.48/10.40	c  N st    37    150934       391      1693         0     21004      5118    282438   no data   no data
43.92/11.01	c  S st    38    158013       391      1693         0     27840      5118    419178   no data   no data
43.92/11.08	c  S st    38    158514       391      1693         0     28339      5118    429277   no data   no data
43.92/11.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.92/11.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.92/11.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.92/11.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.92/11.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
43.92/11.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.28/11.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.28/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.48/11.41	c lits-rem:       260  cl-subs:     1677  v-elim:      0  v-fix:    0  time:  0.30 s
45.48/11.41	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
45.48/11.42	c vivif2 --  cl tried    26662 cl shrink        0 lits rem          0 time: 0.00
45.48/11.43	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.01
45.48/11.43	c calculated reachability. Time: 0.00
45.48/11.43	c  N st    38    158514       391      1693         0     26662      5118    397414   no data   no data
63.84/16.03	c  N st    39    207104       391      1693         0     21349      5118    250880   no data   no data
75.80/19.06	c  N st    40    237771       391      1693         0     31667      5118    432706   no data   no data
75.80/19.06	c  S st    40    237771       391      1693         0     31667      5118    432706   no data   no data
76.20/19.13	c  S st    40    238274       391      1693         0     32170      5118    443002   no data   no data
76.20/19.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.20/19.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.20/19.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.20/19.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.20/19.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.20/19.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
76.20/19.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.20/19.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.20/19.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.81/19.57	c lits-rem:       302  cl-subs:     2324  v-elim:      0  v-fix:    0  time:  0.41 s
77.81/19.57	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
77.81/19.58	c vivif2 --  cl tried    29846 cl shrink        0 lits rem          0 time: 0.00
77.81/19.59	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
77.81/19.60	c calculated reachability. Time: 0.00
77.81/19.60	c  N st    40    238274       391      1693         0     29846      5118    401775   no data   no data
108.13/27.15	c  F st    41    306251       391      1693         0     31726      5118    405232   no data   no data
108.13/27.16	c  N st    41    306251       391      1693         0     31726      5118    405232   no data   no data
110.93/27.83	c Decided on static restart strategy
122.53/30.79	c  N st    51    334553       391      1693         0     35945      5118    482876   no data   no data
134.48/33.78	c  N st    53    357412       391      1693         0     33933      5118    427041   no data   no data
134.48/33.78	c  S st    53    357412       391      1693         0     33933      5118    427041   no data   no data
134.88/33.87	c  S st    53    357913       391      1693         0     34434      5118    437200   no data   no data
134.88/33.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
134.88/33.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
134.88/33.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134.88/33.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.88/33.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.88/33.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
134.88/33.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
134.88/33.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.28/33.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.11/34.18	c lits-rem:       174  cl-subs:     1680  v-elim:      0  v-fix:    0  time:  0.28 s
136.11/34.18	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
136.11/34.19	c vivif2 --  cl tried    32754 cl shrink        0 lits rem          0 time: 0.00
136.47/34.21	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
136.47/34.21	c calculated reachability. Time: 0.00
136.47/34.21	c  N st    53    357913       391      1693         0     32754      5118    405257   no data   no data
152.04/38.11	c  N st    54    390305       391      1693         0     38979      5118    529404   no data   no data
177.17/44.40	c  N st    55    438894       391      1693         0     32775      5118    368235   no data   no data
217.49/54.54	c  N st    56    511776       391      1693         0     46123      5118    616919   no data   no data
233.05/58.46	c  N st    57    536870       391      1693         0     40356      5118    472583   no data   no data
233.05/58.46	c  S st    57    536870       391      1693         0     40356      5118    472583   no data   no data
233.45/58.57	c  S st    57    537372       391      1693         0     40857      5118    482893   no data   no data
233.45/58.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
233.45/58.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
233.45/58.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
233.45/58.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
233.45/58.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.45/58.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
233.45/58.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
233.85/58.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
233.85/58.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.45/59.05	c lits-rem:       148  cl-subs:     2536  v-elim:      0  v-fix:    0  time:  0.44 s
235.45/59.05	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
235.45/59.06	c vivif2 --  cl tried    38321 cl shrink        0 lits rem          0 time: 0.00
235.45/59.08	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.02
235.45/59.08	c calculated reachability. Time: 0.00
235.45/59.08	c  N st    57    537372       391      1693         0     38321      5118    437466   no data   no data
345.20/86.58	c  N st    58    701356       391      1693         0     67324      5118    980764   no data   no data
414.64/103.91	c  N st    59    806059       391      1693         0     61090      5118    824702   no data   no data
414.64/103.91	c  S st    59    806059       391      1693         0     61090      5118    824702   no data   no data
415.44/104.10	c  S st    59    806565       391      1693         0     61596      5118    835265   no data   no data
415.44/104.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
415.44/104.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
415.44/104.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
415.44/104.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.44/104.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.44/104.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
415.44/104.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
415.44/104.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
415.44/104.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.02/106.50	c lits-rem:       430  cl-subs:     6498  v-elim:      0  v-fix:    0  time:  2.33 s
425.02/106.50	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
425.02/106.51	c vivif2 --  cl tried    55098 cl shrink        0 lits rem          0 time: 0.01
425.02/106.55	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.04
425.02/106.55	c calculated reachability. Time: 0.00
425.02/106.55	c  N st    59    806565       391      1693         0     55098      5118    715757   no data   no data
637.34/159.76	c  F st    60   1071876       391      1693         0     70656      5118    908360   no data   no data
637.34/159.76	c  N st    60   1071876       391      1693         0     70656      5118    908360   no data   no data
642.93/161.14	c Decided on static restart strategy
664.87/166.64	c  N st    70   1100176       391      1693         0     54882      5118    620583   no data   no data
702.79/176.15	c  N st    72   1136170       391      1693         0     45436      5118    412246   no data   no data
728.36/182.53	c  N st    73   1168562       391      1693         0     76884      5118   1098207   no data   no data
762.66/191.15	c  N st    74   1209847       391      1693         0     71432      5118    933100   no data   no data
762.66/191.15	c  S st    74   1209847       391      1693         0     71432      5118    933100   no data   no data
763.48/191.36	c  S st    74   1210352       391      1693         0     71935      5118    943349   no data   no data
763.48/191.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
763.48/191.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
763.48/191.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
763.48/191.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
763.48/191.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
763.48/191.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
763.48/191.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
763.88/191.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
763.88/191.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
772.67/193.62	c lits-rem:       391  cl-subs:     5107  v-elim:      0  v-fix:    0  time:  2.18 s
772.67/193.62	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
772.67/193.63	c vivif2 --  cl tried    66828 cl shrink        0 lits rem          0 time: 0.01
772.67/193.69	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.06
772.67/193.69	c calculated reachability. Time: 0.00
772.67/193.69	c  N st    74   1210352       391      1693         0     66828      5118    847780   no data   no data
846.06/212.07	c  N st    75   1283235       391      1693         0     91033      5118   1295890   no data   no data
956.22/239.61	c  N st    76   1392558       391      1693         0     51414      5118    472571   no data   no data
1113.47/279.05	c  N st    77   1556542       391      1693         0     56002      5118    527126   no data   no data
1254.34/314.36	c  N st    78   1710355       391      1693         0     97217      5118   1281921   no data   no data
1254.34/314.36	c  S st    78   1710355       391      1693         0     97217      5118   1281921   no data   no data
1255.57/314.68	c  S st    78   1710857       391      1693         0     97715      5118   1292864   no data   no data
1255.57/314.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1255.93/314.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1255.93/314.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1255.93/314.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1255.93/314.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1255.93/314.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1255.93/314.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1255.93/314.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1255.93/314.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1281.92/321.27	c lits-rem:       777  cl-subs:    13833  v-elim:      0  v-fix:    0  time:  6.48 s
1281.92/321.27	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1281.92/321.28	c vivif2 --  cl tried    83882 cl shrink        0 lits rem          0 time: 0.02
1282.28/321.36	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
1282.28/321.36	c calculated reachability. Time: 0.00
1282.28/321.36	c  N st    78   1710857       391      1693         0     83882      5118   1067665   no data   no data
1644.66/412.14	c  N st    79   2079821       391      1693         0     95902      5118   1227243   no data   no data
1802.71/451.71	c  N st    80   2210858       391      1693         0     99707      5118   1280472   no data   no data
1802.71/451.71	c  S st    80   2210858       391      1693         0     99707      5118   1280472   no data   no data
1803.93/452.04	c  S st    80   2211363       391      1693         0    100210      5118   1291123   no data   no data
1803.93/452.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1803.93/452.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1803.93/452.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1803.93/452.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1803.93/452.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1803.93/452.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1803.93/452.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1804.34/452.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1804.34/452.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1824.65/457.25	c lits-rem:      1005  cl-subs:    10090  v-elim:      0  v-fix:    0  time:  5.10 s
1824.65/457.25	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
1824.65/457.27	c vivif2 --  cl tried    90120 cl shrink        0 lits rem          0 time: 0.02
1825.05/457.36	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.09
1825.05/457.36	c calculated reachability. Time: 0.00
1825.05/457.36	c  N st    80   2211363       391      1693         0     90120      5118   1117954   no data   no data
2421.31/606.72	c  N st    81   2711363       391      1693         0    113859      5118   1520875   no data   no data
2421.31/606.72	c  S st    81   2711363       391      1693         0    113859      5118   1520875   no data   no data
2422.93/607.15	c  S st    81   2711864       391      1693         0    114355      5118   1531067   no data   no data
2422.93/607.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2423.34/607.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2423.34/607.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2423.34/607.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2423.34/607.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2423.34/607.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2423.34/607.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2423.34/607.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2423.34/607.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2456.43/615.52	c lits-rem:       556  cl-subs:    11142  v-elim:      0  v-fix:    0  time:  8.23 s
2456.43/615.52	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
2456.43/615.54	c vivif2 --  cl tried   103213 cl shrink        0 lits rem          0 time: 0.02
2456.83/615.64	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.10
2456.83/615.64	c calculated reachability. Time: 0.00
2456.83/615.64	c  N st    81   2711864       391      1693         0    103213      5118   1327442   no data   no data
3097.77/776.21	c  N st    82   3211864       391      1693         0     79152      5118    710641   no data   no data
3097.77/776.21	c  S st    82   3211864       391      1693         0     79152      5118    710641   no data   no data
3098.57/776.45	c  S st    82   3212365       391      1693         0     79653      5118    720935   no data   no data
3098.57/776.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3098.57/776.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3098.57/776.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3098.57/776.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3098.57/776.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3098.57/776.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3098.57/776.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3098.57/776.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3098.99/776.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3099.76/776.78	c lits-rem:        30  cl-subs:     1251  v-elim:      0  v-fix:    0  time:  0.26 s
3099.76/776.78	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3099.76/776.79	c vivif2 --  cl tried    78402 cl shrink        0 lits rem          0 time: 0.01
3100.16/776.86	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.07
3100.16/776.87	c calculated reachability. Time: 0.00
3100.16/776.87	c  N st    82   3212365       391      1693         0     78402      5118    701095   no data   no data
3808.17/954.23	c  N st    83   3712366       391      1693         0     89291      5118    866091   no data   no data
3808.17/954.23	c  S st    83   3712366       391      1693         0     89291      5118    866091   no data   no data
3808.97/954.49	c  S st    83   3712871       391      1693         0     89795      5118    877186   no data   no data
3809.36/954.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3809.36/954.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3809.36/954.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3809.36/954.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3809.36/954.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3809.36/954.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3809.36/954.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3809.36/954.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3809.36/954.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3811.75/955.11	c lits-rem:       118  cl-subs:     1527  v-elim:      0  v-fix:    0  time:  0.53 s
3811.75/955.11	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
3811.75/955.13	c vivif2 --  cl tried    88268 cl shrink        0 lits rem          0 time: 0.01
3812.15/955.21	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.08
3812.15/955.21	c calculated reachability. Time: 0.00
3812.15/955.21	c  N st    83   3712871       391      1693         0     88268      5118    847535   no data   no data
3859.64/967.19	c  F st    84   3751562       391      1693         0    125580      5118   1642329   no data   no data
3859.64/967.19	c  N st    84   3751562       391      1693         0    125580      5118   1642329   no data   no data
3870.42/969.80	c Decided on static restart strategy
3916.30/981.35	c  N st    94   3779867       391      1693         0    152834      5118   2189521   no data   no data
3971.79/995.21	c  N st    96   3815860       391      1693         0    105677      5118   1172090   no data   no data
4024.07/1008.35	c  N st    97   3848255       391      1693         0    137014      5118   1841457   no data   no data
4119.05/1032.10	c  N st    98   3896843       391      1693         0    101061      5118   1050244   no data   no data
4244.38/1063.56	c  N st    99   3969727       391      1693         0     87283      5118    767631   no data   no data
4410.00/1105.07	c  N st   100   4079053       391      1693         0    107038      5118   1119016   no data   no data
4608.76/1154.87	c  N st   101   4212872       391      1693         0    149920      5118   1953350   no data   no data
4608.76/1154.87	c  S st   101   4212872       391      1693         0    149920      5118   1953350   no data   no data
4611.15/1155.49	c  S st   101   4213373       391      1693         0    150420      5118   1963780   no data   no data
4611.55/1155.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4611.55/1155.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4611.55/1155.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4611.55/1155.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4611.55/1155.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4611.55/1155.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4611.55/1155.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4611.95/1155.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4611.95/1155.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4703.34/1178.52	c lits-rem:       880  cl-subs:    22712  v-elim:      0  v-fix:    0  time: 22.85 s
4703.34/1178.52	c vivif2 --  cl tried     1693 cl shrink        0 lits rem          0 time: 0.00
4703.34/1178.55	c vivif2 --  cl tried   127708 cl shrink        0 lits rem          0 time: 0.02
4703.74/1178.69	c asymm  cl-useful: 0/1693/1693 lits-rem:0 time: 0.14
4703.74/1178.69	c calculated reachability. Time: 0.00
4703.74/1178.69	c  N st   101   4213373       391      1693         0    127708      5118   1567207   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-3366363-1305402560/watcher-3366363-1305402560 -o /tmp/evaluation-result-3366363-1305402560/solver-3366363-1305402560 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366363-1305402560.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.45 7.98 8.01 6/282 18739
/proc/meminfo: memFree=25092520/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 411 0 0 0 0 0 0 0 23 0 4 0 632671333 52396032 352 33554432000 4194304 4580107 140735258607008 18446744073709551615 47942570456601 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 12792 352 302 95 0 7774 0
[pid=18739/tid=18740] ppid=18737 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 632671333 52396032 352 33554432000 4194304 4580107 140735258607008 18446744073709551615 47942570456592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632671333 52396032 352 33554432000 4194304 4580107 140735258607008 18446744073709551615 47942570457010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632671333 52396032 352 33554432000 4194304 4580107 140735258607008 18446744073709551615 47942570456601 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.039352 s]
/proc/loadavg: 7.45 7.98 8.01 6/282 18739
/proc/meminfo: memFree=25092520/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=282076 CPUtime=0.13 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 1230 0 0 0 13 0 0 0 18 0 4 0 632671333 288845824 1136 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 70519 1136 376 95 0 65501 0
[pid=18739/tid=18740] ppid=18737 vsize=282076 CPUtime=0.03 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 217 0 0 0 3 0 0 0 18 0 4 0 632671333 288845824 1136 33554432000 4194304 4580107 140735258607008 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=282076 CPUtime=0.02 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 229 0 0 0 2 0 0 0 25 0 4 0 632671333 288845824 1136 33554432000 4194304 4580107 140735258607008 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=282076 CPUtime=0.03 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 152 0 0 0 3 0 0 0 18 0 4 0 632671333 288845824 1136 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 282076

[startup+0.100341 s]
/proc/loadavg: 7.45 7.98 8.01 6/282 18739
/proc/meminfo: memFree=25092520/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=282216 CPUtime=0.37 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 1510 0 0 0 37 0 0 0 18 0 4 0 632671333 288989184 1416 33554432000 4194304 4580107 140735258607008 18446744073709551615 4296088 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 70554 1416 377 95 0 65536 0
[pid=18739/tid=18740] ppid=18737 vsize=282216 CPUtime=0.09 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 285 0 0 0 9 0 0 0 18 0 4 0 632671333 288989184 1416 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=282216 CPUtime=0.09 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 286 0 0 0 9 0 0 0 25 0 4 0 632671333 288989184 1416 33554432000 4194304 4580107 140735258607008 18446744073709551615 4318686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=282216 CPUtime=0.09 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 238 0 0 0 9 0 0 0 18 0 4 0 632671333 288989184 1416 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282216

[startup+0.300306 s]
/proc/loadavg: 7.45 7.98 8.01 6/282 18739
/proc/meminfo: memFree=25092520/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=283576 CPUtime=1.17 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 2478 0 0 0 117 0 0 0 18 0 4 0 632671333 290381824 1910 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 70894 1910 377 95 0 65876 0
[pid=18739/tid=18740] ppid=18737 vsize=283576 CPUtime=0.29 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 516 0 0 0 29 0 0 0 18 0 4 0 632671333 290381824 1910 33554432000 4194304 4580107 140735258607008 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=283576 CPUtime=0.28 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 531 0 0 0 28 0 0 0 25 0 4 0 632671333 290381824 1910 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=283576 CPUtime=0.29 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 471 0 0 0 29 0 0 0 18 0 4 0 632671333 290381824 1910 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283576

[startup+0.700237 s]
/proc/loadavg: 7.45 7.98 8.01 6/282 18739
/proc/meminfo: memFree=25092520/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=284928 CPUtime=2.77 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 4338 0 0 0 277 0 0 0 18 0 4 0 632671333 291766272 2110 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 71232 2110 377 95 0 66214 0
[pid=18739/tid=18740] ppid=18737 vsize=284928 CPUtime=0.69 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 985 0 0 0 69 0 0 0 18 0 4 0 632671333 291766272 2110 33554432000 4194304 4580107 140735258607008 18446744073709551615 4323158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=284928 CPUtime=0.68 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 1009 0 0 0 68 0 0 0 25 0 4 0 632671333 291766272 2110 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=284928 CPUtime=0.69 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 914 0 0 0 69 0 0 0 18 0 4 0 632671333 291766272 2110 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284928

[startup+1.50109 s]
/proc/loadavg: 7.45 7.98 8.01 9/286 18743
/proc/meminfo: memFree=25073516/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=285860 CPUtime=5.96 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 7716 0 0 0 595 1 0 0 20 0 4 0 632671333 292720640 4243 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 71465 4243 379 95 0 66447 0
[pid=18739/tid=18740] ppid=18737 vsize=285860 CPUtime=1.49 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 1534 0 0 0 149 0 0 0 20 0 4 0 632671333 292720640 4243 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=285860 CPUtime=1.47 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 1567 0 0 0 147 0 0 0 25 0 4 0 632671333 292720640 4243 33554432000 4194304 4580107 140735258607008 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=285860 CPUtime=1.49 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 1473 0 0 0 149 0 0 0 20 0 4 0 632671333 292720640 4243 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285860

[startup+3.10081 s]
/proc/loadavg: 7.45 7.98 8.01 9/286 18743
/proc/meminfo: memFree=25041648/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=290476 CPUtime=12.35 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 16235 0 0 0 1232 3 0 0 25 0 4 0 632671333 297447424 7873 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 72619 7873 379 95 0 67601 0
[pid=18739/tid=18740] ppid=18737 vsize=290476 CPUtime=3.09 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 3558 0 0 0 309 0 0 0 25 0 4 0 632671333 297447424 7873 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=290476 CPUtime=3.06 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 4343 0 0 0 305 1 0 0 25 0 4 0 632671333 297447424 7873 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=290476 CPUtime=3.09 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 4054 0 0 0 308 1 0 0 25 0 4 0 632671333 297447424 7873 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 290476

[startup+6.30024 s]
/proc/loadavg: 7.50 7.98 8.00 9/286 18743
/proc/meminfo: memFree=24987700/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=297620 CPUtime=25.13 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 25367 0 0 0 2507 6 0 0 25 0 4 0 632671333 304762880 11085 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 74405 11085 379 95 0 69387 0
[pid=18739/tid=18740] ppid=18737 vsize=297620 CPUtime=6.29 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 6528 0 0 0 628 1 0 0 25 0 4 0 632671333 304762880 11085 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=297620 CPUtime=6.24 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 6991 0 0 0 622 2 0 0 25 0 4 0 632671333 304762880 11086 33554432000 4194304 4580107 140735258607008 18446744073709551615 4321570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=297620 CPUtime=6.28 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 5728 0 0 0 627 1 0 0 25 0 4 0 632671333 304762880 11086 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 297620

[startup+12.7011 s]
/proc/loadavg: 7.54 7.98 8.00 9/286 18743
/proc/meminfo: memFree=24934120/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=302616 CPUtime=50.67 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 40502 0 0 0 5059 8 0 0 25 0 4 0 632671333 309878784 15861 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 75654 15861 379 95 0 70636 0
[pid=18739/tid=18740] ppid=18737 vsize=302616 CPUtime=12.68 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 10085 0 0 0 1267 1 0 0 25 0 4 0 632671333 309878784 15861 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=302616 CPUtime=12.57 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 9688 0 0 0 1255 2 0 0 25 0 4 0 632671333 309878784 15861 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=302616 CPUtime=12.69 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 9866 0 0 0 1267 2 0 0 25 0 4 0 632671333 309878784 15861 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 302616

[startup+25.5008 s]
/proc/loadavg: 7.64 7.98 8.00 9/286 18744
/proc/meminfo: memFree=24878944/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=312508 CPUtime=101.74 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 61428 0 0 0 10162 12 0 0 25 0 4 0 632671333 320008192 22999 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 78127 22999 379 95 0 73109 0
[pid=18739/tid=18740] ppid=18737 vsize=312508 CPUtime=25.48 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 15358 0 0 0 2546 2 0 0 25 0 4 0 632671333 320008192 22999 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=312508 CPUtime=25.25 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 15178 0 0 0 2522 3 0 0 25 0 4 0 632671333 320008192 22999 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=312508 CPUtime=25.48 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 15012 0 0 0 2545 3 0 0 25 0 4 0 632671333 320008192 22999 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 312508

[startup+51.1003 s]
/proc/loadavg: 7.84 8.00 8.01 9/286 18744
/proc/meminfo: memFree=24830624/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=313768 CPUtime=203.91 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 87118 0 0 0 20371 20 0 0 25 0 4 0 632671333 321298432 28025 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 78442 28025 379 95 0 73424 0
[pid=18739/tid=18740] ppid=18737 vsize=313768 CPUtime=51.09 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 22603 0 0 0 5104 5 0 0 25 0 4 0 632671333 321298432 28025 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=313768 CPUtime=50.62 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 22220 0 0 0 5057 5 0 0 25 0 4 0 632671333 321298432 28025 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=313768 CPUtime=51.08 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 19717 0 0 0 5104 4 0 0 25 0 4 0 632671333 321298432 28025 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 313768

[startup+102.31 s]
/proc/loadavg: 7.97 8.01 8.01 9/286 18746
/proc/meminfo: memFree=24770712/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=324952 CPUtime=408.29 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 125407 0 0 0 40794 35 0 0 25 0 4 0 632671333 332750848 34943 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 81238 34943 379 95 0 76220 0
[pid=18739/tid=18740] ppid=18737 vsize=324952 CPUtime=102.3 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 33741 0 0 0 10220 10 0 0 25 0 4 0 632671333 332750848 34943 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=324952 CPUtime=101.37 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 31911 0 0 0 10128 9 0 0 25 0 4 0 632671333 332750848 34943 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=324952 CPUtime=102.3 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 26773 0 0 0 10223 7 0 0 25 0 4 0 632671333 332750848 34943 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.29
Current children cumulated vsize (KiB) 324952

[startup+162.301 s]

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

[pid=18739] ppid=18737 vsize=521940 CPUtime=2563.42 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 379377 0 0 0 256202 140 0 0 25 0 4 0 632671333 534466560 74637 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 130485 74637 379 95 0 125467 0
[pid=18739/tid=18740] ppid=18737 vsize=521940 CPUtime=642.32 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 91868 0 0 0 64196 36 0 0 25 0 4 0 632671333 534466560 74638 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=521940 CPUtime=636.47 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 98894 0 0 0 63611 36 0 0 25 0 4 0 632671333 534466560 74638 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=521940 CPUtime=642.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 85070 0 0 0 64199 32 0 0 25 0 4 0 632671333 534466560 74638 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.42
Current children cumulated vsize (KiB) 521940

[startup+702.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/286 18771
/proc/meminfo: memFree=24428092/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=486852 CPUtime=2802.83 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 401539 0 0 0 280133 150 0 0 25 0 4 0 632671333 498536448 69604 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 121713 69604 379 95 0 116695 0
[pid=18739/tid=18740] ppid=18737 vsize=486852 CPUtime=702.3 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 96581 0 0 0 70192 38 0 0 25 0 4 0 632671333 498536448 69604 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=486852 CPUtime=695.92 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 104343 0 0 0 69553 39 0 0 25 0 4 0 632671333 498536448 69604 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=486852 CPUtime=702.3 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 90519 0 0 0 70195 35 0 0 25 0 4 0 632671333 498536448 69604 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.83
Current children cumulated vsize (KiB) 486852

[startup+762.31 s]
/proc/loadavg: 8.15 8.11 8.04 9/286 18772
/proc/meminfo: memFree=24376804/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=487104 CPUtime=3042.32 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 423652 0 0 0 304073 159 0 0 25 0 4 0 632671333 498794496 81442 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 121776 81442 379 95 0 116758 0
[pid=18739/tid=18740] ppid=18737 vsize=487104 CPUtime=762.31 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 103402 0 0 0 76191 40 0 0 25 0 4 0 632671333 498794496 81442 33554432000 4194304 4580107 140735258607008 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=487104 CPUtime=755.38 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 109730 0 0 0 75497 41 0 0 25 0 4 0 632671333 498794496 81442 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=487104 CPUtime=762.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 96141 0 0 0 76194 37 0 0 25 0 4 0 632671333 498794496 81442 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.32
Current children cumulated vsize (KiB) 487104

[startup+822.301 s]
/proc/loadavg: 8.10 8.10 8.04 9/286 18774
/proc/meminfo: memFree=24301136/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=554392 CPUtime=3281.75 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 441781 0 0 0 328006 169 0 0 25 0 4 0 632671333 567697408 86530 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 138598 86530 379 95 0 133580 0
[pid=18739/tid=18740] ppid=18737 vsize=554392 CPUtime=822.31 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 107686 0 0 0 82188 43 0 0 25 0 4 0 632671333 567697408 86530 33554432000 4194304 4580107 140735258607008 18446744073709551615 4324379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=554392 CPUtime=814.83 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 112677 0 0 0 81440 43 0 0 25 0 4 0 632671333 567697408 86530 33554432000 4194304 4580107 140735258607008 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=554392 CPUtime=822.3 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 102227 0 0 0 82191 39 0 0 25 0 4 0 632671333 567697408 86530 33554432000 4194304 4580107 140735258607008 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.75
Current children cumulated vsize (KiB) 554392

[startup+882.301 s]
/proc/loadavg: 8.08 8.09 8.04 9/286 18775
/proc/meminfo: memFree=24292308/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=563572 CPUtime=3521.2 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 463516 0 0 0 351941 179 0 0 25 0 4 0 632671333 577097728 84013 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 140893 84013 379 95 0 135875 0
[pid=18739/tid=18740] ppid=18737 vsize=563572 CPUtime=882.3 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 112521 0 0 0 88185 45 0 0 25 0 4 0 632671333 577097728 84013 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=563572 CPUtime=874.28 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 119010 0 0 0 87383 45 0 0 25 0 4 0 632671333 577097728 84013 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=563572 CPUtime=882.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 107152 0 0 0 88189 42 0 0 25 0 4 0 632671333 577097728 84013 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.2
Current children cumulated vsize (KiB) 563572

[startup+942.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/286 18777
/proc/meminfo: memFree=24272568/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=572768 CPUtime=3760.67 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 485210 0 0 0 375876 191 0 0 25 0 4 0 632671333 586514432 84279 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 143192 84279 379 95 0 138174 0
[pid=18739/tid=18740] ppid=18737 vsize=572768 CPUtime=942.3 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 120103 0 0 0 94181 49 0 0 25 0 4 0 632671333 586514432 84279 33554432000 4194304 4580107 140735258607008 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=572768 CPUtime=933.74 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 124193 0 0 0 93326 48 0 0 25 0 4 0 632671333 586514432 84279 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=572768 CPUtime=942.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 110627 0 0 0 94187 44 0 0 25 0 4 0 632671333 586514432 84279 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.67
Current children cumulated vsize (KiB) 572768

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.04 9/286 18779
/proc/meminfo: memFree=24299692/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=573112 CPUtime=4000.12 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 505579 0 0 0 399810 202 0 0 25 0 4 0 632671333 586866688 87529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 143278 87529 379 95 0 138260 0
[pid=18739/tid=18740] ppid=18737 vsize=573112 CPUtime=1002.31 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 125117 0 0 0 100179 52 0 0 25 0 4 0 632671333 586866688 87529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=573112 CPUtime=993.19 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 129401 0 0 0 99269 50 0 0 25 0 4 0 632671333 586866688 87529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=573112 CPUtime=1002.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 115540 0 0 0 100184 47 0 0 25 0 4 0 632671333 586866688 87529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.12
Current children cumulated vsize (KiB) 573112

[startup+1062.3 s]
/proc/loadavg: 8.19 8.12 8.05 9/286 18780
/proc/meminfo: memFree=24247708/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=573304 CPUtime=4239.59 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 521008 0 0 0 423749 210 0 0 25 0 4 0 632671333 587063296 86529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 143326 86529 379 95 0 138308 0
[pid=18739/tid=18740] ppid=18737 vsize=573304 CPUtime=1062.31 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 129300 0 0 0 106176 55 0 0 25 0 4 0 632671333 587063296 86529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=573304 CPUtime=1052.65 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 135508 0 0 0 105212 53 0 0 25 0 4 0 632671333 587063296 86529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=573304 CPUtime=1062.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 116996 0 0 0 106183 48 0 0 25 0 4 0 632671333 587063296 86529 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.59
Current children cumulated vsize (KiB) 573304

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.06 9/286 18782
/proc/meminfo: memFree=24217680/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=547928 CPUtime=4479.05 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 540565 0 0 0 447687 218 0 0 25 0 4 0 632671333 561078272 92176 33554432000 4194304 4580107 140735258607008 18446744073709551615 4318673 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 136982 92176 379 95 0 131964 0
[pid=18739/tid=18740] ppid=18737 vsize=547928 CPUtime=1122.31 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 134308 0 0 0 112174 57 0 0 25 0 4 0 632671333 561078272 92176 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=547928 CPUtime=1112.11 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 139815 0 0 0 111155 56 0 0 25 0 4 0 632671333 561078272 92176 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=547928 CPUtime=1122.32 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 122119 0 0 0 112182 50 0 0 25 0 4 0 632671333 561078272 92176 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.05
Current children cumulated vsize (KiB) 547928

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.06 9/286 18783
/proc/meminfo: memFree=24180712/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=561796 CPUtime=4718.51 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 553761 0 0 0 471624 227 0 0 25 0 4 0 632671333 575279104 90677 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 140449 90677 379 95 0 135431 0
[pid=18739/tid=18740] ppid=18737 vsize=561796 CPUtime=1182.32 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 138233 0 0 0 118172 60 0 0 25 0 4 0 632671333 575279104 90677 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=561796 CPUtime=1171.56 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 144967 0 0 0 117098 58 0 0 25 0 4 0 632671333 575279104 90677 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=561796 CPUtime=1182.31 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 124134 0 0 0 118180 51 0 0 25 0 4 0 632671333 575279104 90677 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.51
Current children cumulated vsize (KiB) 561796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.18 8.14 8.07 7/285 18785
/proc/meminfo: memFree=24180820/32951124 swapFree=67057896/67111528
[pid=18739] ppid=18737 vsize=561860 CPUtime=4800.34 cores=1,3,5,7
/proc/18739/stat : 18739 (strangenight2-m) R 18737 18739 18306 0 -1 4202496 559540 0 0 0 479805 229 0 0 25 0 4 0 632671333 575344640 92817 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18739/statm: 140465 92817 379 95 0 135447 0
[pid=18739/tid=18740] ppid=18737 vsize=561860 CPUtime=1202.83 cores=1,3,5,7
/proc/18739/task/18740/stat : 18740 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 140224 0 0 0 120222 61 0 0 25 0 4 0 632671333 575344640 92818 33554432000 4194304 4580107 140735258607008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18739/tid=18741] ppid=18737 vsize=561860 CPUtime=1191.88 cores=1,3,5,7
/proc/18739/task/18741/stat : 18741 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 145934 0 0 0 119129 59 0 0 25 0 4 0 632671333 575344640 92818 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18739/tid=18742] ppid=18737 vsize=561860 CPUtime=1202.83 cores=1,3,5,7
/proc/18739/task/18742/stat : 18742 (strangenight2-m) R 18737 18739 18306 0 -1 4202560 125252 0 0 0 120231 52 0 0 25 0 4 0 632671333 575344640 92818 33554432000 4194304 4580107 140735258607008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 561860

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): 1202.83
CPU time (s): 4800.4
CPU user time (s): 4798.09
CPU system time (s): 2.30865
CPU usage (%): 399.091
Max. virtual memory (cumulated for all children) (KiB): 623584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 2.30865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 559541
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= 223
involuntary context switches= 31041

runsolver used 3.13352 second user time and 7.81781 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 21:49:20
IDJOB=3366363
IDBENCH=82772
IDSOLVER=1844
FILE ID=node140/3366363-1305402560
RUNJOBID= node140-1305401355-18622
PBS_JOBID= 13324465
Free space on /tmp= 73480 MiB

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

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

MD5SUM BENCH= 7d7bac8ccb8010e4eec020bc5c53d758
RANDOM SEED=27490398

node140.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.833
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.66
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.833
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.14
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.833
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.833
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.77
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.833
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.833
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.74
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.833
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.833
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:     32951124 kB
MemFree:      25092676 kB
Buffers:        296424 kB
Cached:        3720356 kB
SwapCached:       8056 kB
Active:        4875596 kB
Inactive:      2673484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25092676 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           10904 kB
Writeback:          12 kB
AnonPages:     3528804 kB
Mapped:          23148 kB
Slab:           224372 kB
PageTables:      21832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45649876 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= 73476 MiB
End job on node140 at 2011-05-14 22:09:25