Trace number 3174188

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.28 1201.93

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-3174188-1304111012.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.00	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.00	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
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:     272 undec:      64 neg:     264
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       592      2548         0         0      7689         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4923       592      2548         0      4867      7689    130191   no data   no data
3.18/0.80	c  N st    10     11307       592      2548         0      4523      7689     86576   no data   no data
3.18/0.80	c  N st    11     17051       592      2548         0     10194      7689    240263   no data   no data
4.39/1.20	c  F st    12     25001       592      2548         0     12443      7689    296425   no data   no data
4.39/1.20	c  N st    12     25001       592      2548         0     12443      7689    296425   no data   no data
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30001       592      2548         0     10712      7689    229642   no data   no data
5.57/1.42	c  S st    18     30001       592      2548         0     10712      7689    229642   no data   no data
5.57/1.45	c  S st    18     30505       592      2548         0     11216      7689    242347   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.45	c blocked clauses removed:       12 vars:      2 tried:         592 T: 0.00 s
5.57/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
5.57/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c lits-rem:       100  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.52	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
5.97/1.52	c calculated reachability. Time: 0.00
5.97/1.52	c  N st    18     30505       590      2536         0     10882      7653    232149   no data   no data
7.57/1.93	c  N st    20     37617       590      2536         0     10138      7653    189594   no data   no data
9.19/2.33	c  N st    21     44016       590      2536         0     16409      7653    359408   no data   no data
9.57/2.46	c  S st    22     45757       590      2536         0      9333      7653    150347   no data   no data
9.57/2.49	c  S st    22     46261       590      2536         0      9836      7653    162448   no data   no data
9.57/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
9.57/2.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.51	c lits-rem:        25  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.51	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
9.97/2.51	c vivif2 --  cl tried     9761 cl shrink        0 lits rem          0 time: 0.00
9.97/2.52	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.00
9.97/2.52	c calculated reachability. Time: 0.00
9.97/2.52	c  N st    22     46261       590      2536         0      9761      7653    160288   no data   no data
13.96/3.56	c  N st    23     60658       590      2536         0     14143      7653    262944   no data   no data
16.76/4.26	c  N st    24     69392       590      2536         0     11928      7653    195684   no data   no data
16.76/4.26	c  S st    24     69392       590      2536         0     11928      7653    195684   no data   no data
16.76/4.29	c  S st    24     69893       590      2536         0     12429      7653    208724   no data   no data
16.76/4.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.16/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.16/4.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.16/4.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
17.16/4.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.16/4.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.16/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.33	c lits-rem:        41  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
17.16/4.33	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
17.16/4.33	c vivif2 --  cl tried    12334 cl shrink        0 lits rem          0 time: 0.00
17.16/4.34	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
17.16/4.34	c calculated reachability. Time: 0.00
17.16/4.34	c  N st    24     69893       590      2536         0     12334      7653    206141   no data   no data
22.37/5.62	c  F st    25     87502       590      2536         0     17814      7653    360653   no data   no data
22.37/5.62	c  N st    25     87502       590      2536         0     17814      7653    360653   no data   no data
23.94/6.04	c Decided on static restart strategy
25.15/6.33	c  N st    32     95540       590      2536         0     12970      7653    190777   no data   no data
27.93/7.03	c  N st    34    104841       590      2536         0     22124      7653    447943   no data   no data
27.93/7.03	c  S st    34    104841       590      2536         0     22124      7653    447943   no data   no data
27.93/7.09	c  S st    34    105344       590      2536         0     22627      7653    460581   no data   no data
27.93/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
28.33/7.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.30	c lits-rem:       164  cl-subs:      686  v-elim:      0  v-fix:    0  time:  0.17 s
29.14/7.30	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
29.14/7.30	c vivif2 --  cl tried    21941 cl shrink        0 lits rem          0 time: 0.00
29.14/7.31	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
29.14/7.31	c calculated reachability. Time: 0.00
29.14/7.31	c  N st    34    105344       590      2536         0     21941      7653    437984   no data   no data
32.73/8.20	c  N st    35    114943       590      2536         0     17575      7653    293796   no data   no data
37.93/9.57	c  N st    36    129340       590      2536         0     16978      7653    253855   no data   no data
45.92/11.51	c  N st    37    150936       590      2536         0     22436      7653    386564   no data   no data
48.73/12.25	c  S st    38    158016       590      2536         0     29367      7653    565070   no data   no data
49.11/12.32	c  S st    38    158519       590      2536         0     29870      7653    577435   no data   no data
49.11/12.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.11/12.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.11/12.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
49.11/12.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.11/12.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.11/12.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.11/12.85	c lits-rem:       358  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  0.49 s
51.11/12.85	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
51.11/12.85	c vivif2 --  cl tried    28265 cl shrink        0 lits rem          0 time: 0.01
51.11/12.87	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
51.11/12.87	c calculated reachability. Time: 0.00
51.11/12.87	c  N st    38    158519       590      2536         0     28265      7653    537273   no data   no data
71.47/17.95	c  N st    39    207107       590      2536         0     22978      7653    361132   no data   no data
85.86/21.55	c  N st    40    237779       590      2536         0     33360      7653    607767   no data   no data
85.86/21.55	c  S st    40    237779       590      2536         0     33360      7653    607767   no data   no data
86.26/21.63	c  S st    40    238284       590      2536         0     33865      7653    619974   no data   no data
86.26/21.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.26/21.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.26/21.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.26/21.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.26/21.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.26/21.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
86.26/21.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.26/21.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.26/21.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.45/22.46	c lits-rem:       139  cl-subs:     2290  v-elim:      0  v-fix:    0  time:  0.78 s
89.45/22.46	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
89.45/22.46	c vivif2 --  cl tried    31575 cl shrink        0 lits rem          0 time: 0.01
89.45/22.48	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
89.45/22.48	c calculated reachability. Time: 0.00
89.45/22.48	c  N st    40    238284       590      2536         0     31575      7653    561410   no data   no data
123.80/31.02	c  F st    41    306251       590      2536         0     33420      7653    563027   no data   no data
123.80/31.02	c  N st    41    306251       590      2536         0     33420      7653    563027   no data   no data
126.21/31.69	c Decided on static restart strategy
137.78/34.50	c  N st    51    334557       590      2536         0     37872      7653    712147   no data   no data
150.56/37.72	c  N st    53    357426       590      2536         0     35799      7653    605991   no data   no data
150.56/37.72	c  S st    53    357426       590      2536         0     35799      7653    605991   no data   no data
150.96/37.81	c  S st    53    357931       590      2536         0     36304      7653    619216   no data   no data
150.96/37.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.96/37.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.96/37.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.96/37.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.96/37.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.96/37.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
150.96/37.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.96/37.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.96/37.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.17/38.14	c lits-rem:       185  cl-subs:      859  v-elim:      0  v-fix:    0  time:  0.29 s
152.17/38.14	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
152.17/38.15	c vivif2 --  cl tried    35445 cl shrink        0 lits rem          0 time: 0.01
152.17/38.17	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
152.17/38.18	c calculated reachability. Time: 0.00
152.17/38.18	c  N st    53    357931       590      2536         0     35445      7653    593336   no data   no data
169.35/42.41	c  N st    54    390325       590      2536         0     41838      7653    747803   no data   no data
198.12/49.60	c  N st    55    438913       590      2536         0     35526      7653    541342   no data   no data
244.54/61.33	c  N st    56    511796       590      2536         0     49202      7653    881247   no data   no data
261.51/65.62	c  N st    57    536896       590      2536         0     43249      7653    684953   no data   no data
261.51/65.62	c  S st    57    536896       590      2536         0     43249      7653    684953   no data   no data
261.91/65.73	c  S st    57    537400       590      2536         0     43752      7653    698792   no data   no data
261.91/65.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.91/65.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
261.91/65.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.91/65.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.91/65.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.91/65.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
261.91/65.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.91/65.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
261.91/65.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.67/66.48	c lits-rem:       263  cl-subs:     1873  v-elim:      0  v-fix:    0  time:  0.70 s
264.67/66.48	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
264.67/66.49	c vivif2 --  cl tried    41879 cl shrink        0 lits rem          0 time: 0.01
265.07/66.53	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.03
265.07/66.53	c calculated reachability. Time: 0.00
265.07/66.53	c  N st    57    537400       590      2536         0     41879      7653    648758   no data   no data
378.64/95.07	c  N st    58    701384       590      2536         0     36019      7653    400488   no data   no data
451.76/113.35	c  N st    59    806101       590      2536         0     64958      7653   1192351   no data   no data
451.76/113.35	c  S st    59    806101       590      2536         0     64958      7653   1192351   no data   no data
452.54/113.55	c  S st    59    806605       590      2536         0     65460      7653   1206291   no data   no data
452.54/113.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.54/113.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
452.54/113.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.54/113.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.54/113.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.54/113.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
452.54/113.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
452.94/113.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
452.94/113.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.35/116.70	c lits-rem:       595  cl-subs:     3353  v-elim:      0  v-fix:    0  time:  3.06 s
465.35/116.70	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
465.35/116.72	c vivif2 --  cl tried    62107 cl shrink        0 lits rem          0 time: 0.02
465.35/116.78	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.05
465.35/116.78	c calculated reachability. Time: 0.00
465.35/116.78	c  N st    59    806605       590      2536         0     62107      7653   1115523   no data   no data
679.43/170.37	c  F st    60   1071876       590      2536         0     77957      7653   1421023   no data   no data
679.43/170.37	c  N st    60   1071876       590      2536         0     77957      7653   1421023   no data   no data
685.42/171.85	c Decided on static restart strategy
703.39/176.35	c  N st    70   1100180       590      2536         0     61897      7653    951574   no data   no data
735.35/184.31	c  N st    72   1136173       590      2536         0     52195      7653    680410   no data   no data
766.50/192.19	c  N st    73   1168566       590      2536         0     83920      7653   1648740   no data   no data
802.86/201.22	c  N st    74   1209910       590      2536         0     78365      7653   1425535   no data   no data
802.86/201.22	c  S st    74   1209910       590      2536         0     78365      7653   1425535   no data   no data
803.68/201.44	c  S st    74   1210413       590      2536         0     78867      7653   1439956   no data   no data
803.68/201.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
803.68/201.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
803.68/201.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
803.68/201.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
803.68/201.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
803.68/201.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
803.68/201.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
804.05/201.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
804.05/201.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.64/205.45	c lits-rem:       774  cl-subs:     3354  v-elim:      0  v-fix:    0  time:  3.89 s
819.64/205.45	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
819.64/205.47	c vivif2 --  cl tried    75513 cl shrink        0 lits rem          0 time: 0.02
820.04/205.54	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.07
820.04/205.54	c calculated reachability. Time: 0.00
820.04/205.54	c  N st    74   1210413       590      2536         0     75513      7653   1342164   no data   no data
891.94/223.55	c  N st    75   1283295       590      2536         0     51999      7653    595507   no data   no data
1010.97/253.35	c  N st    76   1392618       590      2536         0     60015      7653    767954   no data   no data
1189.95/298.12	c  N st    77   1556605       590      2536         0     64438      7653    827766   no data   no data
1372.89/343.91	c  N st    78   1710416       590      2536         0    106495      7653   1974984   no data   no data
1372.89/343.91	c  S st    78   1710416       590      2536         0    106495      7653   1974984   no data   no data
1374.08/344.24	c  S st    78   1710920       590      2536         0    106996      7653   1988983   no data   no data
1374.08/344.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1374.08/344.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1374.08/344.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1374.08/344.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1374.08/344.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1374.08/344.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
1374.08/344.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1374.50/344.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1374.50/344.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.42/360.90	c lits-rem:      1430  cl-subs:     7522  v-elim:      0  v-fix:    0  time: 16.51 s
1440.42/360.90	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
1440.82/360.92	c vivif2 --  cl tried    99474 cl shrink        0 lits rem          0 time: 0.03
1441.19/361.02	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
1441.19/361.03	c calculated reachability. Time: 0.00
1441.19/361.03	c  N st    78   1710920       590      2536         0     99474      7653   1791081   no data   no data
1879.81/470.81	c  N st    79   2079887       590      2536         0    111299      7653   1942968   no data   no data
2045.97/512.45	c  N st    80   2210920       590      2536         0    115493      7653   2107487   no data   no data
2045.97/512.45	c  S st    80   2210920       590      2536         0    115493      7653   2107487   no data   no data
2047.57/512.82	c  S st    80   2211422       590      2536         0    115995      7653   2120354   no data   no data
2047.57/512.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2047.57/512.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2047.57/512.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2047.57/512.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2047.57/512.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2047.57/512.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
2047.57/512.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2047.96/512.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2047.96/512.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2110.28/528.57	c lits-rem:       566  cl-subs:     7068  v-elim:      0  v-fix:    0  time: 15.59 s
2110.28/528.57	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2110.68/528.60	c vivif2 --  cl tried   108927 cl shrink        0 lits rem          0 time: 0.03
2111.08/528.72	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.11
2111.08/528.72	c calculated reachability. Time: 0.00
2111.08/528.72	c  N st    80   2211422       590      2536         0    108927      7653   1929597   no data   no data
2788.56/698.33	c  N st    81   2711425       590      2536         0    132049      7653   2353396   no data   no data
2788.56/698.33	c  S st    81   2711425       590      2536         0    132049      7653   2353396   no data   no data
2790.15/698.75	c  S st    81   2711928       590      2536         0    132552      7653   2367086   no data   no data
2790.15/698.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2790.55/698.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2790.55/698.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2790.55/698.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2790.55/698.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2790.55/698.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
2790.55/698.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2790.55/698.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2790.95/698.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2880.83/721.45	c lits-rem:       872  cl-subs:    11044  v-elim:      0  v-fix:    0  time: 22.51 s
2880.83/721.45	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2880.83/721.48	c vivif2 --  cl tried   121508 cl shrink        0 lits rem          0 time: 0.03
2881.65/721.61	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.13
2881.65/721.61	c calculated reachability. Time: 0.00
2881.65/721.61	c  N st    81   2711928       590      2536         0    121508      7653   2096177   no data   no data
3630.61/909.13	c  N st    82   3211930       590      2536         0     97514      7653   1292853   no data   no data
3630.61/909.13	c  S st    82   3211930       590      2536         0     97514      7653   1292853   no data   no data
3631.81/909.43	c  S st    82   3212435       590      2536         0     98018      7653   1306439   no data   no data
3631.81/909.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3631.81/909.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3631.81/909.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3631.81/909.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3631.81/909.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3631.81/909.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
3631.81/909.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3632.21/909.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3632.21/909.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3640.60/911.62	c lits-rem:       289  cl-subs:     3500  v-elim:      0  v-fix:    0  time:  2.06 s
3640.60/911.62	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
3640.60/911.64	c vivif2 --  cl tried    94518 cl shrink        0 lits rem          0 time: 0.02
3641.00/911.73	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.09
3641.00/911.73	c calculated reachability. Time: 0.00
3641.00/911.73	c  N st    82   3212435       590      2536         0     94518      7653   1230820   no data   no data
4391.57/1099.63	c  N st    83   3712435       590      2536         0    105818      7653   1477232   no data   no data
4391.57/1099.63	c  S st    83   3712435       590      2536         0    105818      7653   1477232   no data   no data
4393.19/1100.07	c  S st    83   3712937       590      2536         0    106320      7653   1490823   no data   no data
4393.19/1100.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4393.59/1100.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4393.59/1100.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4393.59/1100.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4393.59/1100.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4393.59/1100.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    590 time:  0.00 s
4393.59/1100.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4393.59/1100.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4393.96/1100.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4410.77/1104.43	c lits-rem:       478  cl-subs:     2172  v-elim:      0  v-fix:    0  time:  4.19 s
4410.77/1104.43	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
4410.77/1104.45	c vivif2 --  cl tried   104148 cl shrink        0 lits rem          0 time: 0.03
4411.17/1104.59	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.14
4411.55/1104.60	c calculated reachability. Time: 0.00
4411.55/1104.60	c  N st    83   3712937       590      2536         0    104148      7653   1431008   no data   no data
4481.84/1122.24	c  F st    84   3751565       590      2536         0    141868      7653   2519379   no data   no data
4481.84/1122.24	c  N st    84   3751565       590      2536         0    141868      7653   2519379   no data   no data
4492.24/1124.84	c Decided on static restart strategy
4540.17/1136.89	c  N st    94   3779865       590      2536         0     86370      7653    879872   no data   no data
4593.29/1150.17	c  N st    96   3815859       590      2536         0    121519      7653   1844492   no data   no data
4644.42/1162.92	c  N st    97   3848252       590      2536         0    153166      7653   2675567   no data   no data
4712.73/1180.06	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174188-1304111012/watcher-3174188-1304111012 -o /tmp/evaluation-result-3174188-1304111012/solver-3174188-1304111012 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174188-1304111012.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.48 7.97 7.44 5/184 11912
/proc/meminfo: memFree=30076528/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=183544 CPUtime=0 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 667 0 0 0 0 0 0 0 25 0 4 0 522699431 187949056 586 33554432000 4194304 4627427 140734295634640 18446744073709551615 4314065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 45886 593 336 106 0 40857 0
[pid=11912/tid=11913] ppid=11910 vsize=257284 CPUtime=0 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) D 11910 11912 11448 0 -1 4202560 80 0 0 0 0 0 0 0 25 0 4 0 522699432 263458816 619 33554432000 4194304 4627427 140734295634640 18446744073709551615 246516877402 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=265488 CPUtime=0 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 40 0 0 0 0 0 0 0 25 0 4 0 522699432 271859712 626 33554432000 4194304 4627427 140734295634640 18446744073709551615 246516530955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=273692 CPUtime=0 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 101 0 0 0 0 0 0 0 25 0 4 0 522699432 280260608 640 33554432000 4194304 4627427 140734295634640 18446744073709551615 4314319 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.106572 s]
/proc/loadavg: 7.48 7.97 7.44 5/184 11912
/proc/meminfo: memFree=30076528/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=282700 CPUtime=0.4 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 1840 0 0 0 40 0 0 0 18 0 4 0 522699431 289484800 1705 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 70675 1705 384 106 0 65646 0
[pid=11912/tid=11913] ppid=11910 vsize=282700 CPUtime=0.1 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 395 0 0 0 10 0 0 0 25 0 4 0 522699432 289484800 1705 33554432000 4194304 4627427 140734295634640 18446744073709551615 4506952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=282700 CPUtime=0.09 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 348 0 0 0 9 0 0 0 18 0 4 0 522699432 289484800 1705 33554432000 4194304 4627427 140734295634640 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=282700 CPUtime=0.1 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 299 0 0 0 10 0 0 0 25 0 4 0 522699432 289484800 1705 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310589 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282700

[startup+0.200555 s]
/proc/loadavg: 7.48 7.97 7.44 5/184 11912
/proc/meminfo: memFree=30076528/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=283984 CPUtime=0.78 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 2524 0 0 0 78 0 0 0 18 0 4 0 522699431 290799616 1762 33554432000 4194304 4627427 140734295634640 18446744073709551615 4327570 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 70996 1762 385 106 0 65967 0
[pid=11912/tid=11913] ppid=11910 vsize=283984 CPUtime=0.19 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 562 0 0 0 19 0 0 0 25 0 4 0 522699432 290799616 1762 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=283984 CPUtime=0.19 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 518 0 0 0 19 0 0 0 18 0 4 0 522699432 290799616 1762 33554432000 4194304 4627427 140734295634640 18446744073709551615 4332136 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=283984 CPUtime=0.19 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 471 0 0 0 19 0 0 0 25 0 4 0 522699432 290799616 1762 33554432000 4194304 4627427 140734295634640 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283984

[startup+0.300536 s]
/proc/loadavg: 7.48 7.97 7.44 5/184 11912
/proc/meminfo: memFree=30076528/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=284268 CPUtime=1.17 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 2974 0 0 0 117 0 0 0 18 0 4 0 522699431 291090432 2212 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 71067 2212 385 106 0 66038 0
[pid=11912/tid=11913] ppid=11910 vsize=284268 CPUtime=0.29 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 673 0 0 0 29 0 0 0 25 0 4 0 522699432 291090432 2212 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309501 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=284268 CPUtime=0.29 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 627 0 0 0 29 0 0 0 18 0 4 0 522699432 291090432 2212 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=284268 CPUtime=0.29 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 586 0 0 0 29 0 0 0 25 0 4 0 522699432 291090432 2212 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310094 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) 284268

[startup+0.700464 s]
/proc/loadavg: 7.48 7.97 7.44 5/184 11912
/proc/meminfo: memFree=30076528/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=285256 CPUtime=2.78 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 4630 0 0 0 277 1 0 0 18 0 4 0 522699431 292102144 2893 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 71314 2893 385 106 0 66285 0
[pid=11912/tid=11913] ppid=11910 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 1084 0 0 0 69 0 0 0 25 0 4 0 522699432 292102144 2893 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 1055 0 0 0 69 0 0 0 18 0 4 0 522699432 292102144 2893 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 991 0 0 0 69 0 0 0 25 0 4 0 522699432 292102144 2893 33554432000 4194304 4627427 140734295634640 18446744073709551615 4327643 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285256

[startup+1.50032 s]
/proc/loadavg: 7.48 7.97 7.44 9/188 11916
/proc/meminfo: memFree=30064592/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=286492 CPUtime=5.97 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 9347 0 0 0 596 1 0 0 20 0 4 0 522699431 293367808 4925 33554432000 4194304 4627427 140734295634640 18446744073709551615 4468278 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 71623 4925 389 106 0 66594 0
[pid=11912/tid=11913] ppid=11910 vsize=286492 CPUtime=1.48 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 1901 0 0 0 148 0 0 0 25 0 4 0 522699432 293367808 4925 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=286492 CPUtime=1.49 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 1868 0 0 0 149 0 0 0 20 0 4 0 522699432 293367808 4925 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=286492 CPUtime=1.49 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 1816 0 0 0 149 0 0 0 25 0 4 0 522699432 293367808 4925 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286492

[startup+3.10103 s]
/proc/loadavg: 7.48 7.97 7.44 9/188 11916
/proc/meminfo: memFree=30046132/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=302872 CPUtime=12.37 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 18596 0 0 0 1235 2 0 0 25 0 4 0 522699431 310140928 10283 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 75718 10283 389 106 0 70689 0
[pid=11912/tid=11913] ppid=11910 vsize=302872 CPUtime=3.08 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 4088 0 0 0 308 0 0 0 25 0 4 0 522699432 310140928 10283 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=302872 CPUtime=3.08 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 4586 0 0 0 308 0 0 0 25 0 4 0 522699432 310140928 10283 33554432000 4194304 4627427 140734295634640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=302872 CPUtime=3.08 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 4865 0 0 0 308 0 0 0 25 0 4 0 522699432 310140928 10283 33554432000 4194304 4627427 140734295634640 18446744073709551615 4321493 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 302872

[startup+6.30045 s]
/proc/loadavg: 7.52 7.97 7.44 10/188 11916
/proc/meminfo: memFree=30001884/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=312836 CPUtime=25.15 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 28130 0 0 0 2510 5 0 0 25 0 4 0 522699431 320344064 14669 33554432000 4194304 4627427 140734295634640 18446744073709551615 4333337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 78209 14669 389 106 0 73180 0
[pid=11912/tid=11913] ppid=11910 vsize=312836 CPUtime=6.26 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 7539 0 0 0 625 1 0 0 25 0 4 0 522699432 320344064 14669 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=312836 CPUtime=6.28 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 6497 0 0 0 628 0 0 0 25 0 4 0 522699432 320344064 14669 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=312836 CPUtime=6.28 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 6715 0 0 0 627 1 0 0 25 0 4 0 522699432 320344064 14669 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 312836

[startup+12.7003 s]
/proc/loadavg: 7.56 7.97 7.44 9/188 11916
/proc/meminfo: memFree=29945828/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=286028 CPUtime=50.7 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 41744 0 0 0 5062 8 0 0 25 0 4 0 522699431 292892672 22620 33554432000 4194304 4627427 140734295634640 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 71507 22620 389 106 0 66478 0
[pid=11912/tid=11913] ppid=11910 vsize=286028 CPUtime=12.62 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 10673 0 0 0 1261 1 0 0 25 0 4 0 522699432 292892672 22620 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=286028 CPUtime=12.69 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 8115 0 0 0 1268 1 0 0 25 0 4 0 522699432 292892672 22620 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=286028 CPUtime=12.68 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 10340 0 0 0 1266 2 0 0 25 0 4 0 522699432 292892672 22620 33554432000 4194304 4627427 140734295634640 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 286028

[startup+25.5009 s]
/proc/loadavg: 7.87 8.02 7.47 10/188 11917
/proc/meminfo: memFree=29892160/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=285120 CPUtime=101.83 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 62113 0 0 0 10170 13 0 0 25 0 4 0 522699431 291962880 30219 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 71280 30219 389 106 0 66251 0
[pid=11912/tid=11913] ppid=11910 vsize=285120 CPUtime=25.35 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 16268 0 0 0 2532 3 0 0 25 0 4 0 522699432 291962880 30219 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=285120 CPUtime=25.49 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 15459 0 0 0 2546 3 0 0 25 0 4 0 522699432 291962880 30219 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=285120 CPUtime=25.48 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 13392 0 0 0 2545 3 0 0 25 0 4 0 522699432 291962880 30219 33554432000 4194304 4627427 140734295634640 18446744073709551615 4322258 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 285120

[startup+51.1003 s]
/proc/loadavg: 8.00 8.03 7.48 9/188 11919
/proc/meminfo: memFree=29822512/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=293024 CPUtime=204.09 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 88492 0 0 0 20388 21 0 0 25 0 4 0 522699431 300056576 34712 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 73256 34712 389 106 0 68227 0
[pid=11912/tid=11913] ppid=11910 vsize=293024 CPUtime=50.81 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 21044 0 0 0 5077 4 0 0 25 0 4 0 522699432 300056576 34712 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=293024 CPUtime=51.09 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 25693 0 0 0 5104 5 0 0 25 0 4 0 522699432 300056576 34712 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=293024 CPUtime=51.08 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 18092 0 0 0 5103 5 0 0 25 0 4 0 522699432 300056576 34712 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 293024

[startup+102.301 s]
/proc/loadavg: 8.28 8.11 7.54 9/188 11922
/proc/meminfo: memFree=29763740/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=304080 CPUtime=407.82 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 131320 0 0 0 40745 37 0 0 25 0 4 0 522699431 311377920 42372 33554432000 4194304 4627427 140734295634640 18446744073709551615 4507021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 76020 42372 389 106 0 70991 0
[pid=11912/tid=11913] ppid=11910 vsize=304080 CPUtime=101.73 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 28613 0 0 0 10167 6 0 0 25 0 4 0 522699432 311377920 42372 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=304080 CPUtime=101.49 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 39072 0 0 0 10138 11 0 0 25 0 4 0 522699432 311377920 42372 33554432000 4194304 4627427 140734295634640 18446744073709551615 4311296 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=304080 CPUtime=102.28 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 26391 0 0 0 10220 8 0 0 25 0 4 0 522699432 311377920 42372 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.82
Current children cumulated vsize (KiB) 304080

[startup+162.301 s]

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

[pid=11912] ppid=11910 vsize=652672 CPUtime=2564.87 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 367411 0 0 0 256341 146 0 0 25 0 4 0 522699431 668336128 103502 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163168 103502 389 106 0 158139 0
[pid=11912/tid=11913] ppid=11910 vsize=652672 CPUtime=638.8 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 95751 0 0 0 63839 41 0 0 25 0 4 0 522699432 668336128 103502 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=652672 CPUtime=641.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 87671 0 0 0 64117 33 0 0 25 0 4 0 522699432 668336128 103502 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=652672 CPUtime=642.23 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 73654 0 0 0 64192 31 0 0 25 0 4 0 522699432 668336128 103502 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2564.87
Current children cumulated vsize (KiB) 652672

[startup+702.301 s]
/proc/loadavg: 8.22 8.22 7.86 9/188 11938
/proc/meminfo: memFree=29271160/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=654840 CPUtime=2804.54 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 385550 0 0 0 280300 154 0 0 25 0 4 0 522699431 670556160 109237 33554432000 4194304 4627427 140734295634640 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163710 109237 389 106 0 158681 0
[pid=11912/tid=11913] ppid=11910 vsize=654840 CPUtime=698.47 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 104539 0 0 0 69803 44 0 0 25 0 4 0 522699432 670556160 109237 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=654840 CPUtime=701.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 87677 0 0 0 70117 33 0 0 25 0 4 0 522699432 670556160 109237 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=654840 CPUtime=702.24 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 77116 0 0 0 70191 33 0 0 25 0 4 0 522699432 670556160 109237 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.54
Current children cumulated vsize (KiB) 654840

[startup+762.301 s]
/proc/loadavg: 8.31 8.25 7.89 9/188 11939
/proc/meminfo: memFree=29202196/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=654904 CPUtime=3044.23 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 399410 0 0 0 304260 163 0 0 25 0 4 0 522699431 670621696 110491 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163726 110491 389 106 0 158697 0
[pid=11912/tid=11913] ppid=11910 vsize=654904 CPUtime=758.15 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 111073 0 0 0 75766 49 0 0 25 0 4 0 522699432 670621696 110491 33554432000 4194304 4627427 140734295634640 18446744073709551615 4324344 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=654904 CPUtime=761.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 88463 0 0 0 76117 33 0 0 25 0 4 0 522699432 670621696 110492 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=654904 CPUtime=762.24 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 81572 0 0 0 76188 36 0 0 25 0 4 0 522699432 670621696 110492 33554432000 4194304 4627427 140734295634640 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.23
Current children cumulated vsize (KiB) 654904

[startup+822.3 s]
/proc/loadavg: 8.27 8.25 7.91 9/188 11941
/proc/meminfo: memFree=29206148/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=655068 CPUtime=3283.88 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 418379 0 0 0 328214 174 0 0 25 0 4 0 522699431 670789632 104919 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163767 104919 389 106 0 158738 0
[pid=11912/tid=11913] ppid=11910 vsize=655068 CPUtime=817.82 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 119485 0 0 0 81728 54 0 0 25 0 4 0 522699432 670789632 104919 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=655068 CPUtime=821.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 91960 0 0 0 82115 35 0 0 25 0 4 0 522699432 670789632 104919 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=655068 CPUtime=822.22 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 84062 0 0 0 82185 37 0 0 25 0 4 0 522699432 670789632 104919 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.88
Current children cumulated vsize (KiB) 655068

[startup+882.306 s]
/proc/loadavg: 8.33 8.26 7.93 9/188 11943
/proc/meminfo: memFree=29172148/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=655096 CPUtime=3523.58 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 440972 0 0 0 352177 181 0 0 25 0 4 0 522699431 670818304 114902 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310136 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163774 114902 389 106 0 158745 0
[pid=11912/tid=11913] ppid=11910 vsize=655096 CPUtime=877.5 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 129774 0 0 0 87694 56 0 0 25 0 4 0 522699432 670818304 114902 33554432000 4194304 4627427 140734295634640 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=655096 CPUtime=881.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 95629 0 0 0 88113 37 0 0 25 0 4 0 522699432 670818304 114902 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=655096 CPUtime=882.22 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 87553 0 0 0 88184 38 0 0 25 0 4 0 522699432 670818304 114902 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 655096

[startup+942.3 s]
/proc/loadavg: 8.22 8.24 7.94 9/188 11944
/proc/meminfo: memFree=29174232/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=668104 CPUtime=3763.23 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 454401 0 0 0 376133 190 0 0 25 0 4 0 522699431 684138496 117062 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 167026 117062 389 106 0 161997 0
[pid=11912/tid=11913] ppid=11910 vsize=668104 CPUtime=937.17 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 133894 0 0 0 93657 60 0 0 25 0 4 0 522699432 684138496 117062 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=668104 CPUtime=941.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 99027 0 0 0 94111 39 0 0 25 0 4 0 522699432 684138496 117062 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=668104 CPUtime=942.22 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 90210 0 0 0 94182 40 0 0 25 0 4 0 522699432 684138496 117062 33554432000 4194304 4627427 140734295634640 18446744073709551615 4333154 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.23
Current children cumulated vsize (KiB) 668104

[startup+1002.3 s]
/proc/loadavg: 8.29 8.26 7.96 9/188 11946
/proc/meminfo: memFree=29170728/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=668356 CPUtime=4002.9 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 473751 0 0 0 400087 203 0 0 25 0 4 0 522699431 684396544 112767 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 167089 112767 389 106 0 162060 0
[pid=11912/tid=11913] ppid=11910 vsize=668356 CPUtime=996.84 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 140822 0 0 0 99619 65 0 0 25 0 4 0 522699432 684396544 112767 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=668356 CPUtime=1001.51 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 102769 0 0 0 100110 41 0 0 25 0 4 0 522699432 684396544 112767 33554432000 4194304 4627427 140734295634640 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=668356 CPUtime=1002.21 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 93463 0 0 0 100179 42 0 0 25 0 4 0 522699432 684396544 112767 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.9
Current children cumulated vsize (KiB) 668356

[startup+1062.3 s]
/proc/loadavg: 8.22 8.24 7.97 9/188 11947
/proc/meminfo: memFree=29127916/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=668592 CPUtime=4242.58 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 495631 0 0 0 424047 211 0 0 25 0 4 0 522699431 684638208 121667 33554432000 4194304 4627427 140734295634640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 167148 121667 389 106 0 162119 0
[pid=11912/tid=11913] ppid=11910 vsize=668592 CPUtime=1056.52 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 147548 0 0 0 105584 68 0 0 25 0 4 0 522699432 684638208 121667 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=668592 CPUtime=1061.51 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 106517 0 0 0 106108 43 0 0 25 0 4 0 522699432 684638208 121667 33554432000 4194304 4627427 140734295634640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=668592 CPUtime=1062.21 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 99690 0 0 0 106178 43 0 0 25 0 4 0 522699432 684638208 121667 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.58
Current children cumulated vsize (KiB) 668592

[startup+1122.3 s]
/proc/loadavg: 8.20 8.22 7.99 9/188 11949
/proc/meminfo: memFree=29121936/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=655424 CPUtime=4482.24 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 512074 0 0 0 448006 218 0 0 25 0 4 0 522699431 671154176 122668 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 163856 122668 389 106 0 158827 0
[pid=11912/tid=11913] ppid=11910 vsize=655424 CPUtime=1116.2 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 154563 0 0 0 111549 71 0 0 25 0 4 0 522699432 671154176 122668 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=655424 CPUtime=1121.5 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 107424 0 0 0 112107 43 0 0 25 0 4 0 522699432 671154176 122668 33554432000 4194304 4627427 140734295634640 18446744073709551615 246516858775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=655424 CPUtime=1122.2 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 104628 0 0 0 112175 45 0 0 25 0 4 0 522699432 671154176 122668 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.24
Current children cumulated vsize (KiB) 655424

[startup+1182.3 s]
/proc/loadavg: 8.14 8.20 7.99 9/188 11951
/proc/meminfo: memFree=29073432/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=673408 CPUtime=4721.92 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 528755 0 0 0 471962 230 0 0 25 0 4 0 522699431 689569792 124743 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 168352 124743 389 106 0 163323 0
[pid=11912/tid=11913] ppid=11910 vsize=673408 CPUtime=1175.87 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 160853 0 0 0 117512 75 0 0 25 0 4 0 522699432 689569792 124743 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=673408 CPUtime=1181.51 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 110358 0 0 0 118106 45 0 0 25 0 4 0 522699432 689569792 124743 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=673408 CPUtime=1182.2 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 105969 0 0 0 118174 46 0 0 25 0 4 0 522699432 689569792 124743 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.92
Current children cumulated vsize (KiB) 673408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.78 8.12 7.97 5/180 11969
/proc/meminfo: memFree=29614084/32951124 swapFree=67102692/67111528
[pid=11912] ppid=11910 vsize=673408 CPUtime=4800.23 cores=1,3,5,7
/proc/11912/stat : 11912 (strangenight2-m) R 11910 11912 11448 0 -1 4202496 534114 0 0 0 479789 234 0 0 25 0 4 0 522699431 689569792 129947 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11912/statm: 168352 129947 389 106 0 163323 0
[pid=11912/tid=11913] ppid=11910 vsize=673408 CPUtime=1195.36 cores=1,3,5,7
/proc/11912/task/11913/stat : 11913 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 162229 0 0 0 119460 76 0 0 25 0 4 0 522699432 689569792 129947 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11912/tid=11914] ppid=11910 vsize=673408 CPUtime=1201.11 cores=1,3,5,7
/proc/11912/task/11914/stat : 11914 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 111576 0 0 0 120065 46 0 0 25 0 4 0 522699432 689569792 129947 33554432000 4194304 4627427 140734295634640 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11912/tid=11915] ppid=11910 vsize=673408 CPUtime=1201.8 cores=1,3,5,7
/proc/11912/task/11915/stat : 11915 (strangenight2-m) R 11910 11912 11448 0 -1 4202560 107585 0 0 0 120133 47 0 0 25 0 4 0 522699432 689569792 129947 33554432000 4194304 4627427 140734295634640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 673408

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.28
CPU user time (s): 4797.92
CPU system time (s): 2.36864
CPU usage (%): 399.381
Max. virtual memory (cumulated for all children) (KiB): 813312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.36864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534116
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= 179
involuntary context switches= 44320

runsolver used 1.75373 second user time and 4.82327 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 23:03:32
IDJOB=3174188
IDBENCH=83006
IDSOLVER=1586
FILE ID=node134/3174188-1304111012
RUNJOBID= node134-1304109804-11757
PBS_JOBID= 13170663
Free space on /tmp= 71580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174188-1304111012/watcher-3174188-1304111012 -o /tmp/evaluation-result-3174188-1304111012/solver-3174188-1304111012 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174188-1304111012.cnf

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

MD5SUM BENCH= 82f21398af62a72249630e457a91aa93
RANDOM SEED=1352653969

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30076808 kB
Buffers:        993240 kB
Cached:        1371084 kB
SwapCached:       4400 kB
Active:         178156 kB
Inactive:      2298564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30076808 kB
SwapTotal:    67111528 kB
SwapFree:     67102692 kB
Dirty:           11324 kB
Writeback:           0 kB
AnonPages:      110152 kB
Mapped:          15420 kB
Slab:           335372 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   323672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71580 MiB
End job on node134 at 2011-04-29 23:23:36