Trace number 3250319

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-1-mt? (TO) 4800.3 1201.74

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
MD5SUM766a362c83d920a8f8dd49df62ed42c9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.072988
Satisfiable
(Un)Satisfiability was proved
Number of variables509
Number of clauses4478
Sum of the clauses size17912
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 44478
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250319-1304130636.cnf'
0.00/0.00	c -- header says num vars:            509
0.00/0.00	c -- header says num clauses:        4478
0.00/0.01	c -- clauses added:            0 learnts,         4478 normals,            0 xors
0.00/0.01	c -- vars added        509
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       509      4478         0         0     17912         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/4478/4478 lits-rem:0 time: 0.01
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 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:    509 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       509      4478         0         0     17912         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
0.36/0.13	c  N st     8      4921       509      4478         0      4727     17912    134438   no data   no data  --
1.16/0.35	c  N st    10     11303       509      4478         0      4396     17912     97873   no data   no data  --
1.96/0.57	c  N st    11     17046       509      4478         0      9924     17912    255240   no data   no data  --
3.16/0.89	c  F st    12     25000       509      4478         0     12091     17912    300734   no data   no data  --
3.16/0.89	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.16/0.89	c Found part        7 vars:        257 clauses:      2390 lits size:      9560
3.16/0.89	c Found parts:          2 time: 0.00 s
3.16/0.89	c Solving part 5
3.56/0.91	c  N st     0         0       252      2088         0     12091      8352    300734   no data   no data  --
3.56/0.92	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.04
3.56/0.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.56/0.93	c Finding binary XORs  T:     0.00 s  found:       0
3.56/0.93	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.56/0.93	c calculated reachability. Time: 0.00
3.56/0.93	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
3.56/0.93	c =========================================================================================
3.56/0.93	c types(t): F = full restart, N = normal restart
3.56/0.93	c types(t): S = simplification begin/end, E = solution found
3.56/0.93	c restart types(rt): st = static, dy = dynamic
3.56/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/0.93	c  B st     0         0       252      2088         0     12091      8352    300734   no data   no data  --
3.98/1.03	c Decided on static restart strategy
4.38/1.15	c  N st     8      4914       252      2088         0     16874      8352    442325   no data   no data  --
5.56/1.45	c  N st    10     11297       252      2088         0      7427      8352    132605   no data   no data  --
6.36/1.69	c  N st    11     17040       252      2088         0     12952      8352    299737   no data   no data  --
7.95/2.06	c  F st    12     25002       252      2088         0     13624      8352    308221   no data   no data  --
7.95/2.06	c  N st    12     25002       252      2088         0     13624      8352    308221   no data   no data  --
8.77/2.26	c Decided on static restart strategy
8.77/2.26	c  N st    18     30202       252      2088         0     11356      8352    229120   no data   no data  --
9.95/2.56	c  N st    20     37317       252      2088         0     10221      8352    186608   no data   no data  --
11.15/2.88	c  N st    21     43716       252      2088         0     16319      8352    363580   no data   no data  --
13.16/3.35	c  N st    22     53314       252      2088         0     16741      8352    370030   no data   no data  --
16.33/4.16	c  N st    23     67711       252      2088         0     20844      8352    459633   no data   no data  --
19.92/5.05	c  E st    24     83231         0      2088         0     13613      8352    241205   no data   no data  --
19.92/5.05	c Verified 2088 clauses.
19.92/5.05	c Verified 2088 clauses.
19.92/5.05	c Solved part
19.92/5.05	c =========================================================================================
19.92/5.05	c Coming back to original instance
19.92/5.05	c =========================================================================================
19.92/5.05	c  N st    12     25000       257      2390         0         0      9560         0   no data   no data  --
20.33/5.17	c Decided on static restart strategy
20.33/5.17	c  N st    18     30000       257      2390         0      4363      9560    120505   no data   no data  --
20.33/5.17	c  S st    18     30000       257      2390         0      4363      9560    120505   no data   no data  --
20.33/5.18	c  S st    18     30503       257      2390         0      4859      9560    134168   no data   no data  --
20.33/5.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.33/5.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
20.33/5.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.33/5.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
20.33/5.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.73/5.27	c lits-rem:      2347  cl-subs:      463  v-elim:      0  v-fix:    0  time:  0.34 s
20.73/5.28	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.03
20.73/5.28	c calculated reachability. Time: 0.00
20.73/5.28	c  N st    18     30503       257      2390         0      4396      9560    116610   no data   no data  --
21.95/5.53	c  N st    20     37616       257      2390         0      6668      9560    153836   no data   no data  --
23.12/5.80	c  N st    21     44015       257      2390         0     12786      9560    327468   no data   no data  --
23.52/5.90	c  S st    22     45754       257      2390         0      7373      9560    152196   no data   no data  --
23.52/5.92	c  S st    22     46257       257      2390         0      7874      9560    166220   no data   no data  --
23.52/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.52/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.52/5.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
23.52/5.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.52/5.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.52/5.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
23.52/5.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.92/6.06	c lits-rem:      2081  cl-subs:      465  v-elim:      0  v-fix:    0  time:  0.52 s
23.92/6.06	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
23.92/6.06	c vivif2 --  cl tried     7409 cl shrink        0 lits rem          0 time: 0.00
23.92/6.07	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.04
23.92/6.07	c calculated reachability. Time: 0.00
23.92/6.07	c  N st    22     46257       257      2390         0      7409      9560    150492   no data   no data  --
27.12/6.80	c  N st    23     60657       257      2390         0     12404      9560    285644   no data   no data  --
29.12/7.34	c  N st    24     69385       257      2390         0     10620      9560    202886   no data   no data  --
29.12/7.34	c  S st    24     69385       257      2390         0     10620      9560    202886   no data   no data  --
29.12/7.37	c  S st    24     69893       257      2390         0     11124      9560    217089   no data   no data  --
29.12/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.12/7.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.12/7.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
29.12/7.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.12/7.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.12/7.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
29.12/7.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.11/7.81	c lits-rem:      1861  cl-subs:      606  v-elim:      0  v-fix:    0  time:  1.70 s
31.11/7.81	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
31.11/7.81	c vivif2 --  cl tried    10518 cl shrink        0 lits rem          0 time: 0.01
31.11/7.82	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.06
31.11/7.82	c calculated reachability. Time: 0.00
31.11/7.82	c  N st    24     69893       257      2390         0     10518      9560    198801   no data   no data  --
35.50/8.94	c  F st    25     87500       257      2390         0     15969      9560    324103   no data   no data  --
35.50/8.94	c  N st    25     87500       257      2390         0     15969      9560    324103   no data   no data  --
36.71/9.22	c Decided on static restart strategy
37.51/9.41	c  N st    32     95540       257      2390         0     23706      9560    533514   no data   no data  --
39.13/9.86	c  N st    34    104841       257      2390         0     20353      9560    433321   no data   no data  --
39.13/9.86	c  S st    34    104841       257      2390         0     20353      9560    433321   no data   no data  --
39.53/9.91	c  S st    34    105344       257      2390         0     20856      9560    448039   no data   no data  --
39.53/9.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.53/9.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.53/9.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
39.53/9.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.53/9.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.53/9.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
39.53/9.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.30/11.66	c lits-rem:      7529  cl-subs:     1233  v-elim:      0  v-fix:    0  time:  6.90 s
46.30/11.66	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
46.30/11.66	c vivif2 --  cl tried    19623 cl shrink        0 lits rem          0 time: 0.02
46.30/11.69	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.12
46.30/11.69	c calculated reachability. Time: 0.00
46.30/11.69	c  N st    34    105344       257      2390         0     19623      9560    404744   no data   no data  --
49.09/12.37	c  N st    35    114944       257      2390         0     15489      9560    284818   no data   no data  --
53.08/13.34	c  N st    36    129341       257      2390         0     14892      9560    238860   no data   no data  --
59.08/14.80	c  N st    37    150936       257      2390         0     20094      9560    352754   no data   no data  --
61.09/15.34	c  S st    38    158021       257      2390         0     26820      9560    534279   no data   no data  --
61.49/15.41	c  S st    38    158522       257      2390         0     27316      9560    548544   no data   no data  --
61.49/15.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.49/15.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.49/15.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
61.49/15.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.49/15.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.49/15.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
61.49/15.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.88/17.53	c lits-rem:      6924  cl-subs:     2373  v-elim:      0  v-fix:    0  time:  8.35 s
69.88/17.53	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
69.88/17.53	c vivif2 --  cl tried    24943 cl shrink        0 lits rem          0 time: 0.02
69.88/17.57	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.14
69.88/17.57	c calculated reachability. Time: 0.00
69.88/17.57	c  N st    38    158522       257      2390         0     24943      9560    478967   no data   no data  --
86.24/21.66	c  N st    39    207110       257      2390         0     19872      9560    307538   no data   no data  --
96.65/24.29	c  N st    40    237783       257      2390         0     29850      9560    566716   no data   no data  --
96.65/24.29	c  S st    40    237783       257      2390         0     29850      9560    566716   no data   no data  --
97.03/24.37	c  S st    40    238293       257      2390         0     30357      9560    581055   no data   no data  --
97.03/24.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.03/24.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.03/24.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
97.03/24.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.03/24.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.03/24.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
97.03/24.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.21/26.66	c lits-rem:      5240  cl-subs:     2845  v-elim:      0  v-fix:    0  time:  9.04 s
106.21/26.66	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
106.21/26.66	c vivif2 --  cl tried    27512 cl shrink        0 lits rem          0 time: 0.02
106.61/26.70	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.16
106.61/26.71	c calculated reachability. Time: 0.00
106.61/26.71	c  N st    40    238293       257      2390         0     27512      9560    500869   no data   no data  --
128.98/32.39	c  F st    41    306250       257      2390         0     29557      9560    526088   no data   no data  --
128.98/32.39	c  N st    41    306250       257      2390         0     29557      9560    526088   no data   no data  --
130.99/32.86	c Decided on static restart strategy
138.57/34.75	c  N st    51    334557       257      2390         0     33821      9560    606772   no data   no data  --
146.97/36.86	c  N st    53    357439       257      2390         0     31872      9560    538092   no data   no data  --
146.97/36.86	c  S st    53    357439       257      2390         0     31872      9560    538092   no data   no data  --
147.37/36.95	c  S st    53    357946       257      2390         0     32374      9560    552631   no data   no data  --
147.37/36.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.37/36.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.37/36.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.37/36.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.37/36.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.37/36.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
147.37/36.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.76/39.07	c lits-rem:      7071  cl-subs:     1201  v-elim:      0  v-fix:    0  time:  8.35 s
155.76/39.07	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
155.76/39.08	c vivif2 --  cl tried    31173 cl shrink        0 lits rem          0 time: 0.02
156.16/39.13	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.18
156.16/39.13	c calculated reachability. Time: 0.00
156.16/39.13	c  N st    53    357946       257      2390         0     31173      9560    513503   no data   no data  --
167.73/42.04	c  N st    54    390340       257      2390         0     37279      9560    685879   no data   no data  --
187.31/46.97	c  N st    55    438929       257      2390         0     31157      9560    463572   no data   no data  --
218.87/54.85	c  N st    56    511812       257      2390         0     44079      9560    814414   no data   no data  --
229.26/57.42	c  N st    57    536920       257      2390         0     38563      9560    624657   no data   no data  --
229.26/57.42	c  S st    57    536920       257      2390         0     38563      9560    624657   no data   no data  --
229.66/57.51	c  S st    57    537426       257      2390         0     39063      9560    638863   no data   no data  --
229.66/57.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
229.66/57.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
229.66/57.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
229.66/57.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
229.66/57.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.66/57.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
229.66/57.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.24/59.99	c lits-rem:      5838  cl-subs:     2122  v-elim:      0  v-fix:    0  time:  9.78 s
239.24/59.99	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
239.64/60.00	c vivif2 --  cl tried    36941 cl shrink        0 lits rem          0 time: 0.03
239.64/60.06	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.24
239.64/60.06	c calculated reachability. Time: 0.00
239.64/60.06	c  N st    57    537426       257      2390         0     36941      9560    578887   no data   no data  --
317.54/79.57	c  N st    58    701410       257      2390         0     65686      9560   1393751   no data   no data  --
372.27/93.25	c  N st    59    806139       257      2390         0     59538      9560   1111861   no data   no data  --
372.27/93.25	c  S st    59    806139       257      2390         0     59538      9560   1111861   no data   no data  --
373.08/93.43	c  S st    59    806644       257      2390         0     60042      9560   1125610   no data   no data  --
373.08/93.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
373.08/93.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
373.08/93.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
373.08/93.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
373.08/93.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.08/93.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
373.08/93.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
402.62/100.84	c lits-rem:      3628  cl-subs:     6893  v-elim:      0  v-fix:    0  time: 29.34 s
402.62/100.84	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
402.62/100.85	c vivif2 --  cl tried    53149 cl shrink        0 lits rem          0 time: 0.04
403.02/100.96	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.42
403.02/100.96	c calculated reachability. Time: 0.00
403.02/100.96	c  N st    59    806644       257      2390         0     53149      9560    939516   no data   no data  --
557.22/139.53	c  F st    60   1071875       257      2390         0     68439      9560   1216257   no data   no data  --
557.22/139.53	c  N st    60   1071875       257      2390         0     68439      9560   1216257   no data   no data  --
560.81/140.42	c Decided on static restart strategy
572.80/143.41	c  N st    70   1100180       257      2390         0     53013      9560    796567   no data   no data  --
594.77/148.95	c  N st    72   1136175       257      2390         0     87071      9560   1760211   no data   no data  --
611.94/153.25	c  N st    73   1168567       257      2390         0     74334      9560   1378216   no data   no data  --
637.91/159.79	c  N st    74   1209968       257      2390         0     68981      9560   1233029   no data   no data  --
637.91/159.79	c  S st    74   1209968       257      2390         0     68981      9560   1233029   no data   no data  --
638.71/159.97	c  S st    74   1210469       257      2390         0     69476      9560   1246650   no data   no data  --
638.71/159.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
638.71/159.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
639.11/160.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
639.11/160.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
639.11/160.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
639.11/160.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
639.11/160.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
672.66/168.42	c lits-rem:      4347  cl-subs:     5530  v-elim:      0  v-fix:    0  time: 33.48 s
672.66/168.42	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
672.66/168.43	c vivif2 --  cl tried    63946 cl shrink        0 lits rem          0 time: 0.05
673.06/168.58	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.60
673.06/168.59	c calculated reachability. Time: 0.00
673.06/168.59	c  N st    74   1210469       257      2390         0     63946      9560   1091622   no data   no data  --
723.80/181.23	c  N st    75   1283351       257      2390         0     87669      9560   1774328   no data   no data  --
818.46/204.91	c  N st    76   1392676       257      2390         0     48976      9560    583140   no data   no data  --
931.54/233.25	c  N st    77   1556663       257      2390         0     53746      9560    668231   no data   no data  --
1034.98/259.13	c  N st    78   1710470       257      2390         0     94345      9560   1822474   no data   no data  --
1034.98/259.13	c  S st    78   1710470       257      2390         0     94345      9560   1822474   no data   no data  --
1036.19/259.41	c  S st    78   1710971       257      2390         0     94844      9560   1837291   no data   no data  --
1036.19/259.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1036.19/259.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1036.19/259.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1036.60/259.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1036.60/259.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1036.60/259.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1036.60/259.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1132.04/283.41	c lits-rem:      4838  cl-subs:     9888  v-elim:      0  v-fix:    0  time: 95.38 s
1132.04/283.41	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1132.04/283.43	c vivif2 --  cl tried    84956 cl shrink        0 lits rem          0 time: 0.08
1132.84/283.66	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.91
1132.84/283.66	c calculated reachability. Time: 0.00
1132.84/283.66	c  N st    78   1710971       257      2390         0     84956      9560   1571491   no data   no data  --
1450.41/363.10	c  N st    79   2079935       257      2390         0     96545      9560   1741832   no data   no data  --
1548.28/387.66	c  N st    80   2210972       257      2390         0    100943      9560   1970864   no data   no data  --
1548.28/387.66	c  S st    80   2210972       257      2390         0    100943      9560   1970864   no data   no data  --
1549.88/388.00	c  S st    80   2211476       257      2390         0    101443      9560   1984714   no data   no data  --
1549.88/388.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1549.88/388.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1549.88/388.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1550.28/388.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1550.28/388.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1550.28/388.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1550.28/388.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1651.76/413.53	c lits-rem:      9157  cl-subs:     7574  v-elim:      0  v-fix:    0  time: 101.49 s
1651.76/413.53	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1651.76/413.55	c vivif2 --  cl tried    93869 cl shrink        0 lits rem          0 time: 0.08
1652.93/413.81	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 1.06
1652.93/413.81	c calculated reachability. Time: 0.00
1652.93/413.81	c  N st    80   2211476       257      2390         0     93869      9560   1756132   no data   no data  --
2124.70/531.91	c  N st    81   2711478       257      2390         0    116837      9560   2243109   no data   no data  --
2124.70/531.91	c  S st    81   2711478       257      2390         0    116837      9560   2243109   no data   no data  --
2126.31/532.32	c  S st    81   2711983       257      2390         0    117337      9560   2257790   no data   no data  --
2126.31/532.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2126.31/532.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2126.31/532.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2126.71/532.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2126.71/532.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2126.71/532.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2126.71/532.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2262.11/566.35	c lits-rem:      1367  cl-subs:    11537  v-elim:      0  v-fix:    0  time: 135.38 s
2262.11/566.36	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2262.11/566.38	c vivif2 --  cl tried   105800 cl shrink        0 lits rem          0 time: 0.10
2263.30/566.69	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 1.24
2263.30/566.70	c calculated reachability. Time: 0.00
2263.30/566.70	c  N st    81   2711983       257      2390         0    105800      9560   1952557   no data   no data  --
2728.68/683.15	c  N st    82   3211984       257      2390         0     82473      9560   1076322   no data   no data  --
2728.68/683.15	c  S st    82   3211984       257      2390         0     82473      9560   1076322   no data   no data  --
2729.46/683.39	c  S st    82   3212485       257      2390         0     82973      9560   1090069   no data   no data  --
2729.86/683.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2729.86/683.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2729.86/683.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
2729.86/683.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2729.86/683.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2729.86/683.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2729.86/683.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2750.26/688.50	c lits-rem:      1865  cl-subs:     2247  v-elim:      0  v-fix:    0  time: 20.12 s
2750.26/688.50	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2750.26/688.52	c vivif2 --  cl tried    80726 cl shrink        0 lits rem          0 time: 0.06
2751.03/688.73	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.84
2751.03/688.73	c calculated reachability. Time: 0.00
2751.03/688.73	c  N st    82   3212485       257      2390         0     80726      9560   1037959   no data   no data  --
3266.72/817.80	c  N st    83   3712488       257      2390         0     91026      9560   1236082   no data   no data  --
3266.72/817.80	c  S st    83   3712488       257      2390         0     91026      9560   1236082   no data   no data  --
3267.92/818.15	c  S st    83   3712990       257      2390         0     91528      9560   1250196   no data   no data  --
3267.92/818.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3267.92/818.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3268.32/818.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
3268.32/818.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3268.32/818.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3268.32/818.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
3268.32/818.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3301.08/826.44	c lits-rem:       464  cl-subs:     2787  v-elim:      0  v-fix:    0  time: 32.71 s
3301.08/826.44	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
3301.08/826.46	c vivif2 --  cl tried    88741 cl shrink        0 lits rem          0 time: 0.06
3301.88/826.69	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.91
3301.88/826.69	c calculated reachability. Time: 0.00
3301.88/826.69	c  N st    83   3712990       257      2390         0     88741      9560   1179575   no data   no data  --
3337.43/835.58	c  F st    84   3751563       257      2390         0    125369      9560   2275882   no data   no data  --
3337.43/835.58	c  N st    84   3751563       257      2390         0    125369      9560   2275882   no data   no data  --
3343.85/837.18	c Decided on static restart strategy
3369.39/843.53	c  N st    94   3779872       257      2390         0    152267      9560   3027880   no data   no data  --
3402.94/851.97	c  N st    96   3815865       257      2390         0    106130      9560   1683929   no data   no data  --
3433.70/859.66	c  N st    97   3848257       257      2390         0    136729      9560   2533862   no data   no data  --
3486.03/872.71	c  N st    98   3896846       257      2390         0    101236      9560   1510378   no data   no data  --
3572.71/894.42	c  N st    99   3969729       257      2390         0     87926      9560   1091101   no data   no data  --
3678.57/920.98	c  N st   100   4079057       257      2390         0    108154      9560   1648498   no data   no data  --
3821.98/956.89	c  N st   101   4212990       257      2390         0    151011      9560   2844680   no data   no data  --
3821.98/956.89	c  S st   101   4212990       257      2390         0    151011      9560   2844680   no data   no data  --
3824.77/957.51	c  S st   101   4213492       257      2390         0    151508      9560   2859477   no data   no data  --
3824.77/957.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3824.77/957.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3825.17/957.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.34
3825.57/957.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3825.57/957.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3825.57/957.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
3825.57/957.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4252.19/1064.56	c lits-rem:     13772  cl-subs:    14664  v-elim:      0  v-fix:    0  time: 426.73 s
4252.19/1064.56	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
4252.59/1064.60	c vivif2 --  cl tried   136844 cl shrink        0 lits rem          0 time: 0.16
4254.58/1065.10	c asymm  cl-useful: 0/2118/2390 lits-rem:0 time: 2.00
4254.58/1065.11	c calculated reachability. Time: 0.00
4254.58/1065.11	c  N st   101   4213492       257      2390         0    136844      9560   2467589   no data   no data  --
4628.06/1158.70	c  N st   102   4459469       257      2390         0    111490      9560   1715092   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-3250319-1304130636/watcher-3250319-1304130636 -o /tmp/evaluation-result-3250319-1304130636/solver-3250319-1304130636 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250319-1304130636.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.51 7.98 8.05 1/175 30912
/proc/meminfo: memFree=30823996/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 524664574 52465664 352 33554432000 4194304 4650419 140735300989872 18446744073709551615 270613167089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 12809 352 303 112 0 7774 0
[pid=30912/tid=30913] ppid=30910 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524664575 52465664 352 33554432000 4194304 4650419 140735300989872 18446744073709551615 47870584719280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524664575 52465664 352 33554432000 4194304 4650419 140735300989872 18446744073709551615 270624908342 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524664575 52465664 352 33554432000 4194304 4650419 140735300989872 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0721231 s]
/proc/loadavg: 7.51 7.98 8.05 1/175 30912
/proc/meminfo: memFree=30823996/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=348872 CPUtime=0.25 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 2290 0 0 0 25 0 0 0 18 0 4 0 524664574 357244928 2095 33554432000 4194304 4650419 140735300989872 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 87218 2095 389 112 0 82183 0
[pid=30912/tid=30913] ppid=30910 vsize=348872 CPUtime=0.06 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 522 0 0 0 6 0 0 0 18 0 4 0 524664575 357244928 2095 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=348872 CPUtime=0.06 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 503 0 0 0 6 0 0 0 18 0 4 0 524664575 357244928 2095 33554432000 4194304 4650419 140735300989872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=348872 CPUtime=0.06 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 243 0 0 0 6 0 0 0 25 0 4 0 524664575 357244928 2095 33554432000 4194304 4650419 140735300989872 18446744073709551615 4310880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 348872

[startup+0.101098 s]
/proc/loadavg: 7.51 7.98 8.05 1/175 30912
/proc/meminfo: memFree=30823996/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=348872 CPUtime=0.36 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 2473 0 0 0 36 0 0 0 18 0 4 0 524664574 357244928 2278 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 87218 2278 389 112 0 82183 0
[pid=30912/tid=30913] ppid=30910 vsize=348872 CPUtime=0.09 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 560 0 0 0 9 0 0 0 18 0 4 0 524664575 357244928 2278 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=348872 CPUtime=0.09 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 539 0 0 0 9 0 0 0 18 0 4 0 524664575 357244928 2278 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=348872 CPUtime=0.08 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 294 0 0 0 8 0 0 0 25 0 4 0 524664575 357244928 2278 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 348872

[startup+0.301062 s]
/proc/loadavg: 7.51 7.98 8.05 1/175 30912
/proc/meminfo: memFree=30823996/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=350292 CPUtime=1.16 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 3843 0 0 0 115 1 0 0 18 0 4 0 524664574 358699008 2905 33554432000 4194304 4650419 140735300989872 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 87573 2905 391 112 0 82538 0
[pid=30912/tid=30913] ppid=30910 vsize=350292 CPUtime=0.29 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 890 0 0 0 29 0 0 0 18 0 4 0 524664575 358699008 2905 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=350292 CPUtime=0.29 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 854 0 0 0 29 0 0 0 18 0 4 0 524664575 358699008 2905 33554432000 4194304 4650419 140735300989872 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=350292 CPUtime=0.28 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 676 0 0 0 28 0 0 0 25 0 4 0 524664575 358699008 2905 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 350292

[startup+0.700965 s]
/proc/loadavg: 7.51 7.98 8.05 1/175 30912
/proc/meminfo: memFree=30823996/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=352108 CPUtime=2.77 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 6645 0 0 0 275 2 0 0 18 0 4 0 524664574 360558592 3264 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 88027 3264 391 112 0 82992 0
[pid=30912/tid=30913] ppid=30910 vsize=352108 CPUtime=0.69 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 1642 0 0 0 69 0 0 0 18 0 4 0 524664575 360558592 3264 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=352108 CPUtime=0.68 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 1560 0 0 0 68 0 0 0 18 0 4 0 524664575 360558592 3265 33554432000 4194304 4650419 140735300989872 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=352108 CPUtime=0.68 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 1300 0 0 0 68 0 0 0 25 0 4 0 524664575 360558592 3265 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 352108

[startup+1.50082 s]
/proc/loadavg: 7.51 7.98 8.05 6/178 30937
/proc/meminfo: memFree=30796668/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=379632 CPUtime=5.96 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 13800 0 0 0 592 4 0 0 20 0 4 0 524664574 388743168 8139 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 94908 8139 393 112 0 89873 0
[pid=30912/tid=30913] ppid=30910 vsize=379632 CPUtime=1.48 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 3581 0 0 0 148 0 0 0 19 0 4 0 524664575 388743168 8139 33554432000 4194304 4650419 140735300989872 18446744073709551615 4360323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=379632 CPUtime=1.48 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 3450 0 0 0 148 0 0 0 20 0 4 0 524664575 388743168 8139 33554432000 4194304 4650419 140735300989872 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=379632 CPUtime=1.47 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 2788 0 0 0 147 0 0 0 25 0 4 0 524664575 388743168 8140 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 379632

[startup+3.10051 s]
/proc/loadavg: 7.51 7.98 8.05 9/184 30946
/proc/meminfo: memFree=30651184/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=397596 CPUtime=12.35 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 18701 0 0 0 1229 6 0 0 25 0 4 0 524664574 407138304 12000 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 99399 12000 393 112 0 94364 0
[pid=30912/tid=30913] ppid=30910 vsize=397596 CPUtime=3.08 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 4981 0 0 0 308 0 0 0 25 0 4 0 524664575 407138304 12000 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=397596 CPUtime=3.08 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 4487 0 0 0 308 0 0 0 25 0 4 0 524664575 407138304 12000 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=397596 CPUtime=3.07 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 3948 0 0 0 306 1 0 0 25 0 4 0 524664575 407138304 12000 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 397596

[startup+6.30094 s]
/proc/loadavg: 7.62 8.00 8.05 9/184 30946
/proc/meminfo: memFree=30147248/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=380312 CPUtime=25.13 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 27762 0 0 0 2505 8 0 0 25 0 4 0 524664574 389439488 13308 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 95078 13308 394 112 0 90043 0
[pid=30912/tid=30913] ppid=30910 vsize=380312 CPUtime=6.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 6693 0 0 0 628 0 0 0 25 0 4 0 524664575 389439488 13308 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=380312 CPUtime=6.28 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 5280 0 0 0 628 0 0 0 25 0 4 0 524664575 389439488 13308 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=380312 CPUtime=6.26 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 7357 0 0 0 624 2 0 0 25 0 4 0 524664575 389439488 13308 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 380312

[startup+12.7008 s]
/proc/loadavg: 7.65 8.00 8.05 9/184 30947
/proc/meminfo: memFree=29998108/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=381492 CPUtime=50.69 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 40282 0 0 0 5058 11 0 0 25 0 4 0 524664574 390647808 20350 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 95373 20350 394 112 0 90338 0
[pid=30912/tid=30913] ppid=30910 vsize=381492 CPUtime=12.68 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 10407 0 0 0 1267 1 0 0 25 0 4 0 524664575 390647808 20350 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=381492 CPUtime=12.68 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 6615 0 0 0 1267 1 0 0 25 0 4 0 524664575 390647808 20350 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=381492 CPUtime=12.62 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 11156 0 0 0 1259 3 0 0 25 0 4 0 524664575 390647808 20350 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 381492

[startup+25.5006 s]
/proc/loadavg: 7.73 8.00 8.05 9/184 30947
/proc/meminfo: memFree=29927080/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=372952 CPUtime=101.82 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 57102 0 0 0 10167 15 0 0 25 0 4 0 524664574 381902848 22088 33554432000 4194304 4650419 140735300989872 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 93238 22088 394 112 0 88203 0
[pid=30912/tid=30913] ppid=30910 vsize=372952 CPUtime=25.48 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 15857 0 0 0 2545 3 0 0 25 0 4 0 524664575 381902848 22088 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=372952 CPUtime=25.49 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 8748 0 0 0 2547 2 0 0 25 0 4 0 524664575 381902848 22088 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=372952 CPUtime=25.35 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 14153 0 0 0 2532 3 0 0 25 0 4 0 524664575 381902848 22088 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 372952

[startup+51.101 s]
/proc/loadavg: 7.82 8.00 8.05 9/184 30948
/proc/meminfo: memFree=29903820/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=453012 CPUtime=204.09 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 96368 0 0 0 20386 23 0 0 25 0 4 0 524664574 463884288 32855 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 113253 32855 394 112 0 108218 0
[pid=30912/tid=30913] ppid=30910 vsize=453012 CPUtime=51.09 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 29826 0 0 0 5103 6 0 0 25 0 4 0 524664575 463884288 32855 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=453012 CPUtime=51.09 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 19653 0 0 0 5106 3 0 0 25 0 4 0 524664575 463884288 32855 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=453012 CPUtime=50.82 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 19652 0 0 0 5077 5 0 0 25 0 4 0 524664575 463884288 32855 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 453012

[startup+102.307 s]
/proc/loadavg: 7.96 8.01 8.05 9/184 30949
/proc/meminfo: memFree=29708504/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=443712 CPUtime=408.65 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 154350 0 0 0 40826 39 0 0 25 0 4 0 524664574 454361088 50852 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 110928 50852 394 112 0 105893 0
[pid=30912/tid=30913] ppid=30910 vsize=443712 CPUtime=102.29 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 44945 0 0 0 10219 10 0 0 25 0 4 0 524664575 454361088 50852 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=443712 CPUtime=102.29 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 38724 0 0 0 10222 7 0 0 25 0 4 0 524664575 454361088 50852 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=443712 CPUtime=101.75 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 27863 0 0 0 10167 8 0 0 25 0 4 0 524664575 454361088 50852 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 443712

[startup+162.3 s]

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

[pid=30912] ppid=30910 vsize=676056 CPUtime=2805.36 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 483254 0 0 0 280368 168 0 0 25 0 4 0 524664574 692281344 108402 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 169014 108402 394 112 0 163979 0
[pid=30912/tid=30913] ppid=30910 vsize=676056 CPUtime=702.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 110947 0 0 0 70192 36 0 0 25 0 4 0 524664575 692281344 108402 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=676056 CPUtime=702.3 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 137946 0 0 0 70187 43 0 0 25 0 4 0 524664575 692281344 108402 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=676056 CPUtime=698.52 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 77426 0 0 0 69823 29 0 0 25 0 4 0 524664575 692281344 108402 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 676056

[startup+762.306 s]
/proc/loadavg: 8.07 8.04 8.03 9/184 30967
/proc/meminfo: memFree=29255280/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=690856 CPUtime=3045.05 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 509713 0 0 0 304326 179 0 0 25 0 4 0 524664574 707436544 107448 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 172714 107448 394 112 0 167679 0
[pid=30912/tid=30913] ppid=30910 vsize=690856 CPUtime=762.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 115209 0 0 0 76190 38 0 0 25 0 4 0 524664575 707436544 107448 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=690856 CPUtime=762.31 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 142369 0 0 0 76186 45 0 0 25 0 4 0 524664575 707436544 107448 33554432000 4194304 4650419 140735300989872 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=690856 CPUtime=758.2 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 84139 0 0 0 75788 32 0 0 25 0 4 0 524664575 707436544 107448 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 690856

[startup+822.301 s]
/proc/loadavg: 8.07 8.04 8.03 9/184 30968
/proc/meminfo: memFree=29320580/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=664884 CPUtime=3284.71 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 537546 0 0 0 328279 192 0 0 25 0 4 0 524664574 680841216 109342 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 166221 109342 394 112 0 161186 0
[pid=30912/tid=30913] ppid=30910 vsize=664884 CPUtime=822.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 122498 0 0 0 82186 42 0 0 25 0 4 0 524664575 680841216 109342 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=664884 CPUtime=822.3 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 149262 0 0 0 82183 47 0 0 25 0 4 0 524664575 680841216 109342 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=664884 CPUtime=817.88 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 87114 0 0 0 81754 34 0 0 25 0 4 0 524664575 680841216 109342 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 664884

[startup+882.301 s]
/proc/loadavg: 8.06 8.05 8.03 9/184 30970
/proc/meminfo: memFree=29295096/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=730740 CPUtime=3524.37 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 569616 0 0 0 352232 205 0 0 25 0 4 0 524664574 748277760 117338 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 182685 117338 394 112 0 177650 0
[pid=30912/tid=30913] ppid=30910 vsize=730740 CPUtime=882.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 130259 0 0 0 88183 45 0 0 25 0 4 0 524664575 748277760 117338 33554432000 4194304 4650419 140735300989872 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=730740 CPUtime=882.31 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 160262 0 0 0 88179 52 0 0 25 0 4 0 524664575 748277760 117338 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=730740 CPUtime=877.55 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 90988 0 0 0 87719 36 0 0 25 0 4 0 524664575 748277760 117338 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 730740

[startup+942.3 s]
/proc/loadavg: 8.06 8.05 8.03 9/184 30971
/proc/meminfo: memFree=29339788/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=744736 CPUtime=3764.05 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 597437 0 0 0 376191 214 0 0 25 0 4 0 524664574 762609664 123978 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 186184 123978 394 112 0 181149 0
[pid=30912/tid=30913] ppid=30910 vsize=744736 CPUtime=942.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 138402 0 0 0 94180 48 0 0 25 0 4 0 524664575 762609664 123978 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=744736 CPUtime=942.3 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 162512 0 0 0 94178 52 0 0 25 0 4 0 524664575 762609664 123978 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=744736 CPUtime=937.24 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 96953 0 0 0 93686 38 0 0 25 0 4 0 524664575 762609664 123978 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 744736

[startup+1002.3 s]
/proc/loadavg: 8.02 8.04 8.03 9/184 30973
/proc/meminfo: memFree=29225768/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=865660 CPUtime=4003.73 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 614732 0 0 0 400149 224 0 0 25 0 4 0 524664574 886435840 136107 33554432000 4194304 4650419 140735300989872 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 216415 136107 394 112 0 211380 0
[pid=30912/tid=30913] ppid=30910 vsize=865660 CPUtime=1002.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 142872 0 0 0 100178 50 0 0 25 0 4 0 524664575 886435840 136107 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=865660 CPUtime=1002.3 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 169165 0 0 0 100175 55 0 0 25 0 4 0 524664575 886435840 136107 33554432000 4194304 4650419 140735300989872 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=865660 CPUtime=996.91 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 101386 0 0 0 99650 41 0 0 25 0 4 0 524664575 886435840 136107 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 865660

[startup+1062.3 s]
/proc/loadavg: 8.01 8.03 8.02 9/184 30975
/proc/meminfo: memFree=29233144/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=758696 CPUtime=4243.4 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 629249 0 0 0 424110 230 0 0 25 0 4 0 524664574 776904704 127940 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 189674 127940 394 112 0 184639 0
[pid=30912/tid=30913] ppid=30910 vsize=758696 CPUtime=1062.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 150699 0 0 0 106174 54 0 0 25 0 4 0 524664575 776904704 127940 33554432000 4194304 4650419 140735300989872 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=758696 CPUtime=1062.3 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 174440 0 0 0 106173 57 0 0 25 0 4 0 524664575 776904704 127940 33554432000 4194304 4650419 140735300989872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=758696 CPUtime=1056.58 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 101742 0 0 0 105617 41 0 0 25 0 4 0 524664575 776904704 127940 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 758696

[startup+1122.3 s]
/proc/loadavg: 8.00 8.02 8.02 9/184 30976
/proc/meminfo: memFree=29216844/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=772904 CPUtime=4483.06 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 647695 0 0 0 448065 241 0 0 25 0 4 0 524664574 791453696 129222 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 193226 129222 394 112 0 188191 0
[pid=30912/tid=30913] ppid=30910 vsize=772904 CPUtime=1122.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 150699 0 0 0 112174 54 0 0 25 0 4 0 524664575 791453696 129222 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=772904 CPUtime=1122.31 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 181501 0 0 0 112169 62 0 0 25 0 4 0 524664575 791453696 129222 33554432000 4194304 4650419 140735300989872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=772904 CPUtime=1116.25 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 105358 0 0 0 111582 43 0 0 25 0 4 0 524664575 791453696 129222 33554432000 4194304 4650419 140735300989872 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 772904

[startup+1182.3 s]
/proc/loadavg: 8.03 8.03 8.01 9/184 30978
/proc/meminfo: memFree=29219764/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=880244 CPUtime=4722.74 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 658510 0 0 0 472028 246 0 0 25 0 4 0 524664574 901369856 133615 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 220061 133615 394 112 0 215026 0
[pid=30912/tid=30913] ppid=30910 vsize=880244 CPUtime=1182.28 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 150699 0 0 0 118174 54 0 0 25 0 4 0 524664575 901369856 133615 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=880244 CPUtime=1182.31 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 183176 0 0 0 118168 63 0 0 25 0 4 0 524664575 901369856 133615 33554432000 4194304 4650419 140735300989872 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=880244 CPUtime=1175.93 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 108028 0 0 0 117549 44 0 0 25 0 4 0 524664575 901369856 133615 33554432000 4194304 4650419 140735300989872 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 880244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.04 8.02 9/184 30978
/proc/meminfo: memFree=29193836/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=773024 CPUtime=4800.24 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 663312 0 0 0 479777 247 0 0 25 0 4 0 524664574 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 193256 133385 394 112 0 188221 0
[pid=30912/tid=30913] ppid=30910 vsize=773024 CPUtime=1201.68 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 150699 0 0 0 120114 54 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=773024 CPUtime=1201.72 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 184488 0 0 0 120109 63 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=773024 CPUtime=1195.22 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 108166 0 0 0 119478 44 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 773024

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.04 8.02 9/184 30978
/proc/meminfo: memFree=29193836/32951124 swapFree=67111524/67111528
[pid=30912] ppid=30910 vsize=773024 CPUtime=4800.24 cores=0,2,4,6
/proc/30912/stat : 30912 (strangenight1-m) R 30910 30912 30175 0 -1 4202496 663312 0 0 0 479777 247 0 0 25 0 4 0 524664574 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30912/statm: 193256 133385 394 112 0 188221 0
[pid=30912/tid=30913] ppid=30910 vsize=773024 CPUtime=1201.68 cores=0,2,4,6
/proc/30912/task/30913/stat : 30913 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 150699 0 0 0 120114 54 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30912/tid=30914] ppid=30910 vsize=773024 CPUtime=1201.72 cores=0,2,4,6
/proc/30912/task/30914/stat : 30914 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 184488 0 0 0 120109 63 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30912/tid=30915] ppid=30910 vsize=773024 CPUtime=1195.22 cores=0,2,4,6
/proc/30912/task/30915/stat : 30915 (strangenight1-m) R 30910 30912 30175 0 -1 4202560 108166 0 0 0 119478 44 0 0 25 0 4 0 524664575 791576576 133385 33554432000 4194304 4650419 140735300989872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 773024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.3
CPU user time (s): 4797.8
CPU system time (s): 2.50462
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 915744

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

runsolver used 1.92971 second user time and 4.5683 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 04:30:36
IDJOB=3250319
IDBENCH=83250
IDSOLVER=1588
FILE ID=node108/3250319-1304130636
RUNJOBID= node108-1304128228-30193
PBS_JOBID= 13170776
Free space on /tmp= 72624 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_511.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250319-1304130636/watcher-3250319-1304130636 -o /tmp/evaluation-result-3250319-1304130636/solver-3250319-1304130636 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3250319-1304130636.cnf

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

MD5SUM BENCH= 766a362c83d920a8f8dd49df62ed42c9
RANDOM SEED=1314404037

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30824152 kB
Buffers:        573088 kB
Cached:        1090752 kB
SwapCached:          4 kB
Active:         138648 kB
Inactive:      1590180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30824152 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:       64336 kB
Mapped:          15104 kB
Slab:           334016 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   220832 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= 72600 MiB
End job on node108 at 2011-04-30 04:50:40