Trace number 3250187

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.25 1201.93

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
MD5SUMc1f047ec179094963b21d7b90509d2b9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables510
Number of clauses4492
Sum of the clauses size17968
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 44492
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-3250187-1304130488.cnf'
0.00/0.00	c -- header says num vars:            510
0.00/0.00	c -- header says num clauses:        4492
0.00/0.01	c -- clauses added:            0 learnts,         4492 normals,            0 xors
0.00/0.01	c -- vars added        510
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       510      4492         0         0     17968         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/4492/4492 lits-rem:0 time: 0.02
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:    510 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:     510 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       510      4492         0         0     17968         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.37/0.13	c  N st     8      4913       510      4492         0      4745     17968    132859   no data   no data  --
1.17/0.35	c  N st    10     11295       510      4492         0      4383     17968     90461   no data   no data  --
1.98/0.57	c  N st    11     17040       510      4492         0      9887     17968    243118   no data   no data  --
3.57/0.90	c  F st    12     25000       510      4492         0     12159     17968    312256   no data   no data  --
3.57/0.91	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.57/0.91	c Found part        7 vars:        258 clauses:      2404 lits size:      9616
3.57/0.91	c Found parts:          2 time: 0.00 s
3.57/0.91	c Solving part 5
3.57/0.91	c  N st     0         0       252      2088         0         0      8352         0   no data   no data  --
3.57/0.91	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.01
3.57/0.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.91	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.91	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.91	c calculated reachability. Time: 0.00
3.57/0.91	c Calc default polars -  time:   0.00 s pos:       0 undec:     510 neg:       0
3.57/0.91	c =========================================================================================
3.57/0.91	c types(t): F = full restart, N = normal restart
3.57/0.91	c types(t): S = simplification begin/end, E = solution found
3.57/0.91	c restart types(rt): st = static, dy = dynamic
3.57/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.91	c  B st     0         0       252      2088         0         0      8352         0   no data   no data  --
3.57/0.95	c Decided on static restart strategy
3.98/1.02	c  N st     8      4925       252      2088         0      4791      8352    147973   no data   no data  --
4.39/1.11	c  E st    10      8030         0      2088         0      5381      8352    143400   no data   no data  --
4.39/1.11	c Verified 2088 clauses.
4.39/1.11	c Verified 2088 clauses.
4.39/1.11	c Solved part
4.39/1.11	c =========================================================================================
4.39/1.11	c Coming back to original instance
4.39/1.11	c =========================================================================================
4.39/1.11	c  N st    12     25000       258      2404         0     12159      9616    312256   no data   no data  --
5.17/1.31	c Decided on static restart strategy
5.17/1.31	c  N st    18     30001       258      2404         0     10421      9616    226859   no data   no data  --
5.17/1.31	c  S st    18     30001       258      2404         0     10421      9616    226859   no data   no data  --
5.17/1.34	c  S st    18     30503       258      2404         0     10921      9616    240646   no data   no data  --
5.17/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
5.17/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.16/1.84	c lits-rem:      4139  cl-subs:      982  v-elim:      0  v-fix:    0  time:  1.97 s
7.16/1.85	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.06
7.16/1.85	c calculated reachability. Time: 0.00
7.16/1.85	c  N st    18     30503       258      2404         0      9939      9616    207750   no data   no data  --
8.79/2.20	c  N st    20     37613       258      2404         0      9165      9616    172796   no data   no data  --
9.96/2.55	c  N st    21     44012       258      2404         0     15216      9616    333053   no data   no data  --
10.36/2.65	c  S st    22     45755       258      2404         0     16879      9616    377230   no data   no data  --
10.76/2.70	c  S st    22     46258       258      2404         0      8830      9616    146006   no data   no data  --
10.76/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
10.76/2.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.86	c lits-rem:       671  cl-subs:      116  v-elim:      0  v-fix:    0  time:  0.62 s
11.16/2.86	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
11.16/2.86	c vivif2 --  cl tried     8714 cl shrink        0 lits rem          0 time: 0.00
11.16/2.87	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.05
11.16/2.87	c calculated reachability. Time: 0.00
11.16/2.87	c  N st    22     46258       258      2404         0      8714      9616    142117   no data   no data  --
14.35/3.65	c  N st    23     60656       258      2404         0     12978      9616    257877   no data   no data  --
16.35/4.17	c  N st    24     69387       258      2404         0     10819      9616    172291   no data   no data  --
16.35/4.17	c  S st    24     69387       258      2404         0     10819      9616    172291   no data   no data  --
16.75/4.20	c  S st    24     69891       258      2404         0     11323      9616    186274   no data   no data  --
16.75/4.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.75/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.75/4.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
16.75/4.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.61	c lits-rem:      1057  cl-subs:      158  v-elim:      0  v-fix:    0  time:  1.61 s
18.35/4.61	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
18.35/4.61	c vivif2 --  cl tried    11165 cl shrink        0 lits rem          0 time: 0.01
18.35/4.63	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.06
18.35/4.63	c calculated reachability. Time: 0.00
18.35/4.63	c  N st    24     69891       258      2404         0     11165      9616    180763   no data   no data  --
22.34/5.64	c  F st    25     87501       258      2404         0     16527      9616    333140   no data   no data  --
22.34/5.64	c  N st    25     87501       258      2404         0     16527      9616    333140   no data   no data  --
23.54/5.97	c Decided on static restart strategy
24.34/6.18	c  N st    32     95539       258      2404         0     24267      9616    547209   no data   no data  --
26.73/6.73	c  N st    34    104836       258      2404         0     20719      9616    405604   no data   no data  --
26.73/6.73	c  S st    34    104836       258      2404         0     20719      9616    405604   no data   no data  --
26.73/6.78	c  S st    34    105337       258      2404         0     21215      9616    419238   no data   no data  --
26.73/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.73/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.14/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
27.14/6.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.13/8.38	c lits-rem:      6114  cl-subs:     1277  v-elim:      0  v-fix:    0  time:  6.32 s
33.13/8.38	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
33.13/8.39	c vivif2 --  cl tried    19938 cl shrink        0 lits rem          0 time: 0.02
33.53/8.41	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.10
33.53/8.41	c calculated reachability. Time: 0.00
33.53/8.41	c  N st    34    105337       258      2404         0     19938      9616    377023   no data   no data  --
35.92/9.03	c  N st    35    114937       258      2404         0     15672      9616    252880   no data   no data  --
39.91/10.04	c  N st    36    129334       258      2404         0     15092      9616    224460   no data   no data  --
45.91/11.54	c  N st    37    150929       258      2404         0     20370      9616    350048   no data   no data  --
47.93/12.05	c  S st    38    158007       258      2404         0     27134      9616    551682   no data   no data  --
48.33/12.12	c  S st    38    158512       258      2404         0     27636      9616    565686   no data   no data  --
48.33/12.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.33/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.33/12.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
48.33/12.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.71/14.21	c lits-rem:      7940  cl-subs:     2034  v-elim:      0  v-fix:    0  time:  8.26 s
56.71/14.21	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
56.71/14.21	c vivif2 --  cl tried    25602 cl shrink        0 lits rem          0 time: 0.02
56.71/14.25	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.13
56.71/14.25	c calculated reachability. Time: 0.00
56.71/14.25	c  N st    38    158512       258      2404         0     25602      9616    500312   no data   no data  --
71.88/18.05	c  N st    39    207101       258      2404         0     20529      9616    314803   no data   no data  --
81.86/20.51	c  N st    40    237770       258      2404         0     30765      9616    619641   no data   no data  --
81.86/20.51	c  S st    40    237770       258      2404         0     30765      9616    619641   no data   no data  --
81.86/20.59	c  S st    40    238275       258      2404         0     31268      9616    634268   no data   no data  --
81.86/20.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.86/20.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.26/20.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
82.26/20.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.26/20.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.26/20.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
82.26/20.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
92.27/23.16	c lits-rem:      9516  cl-subs:     2332  v-elim:      0  v-fix:    0  time: 10.16 s
92.27/23.16	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
92.27/23.17	c vivif2 --  cl tried    28936 cl shrink        0 lits rem          0 time: 0.02
92.64/23.21	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.16
92.64/23.21	c calculated reachability. Time: 0.00
92.64/23.21	c  N st    40    238275       258      2404         0     28936      9616    553982   no data   no data  --
118.64/29.73	c  F st    41    306250       258      2404         0     30811      9616    532031   no data   no data  --
118.64/29.73	c  N st    41    306250       258      2404         0     30811      9616    532031   no data   no data  --
120.61/30.26	c Decided on static restart strategy
129.80/32.51	c  N st    51    334559       258      2404         0     34932      9616    623137   no data   no data  --
138.98/34.89	c  N st    53    357412       258      2404         0     32812      9616    549349   no data   no data  --
138.98/34.89	c  S st    53    357412       258      2404         0     32812      9616    549349   no data   no data  --
139.38/34.97	c  S st    53    357916       258      2404         0     33311      9616    563408   no data   no data  --
139.38/34.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
139.38/34.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
139.38/34.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
139.78/35.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.78/35.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.78/35.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
139.78/35.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.17/37.12	c lits-rem:      8015  cl-subs:     1813  v-elim:      0  v-fix:    0  time:  8.46 s
148.17/37.12	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
148.17/37.12	c vivif2 --  cl tried    31498 cl shrink        0 lits rem          0 time: 0.02
148.17/37.17	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.18
148.17/37.17	c calculated reachability. Time: 0.00
148.17/37.17	c  N st    53    357916       258      2404         0     31498      9616    506696   no data   no data  --
161.35/40.44	c  N st    54    390310       258      2404         0     37679      9616    693261   no data   no data  --
181.73/45.59	c  N st    55    438898       258      2404         0     31628      9616    480852   no data   no data  --
214.09/53.69	c  N st    56    511780       258      2404         0     44813      9616    821589   no data   no data  --
226.86/56.80	c  N st    57    536875       258      2404         0     39155      9616    615758   no data   no data  --
226.86/56.80	c  S st    57    536875       258      2404         0     39155      9616    615758   no data   no data  --
227.26/56.90	c  S st    57    537377       258      2404         0     39656      9616    630783   no data   no data  --
227.26/56.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
227.26/56.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.26/56.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
227.26/56.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
227.26/56.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.26/56.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
227.26/56.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
237.27/59.43	c lits-rem:      6642  cl-subs:     2379  v-elim:      0  v-fix:    0  time:  9.95 s
237.27/59.43	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
237.27/59.43	c vivif2 --  cl tried    37277 cl shrink        0 lits rem          0 time: 0.03
237.65/59.51	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.29
237.65/59.51	c calculated reachability. Time: 0.00
237.65/59.51	c  N st    57    537377       258      2404         0     37277      9616    567723   no data   no data  --
318.34/79.76	c  N st    58    701362       258      2404         0     65593      9616   1306353   no data   no data  --
369.86/92.65	c  N st    59    806066       258      2404         0     59736      9616   1081727   no data   no data  --
369.86/92.65	c  S st    59    806066       258      2404         0     59736      9616   1081727   no data   no data  --
370.66/92.84	c  S st    59    806571       258      2404         0     60239      9616   1096523   no data   no data  --
370.66/92.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
370.66/92.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
370.66/92.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
371.06/92.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
371.06/92.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
371.06/92.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
371.06/92.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
394.63/98.86	c lits-rem:      1235  cl-subs:     5081  v-elim:      0  v-fix:    0  time: 23.77 s
394.63/98.86	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
394.63/98.87	c vivif2 --  cl tried    55158 cl shrink        0 lits rem          0 time: 0.04
395.05/98.99	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.46
395.05/98.99	c calculated reachability. Time: 0.00
395.05/98.99	c  N st    59    806571       258      2404         0     55158      9616    965271   no data   no data  --
541.63/135.60	c  F st    60   1071876       258      2404         0     70559      9616   1309959   no data   no data  --
541.63/135.60	c  N st    60   1071876       258      2404         0     70559      9616   1309959   no data   no data  --
544.85/136.47	c Decided on static restart strategy
557.22/139.51	c  N st    70   1100178       258      2404         0     55064      9616    852769   no data   no data  --
580.38/145.37	c  N st    72   1136171       258      2404         0     45688      9616    562629   no data   no data  --
599.15/150.09	c  N st    73   1168563       258      2404         0     76514      9616   1458594   no data   no data  --
625.52/156.68	c  N st    74   1209856       258      2404         0     70957      9616   1250197   no data   no data  --
625.52/156.68	c  S st    74   1209856       258      2404         0     70957      9616   1250197   no data   no data  --
626.72/156.96	c  S st    74   1210357       258      2404         0     71456      9616   1265154   no data   no data  --
626.72/156.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
626.72/156.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
627.12/157.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
627.12/157.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
627.12/157.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
627.12/157.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
627.12/157.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
661.07/165.54	c lits-rem:      7090  cl-subs:     5713  v-elim:      0  v-fix:    0  time: 33.93 s
661.07/165.54	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
661.07/165.55	c vivif2 --  cl tried    65743 cl shrink        0 lits rem          0 time: 0.05
661.87/165.70	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.59
661.87/165.70	c calculated reachability. Time: 0.00
661.87/165.70	c  N st    74   1210357       258      2404         0     65743      9616   1100348   no data   no data  --
708.61/177.41	c  N st    75   1283240       258      2404         0     89610      9616   1801257   no data   no data  --
780.51/195.41	c  N st    76   1392567       258      2404         0     50876      9616    623308   no data   no data  --
902.34/225.97	c  N st    77   1556551       258      2404         0     55305      9616    700384   no data   no data  --
1019.78/255.30	c  N st    78   1710359       258      2404         0     95996      9616   1868347   no data   no data  --
1019.78/255.30	c  S st    78   1710359       258      2404         0     95996      9616   1868347   no data   no data  --
1020.98/255.68	c  S st    78   1710862       258      2404         0     96497      9616   1882514   no data   no data  --
1020.98/255.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1020.98/255.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1021.38/255.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1021.77/255.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1021.77/255.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1021.77/255.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1021.77/255.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1128.44/282.54	c lits-rem:      7533  cl-subs:    10621  v-elim:      0  v-fix:    0  time: 106.74 s
1128.44/282.54	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1128.44/282.56	c vivif2 --  cl tried    85876 cl shrink        0 lits rem          0 time: 0.08
1129.25/282.77	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.84
1129.25/282.77	c calculated reachability. Time: 0.00
1129.25/282.77	c  N st    78   1710862       258      2404         0     85876      9616   1591580   no data   no data  --
1398.07/350.02	c  N st    79   2079826       258      2404         0     98359      9616   1910570   no data   no data  --
1516.31/379.60	c  N st    80   2210863       258      2404         0    101663      9616   1805717   no data   no data  --
1516.31/379.60	c  S st    80   2210863       258      2404         0    101663      9616   1805717   no data   no data  --
1517.51/379.92	c  S st    80   2211367       258      2404         0    102166      9616   1820231   no data   no data  --
1517.51/379.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1517.51/379.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1517.51/379.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1517.91/380.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1517.91/380.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1517.91/380.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1517.91/380.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1606.19/402.16	c lits-rem:      4824  cl-subs:    11236  v-elim:      0  v-fix:    0  time: 88.39 s
1606.19/402.16	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1606.19/402.18	c vivif2 --  cl tried    90930 cl shrink        0 lits rem          0 time: 0.08
1607.39/402.41	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.89
1607.39/402.41	c calculated reachability. Time: 0.00
1607.39/402.41	c  N st    80   2211367       258      2404         0     90930      9616   1552535   no data   no data  --
2030.03/508.24	c  N st    81   2711367       258      2404         0    113912      9616   2122219   no data   no data  --
2030.03/508.24	c  S st    81   2711367       258      2404         0    113912      9616   2122219   no data   no data  --
2031.60/508.68	c  S st    81   2711869       258      2404         0    114413      9616   2137006   no data   no data  --
2031.60/508.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2031.60/508.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2032.00/508.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2032.41/508.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2032.41/508.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2032.41/508.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2032.41/508.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2179.42/545.68	c lits-rem:      1761  cl-subs:    13675  v-elim:      0  v-fix:    0  time: 147.23 s
2179.42/545.68	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2179.80/545.71	c vivif2 --  cl tried   100738 cl shrink        0 lits rem          0 time: 0.09
2180.60/545.97	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 1.04
2180.60/545.97	c calculated reachability. Time: 0.00
2180.60/545.97	c  N st    81   2711869       258      2404         0    100738      9616   1784611   no data   no data  --
2656.92/665.39	c  N st    82   3211869       258      2404         0     77794      9616    945513   no data   no data  --
2656.92/665.39	c  S st    82   3211869       258      2404         0     77794      9616    945513   no data   no data  --
2658.49/665.71	c  S st    82   3212372       258      2404         0     78293      9616    959993   no data   no data  --
2658.49/665.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2658.49/665.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2658.49/665.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
2658.89/665.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2658.89/665.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2658.89/665.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2658.89/665.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2691.46/674.06	c lits-rem:      2462  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 32.82 s
2691.46/674.06	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2691.46/674.08	c vivif2 --  cl tried    77269 cl shrink        0 lits rem          0 time: 0.06
2692.68/674.33	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 1.00
2692.68/674.33	c calculated reachability. Time: 0.00
2692.68/674.33	c  N st    82   3212372       258      2404         0     77269      9616    931794   no data   no data  --
3231.92/809.30	c  N st    83   3712372       258      2404         0     87505      9616   1124237   no data   no data  --
3231.92/809.30	c  S st    83   3712372       258      2404         0     87505      9616   1124237   no data   no data  --
3232.74/809.57	c  S st    83   3712875       258      2404         0     88006      9616   1138958   no data   no data  --
3232.74/809.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3232.74/809.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3233.14/809.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3233.14/809.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3233.14/809.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3233.14/809.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3233.14/809.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3255.11/815.15	c lits-rem:      1719  cl-subs:     2083  v-elim:      0  v-fix:    0  time: 21.98 s
3255.11/815.15	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
3255.11/815.17	c vivif2 --  cl tried    85923 cl shrink        0 lits rem          0 time: 0.06
3255.88/815.37	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.82
3255.88/815.38	c calculated reachability. Time: 0.00
3255.88/815.38	c  N st    83   3712875       258      2404         0     85923      9616   1086580   no data   no data  --
3292.64/824.55	c  F st    84   3751562       258      2404         0    122255      9616   2115029   no data   no data  --
3292.64/824.55	c  N st    84   3751562       258      2404         0    122255      9616   2115029   no data   no data  --
3299.04/826.15	c Decided on static restart strategy
3325.78/832.80	c  N st    94   3779871       258      2404         0    149252      9616   2860387   no data   no data  --
3369.73/843.83	c  N st    96   3815866       258      2404         0    103295      9616   1527719   no data   no data  --
3412.48/854.55	c  N st    97   3848258       258      2404         0    133788      9616   2331218   no data   no data  --
3462.40/867.02	c  N st    98   3896846       258      2404         0     98717      9616   1406015   no data   no data  --
3538.69/886.16	c  N st    99   3969730       258      2404         0     85385      9616    999531   no data   no data  --
3664.93/917.78	c  N st   100   4079056       258      2404         0    105378      9616   1541792   no data   no data  --
3804.36/952.66	c  N st   101   4212875       258      2404         0    147750      9616   2769699   no data   no data  --
3804.36/952.66	c  S st   101   4212875       258      2404         0    147750      9616   2769699   no data   no data  --
3806.33/953.17	c  S st   101   4213378       258      2404         0    148250      9616   2783943   no data   no data  --
3806.33/953.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3806.33/953.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3806.73/953.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
3807.13/953.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3807.13/953.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3807.13/953.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3807.13/953.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4050.02/1014.19	c lits-rem:      8172  cl-subs:    14439  v-elim:      0  v-fix:    0  time: 242.94 s
4050.02/1014.19	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
4050.43/1014.22	c vivif2 --  cl tried   133811 cl shrink        0 lits rem          0 time: 0.13
4051.60/1014.59	c asymm  cl-useful: 0/2278/2404 lits-rem:0 time: 1.48
4051.60/1014.60	c calculated reachability. Time: 0.00
4051.60/1014.60	c  N st   101   4213378       258      2404         0    133811      9616   2395794   no data   no data  --
4361.58/1092.16	c  N st   102   4459354       258      2404         0    108825      9616   1582393   no data   no data  --
4656.39/1166.00	c  N st   103   4713380       258      2404         0    171530      9616   3269582   no data   no data  --
4656.39/1166.00	c  S st   103   4713380       258      2404         0    171530      9616   3269582   no data   no data  --
4659.57/1166.78	c  S st   103   4713882       258      2404         0    172030      9616   3283965   no data   no data  --
4659.97/1166.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4659.97/1166.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4660.37/1166.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.44
4660.79/1167.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4660.79/1167.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4660.79/1167.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
4660.79/1167.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3250187-1304130488/watcher-3250187-1304130488 -o /tmp/evaluation-result-3250187-1304130488/solver-3250187-1304130488 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250187-1304130488.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.55 8.19 8.43 2/174 26673
/proc/meminfo: memFree=30875888/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 4 0 603279519 52465664 353 33554432000 4194304 4650419 140733312888896 18446744073709551615 47431733602226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 12809 353 303 112 0 7774 0
[pid=26673/tid=26674] ppid=26671 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 603279520 52465664 353 33554432000 4194304 4650419 140733312888896 18446744073709551615 47431733602220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 603279520 52465664 353 33554432000 4194304 4650419 140733312888896 18446744073709551615 47431733602226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603279520 52465664 353 33554432000 4194304 4650419 140733312888896 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0849611 s]
/proc/loadavg: 7.55 8.19 8.43 2/174 26673
/proc/meminfo: memFree=30875888/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=282924 CPUtime=0.31 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 2337 0 0 0 31 0 0 0 18 0 4 0 603279519 289714176 2065 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 70731 2065 389 112 0 65696 0
[pid=26673/tid=26674] ppid=26671 vsize=282924 CPUtime=0.07 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 577 0 0 0 7 0 0 0 24 0 4 0 603279520 289714176 2065 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=282924 CPUtime=0.07 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 553 0 0 0 7 0 0 0 24 0 4 0 603279520 289714176 2065 33554432000 4194304 4650419 140733312888896 18446744073709551615 4330588 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=282924 CPUtime=0.07 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 274 0 0 0 7 0 0 0 25 0 4 0 603279520 289714176 2065 33554432000 4194304 4650419 140733312888896 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 282924

[startup+0.100957 s]
/proc/loadavg: 7.55 8.19 8.43 2/174 26673
/proc/meminfo: memFree=30875888/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=282924 CPUtime=0.37 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 2479 0 0 0 37 0 0 0 18 0 4 0 603279519 289714176 2207 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 70731 2207 389 112 0 65696 0
[pid=26673/tid=26674] ppid=26671 vsize=282924 CPUtime=0.09 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 619 0 0 0 9 0 0 0 24 0 4 0 603279520 289714176 2207 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=282924 CPUtime=0.09 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 573 0 0 0 9 0 0 0 24 0 4 0 603279520 289714176 2207 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=282924 CPUtime=0.09 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 313 0 0 0 9 0 0 0 25 0 4 0 603279520 289714176 2207 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282924

[startup+0.300924 s]
/proc/loadavg: 7.55 8.19 8.43 2/174 26673
/proc/meminfo: memFree=30875888/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=284656 CPUtime=1.17 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 3824 0 0 0 117 0 0 0 18 0 4 0 603279519 291487744 2841 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 71164 2842 391 112 0 66129 0
[pid=26673/tid=26674] ppid=26671 vsize=284656 CPUtime=0.29 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 966 0 0 0 29 0 0 0 25 0 4 0 603279520 291487744 2842 33554432000 4194304 4650419 140733312888896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=284656 CPUtime=0.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 878 0 0 0 29 0 0 0 25 0 4 0 603279520 291487744 2842 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=284656 CPUtime=0.29 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 680 0 0 0 29 0 0 0 25 0 4 0 603279520 291487744 2842 33554432000 4194304 4650419 140733312888896 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284656

[startup+0.700859 s]
/proc/loadavg: 7.55 8.19 8.43 2/174 26673
/proc/meminfo: memFree=30875888/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=286292 CPUtime=2.77 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 6614 0 0 0 276 1 0 0 18 0 4 0 603279519 293163008 3302 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 71573 3302 391 112 0 66538 0
[pid=26673/tid=26674] ppid=26671 vsize=286292 CPUtime=0.69 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 1665 0 0 0 69 0 0 0 25 0 4 0 603279520 293163008 3302 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=286292 CPUtime=0.68 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 1608 0 0 0 68 0 0 0 25 0 4 0 603279520 293163008 3302 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=286292 CPUtime=0.69 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 1346 0 0 0 69 0 0 0 25 0 4 0 603279520 293163008 3302 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286292

[startup+1.50073 s]
/proc/loadavg: 7.75 8.22 8.44 10/184 26686
/proc/meminfo: memFree=30741884/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=321012 CPUtime=5.96 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 12658 0 0 0 594 2 0 0 20 0 4 0 603279519 328716288 8602 33554432000 4194304 4650419 140733312888896 18446744073709551615 4476197 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 80253 8602 394 112 0 75218 0
[pid=26673/tid=26674] ppid=26671 vsize=321012 CPUtime=1.48 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 3042 0 0 0 148 0 0 0 25 0 4 0 603279520 328716288 8602 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=321012 CPUtime=1.49 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 2765 0 0 0 148 1 0 0 25 0 4 0 603279520 328716288 8602 33554432000 4194304 4650419 140733312888896 18446744073709551615 4339892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=321012 CPUtime=1.48 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 2512 0 0 0 148 0 0 0 25 0 4 0 603279520 328716288 8602 33554432000 4194304 4650419 140733312888896 18446744073709551615 4360465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 321012

[startup+3.10046 s]
/proc/loadavg: 7.75 8.22 8.44 9/184 26686
/proc/meminfo: memFree=30685836/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=348136 CPUtime=12.35 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 18047 0 0 0 1232 3 0 0 25 0 4 0 603279519 356491264 9832 33554432000 4194304 4650419 140733312888896 18446744073709551615 4330680 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 87034 9832 394 112 0 81999 0
[pid=26673/tid=26674] ppid=26671 vsize=348136 CPUtime=3.09 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 4626 0 0 0 308 1 0 0 25 0 4 0 603279520 356491264 9832 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=348136 CPUtime=3.09 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 4483 0 0 0 308 1 0 0 25 0 4 0 603279520 356491264 9832 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=348136 CPUtime=3.07 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 3506 0 0 0 307 0 0 0 25 0 4 0 603279520 356491264 9832 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 348136

[startup+6.30093 s]
/proc/loadavg: 7.75 8.22 8.44 9/184 26686
/proc/meminfo: memFree=30615192/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=349800 CPUtime=25.14 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 27274 0 0 0 2509 5 0 0 25 0 4 0 603279519 358195200 11655 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 87450 11664 394 112 0 82415 0
[pid=26673/tid=26674] ppid=26671 vsize=349800 CPUtime=6.28 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 7854 0 0 0 627 1 0 0 25 0 4 0 603279520 358195200 11668 33554432000 4194304 4650419 140733312888896 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=349800 CPUtime=6.28 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 7312 0 0 0 627 1 0 0 25 0 4 0 603279520 358195200 11671 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=349800 CPUtime=6.26 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 4263 0 0 0 626 0 0 0 25 0 4 0 603279520 358195200 11671 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 349800

[startup+12.7009 s]
/proc/loadavg: 7.79 8.21 8.43 9/184 26686
/proc/meminfo: memFree=30537344/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=332532 CPUtime=50.71 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 42153 0 0 0 5062 9 0 0 25 0 4 0 603279519 340512768 15376 33554432000 4194304 4650419 140733312888896 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 83133 15376 394 112 0 78098 0
[pid=26673/tid=26674] ppid=26671 vsize=332532 CPUtime=12.69 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 12117 0 0 0 1266 3 0 0 25 0 4 0 603279520 340512768 15376 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=332532 CPUtime=12.68 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 11794 0 0 0 1266 2 0 0 25 0 4 0 603279520 340512768 15376 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=332532 CPUtime=12.62 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 6227 0 0 0 1262 0 0 0 25 0 4 0 603279520 340512768 15376 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 332532

[startup+25.5007 s]
/proc/loadavg: 7.82 8.20 8.43 9/184 26686
/proc/meminfo: memFree=30473212/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=352760 CPUtime=101.84 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 65856 0 0 0 10169 15 0 0 25 0 4 0 603279519 361226240 20004 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 88190 20004 394 112 0 83155 0
[pid=26673/tid=26674] ppid=26671 vsize=352760 CPUtime=25.49 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 20179 0 0 0 2544 5 0 0 25 0 4 0 603279520 361226240 20004 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=352760 CPUtime=25.49 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 19099 0 0 0 2545 4 0 0 25 0 4 0 603279520 361226240 20004 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=352760 CPUtime=25.35 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 8860 0 0 0 2534 1 0 0 25 0 4 0 603279520 361226240 20004 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 352760

[startup+51.1005 s]
/proc/loadavg: 7.88 8.19 8.42 9/184 26686
/proc/meminfo: memFree=30405924/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=335180 CPUtime=204.09 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 103067 0 0 0 20385 24 0 0 25 0 4 0 603279519 343224320 27510 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 83795 27510 394 112 0 78760 0
[pid=26673/tid=26674] ppid=26671 vsize=335180 CPUtime=51.08 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 32685 0 0 0 5101 7 0 0 25 0 4 0 603279520 343224320 27510 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=335180 CPUtime=51.08 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 31017 0 0 0 5100 8 0 0 25 0 4 0 603279520 343224320 27510 33554432000 4194304 4650419 140733312888896 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=335180 CPUtime=50.81 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 13263 0 0 0 5079 2 0 0 25 0 4 0 603279520 343224320 27510 33554432000 4194304 4650419 140733312888896 18446744073709551615 4360904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 335180

[startup+102.307 s]
/proc/loadavg: 7.95 8.15 8.39 9/184 26688
/proc/meminfo: memFree=30289560/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=422788 CPUtime=408.64 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 149720 0 0 0 40825 39 0 0 25 0 4 0 603279519 432934912 48468 33554432000 4194304 4650419 140733312888896 18446744073709551615 4339890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 105697 48468 394 112 0 100662 0
[pid=26673/tid=26674] ppid=26671 vsize=422788 CPUtime=102.29 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 46827 0 0 0 10217 12 0 0 25 0 4 0 603279520 432934912 48468 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=422788 CPUtime=102.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 43452 0 0 0 10217 12 0 0 25 0 4 0 603279520 432934912 48468 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=422788 CPUtime=101.73 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 22992 0 0 0 10168 5 0 0 25 0 4 0 603279520 432934912 48468 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 422788

[startup+162.301 s]

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

[pid=26673] ppid=26671 vsize=571160 CPUtime=2804.5 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 487820 0 0 0 280269 181 0 0 25 0 4 0 603279519 584867840 99938 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 142790 99939 394 112 0 137755 0
[pid=26673/tid=26674] ppid=26671 vsize=571160 CPUtime=702.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 144299 0 0 0 70179 51 0 0 25 0 4 0 603279520 584867840 99939 33554432000 4194304 4650419 140733312888896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=571160 CPUtime=702.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 121460 0 0 0 70188 41 0 0 25 0 4 0 603279520 584867840 99939 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=571160 CPUtime=698.44 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 79547 0 0 0 69809 35 0 0 25 0 4 0 603279520 584867840 99939 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.5
Current children cumulated vsize (KiB) 571160

[startup+762.307 s]
/proc/loadavg: 8.30 8.18 8.26 9/184 26709
/proc/meminfo: memFree=29976388/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=625372 CPUtime=3044.2 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 514887 0 0 0 304226 194 0 0 25 0 4 0 603279519 640380928 105371 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 156343 105371 394 112 0 151308 0
[pid=26673/tid=26674] ppid=26671 vsize=625372 CPUtime=762.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 154285 0 0 0 76174 56 0 0 25 0 4 0 603279520 640380928 105371 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=625372 CPUtime=762.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 124914 0 0 0 76187 42 0 0 25 0 4 0 603279520 640380928 105371 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365390 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=625372 CPUtime=758.12 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 84428 0 0 0 75774 38 0 0 25 0 4 0 603279520 640380928 105371 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.2
Current children cumulated vsize (KiB) 625372

[startup+822.301 s]
/proc/loadavg: 8.25 8.18 8.25 9/184 26709
/proc/meminfo: memFree=29960468/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=678628 CPUtime=3283.85 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 541558 0 0 0 328179 206 0 0 25 0 4 0 603279519 694915072 106748 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 169657 106748 394 112 0 164622 0
[pid=26673/tid=26674] ppid=26671 vsize=678628 CPUtime=822.29 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 163661 0 0 0 82169 60 0 0 25 0 4 0 603279520 694915072 106748 33554432000 4194304 4650419 140733312888896 18446744073709551615 4339892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=678628 CPUtime=822.28 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 132292 0 0 0 82183 45 0 0 25 0 4 0 603279520 694915072 106748 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=678628 CPUtime=817.79 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 90290 0 0 0 81739 40 0 0 25 0 4 0 603279520 694915072 106748 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.85
Current children cumulated vsize (KiB) 678628

[startup+882.301 s]
/proc/loadavg: 8.22 8.18 8.25 9/184 26711
/proc/meminfo: memFree=29943412/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=734484 CPUtime=3523.51 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 564114 0 0 0 352136 215 0 0 25 0 4 0 603279519 752111616 107873 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 183621 107873 394 112 0 178586 0
[pid=26673/tid=26674] ppid=26671 vsize=734484 CPUtime=882.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 172981 0 0 0 88167 63 0 0 25 0 4 0 603279520 752111616 107873 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=734484 CPUtime=882.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 137447 0 0 0 88180 49 0 0 25 0 4 0 603279520 752111616 107873 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=734484 CPUtime=877.46 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 90706 0 0 0 87705 41 0 0 25 0 4 0 603279520 752111616 107873 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.51
Current children cumulated vsize (KiB) 734484

[startup+942.301 s]
/proc/loadavg: 8.27 8.19 8.24 9/184 26713
/proc/meminfo: memFree=29930100/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=638436 CPUtime=3763.2 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 592975 0 0 0 376091 229 0 0 25 0 4 0 603279519 653758464 113551 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 159609 113551 394 112 0 154574 0
[pid=26673/tid=26674] ppid=26671 vsize=638436 CPUtime=942.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 182257 0 0 0 94162 68 0 0 25 0 4 0 603279520 653758464 113551 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=638436 CPUtime=942.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 144760 0 0 0 94177 52 0 0 25 0 4 0 603279520 653758464 113552 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=638436 CPUtime=937.13 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 96668 0 0 0 93670 43 0 0 25 0 4 0 603279520 653758464 113552 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.2
Current children cumulated vsize (KiB) 638436

[startup+1002.3 s]
/proc/loadavg: 8.22 8.18 8.24 9/184 26715
/proc/meminfo: memFree=29883796/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=750500 CPUtime=4002.87 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 614971 0 0 0 400046 241 0 0 25 0 4 0 603279519 768512000 116540 33554432000 4194304 4650419 140733312888896 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 187625 116540 394 112 0 182590 0
[pid=26673/tid=26674] ppid=26671 vsize=750500 CPUtime=1002.29 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 191026 0 0 0 100157 72 0 0 25 0 4 0 603279520 768512000 116540 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=750500 CPUtime=1002.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 152708 0 0 0 100173 56 0 0 25 0 4 0 603279520 768512000 116540 33554432000 4194304 4650419 140733312888896 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=750500 CPUtime=996.8 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 100162 0 0 0 99635 45 0 0 25 0 4 0 603279520 768512000 116540 33554432000 4194304 4650419 140733312888896 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.87
Current children cumulated vsize (KiB) 750500

[startup+1062.3 s]
/proc/loadavg: 8.19 8.18 8.23 9/184 26717
/proc/meminfo: memFree=29917592/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=697412 CPUtime=4242.55 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 640687 0 0 0 424000 255 0 0 25 0 4 0 603279519 714149888 115526 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 174353 115526 394 112 0 169318 0
[pid=26673/tid=26674] ppid=26671 vsize=697412 CPUtime=1062.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 198544 0 0 0 106153 77 0 0 25 0 4 0 603279520 714149888 115526 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=697412 CPUtime=1062.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 160218 0 0 0 106169 60 0 0 25 0 4 0 603279520 714149888 115526 33554432000 4194304 4650419 140733312888896 18446744073709551615 4440101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=697412 CPUtime=1056.47 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 103929 0 0 0 105600 47 0 0 25 0 4 0 603279520 714149888 115526 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.55
Current children cumulated vsize (KiB) 697412

[startup+1122.3 s]
/proc/loadavg: 8.17 8.17 8.22 9/184 26717
/proc/meminfo: memFree=29899816/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=793724 CPUtime=4482.21 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 662819 0 0 0 447954 267 0 0 25 0 4 0 603279519 812773376 115349 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 198431 115349 394 112 0 193396 0
[pid=26673/tid=26674] ppid=26671 vsize=793724 CPUtime=1122.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 206443 0 0 0 112148 82 0 0 25 0 4 0 603279520 812773376 115349 33554432000 4194304 4650419 140733312888896 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=793724 CPUtime=1122.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 161345 0 0 0 112168 61 0 0 25 0 4 0 603279520 812773376 115349 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=793724 CPUtime=1116.14 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 109486 0 0 0 111564 50 0 0 25 0 4 0 603279520 812773376 115349 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.21
Current children cumulated vsize (KiB) 793724

[startup+1182.3 s]
/proc/loadavg: 8.11 8.15 8.21 9/184 26719
/proc/meminfo: memFree=29835900/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=736172 CPUtime=4721.89 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 693587 0 0 0 471905 284 0 0 25 0 4 0 603279519 753840128 126773 33554432000 4194304 4650419 140733312888896 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 184043 126773 394 112 0 179008 0
[pid=26673/tid=26674] ppid=26671 vsize=736172 CPUtime=1182.3 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 214207 0 0 0 118144 86 0 0 25 0 4 0 603279520 753840128 126773 33554432000 4194304 4650419 140733312888896 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=736172 CPUtime=1182.29 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 169708 0 0 0 118162 67 0 0 25 0 4 0 603279520 753840128 126773 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=736172 CPUtime=1175.82 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 115894 0 0 0 117529 53 0 0 25 0 4 0 603279520 753840128 126773 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.89
Current children cumulated vsize (KiB) 736172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.08 8.14 8.20 5/179 26722
/proc/meminfo: memFree=30342708/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=815980 CPUtime=4800.2 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 698860 0 0 0 479733 287 0 0 25 0 4 0 603279519 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 203995 131486 394 112 0 198960 0
[pid=26673/tid=26674] ppid=26671 vsize=815980 CPUtime=1201.9 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 215580 0 0 0 120104 86 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=815980 CPUtime=1201.9 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 172663 0 0 0 120121 69 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=815980 CPUtime=1195.31 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 116839 0 0 0 119477 54 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 815980

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

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

[startup+1201.9 s]
/proc/loadavg: 8.08 8.14 8.20 5/179 26722
/proc/meminfo: memFree=30342708/32951124 swapFree=67103364/67111528
[pid=26673] ppid=26671 vsize=815980 CPUtime=4800.2 cores=1,3,5,7
/proc/26673/stat : 26673 (strangenight1-m) R 26671 26673 23915 0 -1 4202496 698860 0 0 0 479733 287 0 0 25 0 4 0 603279519 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26673/statm: 203995 131486 394 112 0 198960 0
[pid=26673/tid=26674] ppid=26671 vsize=815980 CPUtime=1201.9 cores=1,3,5,7
/proc/26673/task/26674/stat : 26674 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 215580 0 0 0 120104 86 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26673/tid=26675] ppid=26671 vsize=815980 CPUtime=1201.9 cores=1,3,5,7
/proc/26673/task/26675/stat : 26675 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 172663 0 0 0 120121 69 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26673/tid=26676] ppid=26671 vsize=815980 CPUtime=1195.31 cores=1,3,5,7
/proc/26673/task/26676/stat : 26676 (strangenight1-m) R 26671 26673 23915 0 -1 4202560 116839 0 0 0 119477 54 0 0 25 0 4 0 603279520 835563520 131486 33554432000 4194304 4650419 140733312888896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 815980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.25
CPU user time (s): 4797.35
CPU system time (s): 2.89856
CPU usage (%): 399.378
Max. virtual memory (cumulated for all children) (KiB): 815980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 2.89856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 698860
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= 874
involuntary context switches= 34910

runsolver used 1.92071 second user time and 4.65529 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 04:28:09
IDJOB=3250187
IDBENCH=83247
IDSOLVER=1588
FILE ID=node118/3250187-1304130488
RUNJOBID= node118-1304130488-26660
PBS_JOBID= 13170759
Free space on /tmp= 71936 MiB

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

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

MD5SUM BENCH= c1f047ec179094963b21d7b90509d2b9
RANDOM SEED=1304359844

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30876168 kB
Buffers:        404884 kB
Cached:        1253980 kB
SwapCached:       2448 kB
Active:         132672 kB
Inactive:      1589180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30876168 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:            7420 kB
Writeback:           0 kB
AnonPages:       62040 kB
Mapped:          14468 kB
Slab:           289828 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190356 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= 71928 MiB
End job on node118 at 2011-04-30 04:48:12