Trace number 3369114

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 (fixed)? (TO) 4800.27 1203.04

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-3369114-1305413794.cnf'
0.00/0.00	c -- header says num vars:            509
0.00/0.00	c -- header says num clauses:        4478
0.00/0.00	c -- clauses added:            0 learnts,         4478 normals,            0 xors
0.00/0.00	c -- vars added        509
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	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
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       509      4478         0         0     17912         0   no data   no data  --
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4921       509      4478         0      4727     17912    134438   no data   no data  --
3.17/0.80	c  N st    10     11303       509      4478         0      4396     17912     97873   no data   no data  --
3.17/0.80	c  N st    11     17046       509      4478         0      9924     17912    255240   no data   no data  --
3.57/0.90	c  F st    12     25000       509      4478         0     12091     17912    300734   no data   no data  --
3.57/0.90	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.57/0.90	c Found part        7 vars:        257 clauses:      2390 lits size:      9560
3.57/0.90	c Found parts:          2 time: 0.00 s
3.57/0.90	c Solving part 5
3.97/1.00	c  N st     0         0       252      2088         0     12091      8352    300734   no data   no data  --
3.97/1.00	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.04
3.97/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.97/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.97/1.00	c calculated reachability. Time: 0.00
3.97/1.00	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
3.97/1.00	c =========================================================================================
3.97/1.00	c types(t): F = full restart, N = normal restart
3.97/1.00	c types(t): S = simplification begin/end, E = solution found
3.97/1.00	c restart types(rt): st = static, dy = dynamic
3.97/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.00	c  B st     0         0       252      2088         0     12091      8352    300734   no data   no data  --
3.97/1.10	c Decided on static restart strategy
4.39/1.20	c  N st     8      4914       252      2088         0     16874      8352    442325   no data   no data  --
5.96/1.50	c  N st    10     11297       252      2088         0      7427      8352    132605   no data   no data  --
6.36/1.68	c  N st    11     17040       252      2088         0     12952      8352    299737   no data   no data  --
7.96/2.04	c  F st    12     25002       252      2088         0     13624      8352    308221   no data   no data  --
7.96/2.04	c  N st    12     25002       252      2088         0     13624      8352    308221   no data   no data  --
8.77/2.25	c Decided on static restart strategy
8.77/2.25	c  N st    18     30202       252      2088         0     11356      8352    229120   no data   no data  --
9.95/2.55	c  N st    20     37317       252      2088         0     10221      8352    186608   no data   no data  --
11.15/2.86	c  N st    21     43716       252      2088         0     16319      8352    363580   no data   no data  --
13.17/3.32	c  N st    22     53314       252      2088         0     16741      8352    370030   no data   no data  --
16.34/4.13	c  N st    23     67711       252      2088         0     20844      8352    459633   no data   no data  --
19.92/5.03	c  E st    24     83231         0      2088         0     13613      8352    241205   no data   no data  --
19.92/5.03	c Verified 2088 clauses.
19.92/5.03	c Verified 2088 clauses.
19.92/5.03	c Solved part
19.92/5.03	c =========================================================================================
19.92/5.03	c Coming back to original instance
19.92/5.03	c =========================================================================================
19.92/5.03	c  N st    12     25000       257      2390         0         0      9560         0   no data   no data  --
20.33/5.14	c Decided on static restart strategy
20.33/5.14	c  N st    18     30000       257      2390         0      4363      9560    120505   no data   no data  --
20.33/5.14	c  S st    18     30000       257      2390         0      4363      9560    120505   no data   no data  --
20.33/5.16	c  S st    18     30503       257      2390         0      4859      9560    134168   no data   no data  --
20.33/5.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.33/5.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
20.33/5.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.33/5.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
20.33/5.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.73/5.25	c lits-rem:      2347  cl-subs:      463  v-elim:      0  v-fix:    0  time:  0.33 s
20.73/5.26	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.03
20.73/5.26	c calculated reachability. Time: 0.00
20.73/5.26	c  N st    18     30503       257      2390         0      4396      9560    116610   no data   no data  --
21.95/5.51	c  N st    20     37616       257      2390         0      6668      9560    153836   no data   no data  --
22.72/5.78	c  N st    21     44015       257      2390         0     12786      9560    327468   no data   no data  --
23.12/5.88	c  S st    22     45754       257      2390         0      7373      9560    152196   no data   no data  --
23.52/5.90	c  S st    22     46257       257      2390         0      7874      9560    166220   no data   no data  --
23.52/5.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.52/5.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.52/5.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
23.52/5.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.52/5.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.52/5.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
23.52/5.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.92/6.04	c lits-rem:      2081  cl-subs:      465  v-elim:      0  v-fix:    0  time:  0.52 s
23.92/6.04	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
23.92/6.04	c vivif2 --  cl tried     7409 cl shrink        0 lits rem          0 time: 0.00
23.92/6.05	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.05
23.92/6.05	c calculated reachability. Time: 0.00
23.92/6.05	c  N st    22     46257       257      2390         0      7409      9560    150492   no data   no data  --
26.74/6.78	c  N st    23     60657       257      2390         0     12404      9560    285644   no data   no data  --
29.11/7.33	c  N st    24     69385       257      2390         0     10620      9560    202886   no data   no data  --
29.11/7.33	c  S st    24     69385       257      2390         0     10620      9560    202886   no data   no data  --
29.11/7.36	c  S st    24     69893       257      2390         0     11124      9560    217089   no data   no data  --
29.11/7.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.11/7.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.11/7.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
29.11/7.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.11/7.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.11/7.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
29.11/7.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.72/7.79	c lits-rem:      1861  cl-subs:      606  v-elim:      0  v-fix:    0  time:  1.69 s
30.72/7.79	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
30.72/7.80	c vivif2 --  cl tried    10518 cl shrink        0 lits rem          0 time: 0.01
31.13/7.81	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.06
31.13/7.81	c calculated reachability. Time: 0.00
31.13/7.81	c  N st    24     69893       257      2390         0     10518      9560    198801   no data   no data  --
35.53/8.93	c  F st    25     87500       257      2390         0     15969      9560    324103   no data   no data  --
35.53/8.93	c  N st    25     87500       257      2390         0     15969      9560    324103   no data   no data  --
36.69/9.21	c Decided on static restart strategy
37.49/9.40	c  N st    32     95540       257      2390         0     23706      9560    533514   no data   no data  --
39.09/9.85	c  N st    34    104841       257      2390         0     20353      9560    433321   no data   no data  --
39.09/9.85	c  S st    34    104841       257      2390         0     20353      9560    433321   no data   no data  --
39.09/9.90	c  S st    34    105344       257      2390         0     20856      9560    448039   no data   no data  --
39.09/9.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.09/9.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.51/9.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
39.51/9.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.51/9.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.51/9.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
39.51/9.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.27/11.65	c lits-rem:      7529  cl-subs:     1233  v-elim:      0  v-fix:    0  time:  6.87 s
46.27/11.65	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
46.27/11.65	c vivif2 --  cl tried    19623 cl shrink        0 lits rem          0 time: 0.01
46.27/11.68	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.12
46.27/11.68	c calculated reachability. Time: 0.00
46.27/11.68	c  N st    34    105344       257      2390         0     19623      9560    404744   no data   no data  --
49.06/12.36	c  N st    35    114944       257      2390         0     15489      9560    284818   no data   no data  --
53.09/13.33	c  N st    36    129341       257      2390         0     14892      9560    238860   no data   no data  --
59.04/14.81	c  N st    37    150936       257      2390         0     20094      9560    352754   no data   no data  --
61.04/15.35	c  S st    38    158021       257      2390         0     26820      9560    534279   no data   no data  --
61.45/15.42	c  S st    38    158522       257      2390         0     27316      9560    548544   no data   no data  --
61.45/15.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.45/15.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.45/15.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
61.45/15.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.45/15.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.45/15.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
61.45/15.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.82/17.53	c lits-rem:      6924  cl-subs:     2373  v-elim:      0  v-fix:    0  time:  8.33 s
69.82/17.53	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
69.82/17.53	c vivif2 --  cl tried    24943 cl shrink        0 lits rem          0 time: 0.02
69.82/17.57	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.14
69.82/17.57	c calculated reachability. Time: 0.00
69.82/17.57	c  N st    38    158522       257      2390         0     24943      9560    478967   no data   no data  --
86.17/21.69	c  N st    39    207110       257      2390         0     19872      9560    307538   no data   no data  --
96.98/24.33	c  N st    40    237783       257      2390         0     29850      9560    566716   no data   no data  --
96.98/24.33	c  S st    40    237783       257      2390         0     29850      9560    566716   no data   no data  --
97.34/24.41	c  S st    40    238293       257      2390         0     30357      9560    581055   no data   no data  --
97.34/24.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.34/24.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.34/24.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
97.34/24.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.34/24.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.34/24.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
97.34/24.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.52/26.72	c lits-rem:      5240  cl-subs:     2845  v-elim:      0  v-fix:    0  time:  9.10 s
106.52/26.72	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
106.52/26.72	c vivif2 --  cl tried    27512 cl shrink        0 lits rem          0 time: 0.02
106.52/26.76	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.16
106.52/26.76	c calculated reachability. Time: 0.00
106.52/26.76	c  N st    40    238293       257      2390         0     27512      9560    500869   no data   no data  --
129.27/32.48	c  F st    41    306250       257      2390         0     29557      9560    526088   no data   no data  --
129.27/32.48	c  N st    41    306250       257      2390         0     29557      9560    526088   no data   no data  --
131.28/32.96	c Decided on static restart strategy
138.85/34.85	c  N st    51    334557       257      2390         0     33821      9560    606772   no data   no data  --
147.24/36.98	c  N st    53    357439       257      2390         0     31872      9560    538092   no data   no data  --
147.24/36.98	c  S st    53    357439       257      2390         0     31872      9560    538092   no data   no data  --
147.64/37.07	c  S st    53    357946       257      2390         0     32374      9560    552631   no data   no data  --
147.64/37.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.64/37.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.64/37.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
148.04/37.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.04/37.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.04/37.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
148.04/37.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
156.02/39.16	c lits-rem:      7071  cl-subs:     1201  v-elim:      0  v-fix:    0  time:  8.23 s
156.02/39.16	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
156.02/39.17	c vivif2 --  cl tried    31173 cl shrink        0 lits rem          0 time: 0.02
156.42/39.21	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.18
156.42/39.21	c calculated reachability. Time: 0.00
156.42/39.21	c  N st    53    357946       257      2390         0     31173      9560    513503   no data   no data  --
167.99/42.15	c  N st    54    390340       257      2390         0     37279      9560    685879   no data   no data  --
187.55/47.08	c  N st    55    438929       257      2390         0     31157      9560    463572   no data   no data  --
219.49/55.01	c  N st    56    511812       257      2390         0     44079      9560    814414   no data   no data  --
229.45/57.59	c  N st    57    536920       257      2390         0     38563      9560    624657   no data   no data  --
229.45/57.59	c  S st    57    536920       257      2390         0     38563      9560    624657   no data   no data  --
229.84/57.68	c  S st    57    537426       257      2390         0     39063      9560    638863   no data   no data  --
229.84/57.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
229.84/57.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
230.25/57.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
230.25/57.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
230.25/57.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.25/57.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
230.25/57.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.83/60.19	c lits-rem:      5838  cl-subs:     2122  v-elim:      0  v-fix:    0  time:  9.85 s
239.83/60.19	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
239.83/60.19	c vivif2 --  cl tried    36941 cl shrink        0 lits rem          0 time: 0.03
240.23/60.26	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.25
240.23/60.26	c calculated reachability. Time: 0.00
240.23/60.26	c  N st    57    537426       257      2390         0     36941      9560    578887   no data   no data  --
318.44/79.84	c  N st    58    701410       257      2390         0     65686      9560   1393751   no data   no data  --
373.14/93.55	c  N st    59    806139       257      2390         0     59538      9560   1111861   no data   no data  --
373.14/93.55	c  S st    59    806139       257      2390         0     59538      9560   1111861   no data   no data  --
373.92/93.73	c  S st    59    806644       257      2390         0     60042      9560   1125610   no data   no data  --
373.92/93.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
373.92/93.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
373.92/93.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
373.92/93.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
373.92/93.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.92/93.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
373.92/93.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
403.45/101.16	c lits-rem:      3628  cl-subs:     6893  v-elim:      0  v-fix:    0  time: 29.37 s
403.45/101.16	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
403.45/101.17	c vivif2 --  cl tried    53149 cl shrink        0 lits rem          0 time: 0.04
403.87/101.28	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.43
403.87/101.28	c calculated reachability. Time: 0.00
403.87/101.28	c  N st    59    806644       257      2390         0     53149      9560    939516   no data   no data  --
558.30/139.94	c  F st    60   1071875       257      2390         0     68439      9560   1216257   no data   no data  --
558.30/139.94	c  N st    60   1071875       257      2390         0     68439      9560   1216257   no data   no data  --
561.91/140.83	c Decided on static restart strategy
573.87/143.85	c  N st    70   1100180       257      2390         0     53013      9560    796567   no data   no data  --
596.22/149.41	c  N st    72   1136175       257      2390         0     87071      9560   1760211   no data   no data  --
613.37/153.73	c  N st    73   1168567       257      2390         0     74334      9560   1378216   no data   no data  --
639.70/160.31	c  N st    74   1209968       257      2390         0     68981      9560   1233029   no data   no data  --
639.70/160.31	c  S st    74   1209968       257      2390         0     68981      9560   1233029   no data   no data  --
640.10/160.49	c  S st    74   1210469       257      2390         0     69476      9560   1246650   no data   no data  --
640.10/160.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
640.10/160.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
640.51/160.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
640.51/160.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
640.51/160.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
640.51/160.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
640.51/160.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
674.03/168.98	c lits-rem:      4347  cl-subs:     5530  v-elim:      0  v-fix:    0  time: 33.60 s
674.03/168.98	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
674.03/168.99	c vivif2 --  cl tried    63946 cl shrink        0 lits rem          0 time: 0.06
674.83/169.14	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.60
674.83/169.15	c calculated reachability. Time: 0.00
674.83/169.15	c  N st    74   1210469       257      2390         0     63946      9560   1091622   no data   no data  --
725.51/181.83	c  N st    75   1283351       257      2390         0     87669      9560   1774328   no data   no data  --
821.69/205.92	c  N st    76   1392676       257      2390         0     48976      9560    583140   no data   no data  --
934.25/234.15	c  N st    77   1556663       257      2390         0     53746      9560    668231   no data   no data  --
1037.60/260.08	c  N st    78   1710470       257      2390         0     94345      9560   1822474   no data   no data  --
1037.60/260.08	c  S st    78   1710470       257      2390         0     94345      9560   1822474   no data   no data  --
1038.80/260.36	c  S st    78   1710971       257      2390         0     94844      9560   1837291   no data   no data  --
1038.80/260.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1038.80/260.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1039.20/260.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1039.20/260.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1039.20/260.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1039.20/260.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1039.20/260.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1134.57/284.37	c lits-rem:      4838  cl-subs:     9888  v-elim:      0  v-fix:    0  time: 95.33 s
1134.57/284.37	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1134.57/284.39	c vivif2 --  cl tried    84956 cl shrink        0 lits rem          0 time: 0.08
1135.77/284.62	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.94
1135.77/284.63	c calculated reachability. Time: 0.00
1135.77/284.63	c  N st    78   1710971       257      2390         0     84956      9560   1571491   no data   no data  --
1453.83/364.39	c  N st    79   2079935       257      2390         0     96545      9560   1741832   no data   no data  --
1552.41/389.06	c  N st    80   2210972       257      2390         0    100943      9560   1970864   no data   no data  --
1552.41/389.06	c  S st    80   2210972       257      2390         0    100943      9560   1970864   no data   no data  --
1553.60/389.40	c  S st    80   2211476       257      2390         0    101443      9560   1984714   no data   no data  --
1553.60/389.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1553.60/389.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1554.02/389.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1554.43/389.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1554.43/389.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1554.43/389.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1554.43/389.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1655.40/414.89	c lits-rem:      9157  cl-subs:     7574  v-elim:      0  v-fix:    0  time: 101.27 s
1655.40/414.89	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1655.76/414.92	c vivif2 --  cl tried    93869 cl shrink        0 lits rem          0 time: 0.09
1656.96/415.22	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 1.19
1656.96/415.22	c calculated reachability. Time: 0.00
1656.96/415.22	c  N st    80   2211476       257      2390         0     93869      9560   1756132   no data   no data  --
2127.88/533.49	c  N st    81   2711478       257      2390         0    116837      9560   2243109   no data   no data  --
2127.88/533.49	c  S st    81   2711478       257      2390         0    116837      9560   2243109   no data   no data  --
2129.87/533.90	c  S st    81   2711983       257      2390         0    117337      9560   2257790   no data   no data  --
2129.87/533.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2129.87/533.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2129.87/533.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2130.27/534.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2130.27/534.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2130.27/534.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2130.27/534.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2265.16/567.86	c lits-rem:      1367  cl-subs:    11537  v-elim:      0  v-fix:    0  time: 134.95 s
2265.16/567.86	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2265.16/567.89	c vivif2 --  cl tried   105800 cl shrink        0 lits rem          0 time: 0.10
2266.76/568.20	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 1.25
2266.76/568.20	c calculated reachability. Time: 0.00
2266.76/568.20	c  N st    81   2711983       257      2390         0    105800      9560   1952557   no data   no data  --
2732.10/684.87	c  N st    82   3211984       257      2390         0     82473      9560   1076322   no data   no data  --
2732.10/684.87	c  S st    82   3211984       257      2390         0     82473      9560   1076322   no data   no data  --
2733.30/685.12	c  S st    82   3212485       257      2390         0     82973      9560   1090069   no data   no data  --
2733.30/685.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2733.30/685.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2733.30/685.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
2733.30/685.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2733.30/685.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2733.30/685.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2733.30/685.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2753.65/690.21	c lits-rem:      1865  cl-subs:     2247  v-elim:      0  v-fix:    0  time: 20.00 s
2753.65/690.21	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2753.65/690.22	c vivif2 --  cl tried    80726 cl shrink        0 lits rem          0 time: 0.06
2754.45/690.43	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.84
2754.45/690.43	c calculated reachability. Time: 0.00
2754.45/690.43	c  N st    82   3212485       257      2390         0     80726      9560   1037959   no data   no data  --
3271.26/819.92	c  N st    83   3712488       257      2390         0     91026      9560   1236082   no data   no data  --
3271.26/819.92	c  S st    83   3712488       257      2390         0     91026      9560   1236082   no data   no data  --
3272.46/820.26	c  S st    83   3712990       257      2390         0     91528      9560   1250196   no data   no data  --
3272.46/820.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3272.46/820.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3272.86/820.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3272.86/820.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3272.86/820.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3272.86/820.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
3272.86/820.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3303.18/827.98	c lits-rem:       464  cl-subs:     2787  v-elim:      0  v-fix:    0  time: 30.42 s
3303.18/827.98	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
3303.18/827.99	c vivif2 --  cl tried    88741 cl shrink        0 lits rem          0 time: 0.06
3304.38/828.22	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.92
3304.38/828.22	c calculated reachability. Time: 0.00
3304.38/828.22	c  N st    83   3712990       257      2390         0     88741      9560   1179575   no data   no data  --
3339.92/837.15	c  F st    84   3751563       257      2390         0    125369      9560   2275882   no data   no data  --
3339.92/837.15	c  N st    84   3751563       257      2390         0    125369      9560   2275882   no data   no data  --
3346.28/838.77	c Decided on static restart strategy
3371.82/845.17	c  N st    94   3779872       257      2390         0    152267      9560   3027880   no data   no data  --
3405.77/853.62	c  N st    96   3815865       257      2390         0    106130      9560   1683929   no data   no data  --
3436.49/861.31	c  N st    97   3848257       257      2390         0    136729      9560   2533862   no data   no data  --
3487.55/874.17	c  N st    98   3896846       257      2390         0    101236      9560   1510378   no data   no data  --
3576.15/896.30	c  N st    99   3969729       257      2390         0     87926      9560   1091101   no data   no data  --
3680.72/922.57	c  N st   100   4079057       257      2390         0    108154      9560   1648498   no data   no data  --
3824.80/958.68	c  N st   101   4212990       257      2390         0    151011      9560   2844680   no data   no data  --
3824.80/958.68	c  S st   101   4212990       257      2390         0    151011      9560   2844680   no data   no data  --
3827.22/959.29	c  S st   101   4213492       257      2390         0    151508      9560   2859477   no data   no data  --
3827.22/959.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3827.22/959.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3827.64/959.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.34
3828.00/959.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3828.00/959.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3828.00/959.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
3828.00/959.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4240.29/1062.71	c lits-rem:     13772  cl-subs:    14664  v-elim:      0  v-fix:    0  time: 411.78 s
4240.29/1062.71	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
4240.29/1062.74	c vivif2 --  cl tried   136844 cl shrink        0 lits rem          0 time: 0.12
4241.85/1063.16	c asymm  cl-useful: 0/2118/2390 lits-rem:0 time: 1.66
4241.85/1063.16	c calculated reachability. Time: 0.00
4241.85/1063.16	c  N st   101   4213492       257      2390         0    136844      9560   2467589   no data   no data  --
4617.00/1157.19	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369114-1305413794/watcher-3369114-1305413794 -o /tmp/evaluation-result-3369114-1305413794/solver-3369114-1305413794 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369114-1305413794.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: 8.24 8.23 7.86 6/287 4084
/proc/meminfo: memFree=20975852/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 652977539 52465664 357 33554432000 4194304 4650419 140734703812640 18446744073709551615 232335892411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 12809 357 306 112 0 7774 0
[pid=4084/tid=4085] ppid=4082 vsize=282060 CPUtime=0 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 166 0 0 0 0 0 0 0 25 0 4 0 652977539 288829440 961 33554432000 4194304 4650419 140734703812640 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=282060 CPUtime=0 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 143 0 0 0 0 0 0 0 25 0 4 0 652977539 288829440 961 33554432000 4194304 4650419 140734703812640 18446744073709551615 232335916951 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=282060 CPUtime=0 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 137 0 0 0 0 0 0 0 25 0 4 0 652977539 288829440 962 33554432000 4194304 4650419 140734703812640 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.107658 s]
/proc/loadavg: 8.24 8.23 7.86 6/287 4084
/proc/meminfo: memFree=20975852/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=282932 CPUtime=0.4 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 2563 0 0 0 40 0 0 0 18 0 4 0 652977539 289722368 2238 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 70733 2238 389 112 0 65698 0
[pid=4084/tid=4085] ppid=4082 vsize=282932 CPUtime=0.09 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 598 0 0 0 9 0 0 0 18 0 4 0 652977539 289722368 2238 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=282932 CPUtime=0.1 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 591 0 0 0 10 0 0 0 18 0 4 0 652977539 289722368 2238 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=282932 CPUtime=0.1 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 340 0 0 0 10 0 0 0 25 0 4 0 652977539 289722368 2239 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282932

[startup+0.200642 s]
/proc/loadavg: 8.24 8.23 7.86 6/287 4084
/proc/meminfo: memFree=20975852/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=284204 CPUtime=0.77 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 3506 0 0 0 77 0 0 0 18 0 4 0 652977539 291024896 2438 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 71051 2438 391 112 0 66016 0
[pid=4084/tid=4085] ppid=4082 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 830 0 0 0 19 0 0 0 18 0 4 0 652977539 291024896 2438 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 832 0 0 0 19 0 0 0 18 0 4 0 652977539 291024896 2438 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 570 0 0 0 19 0 0 0 25 0 4 0 652977539 291024896 2438 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284204

[startup+0.300624 s]
/proc/loadavg: 8.24 8.23 7.86 6/287 4084
/proc/meminfo: memFree=20975852/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=284396 CPUtime=1.17 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 3968 0 0 0 117 0 0 0 18 0 4 0 652977539 291221504 2900 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366933 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 71099 2900 391 112 0 66064 0
[pid=4084/tid=4085] ppid=4082 vsize=284396 CPUtime=0.29 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 943 0 0 0 29 0 0 0 18 0 4 0 652977539 291221504 2900 33554432000 4194304 4650419 140734703812640 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=284396 CPUtime=0.29 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 932 0 0 0 29 0 0 0 18 0 4 0 652977539 291221504 2900 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=284396 CPUtime=0.29 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 710 0 0 0 29 0 0 0 25 0 4 0 652977539 291221504 2900 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284396

[startup+0.700553 s]
/proc/loadavg: 8.24 8.23 7.86 6/287 4084
/proc/meminfo: memFree=20975852/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=286488 CPUtime=2.77 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 6814 0 0 0 277 0 0 0 18 0 4 0 652977539 293363712 3296 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 71622 3296 391 112 0 66587 0
[pid=4084/tid=4085] ppid=4082 vsize=286488 CPUtime=0.68 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 1726 0 0 0 68 0 0 0 18 0 4 0 652977539 293363712 3296 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=286488 CPUtime=0.69 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 1663 0 0 0 69 0 0 0 18 0 4 0 652977539 293363712 3296 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=286488 CPUtime=0.69 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 1334 0 0 0 69 0 0 0 25 0 4 0 652977539 293363712 3296 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364762 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) 286488

[startup+1.50041 s]
/proc/loadavg: 8.24 8.23 7.86 10/291 4088
/proc/meminfo: memFree=20946060/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=304608 CPUtime=5.96 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 13956 0 0 0 595 1 0 0 19 0 4 0 652977539 311918592 8157 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 76152 8157 393 112 0 71117 0
[pid=4084/tid=4085] ppid=4082 vsize=304608 CPUtime=1.48 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 3608 0 0 0 148 0 0 0 19 0 4 0 652977539 311918592 8157 33554432000 4194304 4650419 140734703812640 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=304608 CPUtime=1.49 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 3577 0 0 0 149 0 0 0 19 0 4 0 652977539 311918592 8157 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=304608 CPUtime=1.48 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 2818 0 0 0 148 0 0 0 25 0 4 0 652977539 311918592 8157 33554432000 4194304 4650419 140734703812640 18446744073709551615 4367232 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) 304608

[startup+3.10113 s]
/proc/loadavg: 8.24 8.23 7.86 9/291 4088
/proc/meminfo: memFree=20939980/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=322548 CPUtime=12.35 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 18386 0 0 0 1233 2 0 0 25 0 4 0 652977539 330289152 11124 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 80637 11124 393 112 0 75602 0
[pid=4084/tid=4085] ppid=4082 vsize=322548 CPUtime=3.08 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 4582 0 0 0 308 0 0 0 25 0 4 0 652977539 330289152 11125 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=322548 CPUtime=3.08 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 4966 0 0 0 308 0 0 0 25 0 4 0 652977539 330289152 11125 33554432000 4194304 4650419 140734703812640 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=322548 CPUtime=3.07 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 3974 0 0 0 307 0 0 0 25 0 4 0 652977539 330289152 11125 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365323 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) 322548

[startup+6.30056 s]
/proc/loadavg: 8.22 8.23 7.86 9/291 4088
/proc/meminfo: memFree=20933948/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=305356 CPUtime=25.12 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 26577 0 0 0 2508 4 0 0 25 0 4 0 652977539 312684544 11542 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 76339 11542 394 112 0 71304 0
[pid=4084/tid=4085] ppid=4082 vsize=305356 CPUtime=6.29 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 5466 0 0 0 628 1 0 0 25 0 4 0 652977539 312684544 11542 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=305356 CPUtime=6.29 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 6624 0 0 0 628 1 0 0 25 0 4 0 652977539 312684544 11542 33554432000 4194304 4650419 140734703812640 18446744073709551615 4368151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=305356 CPUtime=6.23 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 7192 0 0 0 623 0 0 0 25 0 4 0 652977539 312684544 11542 33554432000 4194304 4650419 140734703812640 18446744073709551615 4240881 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 305356

[startup+12.7004 s]
/proc/loadavg: 8.20 8.22 7.86 10/291 4088
/proc/meminfo: memFree=20901476/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=324796 CPUtime=50.66 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 39246 0 0 0 5059 7 0 0 25 0 4 0 652977539 332591104 19767 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 81199 19767 394 112 0 76164 0
[pid=4084/tid=4085] ppid=4082 vsize=324796 CPUtime=12.69 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 8041 0 0 0 1267 2 0 0 25 0 4 0 652977539 332591104 19767 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=324796 CPUtime=12.69 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 10338 0 0 0 1267 2 0 0 25 0 4 0 652977539 332591104 19767 33554432000 4194304 4650419 140734703812640 18446744073709551615 4367518 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=324796 CPUtime=12.57 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 10691 0 0 0 1256 1 0 0 25 0 4 0 652977539 332591104 19767 33554432000 4194304 4650419 140734703812640 18446744073709551615 4542384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 324796

[startup+25.5012 s]
/proc/loadavg: 8.16 8.21 7.87 9/291 4088
/proc/meminfo: memFree=20840352/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=325556 CPUtime=101.74 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 57934 0 0 0 10162 12 0 0 25 0 4 0 652977539 333369344 22891 33554432000 4194304 4650419 140734703812640 18446744073709551615 4439089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 81389 22891 394 112 0 76354 0
[pid=4084/tid=4085] ppid=4082 vsize=325556 CPUtime=25.49 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 10496 0 0 0 2546 3 0 0 25 0 4 0 652977539 333369344 22891 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=325556 CPUtime=25.48 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 16503 0 0 0 2545 3 0 0 25 0 4 0 652977539 333369344 22891 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=325556 CPUtime=25.25 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 15112 0 0 0 2523 2 0 0 25 0 4 0 652977539 333369344 22891 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 325556

[startup+51.1006 s]
/proc/loadavg: 8.25 8.22 7.88 9/291 4089
/proc/meminfo: memFree=20834728/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=382540 CPUtime=203.91 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 93529 0 0 0 20370 21 0 0 25 0 4 0 652977539 391720960 32977 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 95635 32977 394 112 0 90600 0
[pid=4084/tid=4085] ppid=4082 vsize=382540 CPUtime=51.08 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 20410 0 0 0 5103 5 0 0 25 0 4 0 652977539 391720960 32977 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=382540 CPUtime=51.08 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 27362 0 0 0 5102 6 0 0 25 0 4 0 652977539 391720960 32977 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=382540 CPUtime=50.63 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 22521 0 0 0 5059 4 0 0 25 0 4 0 652977539 391720960 32977 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 382540

[startup+102.301 s]
/proc/loadavg: 8.25 8.23 7.90 9/291 4090
/proc/meminfo: memFree=20699792/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=428580 CPUtime=408.26 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 151253 0 0 0 40788 38 0 0 25 0 4 0 652977539 438865920 45462 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 107145 45462 394 112 0 102110 0
[pid=4084/tid=4085] ppid=4082 vsize=428580 CPUtime=102.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 34218 0 0 0 10221 9 0 0 25 0 4 0 652977539 438865920 45463 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=428580 CPUtime=102.3 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 44571 0 0 0 10217 13 0 0 25 0 4 0 652977539 438865920 45463 33554432000 4194304 4650419 140734703812640 18446744073709551615 4334336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=428580 CPUtime=101.36 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 32895 0 0 0 10129 7 0 0 25 0 4 0 652977539 438865920 45464 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 428580

[startup+162.301 s]

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

[pid=4084] ppid=4082 vsize=616424 CPUtime=2801.93 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 450746 0 0 0 280037 156 0 0 25 0 4 0 652977539 631218176 107902 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 154106 107902 394 112 0 149071 0
[pid=4084/tid=4085] ppid=4082 vsize=616424 CPUtime=702.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 118053 0 0 0 70187 43 0 0 25 0 4 0 652977539 631218176 107902 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=616424 CPUtime=701.51 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 106421 0 0 0 70113 38 0 0 25 0 4 0 652977539 631218176 107902 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=616424 CPUtime=695.9 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 83170 0 0 0 69563 27 0 0 25 0 4 0 652977539 631218176 107902 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.93
Current children cumulated vsize (KiB) 616424

[startup+762.301 s]
/proc/loadavg: 8.09 8.17 8.02 9/291 4120
/proc/meminfo: memFree=20277676/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=590824 CPUtime=3041.4 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 481603 0 0 0 303970 170 0 0 25 0 4 0 652977539 605003776 100675 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 147706 100676 394 112 0 142671 0
[pid=4084/tid=4085] ppid=4082 vsize=590824 CPUtime=762.31 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 126820 0 0 0 76185 46 0 0 25 0 4 0 652977539 605003776 100677 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=590824 CPUtime=761.52 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 112811 0 0 0 76111 41 0 0 25 0 4 0 652977539 605003776 100677 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=590824 CPUtime=755.37 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 87730 0 0 0 75507 30 0 0 25 0 4 0 652977539 605003776 100677 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.4
Current children cumulated vsize (KiB) 590824

[startup+822.301 s]
/proc/loadavg: 8.03 8.13 8.01 9/291 4121
/proc/meminfo: memFree=20270964/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=658000 CPUtime=3280.83 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 513404 0 0 0 327900 183 0 0 25 0 4 0 652977539 673792000 106390 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 164500 106390 394 112 0 159465 0
[pid=4084/tid=4085] ppid=4082 vsize=658000 CPUtime=822.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 134336 0 0 0 82180 50 0 0 25 0 4 0 652977539 673792000 106390 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=658000 CPUtime=821.51 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 124397 0 0 0 82107 44 0 0 25 0 4 0 652977539 673792000 106390 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=658000 CPUtime=814.82 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 93854 0 0 0 81449 33 0 0 25 0 4 0 652977539 673792000 106390 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.83
Current children cumulated vsize (KiB) 658000

[startup+882.311 s]
/proc/loadavg: 8.07 8.12 8.01 9/291 4123
/proc/meminfo: memFree=20238076/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=630868 CPUtime=3520.32 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 540283 0 0 0 351835 197 0 0 25 0 4 0 652977539 646008832 118980 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 157717 118980 394 112 0 152682 0
[pid=4084/tid=4085] ppid=4082 vsize=630868 CPUtime=882.32 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 141640 0 0 0 88178 54 0 0 25 0 4 0 652977539 646008832 118980 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=630868 CPUtime=881.52 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 131424 0 0 0 88105 47 0 0 25 0 4 0 652977539 646008832 118980 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=630868 CPUtime=874.29 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 96566 0 0 0 87394 35 0 0 25 0 4 0 652977539 646008832 118980 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.32
Current children cumulated vsize (KiB) 630868

[startup+942.3 s]
/proc/loadavg: 6.17 7.63 7.85 5/282 4143
/proc/meminfo: memFree=21100744/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=605496 CPUtime=3759.75 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 563112 0 0 0 375769 206 0 0 25 0 4 0 652977539 620027904 114595 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 151374 114595 394 112 0 146339 0
[pid=4084/tid=4085] ppid=4082 vsize=605496 CPUtime=942.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 145643 0 0 0 94175 55 0 0 25 0 4 0 652977539 620027904 114595 33554432000 4194304 4650419 140734703812640 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=605496 CPUtime=941.5 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 136972 0 0 0 94100 50 0 0 25 0 4 0 652977539 620027904 114595 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=605496 CPUtime=933.76 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 98958 0 0 0 93340 36 0 0 25 0 4 0 652977539 620027904 114595 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.75
Current children cumulated vsize (KiB) 605496

[startup+1002.3 s]
/proc/loadavg: 4.88 6.99 7.62 6/282 4144
/proc/meminfo: memFree=21077008/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=604400 CPUtime=3999.2 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 580406 0 0 0 399705 215 0 0 25 0 4 0 652977539 618905600 120215 33554432000 4194304 4650419 140734703812640 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 151100 120215 394 112 0 146065 0
[pid=4084/tid=4085] ppid=4082 vsize=604400 CPUtime=1002.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 149665 0 0 0 100173 57 0 0 25 0 4 0 652977539 618905600 120215 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=604400 CPUtime=1001.51 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 141172 0 0 0 100098 53 0 0 25 0 4 0 652977539 618905600 120215 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=604400 CPUtime=993.21 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 100540 0 0 0 99284 37 0 0 25 0 4 0 652977539 618905600 120215 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.2
Current children cumulated vsize (KiB) 604400

[startup+1062.3 s]
/proc/loadavg: 4.32 6.45 7.39 5/282 4146
/proc/meminfo: memFree=21035552/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=632276 CPUtime=4238.66 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 624249 0 0 0 423639 227 0 0 25 0 4 0 652977539 647450624 131185 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 158069 131185 394 112 0 153034 0
[pid=4084/tid=4085] ppid=4082 vsize=632276 CPUtime=1062.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 158505 0 0 0 106170 60 0 0 25 0 4 0 652977539 647450624 131185 33554432000 4194304 4650419 140734703812640 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=632276 CPUtime=1061.51 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 148756 0 0 0 106095 56 0 0 25 0 4 0 652977539 647450624 131185 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=632276 CPUtime=1052.68 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 104028 0 0 0 105229 39 0 0 25 0 4 0 652977539 647450624 131185 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.66
Current children cumulated vsize (KiB) 632276

[startup+1122.3 s]
/proc/loadavg: 4.12 6.00 7.17 5/282 4147
/proc/meminfo: memFree=21036124/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=683940 CPUtime=4478.1 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 637577 0 0 0 447576 234 0 0 25 0 4 0 652977539 700354560 130745 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 170985 130745 394 112 0 165950 0
[pid=4084/tid=4085] ppid=4082 vsize=683940 CPUtime=1122.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 159390 0 0 0 112170 60 0 0 25 0 4 0 652977539 700354560 130745 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=683940 CPUtime=1121.52 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 152926 0 0 0 112093 59 0 0 25 0 4 0 652977539 700354560 130745 33554432000 4194304 4650419 140734703812640 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=683940 CPUtime=1112.13 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 107030 0 0 0 111172 41 0 0 25 0 4 0 652977539 700354560 130745 33554432000 4194304 4650419 140734703812640 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.1
Current children cumulated vsize (KiB) 683940

[startup+1182.3 s]
/proc/loadavg: 4.04 5.63 6.97 5/282 4149
/proc/meminfo: memFree=21000252/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=870920 CPUtime=4717.57 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 647770 0 0 0 471518 239 0 0 25 0 4 0 652977539 891822080 139773 33554432000 4194304 4650419 140734703812640 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 217730 139773 394 112 0 212695 0
[pid=4084/tid=4085] ppid=4082 vsize=870920 CPUtime=1182.3 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 159414 0 0 0 118170 60 0 0 25 0 4 0 652977539 891822080 139773 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=870920 CPUtime=1181.52 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 157714 0 0 0 118092 60 0 0 25 0 4 0 652977539 891822080 139773 33554432000 4194304 4650419 140734703812640 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=870920 CPUtime=1171.58 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 107871 0 0 0 117117 41 0 0 25 0 4 0 652977539 891822080 139773 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.57
Current children cumulated vsize (KiB) 870920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 4.11 5.52 6.89 5/282 4150
/proc/meminfo: memFree=21023676/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=683940 CPUtime=4800.21 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 650182 0 0 0 479780 241 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 170985 133544 394 112 0 165950 0
[pid=4084/tid=4085] ppid=4082 vsize=683940 CPUtime=1203.02 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 159414 0 0 0 120242 60 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=683940 CPUtime=1202.23 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 157714 0 0 0 120163 60 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=683940 CPUtime=1192.1 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 110132 0 0 0 119167 43 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 683940

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

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

[startup+1203 s]
/proc/loadavg: 4.11 5.52 6.89 5/282 4150
/proc/meminfo: memFree=21023676/32951124 swapFree=66457188/67111528
[pid=4084] ppid=4082 vsize=683940 CPUtime=4800.21 cores=0,2,4,6
/proc/4084/stat : 4084 (strangenight1-m) R 4082 4084 3750 0 -1 4202496 650182 0 0 0 479780 241 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4084/statm: 170985 133544 394 112 0 165950 0
[pid=4084/tid=4085] ppid=4082 vsize=683940 CPUtime=1203.02 cores=0,2,4,6
/proc/4084/task/4085/stat : 4085 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 159414 0 0 0 120242 60 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4084/tid=4086] ppid=4082 vsize=683940 CPUtime=1202.23 cores=0,2,4,6
/proc/4084/task/4086/stat : 4086 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 157714 0 0 0 120163 60 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4084/tid=4087] ppid=4082 vsize=683940 CPUtime=1192.1 cores=0,2,4,6
/proc/4084/task/4087/stat : 4087 (strangenight1-m) R 4082 4084 3750 0 -1 4202560 110132 0 0 0 119167 43 0 0 25 0 4 0 652977539 700354560 133544 33554432000 4194304 4650419 140734703812640 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 683940

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.27
CPU user time (s): 4797.83
CPU system time (s): 2.43863
CPU usage (%): 399.01
Max. virtual memory (cumulated for all children) (KiB): 870920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.83
system time used= 2.43863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650182
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= 501
involuntary context switches= 61272

runsolver used 3.23351 second user time and 7.69083 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 00:56:34
IDJOB=3369114
IDBENCH=83250
IDSOLVER=1846
FILE ID=node132/3369114-1305413794
RUNJOBID= node132-1305410848-3768
PBS_JOBID= 13324521
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369114-1305413794/watcher-3369114-1305413794 -o /tmp/evaluation-result-3369114-1305413794/solver-3369114-1305413794 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369114-1305413794.cnf

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

MD5SUM BENCH= 766a362c83d920a8f8dd49df62ed42c9
RANDOM SEED=1353801174

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20976132 kB
Buffers:        281064 kB
Cached:        5567712 kB
SwapCached:       6904 kB
Active:        5354880 kB
Inactive:      6313840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20976132 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            6216 kB
Writeback:           0 kB
AnonPages:     5817524 kB
Mapped:          19484 kB
Slab:           217944 kB
PageTables:      25672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 35487148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73328 MiB
End job on node132 at 2011-05-15 01:16:39