Trace number 3366597

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf
MD5SUM82f21398af62a72249630e457a91aa93
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.081987
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366597-1305409868.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 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:    600 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.01	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     272 undec:      64 neg:     264
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       592      2548         0         0      7689         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.37/0.16	c  N st     8      4923       592      2548         0      4867      7689    130191   no data   no data
1.57/0.43	c  N st    10     11307       592      2548         0      4523      7689     86576   no data   no data
2.76/0.73	c  N st    11     17051       592      2548         0     10194      7689    240263   no data   no data
4.40/1.16	c  F st    12     25001       592      2548         0     12443      7689    296425   no data   no data
4.40/1.16	c  N st    12     25001       592      2548         0     12443      7689    296425   no data   no data
5.55/1.42	c Decided on static restart strategy
5.55/1.42	c  N st    18     30001       592      2548         0     10712      7689    229642   no data   no data
5.55/1.42	c  S st    18     30001       592      2548         0     10712      7689    229642   no data   no data
5.55/1.45	c  S st    18     30505       592      2548         0     11216      7689    242347   no data   no data
5.55/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.45	c blocked clauses removed:       12 vars:      2 tried:         592 T: 0.00 s
5.55/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
5.55/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.51	c lits-rem:       100  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.52	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
5.95/1.52	c calculated reachability. Time: 0.00
5.95/1.52	c  N st    18     30505       590      2536         0     10882      7653    232149   no data   no data
7.55/1.93	c  N st    20     37617       590      2536         0     10138      7653    189594   no data   no data
9.14/2.33	c  N st    21     44016       590      2536         0     16409      7653    359408   no data   no data
9.54/2.46	c  S st    22     45757       590      2536         0      9333      7653    150347   no data   no data
9.54/2.49	c  S st    22     46261       590      2536         0      9836      7653    162448   no data   no data
9.54/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
9.54/2.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.51	c lits-rem:        25  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.51	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
9.94/2.51	c vivif2 --  cl tried     9761 cl shrink        0 lits rem          0 time: 0.00
9.94/2.52	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
9.94/2.52	c calculated reachability. Time: 0.00
9.94/2.52	c  N st    22     46261       590      2536         0      9761      7653    160288   no data   no data
13.93/3.56	c  N st    23     60658       590      2536         0     14143      7653    262944   no data   no data
16.73/4.26	c  N st    24     69392       590      2536         0     11928      7653    195684   no data   no data
16.73/4.26	c  S st    24     69392       590      2536         0     11928      7653    195684   no data   no data
16.73/4.30	c  S st    24     69893       590      2536         0     12429      7653    208724   no data   no data
16.73/4.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
16.73/4.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.33	c lits-rem:        41  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
17.15/4.33	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
17.15/4.33	c vivif2 --  cl tried    12334 cl shrink        0 lits rem          0 time: 0.00
17.15/4.34	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
17.15/4.34	c calculated reachability. Time: 0.00
17.15/4.34	c  N st    24     69893       590      2536         0     12334      7653    206141   no data   no data
22.30/5.62	c  F st    25     87502       590      2536         0     17814      7653    360653   no data   no data
22.30/5.62	c  N st    25     87502       590      2536         0     17814      7653    360653   no data   no data
23.90/6.04	c Decided on static restart strategy
25.10/6.33	c  N st    32     95540       590      2536         0     12970      7653    190777   no data   no data
27.88/7.04	c  N st    34    104841       590      2536         0     22124      7653    447943   no data   no data
27.88/7.04	c  S st    34    104841       590      2536         0     22124      7653    447943   no data   no data
28.28/7.10	c  S st    34    105344       590      2536         0     22627      7653    460581   no data   no data
28.28/7.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.28/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.28/7.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.28/7.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.28/7.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.28/7.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
28.28/7.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.28/7.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.28/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.09/7.30	c lits-rem:       164  cl-subs:      686  v-elim:      0  v-fix:    0  time:  0.17 s
29.09/7.30	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
29.09/7.31	c vivif2 --  cl tried    21941 cl shrink        0 lits rem          0 time: 0.00
29.09/7.32	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
29.09/7.32	c calculated reachability. Time: 0.00
29.09/7.32	c  N st    34    105344       590      2536         0     21941      7653    437984   no data   no data
32.67/8.20	c  N st    35    114943       590      2536         0     17575      7653    293796   no data   no data
37.86/9.58	c  N st    36    129340       590      2536         0     16978      7653    253855   no data   no data
45.84/11.52	c  N st    37    150936       590      2536         0     22436      7653    386564   no data   no data
48.63/12.25	c  S st    38    158016       590      2536         0     29367      7653    565070   no data   no data
49.03/12.32	c  S st    38    158519       590      2536         0     29870      7653    577435   no data   no data
49.03/12.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.03/12.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.03/12.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.03/12.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.03/12.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.03/12.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
49.03/12.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.03/12.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.03/12.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.03/12.85	c lits-rem:       358  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  0.49 s
51.03/12.85	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
51.03/12.86	c vivif2 --  cl tried    28265 cl shrink        0 lits rem          0 time: 0.01
51.03/12.87	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
51.03/12.87	c calculated reachability. Time: 0.00
51.03/12.87	c  N st    38    158519       590      2536         0     28265      7653    537273   no data   no data
71.36/17.96	c  N st    39    207107       590      2536         0     22978      7653    361132   no data   no data
85.73/21.57	c  N st    40    237779       590      2536         0     33360      7653    607767   no data   no data
85.73/21.57	c  S st    40    237779       590      2536         0     33360      7653    607767   no data   no data
86.13/21.65	c  S st    40    238284       590      2536         0     33865      7653    619974   no data   no data
86.13/21.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.13/21.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.13/21.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.13/21.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.13/21.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.13/21.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
86.13/21.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.13/21.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.13/21.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.31/22.47	c lits-rem:       139  cl-subs:     2290  v-elim:      0  v-fix:    0  time:  0.78 s
89.31/22.47	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
89.31/22.48	c vivif2 --  cl tried    31575 cl shrink        0 lits rem          0 time: 0.01
89.71/22.50	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
89.71/22.50	c calculated reachability. Time: 0.00
89.71/22.50	c  N st    40    238284       590      2536         0     31575      7653    561410   no data   no data
123.61/31.05	c  F st    41    306251       590      2536         0     33420      7653    563027   no data   no data
123.61/31.05	c  N st    41    306251       590      2536         0     33420      7653    563027   no data   no data
126.42/31.72	c Decided on static restart strategy
137.58/34.54	c  N st    51    334557       590      2536         0     37872      7653    712147   no data   no data
150.33/37.76	c  N st    53    357426       590      2536         0     35799      7653    605991   no data   no data
150.33/37.76	c  S st    53    357426       590      2536         0     35799      7653    605991   no data   no data
150.73/37.85	c  S st    53    357931       590      2536         0     36304      7653    619216   no data   no data
150.73/37.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.73/37.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.73/37.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.73/37.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.73/37.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.73/37.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
150.73/37.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.73/37.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.73/37.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.93/38.18	c lits-rem:       185  cl-subs:      859  v-elim:      0  v-fix:    0  time:  0.29 s
151.93/38.18	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
151.93/38.19	c vivif2 --  cl tried    35445 cl shrink        0 lits rem          0 time: 0.01
152.33/38.21	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
152.33/38.21	c calculated reachability. Time: 0.00
152.33/38.21	c  N st    53    357931       590      2536         0     35445      7653    593336   no data   no data
169.09/42.44	c  N st    54    390325       590      2536         0     41838      7653    747803   no data   no data
197.81/49.61	c  N st    55    438913       590      2536         0     35526      7653    541342   no data   no data
244.48/61.34	c  N st    56    511796       590      2536         0     49202      7653    881247   no data   no data
261.63/65.63	c  N st    57    536896       590      2536         0     43249      7653    684953   no data   no data
261.63/65.63	c  S st    57    536896       590      2536         0     43249      7653    684953   no data   no data
262.03/65.74	c  S st    57    537400       590      2536         0     43752      7653    698792   no data   no data
262.03/65.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.03/65.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
262.03/65.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.03/65.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.03/65.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.03/65.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
262.03/65.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.03/65.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.03/65.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.82/66.49	c lits-rem:       263  cl-subs:     1873  v-elim:      0  v-fix:    0  time:  0.70 s
264.82/66.50	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
265.22/66.50	c vivif2 --  cl tried    41879 cl shrink        0 lits rem          0 time: 0.01
265.22/66.54	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.03
265.22/66.54	c calculated reachability. Time: 0.00
265.22/66.54	c  N st    57    537400       590      2536         0     41879      7653    648758   no data   no data
378.89/95.04	c  N st    58    701384       590      2536         0     36019      7653    400488   no data   no data
451.93/113.33	c  N st    59    806101       590      2536         0     64958      7653   1192351   no data   no data
451.93/113.33	c  S st    59    806101       590      2536         0     64958      7653   1192351   no data   no data
452.68/113.52	c  S st    59    806605       590      2536         0     65460      7653   1206291   no data   no data
452.68/113.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.68/113.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
452.68/113.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.68/113.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.68/113.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.68/113.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
452.68/113.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
452.68/113.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
453.08/113.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.09/116.66	c lits-rem:       595  cl-subs:     3353  v-elim:      0  v-fix:    0  time:  3.05 s
465.09/116.66	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
465.09/116.68	c vivif2 --  cl tried    62107 cl shrink        0 lits rem          0 time: 0.01
465.44/116.74	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.06
465.44/116.74	c calculated reachability. Time: 0.00
465.44/116.74	c  N st    59    806605       590      2536         0     62107      7653   1115523   no data   no data
678.44/170.15	c  F st    60   1071876       590      2536         0     77957      7653   1421023   no data   no data
678.44/170.15	c  N st    60   1071876       590      2536         0     77957      7653   1421023   no data   no data
684.05/171.61	c Decided on static restart strategy
702.01/176.09	c  N st    70   1100180       590      2536         0     61897      7653    951574   no data   no data
733.88/184.06	c  N st    72   1136173       590      2536         0     52195      7653    680410   no data   no data
765.39/191.91	c  N st    73   1168566       590      2536         0     83920      7653   1648740   no data   no data
801.29/200.95	c  N st    74   1209910       590      2536         0     78365      7653   1425535   no data   no data
801.29/200.95	c  S st    74   1209910       590      2536         0     78365      7653   1425535   no data   no data
802.09/201.17	c  S st    74   1210413       590      2536         0     78867      7653   1439956   no data   no data
802.09/201.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
802.52/201.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
802.52/201.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
802.52/201.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
802.52/201.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.52/201.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
802.52/201.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
802.52/201.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
802.52/201.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
818.04/205.14	c lits-rem:       774  cl-subs:     3354  v-elim:      0  v-fix:    0  time:  3.86 s
818.04/205.14	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
818.04/205.15	c vivif2 --  cl tried    75513 cl shrink        0 lits rem          0 time: 0.02
818.44/205.23	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.07
818.44/205.23	c calculated reachability. Time: 0.00
818.44/205.23	c  N st    74   1210413       590      2536         0     75513      7653   1342164   no data   no data
890.27/223.21	c  N st    75   1283295       590      2536         0     51999      7653    595507   no data   no data
1007.51/252.69	c  N st    76   1392618       590      2536         0     60015      7653    767954   no data   no data
1186.99/297.64	c  N st    77   1556605       590      2536         0     64438      7653    827766   no data   no data
1369.27/343.36	c  N st    78   1710416       590      2536         0    106495      7653   1974984   no data   no data
1369.27/343.36	c  S st    78   1710416       590      2536         0    106495      7653   1974984   no data   no data
1370.47/343.69	c  S st    78   1710920       590      2536         0    106996      7653   1988983   no data   no data
1370.87/343.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1370.87/343.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1370.87/343.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1370.87/343.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1370.87/343.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1370.87/343.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
1370.87/343.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1370.87/343.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1371.27/343.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1437.08/360.33	c lits-rem:      1430  cl-subs:     7522  v-elim:      0  v-fix:    0  time: 16.48 s
1437.08/360.33	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
1437.08/360.36	c vivif2 --  cl tried    99474 cl shrink        0 lits rem          0 time: 0.03
1437.48/360.46	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
1437.48/360.46	c calculated reachability. Time: 0.00
1437.48/360.46	c  N st    78   1710920       590      2536         0     99474      7653   1791081   no data   no data
1874.23/469.93	c  N st    79   2079887       590      2536         0    111299      7653   1942968   no data   no data
2040.55/511.61	c  N st    80   2210920       590      2536         0    115493      7653   2107487   no data   no data
2040.55/511.61	c  S st    80   2210920       590      2536         0    115493      7653   2107487   no data   no data
2041.75/511.97	c  S st    80   2211422       590      2536         0    115995      7653   2120354   no data   no data
2041.75/511.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2042.15/512.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2042.15/512.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2042.15/512.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2042.15/512.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2042.15/512.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
2042.15/512.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2042.15/512.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2042.55/512.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2102.76/527.25	c lits-rem:       566  cl-subs:     7068  v-elim:      0  v-fix:    0  time: 15.11 s
2102.76/527.25	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2102.76/527.28	c vivif2 --  cl tried   108927 cl shrink        0 lits rem          0 time: 0.03
2103.16/527.39	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.11
2103.16/527.39	c calculated reachability. Time: 0.00
2103.16/527.39	c  N st    80   2211422       590      2536         0    108927      7653   1929597   no data   no data
2779.62/696.90	c  N st    81   2711425       590      2536         0    132049      7653   2353396   no data   no data
2779.62/696.90	c  S st    81   2711425       590      2536         0    132049      7653   2353396   no data   no data
2781.25/697.32	c  S st    81   2711928       590      2536         0    132552      7653   2367086   no data   no data
2781.25/697.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2781.25/697.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2781.25/697.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2781.25/697.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2781.25/697.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2781.25/697.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
2781.25/697.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2781.66/697.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2782.01/697.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2871.74/720.03	c lits-rem:       872  cl-subs:    11044  v-elim:      0  v-fix:    0  time: 22.52 s
2871.74/720.03	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2871.74/720.06	c vivif2 --  cl tried   121508 cl shrink        0 lits rem          0 time: 0.03
2872.14/720.19	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.13
2872.14/720.19	c calculated reachability. Time: 0.00
2872.14/720.19	c  N st    81   2711928       590      2536         0    121508      7653   2096177   no data   no data
3617.61/907.21	c  N st    82   3211930       590      2536         0     97514      7653   1292853   no data   no data
3617.61/907.21	c  S st    82   3211930       590      2536         0     97514      7653   1292853   no data   no data
3618.84/907.51	c  S st    82   3212435       590      2536         0     98018      7653   1306439   no data   no data
3618.84/907.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3618.84/907.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3618.84/907.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3618.84/907.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3618.84/907.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3618.84/907.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
3618.84/907.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3618.84/907.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3619.19/907.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.20/909.66	c lits-rem:       289  cl-subs:     3500  v-elim:      0  v-fix:    0  time:  2.03 s
3627.20/909.66	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
3627.20/909.68	c vivif2 --  cl tried    94518 cl shrink        0 lits rem          0 time: 0.02
3627.62/909.77	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.09
3627.62/909.78	c calculated reachability. Time: 0.00
3627.62/909.78	c  N st    82   3212435       590      2536         0     94518      7653   1230820   no data   no data
4381.03/1098.63	c  N st    83   3712435       590      2536         0    105818      7653   1477232   no data   no data
4381.03/1098.63	c  S st    83   3712435       590      2536         0    105818      7653   1477232   no data   no data
4382.61/1099.06	c  S st    83   3712937       590      2536         0    106320      7653   1490823   no data   no data
4382.61/1099.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4383.01/1099.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4383.01/1099.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4383.01/1099.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4383.01/1099.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4383.01/1099.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
4383.01/1099.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4383.01/1099.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4383.41/1099.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4399.82/1103.35	c lits-rem:       478  cl-subs:     2172  v-elim:      0  v-fix:    0  time:  4.12 s
4399.82/1103.35	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
4399.82/1103.37	c vivif2 --  cl tried   104148 cl shrink        0 lits rem          0 time: 0.02
4400.57/1103.51	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.14
4400.57/1103.51	c calculated reachability. Time: 0.00
4400.57/1103.51	c  N st    83   3712937       590      2536         0    104148      7653   1431008   no data   no data
4464.38/1119.59	c  F st    84   3751565       590      2536         0    141868      7653   2519379   no data   no data
4464.38/1119.59	c  N st    84   3751565       590      2536         0    141868      7653   2519379   no data   no data
4474.76/1122.19	c Decided on static restart strategy
4522.67/1134.15	c  N st    94   3779865       590      2536         0     86370      7653    879872   no data   no data
4574.91/1147.30	c  N st    96   3815859       590      2536         0    121519      7653   1844492   no data   no data
4626.72/1160.25	c  N st    97   3848252       590      2536         0    153166      7653   2675567   no data   no data
4694.52/1177.23	c  N st    98   3896841       590      2536         0    116550      7653   1695148   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-3366597-1305409868/watcher-3366597-1305409868 -o /tmp/evaluation-result-3366597-1305409868/solver-3366597-1305409868 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366597-1305409868.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: 8.06 8.01 8.00 6/355 18770
/proc/meminfo: memFree=24491768/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=273768 CPUtime=0.01 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 879 0 0 0 1 0 0 0 25 0 4 0 652583833 280338432 799 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 68442 799 356 95 0 63424 0
[pid=18770/tid=18771] ppid=18768 vsize=282540 CPUtime=0 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 196 0 0 0 0 0 0 0 25 0 4 0 652583833 289320960 1080 33554432000 4194304 4580107 140735924009920 18446744073709551615 239476392047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=282540 CPUtime=0 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 4 0 652583833 289320960 1080 33554432000 4194304 4580107 140735924009920 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=282540 CPUtime=0 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 137 0 0 0 0 0 0 0 25 0 4 0 652583833 289320960 1081 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.02072 s]
/proc/loadavg: 8.06 8.01 8.00 6/355 18770
/proc/meminfo: memFree=24491768/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=282232 CPUtime=0.05 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 1412 0 0 0 5 0 0 0 25 0 4 0 652583833 289005568 1250 33554432000 4194304 4580107 140735924009920 18446744073709551615 4318719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 70558 1250 376 95 0 65540 0
[pid=18770/tid=18771] ppid=18768 vsize=282232 CPUtime=0.01 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 275 0 0 0 1 0 0 0 18 0 4 0 652583833 289005568 1250 33554432000 4194304 4580107 140735924009920 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=282232 CPUtime=0 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 262 0 0 0 0 0 0 0 25 0 4 0 652583833 289005568 1250 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=282232 CPUtime=0.01 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 148 0 0 0 1 0 0 0 25 0 4 0 652583833 289005568 1250 33554432000 4194304 4580107 140735924009920 18446744073709551615 4323047 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 282232

[startup+0.1007 s]
/proc/loadavg: 8.06 8.01 8.00 6/355 18770
/proc/meminfo: memFree=24491768/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=282364 CPUtime=0.37 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 1820 0 0 0 37 0 0 0 25 0 4 0 652583833 289140736 1658 33554432000 4194304 4580107 140735924009920 18446744073709551615 4292952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 70591 1658 377 95 0 65573 0
[pid=18770/tid=18771] ppid=18768 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 370 0 0 0 9 0 0 0 18 0 4 0 652583833 289140736 1658 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=282364 CPUtime=0.08 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 363 0 0 0 8 0 0 0 25 0 4 0 652583833 289140736 1658 33554432000 4194304 4580107 140735924009920 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 255 0 0 0 9 0 0 0 25 0 4 0 652583833 289140736 1658 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282364

[startup+0.30066 s]
/proc/loadavg: 8.06 8.01 8.00 6/355 18770
/proc/meminfo: memFree=24491768/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=283996 CPUtime=1.17 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 2978 0 0 0 117 0 0 0 25 0 4 0 652583833 290811904 2189 33554432000 4194304 4580107 140735924009920 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 70999 2189 377 95 0 65981 0
[pid=18770/tid=18771] ppid=18768 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 655 0 0 0 29 0 0 0 18 0 4 0 652583833 290811904 2189 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=283996 CPUtime=0.28 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 659 0 0 0 28 0 0 0 25 0 4 0 652583833 290811904 2189 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 537 0 0 0 29 0 0 0 25 0 4 0 652583833 290811904 2189 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283996

[startup+0.700584 s]
/proc/loadavg: 8.06 8.01 8.00 6/355 18770
/proc/meminfo: memFree=24491768/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=285028 CPUtime=2.76 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 4615 0 0 0 276 0 0 0 25 0 4 0 652583833 291868672 2851 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 71257 2851 377 95 0 66239 0
[pid=18770/tid=18771] ppid=18768 vsize=285028 CPUtime=0.69 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 1052 0 0 0 69 0 0 0 18 0 4 0 652583833 291868672 2852 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=285028 CPUtime=0.68 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 1112 0 0 0 68 0 0 0 25 0 4 0 652583833 291868672 2852 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=285028 CPUtime=0.69 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 911 0 0 0 69 0 0 0 25 0 4 0 652583833 291868672 2852 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285028

[startup+1.50044 s]
/proc/loadavg: 8.06 8.01 8.00 10/359 18774
/proc/meminfo: memFree=24479708/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=292424 CPUtime=5.95 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 9346 0 0 0 594 1 0 0 25 0 4 0 652583833 299442176 4897 33554432000 4194304 4580107 140735924009920 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 73106 4897 379 95 0 68088 0
[pid=18770/tid=18771] ppid=18768 vsize=292424 CPUtime=1.49 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 1882 0 0 0 149 0 0 0 20 0 4 0 652583833 299442176 4897 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=292424 CPUtime=1.47 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 1938 0 0 0 147 0 0 0 25 0 4 0 652583833 299442176 4897 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=292424 CPUtime=1.48 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 1717 0 0 0 148 0 0 0 25 0 4 0 652583833 299442176 4897 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 292424

[startup+3.10113 s]
/proc/loadavg: 8.06 8.01 8.00 10/359 18774
/proc/meminfo: memFree=24464952/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=284904 CPUtime=12.34 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 18694 0 0 0 1231 3 0 0 25 0 4 0 652583833 291741696 10251 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 71226 10251 379 95 0 66208 0
[pid=18770/tid=18771] ppid=18768 vsize=284904 CPUtime=3.08 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 4079 0 0 0 308 0 0 0 25 0 4 0 652583833 291741696 10251 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=284904 CPUtime=3.05 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 4813 0 0 0 305 0 0 0 25 0 4 0 652583833 291741696 10251 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=284904 CPUtime=3.09 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 4719 0 0 0 308 1 0 0 25 0 4 0 652583833 291741696 10251 33554432000 4194304 4580107 140735924009920 18446744073709551615 4321650 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 284904

[startup+6.30052 s]
/proc/loadavg: 8.06 8.01 8.00 10/359 18775
/proc/meminfo: memFree=24435700/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=287856 CPUtime=25.1 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 28837 0 0 0 2505 5 0 0 25 0 4 0 652583833 294764544 13303 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 71964 13303 379 95 0 66946 0
[pid=18770/tid=18771] ppid=18768 vsize=287856 CPUtime=6.29 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 7567 0 0 0 628 1 0 0 25 0 4 0 652583833 294764544 13303 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=287856 CPUtime=6.22 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 7442 0 0 0 621 1 0 0 25 0 4 0 652583833 294764544 13303 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=287856 CPUtime=6.28 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 6552 0 0 0 627 1 0 0 25 0 4 0 652583833 294764544 13303 33554432000 4194304 4580107 140735924009920 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 287856

[startup+12.7003 s]
/proc/loadavg: 8.05 8.01 8.00 10/359 18775
/proc/meminfo: memFree=24394928/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=293508 CPUtime=50.62 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 44290 0 0 0 5053 9 0 0 25 0 4 0 652583833 300552192 22293 33554432000 4194304 4580107 140735924009920 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 73377 22293 379 95 0 68359 0
[pid=18770/tid=18771] ppid=18768 vsize=293508 CPUtime=12.68 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 11166 0 0 0 1267 1 0 0 25 0 4 0 652583833 300552192 22293 33554432000 4194304 4580107 140735924009920 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=293508 CPUtime=12.53 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 10693 0 0 0 1252 1 0 0 25 0 4 0 652583833 300552192 22293 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=293508 CPUtime=12.68 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 10088 0 0 0 1266 2 0 0 25 0 4 0 652583833 300552192 22293 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 293508

[startup+25.5008 s]
/proc/loadavg: 8.11 8.02 8.00 10/359 18775
/proc/meminfo: memFree=24357108/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=309352 CPUtime=101.68 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 62632 0 0 0 10154 14 0 0 25 0 4 0 652583833 316776448 31817 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 77338 31817 379 95 0 72320 0
[pid=18770/tid=18771] ppid=18768 vsize=309352 CPUtime=25.48 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 15449 0 0 0 2546 2 0 0 25 0 4 0 652583833 316776448 31817 33554432000 4194304 4580107 140735924009920 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=309352 CPUtime=25.19 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 16818 0 0 0 2516 3 0 0 25 0 4 0 652583833 316776448 31817 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=309352 CPUtime=25.48 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 14298 0 0 0 2545 3 0 0 25 0 4 0 652583833 316776448 31818 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 309352

[startup+51.1009 s]
/proc/loadavg: 8.07 8.02 8.00 10/359 18776
/proc/meminfo: memFree=24315668/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=388000 CPUtime=203.79 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 83999 0 0 0 20356 23 0 0 25 0 4 0 652583833 397312000 38542 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 97000 38542 379 95 0 91982 0
[pid=18770/tid=18771] ppid=18768 vsize=388000 CPUtime=51.08 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 20230 0 0 0 5104 4 0 0 25 0 4 0 652583833 397312000 38542 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=388000 CPUtime=50.51 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 25375 0 0 0 5044 7 0 0 25 0 4 0 652583833 397312000 38542 33554432000 4194304 4580107 140735924009920 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=388000 CPUtime=51.09 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 19262 0 0 0 5103 6 0 0 25 0 4 0 652583833 397312000 38542 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 388000

[startup+102.313 s]
/proc/loadavg: 8.08 8.03 8.00 9/359 18777
/proc/meminfo: memFree=24306848/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=313092 CPUtime=408.06 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 119025 0 0 0 40769 37 0 0 25 0 4 0 652583833 320606208 37483 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 78273 37483 379 95 0 73255 0
[pid=18770/tid=18771] ppid=18768 vsize=313092 CPUtime=102.3 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 27653 0 0 0 10223 7 0 0 25 0 4 0 652583833 320606208 37483 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=313092 CPUtime=101.14 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 39694 0 0 0 10101 13 0 0 25 0 4 0 652583833 320606208 37483 33554432000 4194304 4580107 140735924009920 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=313092 CPUtime=102.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 27453 0 0 0 10220 9 0 0 25 0 4 0 652583833 320606208 37483 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 313092

[startup+162.301 s]

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

[pid=18770] ppid=18768 vsize=608252 CPUtime=2801.15 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 363113 0 0 0 279965 150 0 0 25 0 4 0 652583833 622850048 103828 33554432000 4194304 4580107 140735924009920 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 152063 103828 379 95 0 147045 0
[pid=18770/tid=18771] ppid=18768 vsize=608252 CPUtime=702.3 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 103200 0 0 0 70186 44 0 0 25 0 4 0 652583833 622850048 103828 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=608252 CPUtime=694.34 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 110718 0 0 0 69389 45 0 0 25 0 4 0 652583833 622850048 103828 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=608252 CPUtime=702.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 77225 0 0 0 70194 35 0 0 25 0 4 0 652583833 622850048 103828 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.15
Current children cumulated vsize (KiB) 608252

[startup+762.313 s]
/proc/loadavg: 8.13 8.11 8.03 10/359 18804
/proc/meminfo: memFree=23968096/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=633316 CPUtime=3040.52 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 384466 0 0 0 303889 163 0 0 25 0 4 0 652583833 648515584 105003 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 158329 105003 379 95 0 153311 0
[pid=18770/tid=18771] ppid=18768 vsize=633316 CPUtime=762.33 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 109723 0 0 0 76185 48 0 0 25 0 4 0 652583833 648515584 105003 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=633316 CPUtime=753.68 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 117755 0 0 0 75318 50 0 0 25 0 4 0 652583833 648515584 105003 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=633316 CPUtime=762.3 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 79917 0 0 0 76193 37 0 0 25 0 4 0 652583833 648515584 105003 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.52
Current children cumulated vsize (KiB) 633316

[startup+822.3 s]
/proc/loadavg: 8.34 8.17 8.06 5/354 18809
/proc/meminfo: memFree=24280328/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=698972 CPUtime=3278.97 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 403567 0 0 0 327724 173 0 0 25 0 4 0 652583833 715747328 117315 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 174743 117315 379 95 0 169725 0
[pid=18770/tid=18771] ppid=18768 vsize=698972 CPUtime=821.48 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 117008 0 0 0 82097 51 0 0 25 0 4 0 652583833 715747328 117315 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=698972 CPUtime=813 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 122715 0 0 0 81248 52 0 0 25 0 4 0 652583833 715747328 117315 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=698972 CPUtime=822.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 85348 0 0 0 82189 40 0 0 25 0 4 0 652583833 715747328 117315 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3278.97
Current children cumulated vsize (KiB) 698972

[startup+882.301 s]
/proc/loadavg: 8.26 8.18 8.07 9/359 18843
/proc/meminfo: memFree=24140256/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=685332 CPUtime=3518.29 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 417769 0 0 0 351650 179 0 0 25 0 4 0 652583833 701779968 116074 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 171333 116074 379 95 0 166315 0
[pid=18770/tid=18771] ppid=18768 vsize=685332 CPUtime=881.49 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 126621 0 0 0 88095 54 0 0 25 0 4 0 652583833 701779968 116074 33554432000 4194304 4580107 140735924009920 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=685332 CPUtime=872.32 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 124945 0 0 0 87177 55 0 0 25 0 4 0 652583833 701779968 116074 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=685332 CPUtime=882.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 87461 0 0 0 88189 40 0 0 25 0 4 0 652583833 701779968 116074 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.29
Current children cumulated vsize (KiB) 685332

[startup+942.3 s]
/proc/loadavg: 8.14 8.16 8.07 9/359 18845
/proc/meminfo: memFree=24086808/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=647488 CPUtime=3757.61 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 434327 0 0 0 375572 189 0 0 25 0 4 0 652583833 663027712 117560 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 161872 117560 379 95 0 156854 0
[pid=18770/tid=18771] ppid=18768 vsize=647488 CPUtime=941.49 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 132609 0 0 0 94091 58 0 0 25 0 4 0 652583833 663027712 117560 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=647488 CPUtime=931.65 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 130988 0 0 0 93108 57 0 0 25 0 4 0 652583833 663027712 117560 33554432000 4194304 4580107 140735924009920 18446744073709551615 4230128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=647488 CPUtime=942.3 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 91650 0 0 0 94186 44 0 0 25 0 4 0 652583833 663027712 117560 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.61
Current children cumulated vsize (KiB) 647488

[startup+1002.3 s]
/proc/loadavg: 8.09 8.14 8.06 9/359 18846
/proc/meminfo: memFree=24070556/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=700112 CPUtime=3996.94 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 449686 0 0 0 399496 198 0 0 25 0 4 0 652583833 716914688 116292 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 175028 116292 379 95 0 170010 0
[pid=18770/tid=18771] ppid=18768 vsize=700112 CPUtime=1001.49 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 138179 0 0 0 100088 61 0 0 25 0 4 0 652583833 716914688 116292 33554432000 4194304 4580107 140735924009920 18446744073709551615 4305199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=700112 CPUtime=990.98 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 137759 0 0 0 99037 61 0 0 25 0 4 0 652583833 716914688 116292 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=700112 CPUtime=1002.3 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 93997 0 0 0 100185 45 0 0 25 0 4 0 652583833 716914688 116292 33554432000 4194304 4580107 140735924009920 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3996.94
Current children cumulated vsize (KiB) 700112

[startup+1062.3 s]
/proc/loadavg: 8.07 8.13 8.06 9/359 18849
/proc/meminfo: memFree=24011020/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=648404 CPUtime=4236.26 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 469420 0 0 0 423418 208 0 0 25 0 4 0 652583833 663965696 121077 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 162101 121077 379 95 0 157083 0
[pid=18770/tid=18771] ppid=18768 vsize=648404 CPUtime=1061.5 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 145048 0 0 0 106085 65 0 0 25 0 4 0 652583833 663965696 121077 33554432000 4194304 4580107 140735924009920 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=648404 CPUtime=1050.31 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 144841 0 0 0 104966 65 0 0 25 0 4 0 652583833 663965696 121077 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=648404 CPUtime=1062.3 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 99167 0 0 0 106183 47 0 0 25 0 4 0 652583833 663965696 121077 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.26
Current children cumulated vsize (KiB) 648404

[startup+1122.3 s]
/proc/loadavg: 8.07 8.12 8.06 9/359 18851
/proc/meminfo: memFree=23958552/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=753780 CPUtime=4475.56 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 486098 0 0 0 447340 216 0 0 25 0 4 0 652583833 771870720 129482 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 188445 129482 379 95 0 183427 0
[pid=18770/tid=18771] ppid=18768 vsize=753780 CPUtime=1121.5 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 152095 0 0 0 112083 67 0 0 25 0 4 0 652583833 771870720 129482 33554432000 4194304 4580107 140735924009920 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=753780 CPUtime=1109.62 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 149182 0 0 0 110895 67 0 0 25 0 4 0 652583833 771870720 129482 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=753780 CPUtime=1122.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 104121 0 0 0 112179 50 0 0 25 0 4 0 652583833 771870720 129482 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.56
Current children cumulated vsize (KiB) 753780

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 8.06 9/359 18854
/proc/meminfo: memFree=23942796/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=635900 CPUtime=4714.87 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 498823 0 0 0 471264 223 0 0 25 0 4 0 652583833 651161600 127878 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 158975 127878 379 95 0 153957 0
[pid=18770/tid=18771] ppid=18768 vsize=635900 CPUtime=1181.5 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 158677 0 0 0 118080 70 0 0 25 0 4 0 652583833 651161600 127878 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=635900 CPUtime=1168.93 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 153062 0 0 0 116824 69 0 0 25 0 4 0 652583833 651161600 127878 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=635900 CPUtime=1182.29 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 105621 0 0 0 118178 51 0 0 25 0 4 0 652583833 651161600 127878 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4714.87
Current children cumulated vsize (KiB) 635900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.11 8.11 8.07 9/359 18855
/proc/meminfo: memFree=23954816/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=688876 CPUtime=4800.24 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 503247 0 0 0 479799 225 0 0 25 0 4 0 652583833 705409024 124858 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 172219 124858 379 95 0 167201 0
[pid=18770/tid=18771] ppid=18768 vsize=688876 CPUtime=1202.91 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 160858 0 0 0 120220 71 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=688876 CPUtime=1190.09 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 153485 0 0 0 118939 70 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=688876 CPUtime=1203.71 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 107184 0 0 0 120319 52 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 688876

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

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

[startup+1203.7 s]
/proc/loadavg: 8.11 8.11 8.07 9/359 18855
/proc/meminfo: memFree=23954816/32950928 swapFree=67056568/67111528
[pid=18770] ppid=18768 vsize=688876 CPUtime=4800.24 cores=1,3,5,7
/proc/18770/stat : 18770 (strangenight2-m) R 18768 18770 18278 0 -1 4202496 503247 0 0 0 479799 225 0 0 25 0 4 0 652583833 705409024 124858 33554432000 4194304 4580107 140735924009920 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18770/statm: 172219 124858 379 95 0 167201 0
[pid=18770/tid=18771] ppid=18768 vsize=688876 CPUtime=1202.91 cores=1,3,5,7
/proc/18770/task/18771/stat : 18771 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 160858 0 0 0 120220 71 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18770/tid=18772] ppid=18768 vsize=688876 CPUtime=1190.09 cores=1,3,5,7
/proc/18770/task/18772/stat : 18772 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 153485 0 0 0 118939 70 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18770/tid=18773] ppid=18768 vsize=688876 CPUtime=1203.71 cores=1,3,5,7
/proc/18770/task/18773/stat : 18773 (strangenight2-m) R 18768 18770 18278 0 -1 4202560 107184 0 0 0 120319 52 0 0 25 0 4 0 652583833 705409024 124859 33554432000 4194304 4580107 140735924009920 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 688876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.3
CPU user time (s): 4798.03
CPU system time (s): 2.27665
CPU usage (%): 398.782
Max. virtual memory (cumulated for all children) (KiB): 806392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.27665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503248
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= 325
involuntary context switches= 36424

runsolver used 3.86741 second user time and 9.80951 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 23:51:08
IDJOB=3366597
IDBENCH=83006
IDSOLVER=1844
FILE ID=node148/3366597-1305409868
RUNJOBID= node148-1305409483-18634
PBS_JOBID= 13324501
Free space on /tmp= 72836 MiB

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

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

MD5SUM BENCH= 82f21398af62a72249630e457a91aa93
RANDOM SEED=609140493

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24491924 kB
Buffers:        317228 kB
Cached:        4594436 kB
SwapCached:       8488 kB
Active:        4815488 kB
Inactive:      3292072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24491924 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:            5724 kB
Writeback:           0 kB
AnonPages:     3193476 kB
Mapped:          27688 kB
Slab:           259228 kB
PageTables:      28928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84994264 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= 72832 MiB
End job on node148 at 2011-05-15 00:11:13