Trace number 3369000

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.33 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
MD5SUMac87980bdfffc015f316143175a762b6
Bench CategoryRANDOM (random 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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369000-1305409924.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.57/0.43	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
1.57/0.43	c Finding binary XORs  T:     0.00 s  found:       0
1.57/0.43	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.57/0.43	c calculated reachability. Time: 0.00
1.57/0.43	c Calc default polars -  time:   0.00 s pos:     294 undec:      80 neg:     276
1.57/0.43	c =========================================================================================
1.57/0.43	c types(t): F = full restart, N = normal restart
1.57/0.43	c types(t): S = simplification begin/end, E = solution found
1.57/0.43	c restart types(rt): st = static, dy = dynamic
1.57/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.43	c  B st     0         0       630      2732         0         0      8283         0   no data   no data  --
1.57/0.43	c Decided on static restart strategy
1.57/0.43	c  N st     8      4917       630      2732         0      4857      8283    133833   no data   no data  --
3.17/0.80	c  N st    10     11300       630      2732         0      4511      8283     84484   no data   no data  --
3.17/0.80	c  N st    11     17043       630      2732         0     10139      8283    237999   no data   no data  --
4.41/1.19	c  F st    12     25002       630      2732         0     12409      8283    293229   no data   no data  --
4.41/1.19	c  N st    12     25002       630      2732         0     12409      8283    293229   no data   no data  --
5.16/1.39	c Decided on static restart strategy
5.16/1.39	c  N st    18     30000       630      2732         0     10691      8283    230518   no data   no data  --
5.16/1.39	c  S st    18     30000       630      2732         0     10691      8283    230518   no data   no data  --
5.56/1.42	c  S st    18     30503       630      2732         0     11194      8283    243505   no data   no data  --
5.56/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.56/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.35/1.68	c lits-rem:       138  cl-subs:      408  v-elim:      0  v-fix:    0  time:  0.99 s
6.35/1.69	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
6.35/1.69	c calculated reachability. Time: 0.00
6.35/1.69	c  N st    18     30503       630      2732         0     10786      8283    231512   no data   no data  --
8.38/2.13	c  N st    20     37613       630      2732         0     10018      8283    190496   no data   no data  --
9.94/2.55	c  N st    21     44012       630      2732         0     16332      8283    371091   no data   no data  --
10.34/2.68	c  S st    22     45754       630      2732         0      9257      8283    149555   no data   no data  --
10.74/2.71	c  S st    22     46259       630      2732         0      9762      8283    162191   no data   no data  --
10.74/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.74/2.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.74/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.74/2.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.74/2.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.74/2.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
10.74/2.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.14/2.83	c lits-rem:        20  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.45 s
11.14/2.83	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
11.14/2.83	c vivif2 --  cl tried     9724 cl shrink        0 lits rem          0 time: 0.00
11.14/2.84	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.03
11.14/2.84	c calculated reachability. Time: 0.00
11.14/2.84	c  N st    22     46259       630      2732         0      9724      8283    161033   no data   no data  --
14.74/3.76	c  N st    23     60656       630      2732         0     14089      8283    278175   no data   no data  --
17.57/4.46	c  N st    24     69389       630      2732         0     11861      8283    201179   no data   no data  --
17.57/4.46	c  S st    24     69389       630      2732         0     11861      8283    201179   no data   no data  --
17.57/4.49	c  S st    24     69892       630      2732         0     12362      8283    215253   no data   no data  --
17.57/4.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.92/4.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.92/4.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.92/4.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
17.92/4.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.72/4.74	c lits-rem:        69  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.94 s
18.72/4.74	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
18.72/4.74	c vivif2 --  cl tried    12252 cl shrink        0 lits rem          0 time: 0.01
18.72/4.75	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
18.72/4.75	c calculated reachability. Time: 0.00
18.72/4.75	c  N st    24     69892       630      2732         0     12252      8283    211902   no data   no data  --
23.91/6.03	c  F st    25     87500       630      2732         0     17731      8283    347235   no data   no data  --
23.91/6.03	c  N st    25     87500       630      2732         0     17731      8283    347235   no data   no data  --
25.51/6.49	c  N dy    32     93433       630      2732         0     23589      8283    511252     20.59     21.85  --
27.89/7.00	c  N dy    47    100025       630      2732         0     17267      8283    277202     18.03     19.04  --
29.10/7.38	c  S st    58    104838       630      2732         0     22030      8283    400890     17.73     17.23  --
29.50/7.43	c  S st    58    105341       630      2732         0     22533      8283    413920     17.73   no data  --
29.50/7.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.50/7.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.50/7.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
29.50/7.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.50/7.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
29.50/7.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.08/8.31	c lits-rem:       212  cl-subs:      379  v-elim:      0  v-fix:    0  time:  3.38 s
33.08/8.31	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
33.08/8.31	c vivif2 --  cl tried    22154 cl shrink        0 lits rem          0 time: 0.02
33.08/8.33	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.08
33.08/8.33	c calculated reachability. Time: 0.00
33.08/8.33	c  N dy    58    105341       630      2732         0     22154      8283    402931     17.73   no data  --
35.86/9.01	c  N dy    89    112154       630      2732         0     15061      8283    183567     17.76     20.50  --
38.26/9.65	c  N dy   113    120119       630      2732         0     22929      8283    389993     17.66     18.59  --
41.85/10.59	c  N dy   141    129417       630      2732         0     17307      8283    215720     17.56     18.70  --
45.04/11.37	c  N dy   190    138345       630      2732         0     26152      8283    446555     17.72     18.81  --
48.63/12.22	c  N dy   230    147188       630      2732         0     19075      8283    239561     17.73     20.49  --
51.83/13.10	c  N dy   277    156643       630      2732         0     28451      8283    484126     17.76     18.94  --
52.67/13.26	c  S st   282    158013       630      2732         0     29812      8283    519484     17.76   no data  --
53.01/13.33	c  S st   282    158516       630      2732         0     30315      8283    532969     17.76   no data  --
53.01/13.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.01/13.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.01/13.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.01/13.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.01/13.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.01/13.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
53.01/13.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.40/14.98	c lits-rem:       533  cl-subs:      352  v-elim:      0  v-fix:    0  time:  6.47 s
59.40/14.98	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
59.40/14.99	c vivif2 --  cl tried    29963 cl shrink        0 lits rem          0 time: 0.02
59.80/15.01	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.10
59.80/15.01	c calculated reachability. Time: 0.00
59.80/15.01	c  N dy   282    158516       630      2732         0     29963      8283    521718     17.76   no data  --
64.58/16.29	c  N dy   322    172069       630      2732         0     26508      8283    403388     17.66     18.86  --
69.38/17.48	c  N dy   384    183156       630      2732         0     19687      8283    210992     17.73     18.81  --
74.61/18.72	c  N dy   451    194899       630      2732         0     31317      8283    515137     17.81     21.82  --
80.14/20.16	c  N dy   484    207403       630      2732         0     24860      8283    315186     17.73     18.75  --
86.53/21.73	c  N dy   530    221569       630      2732         0     38884      8283    684433     17.70     18.76  --
93.30/23.43	c  N dy   608    236320       630      2732         0     33723      8283    543359     17.78     18.72  --
94.10/23.62	c  S st   615    237776       630      2732         0     35170      8283    581360     17.77     16.40  --
94.50/23.72	c  S st   615    238281       630      2732         0     35675      8283    594528     17.77   no data  --
94.50/23.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.50/23.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.50/23.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
94.50/23.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.50/23.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.50/23.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
94.50/23.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
101.68/25.56	c lits-rem:       910  cl-subs:      382  v-elim:      0  v-fix:    0  time:  7.19 s
101.68/25.56	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
101.68/25.57	c vivif2 --  cl tried    35293 cl shrink        0 lits rem          0 time: 0.03
102.08/25.60	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.13
102.08/25.60	c calculated reachability. Time: 0.00
102.08/25.60	c  N dy   615    238281       630      2732         0     35293      8283    581936     17.77   no data  --
108.46/27.26	c  N dy   653    253527       630      2732         0     29585      8283    405273     17.71     18.77  --
118.07/29.62	c  N dy   719    272494       630      2732         0     26563      8283    302467     17.68     18.68  --
126.84/31.84	c  N dy   790    290073       630      2732         0     43971      8283    765755     17.69     18.70  --
134.39/33.77	c  F st   892    306251       630      2732         0     37207      8283    569416     17.77   no data  --
136.37/34.25	c  N st   897    309547       630      2732         0     40457      8283    657241     17.77   no data  --
146.75/36.85	c  N dy   980    329401       630      2732         0     36378      8283    523113     17.80     19.18  --
158.30/39.72	c  N dy  1103    349764       630      2732         0     31801      8283    381820     17.86     19.00  --
162.35/40.74	c  S st  1135    357423       630      2732         0     39376      8283    579000     17.86   no data  --
162.69/40.84	c  S st  1135    357927       630      2732         0     39880      8283    592644     17.86   no data  --
162.69/40.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.69/40.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.69/40.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
162.69/40.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.69/40.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.69/40.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
162.69/40.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.28/42.76	c lits-rem:       685  cl-subs:      601  v-elim:      0  v-fix:    0  time:  7.53 s
170.28/42.76	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
170.28/42.77	c vivif2 --  cl tried    39279 cl shrink        0 lits rem          0 time: 0.02
170.28/42.80	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.13
170.28/42.80	c calculated reachability. Time: 0.00
170.28/42.80	c  N dy  1135    357927       630      2732         0     39279      8283    574922     17.86   no data  --
182.24/45.74	c  N dy  1247    378009       630      2732         0     33431      8283    405587     17.92     18.92  --
195.40/49.03	c  N dy  1347    398091       630      2732         0     53338      8283    947686     17.96     20.78  --
207.37/52.06	c  N dy  1456    418508       630      2732         0     46807      8283    738687     17.99     19.08  --
219.73/55.19	c  N dy  1564    438598       630      2732         0     38952      8283    514111     18.02     19.26  --
234.49/58.82	c  N dy  1625    461549       630      2732         0     32908      8283    331051     17.99     19.31  --
246.45/61.81	c  N dy  1693    481598       630      2732         0     52714      8283    852992     17.98     19.25  --
258.46/64.87	c  N dy  1748    501601       630      2732         0     42802      8283    566171     17.94     19.62  --
273.57/68.60	c  N dy  1853    521677       630      2732         0     32043      8283    273270     17.97     19.94  --
281.94/70.75	c  S st  1911    536891       630      2732         0     47053      8283    666837     17.97     14.42  --
282.34/70.86	c  S st  1911    537394       630      2732         0     47556      8283    679340     17.97   no data  --
282.34/70.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.34/70.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.34/70.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.74/70.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.74/70.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.74/70.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
282.74/70.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
290.72/72.96	c lits-rem:      1040  cl-subs:      924  v-elim:      0  v-fix:    0  time:  8.22 s
290.72/72.96	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
290.72/72.97	c vivif2 --  cl tried    46632 cl shrink        0 lits rem          0 time: 0.03
291.12/73.01	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.17
291.12/73.02	c calculated reachability. Time: 0.00
291.12/73.02	c  N dy  1911    537394       630      2732         0     46632      8283    654292     17.97   no data  --
306.70/76.95	c  N dy  2022    557576       630      2732         0     34973      8283    328908     18.00     19.05  --
319.87/80.27	c  N dy  2125    577918       630      2732         0     55107      8283    871828     18.02     19.01  --
334.19/83.81	c  N dy  2185    598015       630      2732         0     42322      8283    501588     18.01     19.96  --
349.35/87.61	c  N dy  2258    618089       630      2732         0     62113      8283   1024116     18.02     20.31  --
362.52/90.96	c  N dy  2316    638106       630      2732         0     48302      8283    635159     17.98     18.93  --
380.46/95.43	c  N dy  2405    658331       630      2732         0     68318      8283   1163476     17.98     18.97  --
393.62/98.73	c  N dy  2473    678448       630      2732         0     53594      8283    759639     17.98     18.95  --
412.76/103.59	c  N dy  2508    698526       630      2732         0     37842      8283    323417     17.94     22.98  --
427.12/107.10	c  N dy  2610    718650       630      2732         0     57754      8283    852713     17.96     18.99  --
445.06/111.66	c  N dy  2711    738668       630      2732         0     40979      8283    383199     17.98     18.94  --
460.26/115.51	c  N dy  2811    758976       630      2732         0     61056      8283    916902     17.99     18.97  --
478.96/120.16	c  N dy  2925    779044       630      2732         0     43368      8283    428201     18.02     18.98  --
494.93/124.13	c  N dy  3022    799065       630      2732         0     63175      8283    959097     18.04     19.04  --
502.10/125.99	c  S st  3079    806091       630      2732         0     70133      8283   1145860     18.05   no data  --
502.90/126.17	c  S st  3079    806599       630      2732         0     70641      8283   1159465     18.05   no data  --
502.90/126.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
502.90/126.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
503.30/126.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
503.30/126.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
503.30/126.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
503.30/126.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
503.30/126.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
509.67/127.88	c lits-rem:       405  cl-subs:     1299  v-elim:      0  v-fix:    0  time:  6.51 s
509.67/127.88	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
510.07/127.90	c vivif2 --  cl tried    69342 cl shrink        0 lits rem          0 time: 0.06
510.07/127.98	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.35
510.07/127.99	c calculated reachability. Time: 0.00
510.07/127.99	c  N dy  3079    806599       630      2732         0     69342      8283   1121508     18.05   no data  --
529.22/132.78	c  N dy  3193    827408       630      2732         0     51339      8283    623085     18.08     19.11  --
547.57/137.31	c  N dy  3270    847508       630      2732         0     71211      8283   1150990     18.08     19.60  --
564.32/141.60	c  N dy  3357    867555       630      2732         0     51476      8283    608726     18.08     20.27  --
583.86/146.45	c  N dy  3479    887645       630      2732         0     71366      8283   1144389     18.11     19.77  --
602.20/151.03	c  N dy  3552    907650       630      2732         0     50575      8283    559240     18.10     20.66  --
618.95/155.28	c  N dy  3590    927860       630      2732         0     70472      8283   1074706     18.07     19.09  --
638.89/160.20	c  N dy  3671    948275       630      2732         0     49170      8283    504977     18.07     19.06  --
655.64/164.46	c  N dy  3761    968325       630      2732         0     69008      8283   1038541     18.08     20.05  --
678.38/170.10	c  N dy  3882    989072       630      2732         0     47025      8283    426394     18.10     19.08  --
695.93/174.56	c  N dy  3983   1010376       630      2732         0     68096      8283    988247     18.11     19.15  --
718.66/180.26	c  N dy  4045   1031336       630      2732         0     45278      8283    360080     18.10     19.13  --
734.61/184.25	c  N dy  4116   1051360       630      2732         0     65062      8283    876148     18.09     22.83  --
758.15/190.15	c  N dy  4220   1071391       630      2732         0     84877      8283   1407746     18.10     19.09  --
758.99/190.31	c  F st  4223   1071875       630      2732         0     85353      8283   1419932     18.11     18.50  --
764.93/191.83	c Decided on static restart strategy
781.67/196.07	c  N st  4233   1100181       630      2732         0     68760      8283   1017655     18.11   no data  --
813.58/204.04	c  N st  4235   1136173       630      2732         0     58856      8283   1181810     18.11   no data  --
850.28/213.27	c  N st  4236   1168565       630      2732         0     90576      8283   2080094     18.11   no data  --
888.96/222.96	c  N st  4237   1209898       630      2732         0     84786      8283   1771708     18.11   no data  --
888.96/222.96	c  S st  4237   1209898       630      2732         0     84786      8283   1771708     18.11   no data  --
890.19/223.23	c  S st  4237   1210404       630      2732         0     85291      8283   1785317     18.11   no data  --
890.19/223.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
890.19/223.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
890.19/223.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
890.60/223.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
890.60/223.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
890.60/223.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
890.60/223.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
933.63/234.20	c lits-rem:       200  cl-subs:     6486  v-elim:      0  v-fix:    0  time: 43.28 s
933.63/234.20	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
934.06/234.22	c vivif2 --  cl tried    78805 cl shrink        0 lits rem          0 time: 0.07
934.47/234.33	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.44
934.47/234.33	c calculated reachability. Time: 0.00
934.47/234.33	c  N st  4237   1210404       630      2732         0     78805      8283   1605816     18.11   no data  --
1012.21/253.88	c  N st  4238   1283286       630      2732         0     55269      8283    877639     18.11   no data  --
1123.87/281.84	c  N st  4239   1392612       630      2732         0     63486      8283   1066232     18.11   no data  --
1296.16/325.07	c  N st  4240   1556596       630      2732         0     68248      8283   1094619     18.11   no data  --
1464.90/367.33	c  N st  4241   1710406       630      2732         0    109736      8283   2082454     18.11   no data  --
1464.90/367.33	c  S st  4241   1710406       630      2732         0    109736      8283   2082454     18.11   no data  --
1466.06/367.66	c  S st  4241   1710909       630      2732         0    110239      8283   2096810     18.11   no data  --
1466.06/367.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1466.06/367.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1466.46/367.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1466.86/367.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1466.86/367.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1466.86/367.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1466.86/367.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1539.06/385.92	c lits-rem:       200  cl-subs:     9923  v-elim:      0  v-fix:    0  time: 72.25 s
1539.06/385.92	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
1539.06/385.94	c vivif2 --  cl tried   100316 cl shrink        0 lits rem          0 time: 0.09
1539.48/386.10	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.63
1539.48/386.11	c calculated reachability. Time: 0.00
1539.48/386.11	c  N st  4241   1710909       630      2732         0    100316      8283   1871125     18.11   no data  --
1920.73/481.66	c  N st  4242   2079876       630      2732         0    112721      8283   2201496     18.11   no data  --
2074.29/520.15	c  N st  4243   2210911       630      2732         0    117014      8283   2302631     18.11   no data  --
2074.29/520.15	c  S st  4243   2210911       630      2732         0    117014      8283   2302631     18.11   no data  --
2075.87/520.51	c  S st  4243   2211417       630      2732         0    117518      8283   2315623     18.11   no data  --
2075.87/520.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2075.87/520.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2075.87/520.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2076.27/520.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2076.27/520.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2076.27/520.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2076.27/520.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2142.08/537.13	c lits-rem:       116  cl-subs:     6110  v-elim:      0  v-fix:    0  time: 65.67 s
2142.08/537.13	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2142.08/537.15	c vivif2 --  cl tried   111408 cl shrink        0 lits rem          0 time: 0.10
2142.86/537.34	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.75
2142.86/537.35	c calculated reachability. Time: 0.00
2142.86/537.35	c  N st  4243   2211417       630      2732         0    111408      8283   2151197     18.11   no data  --
2746.33/688.69	c  N st  4244   2711418       630      2732         0    134026      8283   2649687     18.11   no data  --
2746.33/688.69	c  S st  4244   2711418       630      2732         0    134026      8283   2649687     18.11   no data  --
2748.28/689.11	c  S st  4244   2711923       630      2732         0    134530      8283   2663116     18.11   no data  --
2748.28/689.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2748.28/689.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2748.28/689.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2748.68/689.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2748.68/689.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2748.68/689.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2748.68/689.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2889.46/724.51	c lits-rem:        84  cl-subs:    12902  v-elim:      0  v-fix:    0  time: 140.46 s
2889.46/724.51	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2889.46/724.54	c vivif2 --  cl tried   121628 cl shrink        0 lits rem          0 time: 0.13
2890.26/724.78	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.97
2890.26/724.79	c calculated reachability. Time: 0.00
2890.26/724.79	c  N st  4244   2711923       630      2732         0    121628      8283   2326230     18.11   no data  --
3519.61/882.51	c  N st  4245   3211923       630      2732         0     97707      8283   1437934     18.11   no data  --
3519.61/882.51	c  S st  4245   3211923       630      2732         0     97707      8283   1437934     18.11   no data  --
3520.82/882.83	c  S st  4245   3212427       630      2732         0     98211      8283   1451829     18.11   no data  --
3520.82/882.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3520.82/882.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3520.82/882.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
3521.21/882.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3521.21/882.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3521.21/882.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3521.21/882.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3544.78/888.81	c lits-rem:       171  cl-subs:     2527  v-elim:      0  v-fix:    0  time: 23.42 s
3544.78/888.81	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
3544.78/888.83	c vivif2 --  cl tried    95684 cl shrink        0 lits rem          0 time: 0.08
3545.53/889.02	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.73
3545.53/889.02	c calculated reachability. Time: 0.00
3545.53/889.02	c  N st  4245   3212427       630      2732         0     95684      8283   1381506     18.11   no data  --
4247.07/1064.97	c  N st  4246   3712429       630      2732         0    106454      8283   1533201     18.11   no data  --
4247.07/1064.97	c  S st  4246   3712429       630      2732         0    106454      8283   1533201     18.11   no data  --
4248.67/1065.32	c  S st  4246   3712936       630      2732         0    106961      8283   1547134     18.11   no data  --
4248.67/1065.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4248.67/1065.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4248.67/1065.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
4249.07/1065.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4249.07/1065.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4249.07/1065.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4249.07/1065.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4274.18/1071.72	c lits-rem:       263  cl-subs:     4399  v-elim:      0  v-fix:    0  time: 25.07 s
4274.18/1071.72	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
4274.18/1071.74	c vivif2 --  cl tried   102562 cl shrink        0 lits rem          0 time: 0.08
4274.58/1071.89	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.60
4274.58/1071.89	c calculated reachability. Time: 0.00
4274.58/1071.89	c  N st  4246   3712936       630      2732         0    102562      8283   1430860     18.11   no data  --
4322.85/1083.99	c  F st  4247   3751562       630      2732         0    140647      8283   2587933     18.11   no data  --
4322.85/1083.99	c  N st  4247   3751562       630      2732         0    140647      8283   2587933     18.11   no data  --
4333.62/1086.69	c Decided on static restart strategy
4373.53/1096.61	c  N st  4257   3779863       630      2732         0     85270      8283    908784     18.11   no data  --
4430.97/1111.09	c  N st  4259   3815855       630      2732         0    120471      8283   1890925     18.11   no data  --
4494.34/1126.95	c  N st  4260   3848249       630      2732         0    152116      8283   2767449     18.11   no data  --
4576.50/1147.50	c  N st  4261   3896837       630      2732         0    115731      8283   1783564     18.11   no data  --
4700.54/1178.60	c  N st  4262   3969719       630      2732         0    102010      8283   1354910     18.11   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-3369000-1305409924/watcher-3369000-1305409924 -o /tmp/evaluation-result-3369000-1305409924/solver-3369000-1305409924 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369000-1305409924.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: 3.68 4.55 6.19 2/352 19343
/proc/meminfo: memFree=18700824/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 413 0 0 0 1 0 0 0 22 0 4 0 633408267 52465664 354 33554432000 4194304 4650419 140734093370080 18446744073709551615 47560207730614 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 12809 354 303 112 0 7774 0
[pid=19343/tid=19344] ppid=19341 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 633408268 52465664 354 33554432000 4194304 4650419 140734093370080 18446744073709551615 47560207730610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 633408268 52465664 354 33554432000 4194304 4650419 140734093370080 18446744073709551615 47560207730614 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 633408268 52465664 354 33554432000 4194304 4650419 140734093370080 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.041311 s]
/proc/loadavg: 3.68 4.55 6.19 2/352 19343
/proc/meminfo: memFree=18700824/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=282308 CPUtime=0.14 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 1574 0 0 0 14 0 0 0 18 0 4 0 633408267 289083392 1425 33554432000 4194304 4650419 140734093370080 18446744073709551615 4333854 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 70577 1425 390 112 0 65542 0
[pid=19343/tid=19344] ppid=19341 vsize=282308 CPUtime=0.03 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 326 0 0 0 3 0 0 0 18 0 4 0 633408268 289083392 1425 33554432000 4194304 4650419 140734093370080 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=282308 CPUtime=0.03 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 324 0 0 0 3 0 0 0 18 0 4 0 633408268 289083392 1425 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=282308 CPUtime=0.02 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 192 0 0 0 2 0 0 0 25 0 4 0 633408268 289083392 1425 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 282308

[startup+0.100299 s]
/proc/loadavg: 3.68 4.55 6.19 2/352 19343
/proc/meminfo: memFree=18700824/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=282308 CPUtime=0.37 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 1856 0 0 0 37 0 0 0 18 0 4 0 633408267 289083392 1707 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 70577 1707 391 112 0 65542 0
[pid=19343/tid=19344] ppid=19341 vsize=282308 CPUtime=0.09 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 392 0 0 0 9 0 0 0 18 0 4 0 633408268 289083392 1707 33554432000 4194304 4650419 140734093370080 18446744073709551615 4330724 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=282308 CPUtime=0.09 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 389 0 0 0 9 0 0 0 18 0 4 0 633408268 289083392 1708 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363398 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=282308 CPUtime=0.08 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 272 0 0 0 8 0 0 0 25 0 4 0 633408268 289083392 1708 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363335 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) 282308

[startup+0.300264 s]
/proc/loadavg: 3.68 4.55 6.19 2/352 19343
/proc/meminfo: memFree=18700824/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=283836 CPUtime=1.17 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 3073 0 0 0 117 0 0 0 18 0 4 0 633408267 290648064 2271 33554432000 4194304 4650419 140734093370080 18446744073709551615 4304253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 70959 2271 393 112 0 65924 0
[pid=19343/tid=19344] ppid=19341 vsize=283836 CPUtime=0.29 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 696 0 0 0 29 0 0 0 18 0 4 0 633408268 290648064 2271 33554432000 4194304 4650419 140734093370080 18446744073709551615 4333314 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=283836 CPUtime=0.29 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 693 0 0 0 29 0 0 0 18 0 4 0 633408268 290648064 2271 33554432000 4194304 4650419 140734093370080 18446744073709551615 4367885 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=283836 CPUtime=0.28 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 575 0 0 0 28 0 0 0 25 0 4 0 633408268 290648064 2271 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 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) 283836

[startup+0.700193 s]
/proc/loadavg: 3.68 4.55 6.19 2/352 19343
/proc/meminfo: memFree=18700824/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=284804 CPUtime=2.77 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 4792 0 0 0 277 0 0 0 18 0 4 0 633408267 291639296 3013 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 71201 3013 393 112 0 66166 0
[pid=19343/tid=19344] ppid=19341 vsize=284804 CPUtime=0.69 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 1118 0 0 0 69 0 0 0 18 0 4 0 633408268 291639296 3013 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=284804 CPUtime=0.69 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 1135 0 0 0 69 0 0 0 18 0 4 0 633408268 291639296 3013 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=284804 CPUtime=0.68 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 997 0 0 0 68 0 0 0 25 0 4 0 633408268 291639296 3013 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365357 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) 284804

[startup+1.50105 s]
/proc/loadavg: 4.19 4.64 6.21 9/364 19355
/proc/meminfo: memFree=18676796/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=286132 CPUtime=5.95 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 9585 0 0 0 594 1 0 0 20 0 4 0 633408267 292999168 5017 33554432000 4194304 4650419 140734093370080 18446744073709551615 4439224 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 71533 5017 395 112 0 66498 0
[pid=19343/tid=19344] ppid=19341 vsize=286132 CPUtime=1.49 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 2045 0 0 0 149 0 0 0 20 0 4 0 633408268 292999168 5017 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=286132 CPUtime=1.49 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 2016 0 0 0 149 0 0 0 20 0 4 0 633408268 292999168 5017 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=286132 CPUtime=1.47 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 1754 0 0 0 147 0 0 0 25 0 4 0 633408268 292999168 5017 33554432000 4194304 4650419 140734093370080 18446744073709551615 4316020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286132

[startup+3.10076 s]
/proc/loadavg: 4.19 4.64 6.21 9/364 19355
/proc/meminfo: memFree=18651016/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=286604 CPUtime=12.34 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 18098 0 0 0 1232 2 0 0 25 0 4 0 633408267 293482496 10036 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 71651 10036 395 112 0 66616 0
[pid=19343/tid=19344] ppid=19341 vsize=286604 CPUtime=3.08 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 4284 0 0 0 308 0 0 0 25 0 4 0 633408268 293482496 10036 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=286604 CPUtime=3.09 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 4811 0 0 0 309 0 0 0 25 0 4 0 633408268 293482496 10037 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=286604 CPUtime=3.05 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 3926 0 0 0 305 0 0 0 25 0 4 0 633408268 293482496 10037 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 286604

[startup+6.30019 s]
/proc/loadavg: 4.19 4.64 6.21 9/364 19355
/proc/meminfo: memFree=18583316/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=305188 CPUtime=25.11 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 26695 0 0 0 2507 4 0 0 25 0 4 0 633408267 312512512 15571 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 76297 15571 395 112 0 71262 0
[pid=19343/tid=19344] ppid=19341 vsize=305188 CPUtime=6.29 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 7252 0 0 0 628 1 0 0 25 0 4 0 633408268 312512512 15571 33554432000 4194304 4650419 140734093370080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=305188 CPUtime=6.28 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 6582 0 0 0 628 0 0 0 25 0 4 0 633408268 312512512 15571 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=305188 CPUtime=6.21 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 5336 0 0 0 621 0 0 0 25 0 4 0 633408268 312512512 15571 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 305188

[startup+12.701 s]
/proc/loadavg: 4.77 4.76 6.23 9/364 19356
/proc/meminfo: memFree=18535220/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=299924 CPUtime=50.63 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 39978 0 0 0 5055 8 0 0 25 0 4 0 633408267 307122176 21034 33554432000 4194304 4650419 140734093370080 18446744073709551615 4331993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 74981 21034 395 112 0 69946 0
[pid=19343/tid=19344] ppid=19341 vsize=299924 CPUtime=12.69 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 11588 0 0 0 1267 2 0 0 25 0 4 0 633408268 307122176 21034 33554432000 4194304 4650419 140734093370080 18446744073709551615 4333569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=299924 CPUtime=12.69 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 9822 0 0 0 1268 1 0 0 25 0 4 0 633408268 307122176 21034 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=299924 CPUtime=12.53 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 7824 0 0 0 1252 1 0 0 25 0 4 0 633408268 307122176 21034 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 299924

[startup+25.5008 s]
/proc/loadavg: 5.27 4.86 6.25 9/364 19356
/proc/meminfo: memFree=18457836/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=309736 CPUtime=101.68 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 58255 0 0 0 10155 13 0 0 25 0 4 0 633408267 317169664 31702 33554432000 4194304 4650419 140734093370080 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 77434 31702 395 112 0 72399 0
[pid=19343/tid=19344] ppid=19341 vsize=309736 CPUtime=25.49 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 17324 0 0 0 2545 4 0 0 25 0 4 0 633408268 317169664 31702 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=309736 CPUtime=25.48 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 16875 0 0 0 2546 2 0 0 25 0 4 0 633408268 317169664 31702 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=309736 CPUtime=25.18 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 9281 0 0 0 2516 2 0 0 25 0 4 0 633408268 317169664 31702 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 309736

[startup+51.1012 s]
/proc/loadavg: 6.20 5.11 6.29 9/364 19357
/proc/meminfo: memFree=18412136/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=310804 CPUtime=203.78 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 81110 0 0 0 20357 21 0 0 25 0 4 0 633408267 318263296 37189 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 77701 37189 395 112 0 72666 0
[pid=19343/tid=19344] ppid=19341 vsize=310804 CPUtime=51.08 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 22567 0 0 0 5102 6 0 0 25 0 4 0 633408268 318263296 37189 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=310804 CPUtime=51.09 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 27814 0 0 0 5103 6 0 0 25 0 4 0 633408268 318263296 37189 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=310804 CPUtime=50.48 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 10225 0 0 0 5046 2 0 0 25 0 4 0 633408268 318263296 37189 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 310804

[startup+102.314 s]
/proc/loadavg: 7.28 5.60 6.39 9/364 19358
/proc/meminfo: memFree=18309676/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=388556 CPUtime=408.02 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 122531 0 0 0 40766 36 0 0 25 0 4 0 633408267 397881344 44829 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 97139 44829 395 112 0 92104 0
[pid=19343/tid=19344] ppid=19341 vsize=388556 CPUtime=102.3 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 38572 0 0 0 10217 13 0 0 25 0 4 0 633408268 397881344 44829 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=388556 CPUtime=102.3 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 42522 0 0 0 10219 11 0 0 25 0 4 0 633408268 397881344 44829 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=388556 CPUtime=101.09 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 12419 0 0 0 10106 3 0 0 25 0 4 0 633408268 397881344 44829 33554432000 4194304 4650419 140734093370080 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 388556

[startup+162.3 s]

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

[pid=19343] ppid=19341 vsize=612320 CPUtime=2561.66 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 349326 0 0 0 256024 142 0 0 25 0 4 0 633408267 627015680 115754 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 153080 115754 395 112 0 148045 0
[pid=19343/tid=19344] ppid=19341 vsize=612320 CPUtime=642.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 107901 0 0 0 64186 45 0 0 25 0 4 0 633408268 627015680 115755 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=612320 CPUtime=642.31 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 121286 0 0 0 64186 45 0 0 25 0 4 0 633408268 627015680 115755 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=612320 CPUtime=634.72 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 26038 0 0 0 63459 13 0 0 25 0 4 0 633408268 627015680 115755 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.66
Current children cumulated vsize (KiB) 612320

[startup+702.301 s]
/proc/loadavg: 8.08 7.76 7.19 9/364 19383
/proc/meminfo: memFree=17863004/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=690580 CPUtime=2800.93 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 367494 0 0 0 279942 151 0 0 25 0 4 0 633408267 707153920 109083 33554432000 4194304 4650419 140734093370080 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 172645 109083 395 112 0 167610 0
[pid=19343/tid=19344] ppid=19341 vsize=690580 CPUtime=702.3 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 111131 0 0 0 70183 47 0 0 25 0 4 0 633408268 707153920 109083 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=690580 CPUtime=702.31 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 126963 0 0 0 70183 48 0 0 25 0 4 0 633408268 707153920 109083 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=690580 CPUtime=694.01 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 26209 0 0 0 69388 13 0 0 25 0 4 0 633408268 707153920 109083 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.93
Current children cumulated vsize (KiB) 690580

[startup+762.314 s]
/proc/loadavg: 8.11 7.83 7.25 9/364 19385
/proc/meminfo: memFree=17884672/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=691216 CPUtime=3040.27 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 385169 0 0 0 303865 162 0 0 25 0 4 0 633408267 707805184 106008 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 172804 106008 395 112 0 167769 0
[pid=19343/tid=19344] ppid=19341 vsize=691216 CPUtime=762.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 114717 0 0 0 76181 50 0 0 25 0 4 0 633408268 707805184 106008 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=691216 CPUtime=762.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 133675 0 0 0 76180 52 0 0 25 0 4 0 633408268 707805184 106008 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=691216 CPUtime=753.31 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 26405 0 0 0 75318 13 0 0 25 0 4 0 633408268 707805184 106008 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.27
Current children cumulated vsize (KiB) 691216

[startup+822.301 s]
/proc/loadavg: 8.11 7.89 7.30 9/364 19386
/proc/meminfo: memFree=17832800/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=691824 CPUtime=3279.52 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 404910 0 0 0 327781 171 0 0 25 0 4 0 633408267 708427776 108315 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 172956 108315 395 112 0 167921 0
[pid=19343/tid=19344] ppid=19341 vsize=691824 CPUtime=822.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 118429 0 0 0 82179 52 0 0 25 0 4 0 633408268 708427776 108315 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=691824 CPUtime=822.31 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 140971 0 0 0 82175 56 0 0 25 0 4 0 633408268 708427776 108315 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=691824 CPUtime=812.59 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 26904 0 0 0 81246 13 0 0 25 0 4 0 633408268 708427776 108315 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.52
Current children cumulated vsize (KiB) 691824

[startup+882.3 s]
/proc/loadavg: 8.11 7.93 7.35 9/364 19388
/proc/meminfo: memFree=17808108/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=744272 CPUtime=3518.81 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 428491 0 0 0 351698 183 0 0 25 0 4 0 633408267 762134528 113586 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 186068 113586 395 112 0 181033 0
[pid=19343/tid=19344] ppid=19341 vsize=744272 CPUtime=882.3 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 124730 0 0 0 88176 54 0 0 25 0 4 0 633408268 762134528 113586 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=744272 CPUtime=882.31 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 148233 0 0 0 88171 60 0 0 25 0 4 0 633408268 762134528 113586 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=744272 CPUtime=871.88 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 27088 0 0 0 87175 13 0 0 25 0 4 0 633408268 762134528 113586 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.81
Current children cumulated vsize (KiB) 744272

[startup+942.301 s]
/proc/loadavg: 8.07 7.96 7.40 9/364 19389
/proc/meminfo: memFree=17784768/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=797504 CPUtime=3758.11 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 442463 0 0 0 375621 190 0 0 25 0 4 0 633408267 816644096 116976 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 199376 116976 395 112 0 194341 0
[pid=19343/tid=19344] ppid=19341 vsize=797504 CPUtime=942.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 126978 0 0 0 94176 55 0 0 25 0 4 0 633408268 816644096 116976 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=797504 CPUtime=942.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 152190 0 0 0 94169 63 0 0 25 0 4 0 633408268 816644096 116976 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=797504 CPUtime=931.17 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 27090 0 0 0 93104 13 0 0 25 0 4 0 633408268 816644096 116976 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.11
Current children cumulated vsize (KiB) 797504

[startup+1002.3 s]
/proc/loadavg: 8.02 7.96 7.43 9/364 19391
/proc/meminfo: memFree=17777436/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=757604 CPUtime=3997.41 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 463358 0 0 0 399540 201 0 0 25 0 4 0 633408267 775786496 117922 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 189401 117922 395 112 0 184366 0
[pid=19343/tid=19344] ppid=19341 vsize=757604 CPUtime=1002.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 127706 0 0 0 100176 55 0 0 25 0 4 0 633408268 775786496 117922 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=757604 CPUtime=1002.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 159296 0 0 0 100166 66 0 0 25 0 4 0 633408268 775786496 117922 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=757604 CPUtime=990.46 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 30291 0 0 0 99032 14 0 0 25 0 4 0 633408268 775786496 117922 33554432000 4194304 4650419 140734093370080 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.41
Current children cumulated vsize (KiB) 757604

[startup+1062.3 s]
/proc/loadavg: 8.09 7.98 7.47 9/364 19393
/proc/meminfo: memFree=17733764/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=718736 CPUtime=4236.7 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 482292 0 0 0 423459 211 0 0 25 0 4 0 633408267 735985664 120347 33554432000 4194304 4650419 140734093370080 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 179684 120347 395 112 0 174649 0
[pid=19343/tid=19344] ppid=19341 vsize=718736 CPUtime=1062.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 128675 0 0 0 106175 56 0 0 25 0 4 0 633408268 735985664 120347 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=718736 CPUtime=1062.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 166019 0 0 0 106162 70 0 0 25 0 4 0 633408268 735985664 120347 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=718736 CPUtime=1049.76 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 33315 0 0 0 104960 16 0 0 25 0 4 0 633408268 735985664 120347 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.7
Current children cumulated vsize (KiB) 718736

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 7.50 9/364 19394
/proc/meminfo: memFree=17683400/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=785720 CPUtime=4475.99 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 500736 0 0 0 447379 220 0 0 25 0 4 0 633408267 804577280 124792 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 196430 124793 395 112 0 191395 0
[pid=19343/tid=19344] ppid=19341 vsize=785720 CPUtime=1122.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 132141 0 0 0 112174 57 0 0 25 0 4 0 633408268 804577280 124793 33554432000 4194304 4650419 140734093370080 18446744073709551615 4440859 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=785720 CPUtime=1122.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 172285 0 0 0 112159 73 0 0 25 0 4 0 633408268 804577280 124794 33554432000 4194304 4650419 140734093370080 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=785720 CPUtime=1109.05 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 34076 0 0 0 110888 17 0 0 25 0 4 0 633408268 804577280 124794 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.99
Current children cumulated vsize (KiB) 785720

[startup+1182.3 s]
/proc/loadavg: 8.10 8.02 7.54 9/364 19396
/proc/meminfo: memFree=17683260/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=785592 CPUtime=4715.3 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 519940 0 0 0 471299 231 0 0 25 0 4 0 633408267 804446208 127514 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 196398 127514 395 112 0 191363 0
[pid=19343/tid=19344] ppid=19341 vsize=785592 CPUtime=1182.31 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 136632 0 0 0 118172 59 0 0 25 0 4 0 633408268 804446208 127514 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=785592 CPUtime=1182.32 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 179246 0 0 0 118155 77 0 0 25 0 4 0 633408268 804446208 127514 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=785592 CPUtime=1168.35 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 34267 0 0 0 116818 17 0 0 25 0 4 0 633408268 804446208 127514 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.3
Current children cumulated vsize (KiB) 785592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.07 8.01 7.55 9/364 19396
/proc/meminfo: memFree=17666880/32951124 swapFree=67111348/67111528
[pid=19343] ppid=19341 vsize=787548 CPUtime=4800.27 cores=1,3,5,7
/proc/19343/stat : 19343 (strangenight1-m) R 19341 19343 18878 0 -1 4202496 525471 0 0 0 479793 234 0 0 25 0 4 0 633408267 806449152 128577 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19343/statm: 196887 128577 395 112 0 191852 0
[pid=19343/tid=19344] ppid=19341 vsize=787548 CPUtime=1203.62 cores=1,3,5,7
/proc/19343/task/19344/stat : 19344 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 137022 0 0 0 120303 59 0 0 25 0 4 0 633408268 806449152 128578 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19343/tid=19345] ppid=19341 vsize=787548 CPUtime=1203.64 cores=1,3,5,7
/proc/19343/task/19345/stat : 19345 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 182253 0 0 0 120286 78 0 0 25 0 4 0 633408268 806449152 128578 33554432000 4194304 4650419 140734093370080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19343/tid=19346] ppid=19341 vsize=787548 CPUtime=1189.39 cores=1,3,5,7
/proc/19343/task/19346/stat : 19346 (strangenight1-m) R 19341 19343 18878 0 -1 4202560 34469 0 0 0 118922 17 0 0 25 0 4 0 633408268 806449152 128578 33554432000 4194304 4650419 140734093370080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 787548

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.33
CPU user time (s): 4797.97
CPU system time (s): 2.36564
CPU usage (%): 398.817
Max. virtual memory (cumulated for all children) (KiB): 872388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.36564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525473
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= 245
involuntary context switches= 30374

runsolver used 3.89041 second user time and 10.3664 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 23:52:04
IDJOB=3369000
IDBENCH=83009
IDSOLVER=1846
FILE ID=node145/3369000-1305409924
RUNJOBID= node145-1305409924-19329
PBS_JOBID= 13324499
Free space on /tmp= 73660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369000-1305409924/watcher-3369000-1305409924 -o /tmp/evaluation-result-3369000-1305409924/solver-3369000-1305409924 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369000-1305409924.cnf

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

MD5SUM BENCH= ac87980bdfffc015f316143175a762b6
RANDOM SEED=25159718

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18700980 kB
Buffers:        297256 kB
Cached:        8125512 kB
SwapCached:          0 kB
Active:        7269520 kB
Inactive:      6626276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18700980 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12540 kB
Writeback:           0 kB
AnonPages:     5472532 kB
Mapped:          27052 kB
Slab:           255420 kB
PageTables:      33964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79339836 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= 73648 MiB
End job on node145 at 2011-05-15 00:12:10