Trace number 3175391

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.42 1201.74

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.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-3175391-1304122096.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     294 undec:      80 neg:     276
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       630      2732         0         0      8283         0   no data   no data  --
0.10/0.07	c Decided on static restart strategy
0.37/0.16	c  N st     8      4917       630      2732         0      4857      8283    133833   no data   no data  --
1.57/0.43	c  N st    10     11300       630      2732         0      4511      8283     84484   no data   no data  --
2.78/0.70	c  N st    11     17043       630      2732         0     10139      8283    237999   no data   no data  --
4.39/1.12	c  F st    12     25002       630      2732         0     12409      8283    293229   no data   no data  --
4.39/1.12	c  N st    12     25002       630      2732         0     12409      8283    293229   no data   no data  --
5.17/1.38	c Decided on static restart strategy
5.17/1.38	c  N st    18     30000       630      2732         0     10691      8283    230518   no data   no data  --
5.17/1.38	c  S st    18     30000       630      2732         0     10691      8283    230518   no data   no data  --
5.57/1.41	c  S st    18     30503       630      2732         0     11194      8283    243505   no data   no data  --
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.57/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.67	c lits-rem:       138  cl-subs:      408  v-elim:      0  v-fix:    0  time:  1.00 s
6.37/1.68	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
6.37/1.68	c calculated reachability. Time: 0.00
6.37/1.68	c  N st    18     30503       630      2732         0     10786      8283    231512   no data   no data  --
8.39/2.12	c  N st    20     37613       630      2732         0     10018      8283    190496   no data   no data  --
9.96/2.54	c  N st    21     44012       630      2732         0     16332      8283    371091   no data   no data  --
10.36/2.67	c  S st    22     45754       630      2732         0      9257      8283    149555   no data   no data  --
10.76/2.70	c  S st    22     46259       630      2732         0      9762      8283    162191   no data   no data  --
10.76/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
10.76/2.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.16/2.82	c lits-rem:        20  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.45 s
11.16/2.82	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
11.16/2.82	c vivif2 --  cl tried     9724 cl shrink        0 lits rem          0 time: 0.00
11.16/2.83	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.03
11.16/2.83	c calculated reachability. Time: 0.00
11.16/2.83	c  N st    22     46259       630      2732         0      9724      8283    161033   no data   no data  --
14.75/3.75	c  N st    23     60656       630      2732         0     14089      8283    278175   no data   no data  --
17.57/4.44	c  N st    24     69389       630      2732         0     11861      8283    201179   no data   no data  --
17.57/4.44	c  S st    24     69389       630      2732         0     11861      8283    201179   no data   no data  --
17.57/4.47	c  S st    24     69892       630      2732         0     12362      8283    215253   no data   no data  --
17.57/4.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.57/4.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.57/4.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
17.57/4.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.76/4.72	c lits-rem:        69  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.93 s
18.76/4.72	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
18.76/4.72	c vivif2 --  cl tried    12252 cl shrink        0 lits rem          0 time: 0.01
18.76/4.73	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.04
18.76/4.73	c calculated reachability. Time: 0.00
18.76/4.73	c  N st    24     69892       630      2732         0     12252      8283    211902   no data   no data  --
23.94/6.01	c  F st    25     87500       630      2732         0     17731      8283    347235   no data   no data  --
23.94/6.01	c  N st    25     87500       630      2732         0     17731      8283    347235   no data   no data  --
25.54/6.46	c  N dy    32     93433       630      2732         0     23589      8283    511252     20.59     21.85  --
27.54/6.97	c  N dy    47    100025       630      2732         0     17267      8283    277202     18.03     19.04  --
29.14/7.35	c  S st    58    104838       630      2732         0     22030      8283    400890     17.73     17.23  --
29.54/7.40	c  S st    58    105341       630      2732         0     22533      8283    413920     17.73   no data  --
29.54/7.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.54/7.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.54/7.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.54/7.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.54/7.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
29.54/7.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.13/8.30	c lits-rem:       212  cl-subs:      379  v-elim:      0  v-fix:    0  time:  3.47 s
33.13/8.30	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
33.13/8.30	c vivif2 --  cl tried    22154 cl shrink        0 lits rem          0 time: 0.02
33.13/8.32	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.08
33.13/8.32	c calculated reachability. Time: 0.00
33.13/8.32	c  N dy    58    105341       630      2732         0     22154      8283    402931     17.73   no data  --
35.52/8.99	c  N dy    89    112154       630      2732         0     15061      8283    183567     17.76     20.50  --
38.33/9.64	c  N dy   113    120119       630      2732         0     22929      8283    389993     17.66     18.59  --
41.92/10.57	c  N dy   141    129417       630      2732         0     17307      8283    215720     17.56     18.70  --
45.11/11.35	c  N dy   190    138345       630      2732         0     26152      8283    446555     17.72     18.81  --
48.71/12.21	c  N dy   230    147188       630      2732         0     19075      8283    239561     17.73     20.49  --
51.91/13.08	c  N dy   277    156643       630      2732         0     28451      8283    484126     17.76     18.94  --
52.72/13.24	c  S st   282    158013       630      2732         0     29812      8283    519484     17.76   no data  --
53.10/13.31	c  S st   282    158516       630      2732         0     30315      8283    532969     17.76   no data  --
53.10/13.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.10/13.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.10/13.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.10/13.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.10/13.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.10/13.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
53.10/13.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.49/14.96	c lits-rem:       533  cl-subs:      352  v-elim:      0  v-fix:    0  time:  6.49 s
59.49/14.96	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
59.49/14.97	c vivif2 --  cl tried    29963 cl shrink        0 lits rem          0 time: 0.02
59.89/15.00	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.10
59.89/15.00	c calculated reachability. Time: 0.00
59.89/15.00	c  N dy   282    158516       630      2732         0     29963      8283    521718     17.76   no data  --
64.70/16.27	c  N dy   322    172069       630      2732         0     26508      8283    403388     17.66     18.86  --
69.49/17.45	c  N dy   384    183156       630      2732         0     19687      8283    210992     17.73     18.81  --
74.30/18.67	c  N dy   451    194899       630      2732         0     31317      8283    515137     17.81     21.82  --
80.26/20.11	c  N dy   484    207403       630      2732         0     24860      8283    315186     17.73     18.75  --
86.67/21.70	c  N dy   530    221569       630      2732         0     38884      8283    684433     17.70     18.76  --
93.05/23.38	c  N dy   608    236320       630      2732         0     33723      8283    543359     17.78     18.72  --
93.85/23.58	c  S st   615    237776       630      2732         0     35170      8283    581360     17.77     16.40  --
94.24/23.68	c  S st   615    238281       630      2732         0     35675      8283    594528     17.77   no data  --
94.24/23.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.24/23.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.24/23.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
94.64/23.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.64/23.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.64/23.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
94.64/23.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
101.84/25.53	c lits-rem:       910  cl-subs:      382  v-elim:      0  v-fix:    0  time:  7.24 s
101.84/25.53	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
101.84/25.54	c vivif2 --  cl tried    35293 cl shrink        0 lits rem          0 time: 0.02
101.84/25.57	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.13
101.84/25.57	c calculated reachability. Time: 0.00
101.84/25.57	c  N dy   615    238281       630      2732         0     35293      8283    581936     17.77   no data  --
108.64/27.23	c  N dy   653    253527       630      2732         0     29585      8283    405273     17.71     18.77  --
117.82/29.59	c  N dy   719    272494       630      2732         0     26563      8283    302467     17.68     18.68  --
127.03/31.82	c  N dy   790    290073       630      2732         0     43971      8283    765755     17.69     18.70  --
134.60/33.75	c  F st   892    306251       630      2732         0     37207      8283    569416     17.77   no data  --
136.60/34.22	c  N st   897    309547       630      2732         0     40457      8283    657241     17.77   no data  --
146.98/36.82	c  N dy   980    329401       630      2732         0     36378      8283    523113     17.80     19.18  --
158.18/39.69	c  N dy  1103    349764       630      2732         0     31801      8283    381820     17.86     19.00  --
162.58/40.72	c  S st  1135    357423       630      2732         0     39376      8283    579000     17.86   no data  --
162.96/40.81	c  S st  1135    357927       630      2732         0     39880      8283    592644     17.86   no data  --
162.96/40.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.96/40.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.96/40.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
162.96/40.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.96/40.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.96/40.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
162.96/40.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.55/42.75	c lits-rem:       685  cl-subs:      601  v-elim:      0  v-fix:    0  time:  7.57 s
170.55/42.75	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
170.55/42.75	c vivif2 --  cl tried    39279 cl shrink        0 lits rem          0 time: 0.02
170.55/42.79	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.14
170.55/42.79	c calculated reachability. Time: 0.00
170.55/42.79	c  N dy  1135    357927       630      2732         0     39279      8283    574922     17.86   no data  --
182.52/45.73	c  N dy  1247    378009       630      2732         0     33431      8283    405587     17.92     18.92  --
195.31/48.99	c  N dy  1347    398091       630      2732         0     53338      8283    947686     17.96     20.78  --
207.70/52.05	c  N dy  1456    418508       630      2732         0     46807      8283    738687     17.99     19.08  --
220.08/55.19	c  N dy  1564    438598       630      2732         0     38952      8283    514111     18.02     19.26  --
234.86/58.83	c  N dy  1625    461549       630      2732         0     32908      8283    331051     17.99     19.31  --
246.84/61.82	c  N dy  1693    481598       630      2732         0     52714      8283    852992     17.98     19.25  --
258.85/64.88	c  N dy  1748    501601       630      2732         0     42802      8283    566171     17.94     19.62  --
274.01/68.63	c  N dy  1853    521677       630      2732         0     32043      8283    273270     17.97     19.94  --
282.40/70.77	c  S st  1911    536891       630      2732         0     47053      8283    666837     17.97     14.42  --
282.80/70.88	c  S st  1911    537394       630      2732         0     47556      8283    679340     17.97   no data  --
282.80/70.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.80/70.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.20/70.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.20/70.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.20/70.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.20/70.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
283.20/70.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
291.58/73.00	c lits-rem:      1040  cl-subs:      924  v-elim:      0  v-fix:    0  time:  8.29 s
291.58/73.00	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
291.58/73.01	c vivif2 --  cl tried    46632 cl shrink        0 lits rem          0 time: 0.03
291.58/73.06	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.18
291.58/73.06	c calculated reachability. Time: 0.00
291.58/73.06	c  N dy  1911    537394       630      2732         0     46632      8283    654292     17.97   no data  --
307.18/76.99	c  N dy  2022    557576       630      2732         0     34973      8283    328908     18.00     19.05  --
320.77/80.31	c  N dy  2125    577918       630      2732         0     55107      8283    871828     18.02     19.01  --
334.73/83.86	c  N dy  2185    598015       630      2732         0     42322      8283    501588     18.01     19.96  --
349.90/87.68	c  N dy  2258    618089       630      2732         0     62113      8283   1024116     18.02     20.31  --
363.49/91.05	c  N dy  2316    638106       630      2732         0     48302      8283    635159     17.98     18.93  --
381.47/95.51	c  N dy  2405    658331       630      2732         0     68318      8283   1163476     17.98     18.97  --
394.64/98.80	c  N dy  2473    678448       630      2732         0     53594      8283    759639     17.98     18.95  --
413.81/103.66	c  N dy  2508    698526       630      2732         0     37842      8283    323417     17.94     22.98  --
427.80/107.17	c  N dy  2610    718650       630      2732         0     57754      8283    852713     17.96     18.99  --
446.18/111.72	c  N dy  2711    738668       630      2732         0     40979      8283    383199     17.98     18.94  --
461.38/115.55	c  N dy  2811    758976       630      2732         0     61056      8283    916902     17.99     18.97  --
480.13/120.20	c  N dy  2925    779044       630      2732         0     43368      8283    428201     18.02     18.98  --
495.71/124.15	c  N dy  3022    799065       630      2732         0     63175      8283    959097     18.04     19.04  --
503.30/126.02	c  S st  3079    806091       630      2732         0     70133      8283   1145860     18.05   no data  --
504.10/126.21	c  S st  3079    806599       630      2732         0     70641      8283   1159465     18.05   no data  --
504.10/126.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
504.10/126.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
504.10/126.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
504.10/126.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
504.10/126.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
504.10/126.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
504.10/126.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
510.89/127.91	c lits-rem:       405  cl-subs:     1299  v-elim:      0  v-fix:    0  time:  6.52 s
510.89/127.91	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
510.89/127.93	c vivif2 --  cl tried    69342 cl shrink        0 lits rem          0 time: 0.06
511.29/128.01	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.34
511.29/128.01	c calculated reachability. Time: 0.00
511.29/128.01	c  N dy  3079    806599       630      2732         0     69342      8283   1121508     18.05   no data  --
530.46/132.82	c  N dy  3193    827408       630      2732         0     51339      8283    623085     18.08     19.11  --
548.44/137.37	c  N dy  3270    847508       630      2732         0     71211      8283   1150990     18.08     19.60  --
565.62/141.66	c  N dy  3357    867555       630      2732         0     51476      8283    608726     18.08     20.27  --
585.19/146.51	c  N dy  3479    887645       630      2732         0     71366      8283   1144389     18.11     19.77  --
603.16/151.08	c  N dy  3552    907650       630      2732         0     50575      8283    559240     18.10     20.66  --
620.34/155.36	c  N dy  3590    927860       630      2732         0     70472      8283   1074706     18.07     19.09  --
639.92/160.28	c  N dy  3671    948275       630      2732         0     49170      8283    504977     18.07     19.06  --
657.09/164.54	c  N dy  3761    968325       630      2732         0     69008      8283   1038541     18.08     20.05  --
679.86/170.20	c  N dy  3882    989072       630      2732         0     47025      8283    426394     18.10     19.08  --
697.44/174.68	c  N dy  3983   1010376       630      2732         0     68096      8283    988247     18.11     19.15  --
720.63/180.41	c  N dy  4045   1031336       630      2732         0     45278      8283    360080     18.10     19.13  --
736.58/184.40	c  N dy  4116   1051360       630      2732         0     65062      8283    876148     18.09     22.83  --
760.17/190.32	c  N dy  4220   1071391       630      2732         0     84877      8283   1407746     18.10     19.09  --
760.55/190.48	c  F st  4223   1071875       630      2732         0     85353      8283   1419932     18.11     18.50  --
766.95/192.00	c Decided on static restart strategy
783.72/196.25	c  N st  4233   1100181       630      2732         0     68760      8283   1017655     18.11   no data  --
815.68/204.25	c  N st  4235   1136173       630      2732         0     58856      8283   1181810     18.11   no data  --
852.82/213.51	c  N st  4236   1168565       630      2732         0     90576      8283   2080094     18.11   no data  --
891.60/223.23	c  N st  4237   1209898       630      2732         0     84786      8283   1771708     18.11   no data  --
891.60/223.23	c  S st  4237   1209898       630      2732         0     84786      8283   1771708     18.11   no data  --
892.78/223.50	c  S st  4237   1210404       630      2732         0     85291      8283   1785317     18.11   no data  --
892.78/223.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
892.78/223.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
892.78/223.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
893.18/223.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
893.18/223.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
893.18/223.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
893.18/223.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
936.72/234.50	c lits-rem:       200  cl-subs:     6486  v-elim:      0  v-fix:    0  time: 43.46 s
936.72/234.50	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
936.72/234.52	c vivif2 --  cl tried    78805 cl shrink        0 lits rem          0 time: 0.08
937.12/234.63	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.43
937.12/234.63	c calculated reachability. Time: 0.00
937.12/234.63	c  N st  4237   1210404       630      2732         0     78805      8283   1605816     18.11   no data  --
1015.41/254.28	c  N st  4238   1283286       630      2732         0     55269      8283    877639     18.11   no data  --
1127.67/282.30	c  N st  4239   1392612       630      2732         0     63486      8283   1066232     18.11   no data  --
1300.65/325.64	c  N st  4240   1556596       630      2732         0     68248      8283   1094619     18.11   no data  --
1470.01/368.03	c  N st  4241   1710406       630      2732         0    109736      8283   2082454     18.11   no data  --
1470.01/368.03	c  S st  4241   1710406       630      2732         0    109736      8283   2082454     18.11   no data  --
1471.21/368.37	c  S st  4241   1710909       630      2732         0    110239      8283   2096810     18.11   no data  --
1471.21/368.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1471.21/368.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1471.63/368.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1472.03/368.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1472.03/368.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1472.03/368.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1472.03/368.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1543.91/386.50	c lits-rem:       200  cl-subs:     9923  v-elim:      0  v-fix:    0  time: 71.85 s
1543.91/386.50	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
1543.91/386.52	c vivif2 --  cl tried   100316 cl shrink        0 lits rem          0 time: 0.09
1544.30/386.67	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.61
1544.30/386.68	c calculated reachability. Time: 0.00
1544.30/386.68	c  N st  4241   1710909       630      2732         0    100316      8283   1871125     18.11   no data  --
1927.39/482.52	c  N st  4242   2079876       630      2732         0    112721      8283   2201496     18.11   no data  --
2081.58/521.13	c  N st  4243   2210911       630      2732         0    117014      8283   2302631     18.11   no data  --
2081.58/521.13	c  S st  4243   2210911       630      2732         0    117014      8283   2302631     18.11   no data  --
2082.81/521.49	c  S st  4243   2211417       630      2732         0    117518      8283   2315623     18.11   no data  --
2083.19/521.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2083.19/521.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2083.19/521.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2083.59/521.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2083.59/521.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2083.59/521.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2083.59/521.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2148.32/537.88	c lits-rem:       116  cl-subs:     6110  v-elim:      0  v-fix:    0  time: 64.88 s
2148.32/537.88	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2148.72/537.91	c vivif2 --  cl tried   111408 cl shrink        0 lits rem          0 time: 0.11
2149.10/538.08	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.71
2149.10/538.09	c calculated reachability. Time: 0.00
2149.10/538.09	c  N st  4243   2211417       630      2732         0    111408      8283   2151197     18.11   no data  --
2755.49/689.85	c  N st  4244   2711418       630      2732         0    134026      8283   2649687     18.11   no data  --
2755.49/689.85	c  S st  4244   2711418       630      2732         0    134026      8283   2649687     18.11   no data  --
2757.08/690.27	c  S st  4244   2711923       630      2732         0    134530      8283   2663116     18.11   no data  --
2757.08/690.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2757.08/690.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2757.48/690.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
2757.88/690.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2757.88/690.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2757.88/690.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2757.88/690.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2894.91/724.77	c lits-rem:        84  cl-subs:    12902  v-elim:      0  v-fix:    0  time: 137.12 s
2894.91/724.77	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
2894.91/724.80	c vivif2 --  cl tried   121628 cl shrink        0 lits rem          0 time: 0.11
2896.10/725.00	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.82
2896.10/725.01	c calculated reachability. Time: 0.00
2896.10/725.01	c  N st  4244   2711923       630      2732         0    121628      8283   2326230     18.11   no data  --
3528.07/883.23	c  N st  4245   3211923       630      2732         0     97707      8283   1437934     18.11   no data  --
3528.07/883.23	c  S st  4245   3211923       630      2732         0     97707      8283   1437934     18.11   no data  --
3529.25/883.55	c  S st  4245   3212427       630      2732         0     98211      8283   1451829     18.11   no data  --
3529.25/883.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3529.25/883.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3529.65/883.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
3529.65/883.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3529.65/883.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3529.65/883.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3529.65/883.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3552.41/889.30	c lits-rem:       171  cl-subs:     2527  v-elim:      0  v-fix:    0  time: 22.55 s
3552.41/889.30	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
3552.41/889.32	c vivif2 --  cl tried    95684 cl shrink        0 lits rem          0 time: 0.09
3553.21/889.51	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.74
3553.21/889.51	c calculated reachability. Time: 0.00
3553.21/889.51	c  N st  4245   3212427       630      2732         0     95684      8283   1381506     18.11   no data  --
4257.90/1065.97	c  N st  4246   3712429       630      2732         0    106454      8283   1533201     18.11   no data  --
4257.90/1065.97	c  S st  4246   3712429       630      2732         0    106454      8283   1533201     18.11   no data  --
4259.48/1066.32	c  S st  4246   3712936       630      2732         0    106961      8283   1547134     18.11   no data  --
4259.48/1066.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4259.48/1066.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4259.48/1066.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
4259.88/1066.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4259.88/1066.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4259.88/1066.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4259.88/1066.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4284.64/1072.67	c lits-rem:       263  cl-subs:     4399  v-elim:      0  v-fix:    0  time: 24.93 s
4284.64/1072.67	c vivif2 --  cl tried     2732 cl shrink        0 lits rem          0 time: 0.00
4284.64/1072.69	c vivif2 --  cl tried   102562 cl shrink        0 lits rem          0 time: 0.08
4285.44/1072.85	c asymm  cl-useful: 0/2732/2732 lits-rem:0 time: 0.61
4285.44/1072.85	c calculated reachability. Time: 0.00
4285.44/1072.85	c  N st  4246   3712936       630      2732         0    102562      8283   1430860     18.11   no data  --
4333.77/1084.96	c  F st  4247   3751562       630      2732         0    140647      8283   2587933     18.11   no data  --
4333.77/1084.96	c  N st  4247   3751562       630      2732         0    140647      8283   2587933     18.11   no data  --
4344.56/1087.68	c Decided on static restart strategy
4384.50/1097.62	c  N st  4257   3779863       630      2732         0     85270      8283    908784     18.11   no data  --
4443.22/1112.38	c  N st  4259   3815855       630      2732         0    120471      8283   1890925     18.11   no data  --
4506.34/1128.17	c  N st  4260   3848249       630      2732         0    152116      8283   2767449     18.11   no data  --
4588.63/1148.78	c  N st  4261   3896837       630      2732         0    115731      8283   1783564     18.11   no data  --
4713.66/1180.01	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175391-1304122096/watcher-3175391-1304122096 -o /tmp/evaluation-result-3175391-1304122096/solver-3175391-1304122096 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175391-1304122096.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: 8.06 8.03 7.66 4/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 602440279 52465664 352 33554432000 4194304 4650419 140735026966864 18446744073709551615 47014520227762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 12809 352 303 112 0 7774 0
[pid=6062/tid=6066] ppid=6058 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 602440280 52465664 352 33554432000 4194304 4650419 140735026966864 18446744073709551615 47014520227762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 602440280 52465664 352 33554432000 4194304 4650419 140735026966864 18446744073709551615 47014520227762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 602440280 52465664 352 33554432000 4194304 4650419 140735026966864 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0328651 s]
/proc/loadavg: 8.06 8.03 7.66 4/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=282784 CPUtime=0.1 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 1540 0 0 0 10 0 0 0 20 0 4 0 602440279 289570816 1401 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 70696 1401 390 112 0 65661 0
[pid=6062/tid=6066] ppid=6058 vsize=282784 CPUtime=0.02 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 311 0 0 0 2 0 0 0 20 0 4 0 602440280 289570816 1401 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=282784 CPUtime=0.02 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 302 0 0 0 2 0 0 0 20 0 4 0 602440280 289570816 1401 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=282784 CPUtime=0.02 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 172 0 0 0 2 0 0 0 21 0 4 0 602440280 289570816 1401 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 282784

[startup+0.100852 s]
/proc/loadavg: 8.06 8.03 7.66 4/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=282784 CPUtime=0.37 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 1869 0 0 0 37 0 0 0 20 0 4 0 602440279 289570816 1730 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 70696 1730 391 112 0 65661 0
[pid=6062/tid=6066] ppid=6058 vsize=282784 CPUtime=0.09 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 394 0 0 0 9 0 0 0 20 0 4 0 602440280 289570816 1730 33554432000 4194304 4650419 140735026966864 18446744073709551615 4332144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=282784 CPUtime=0.09 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 378 0 0 0 9 0 0 0 20 0 4 0 602440280 289570816 1730 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=282784 CPUtime=0.09 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 257 0 0 0 9 0 0 0 21 0 4 0 602440280 289570816 1730 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366819 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) 282784

[startup+0.300815 s]
/proc/loadavg: 8.06 8.03 7.66 4/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=284148 CPUtime=1.17 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 3081 0 0 0 117 0 0 0 20 0 4 0 602440279 290967552 2289 33554432000 4194304 4650419 140735026966864 18446744073709551615 4332022 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 71037 2289 393 112 0 66002 0
[pid=6062/tid=6066] ppid=6058 vsize=284148 CPUtime=0.29 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 698 0 0 0 29 0 0 0 20 0 4 0 602440280 290967552 2289 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=284148 CPUtime=0.29 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 682 0 0 0 29 0 0 0 20 0 4 0 602440280 290967552 2289 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=284148 CPUtime=0.29 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 555 0 0 0 29 0 0 0 21 0 4 0 602440280 290967552 2289 33554432000 4194304 4650419 140735026966864 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) 284148

[startup+0.70074 s]
/proc/loadavg: 8.06 8.03 7.66 4/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=285256 CPUtime=2.78 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 4805 0 0 0 277 1 0 0 21 0 4 0 602440279 292102144 3036 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 71314 3036 393 112 0 66279 0
[pid=6062/tid=6066] ppid=6058 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 1134 0 0 0 69 0 0 0 21 0 4 0 602440280 292102144 3036 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 1123 0 0 0 69 0 0 0 20 0 4 0 602440280 292102144 3036 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=285256 CPUtime=0.69 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 972 0 0 0 69 0 0 0 22 0 4 0 602440280 292102144 3036 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285256

[startup+1.50059 s]
/proc/loadavg: 8.06 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29481488/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=286692 CPUtime=5.97 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 9583 0 0 0 595 2 0 0 24 0 4 0 602440279 293572608 5019 33554432000 4194304 4650419 140735026966864 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 71673 5019 395 112 0 66638 0
[pid=6062/tid=6066] ppid=6058 vsize=286692 CPUtime=1.48 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 2047 0 0 0 148 0 0 0 23 0 4 0 602440280 293572608 5019 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=286692 CPUtime=1.49 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 2000 0 0 0 149 0 0 0 23 0 4 0 602440280 293572608 5019 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=286692 CPUtime=1.48 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 1732 0 0 0 148 0 0 0 25 0 4 0 602440280 293572608 5019 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286692

[startup+3.10029 s]
/proc/loadavg: 8.05 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29456900/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=273968 CPUtime=12.36 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 18131 0 0 0 1233 3 0 0 25 0 4 0 602440279 280543232 10153 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 68492 10153 395 112 0 63457 0
[pid=6062/tid=6066] ppid=6058 vsize=273968 CPUtime=3.08 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 4244 0 0 0 308 0 0 0 25 0 4 0 602440280 280543232 10153 33554432000 4194304 4650419 140735026966864 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=273968 CPUtime=3.08 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 4832 0 0 0 308 0 0 0 25 0 4 0 602440280 280543232 10153 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=273968 CPUtime=3.07 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 3930 0 0 0 307 0 0 0 25 0 4 0 602440280 280543232 10153 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 273968

[startup+6.3007 s]
/proc/loadavg: 8.05 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29389320/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=281824 CPUtime=25.14 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 26722 0 0 0 2509 5 0 0 25 0 4 0 602440279 288587776 14864 33554432000 4194304 4650419 140735026966864 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 70456 14864 395 112 0 65421 0
[pid=6062/tid=6066] ppid=6058 vsize=281824 CPUtime=6.29 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 7149 0 0 0 628 1 0 0 25 0 4 0 602440280 288587776 14864 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=281824 CPUtime=6.29 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 6605 0 0 0 628 1 0 0 25 0 4 0 602440280 288587776 14864 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=281824 CPUtime=6.26 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 5482 0 0 0 625 1 0 0 25 0 4 0 602440280 288587776 14864 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 281824

[startup+12.7005 s]
/proc/loadavg: 8.04 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29349176/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=287136 CPUtime=50.71 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 39663 0 0 0 5062 9 0 0 25 0 4 0 602440279 294027264 18910 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 71784 18910 395 112 0 66749 0
[pid=6062/tid=6066] ppid=6058 vsize=287136 CPUtime=12.69 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 11040 0 0 0 1267 2 0 0 25 0 4 0 602440280 294027264 18910 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=287136 CPUtime=12.69 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 9804 0 0 0 1267 2 0 0 25 0 4 0 602440280 294027264 18910 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=287136 CPUtime=12.61 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 8001 0 0 0 1260 1 0 0 25 0 4 0 602440280 294027264 18910 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 287136

[startup+25.5011 s]
/proc/loadavg: 8.04 8.03 7.67 10/184 6070
/proc/meminfo: memFree=29274516/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=315956 CPUtime=101.84 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 57309 0 0 0 10169 15 0 0 25 0 4 0 602440279 323538944 28479 33554432000 4194304 4650419 140735026966864 18446744073709551615 4422499 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 78989 28479 395 112 0 73954 0
[pid=6062/tid=6066] ppid=6058 vsize=315956 CPUtime=25.48 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 15762 0 0 0 2545 3 0 0 25 0 4 0 602440280 323538944 28479 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=315956 CPUtime=25.49 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 16711 0 0 0 2545 4 0 0 25 0 4 0 602440280 323538944 28480 33554432000 4194304 4650419 140735026966864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=315956 CPUtime=25.34 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 11517 0 0 0 2531 3 0 0 25 0 4 0 602440280 323538944 28480 33554432000 4194304 4650419 140735026966864 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 315956

[startup+51.1003 s]
/proc/loadavg: 8.02 8.02 7.67 10/184 6071
/proc/meminfo: memFree=29190840/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=336632 CPUtime=204.09 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 82975 0 0 0 20386 23 0 0 25 0 4 0 602440279 344711168 34974 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 84158 34974 395 112 0 79123 0
[pid=6062/tid=6066] ppid=6058 vsize=336632 CPUtime=51.09 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 18918 0 0 0 5105 4 0 0 25 0 4 0 602440280 344711168 34974 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=336632 CPUtime=51.09 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 27588 0 0 0 5102 7 0 0 25 0 4 0 602440280 344711168 34974 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=336632 CPUtime=50.81 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 17922 0 0 0 5074 7 0 0 25 0 4 0 602440280 344711168 34974 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 336632

[startup+102.307 s]
/proc/loadavg: 8.01 8.02 7.69 10/184 6072
/proc/meminfo: memFree=29120104/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=393472 CPUtime=408.65 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 124953 0 0 0 40825 40 0 0 25 0 4 0 602440279 402915328 44887 33554432000 4194304 4650419 140735026966864 18446744073709551615 4334017 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 98368 44887 395 112 0 93333 0
[pid=6062/tid=6066] ppid=6058 vsize=393472 CPUtime=102.3 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 29196 0 0 0 10222 8 0 0 25 0 4 0 602440280 402915328 44887 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=393472 CPUtime=102.29 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 42309 0 0 0 10215 14 0 0 25 0 4 0 602440280 402915328 44887 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=393472 CPUtime=101.73 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 27941 0 0 0 10163 10 0 0 25 0 4 0 602440280 402915328 44887 33554432000 4194304 4650419 140735026966864 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 393472

[startup+162.3 s]

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

[pid=6062] ppid=6058 vsize=514436 CPUtime=2805.42 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 368948 0 0 0 280381 161 0 0 25 0 4 0 602440279 526782464 102696 33554432000 4194304 4650419 140735026966864 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 128609 102696 395 112 0 123574 0
[pid=6062/tid=6066] ppid=6058 vsize=514436 CPUtime=702.31 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 77773 0 0 0 70199 32 0 0 25 0 4 0 602440280 526782464 102696 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=514436 CPUtime=702.3 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 133667 0 0 0 70171 59 0 0 25 0 4 0 602440280 526782464 102696 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=514436 CPUtime=698.49 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 63464 0 0 0 69819 30 0 0 25 0 4 0 602440280 526782464 102696 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 514436

[startup+762.307 s]
/proc/loadavg: 8.07 8.10 7.89 10/184 6090
/proc/meminfo: memFree=28683848/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=592884 CPUtime=3045.12 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 386173 0 0 0 304344 168 0 0 25 0 4 0 602440279 607113216 102349 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 148221 102349 395 112 0 143186 0
[pid=6062/tid=6066] ppid=6058 vsize=592884 CPUtime=762.32 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 78001 0 0 0 76199 33 0 0 25 0 4 0 602440280 607113216 102349 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=592884 CPUtime=762.31 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 141484 0 0 0 76169 62 0 0 25 0 4 0 602440280 607113216 102349 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366049 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=592884 CPUtime=758.17 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 65914 0 0 0 75786 31 0 0 25 0 4 0 602440280 607113216 102349 33554432000 4194304 4650419 140735026966864 18446744073709551615 4349683 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 592884

[startup+822.301 s]
/proc/loadavg: 8.02 8.08 7.89 10/184 6092
/proc/meminfo: memFree=28653416/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=598624 CPUtime=3284.78 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 405550 0 0 0 328298 180 0 0 25 0 4 0 602440279 612990976 104812 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 149656 104812 395 112 0 144621 0
[pid=6062/tid=6066] ppid=6058 vsize=598624 CPUtime=822.31 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 78805 0 0 0 82198 33 0 0 25 0 4 0 602440280 612990976 104812 33554432000 4194304 4650419 140735026966864 18446744073709551615 4361066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=598624 CPUtime=822.31 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 149656 0 0 0 82164 67 0 0 25 0 4 0 602440280 612990976 104812 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=598624 CPUtime=817.84 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 68366 0 0 0 81752 32 0 0 25 0 4 0 602440280 612990976 104812 33554432000 4194304 4650419 140735026966864 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 598624

[startup+882.301 s]
/proc/loadavg: 8.01 8.06 7.90 10/184 6093
/proc/meminfo: memFree=28617412/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=598928 CPUtime=3524.45 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 429121 0 0 0 352253 192 0 0 25 0 4 0 602440279 613302272 110014 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 149732 110014 395 112 0 144697 0
[pid=6062/tid=6066] ppid=6058 vsize=598928 CPUtime=882.32 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 79463 0 0 0 88198 34 0 0 25 0 4 0 602440280 613302272 110014 33554432000 4194304 4650419 140735026966864 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=598928 CPUtime=882.3 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 157688 0 0 0 88160 70 0 0 25 0 4 0 602440280 613302272 110014 33554432000 4194304 4650419 140735026966864 18446744073709551615 4360579 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=598928 CPUtime=877.51 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 73732 0 0 0 87716 35 0 0 25 0 4 0 602440280 613302272 110014 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 598928

[startup+942.3 s]
/proc/loadavg: 8.00 8.05 7.90 10/184 6095
/proc/meminfo: memFree=28614512/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=707668 CPUtime=3764.14 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 447385 0 0 0 376214 200 0 0 25 0 4 0 602440279 724652032 111961 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 176917 111961 395 112 0 171882 0
[pid=6062/tid=6066] ppid=6058 vsize=707668 CPUtime=942.32 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 80373 0 0 0 94198 34 0 0 25 0 4 0 602440280 724652032 111961 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=707668 CPUtime=942.31 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 167160 0 0 0 94158 73 0 0 25 0 4 0 602440280 724652032 111961 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=707668 CPUtime=937.19 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 75274 0 0 0 93682 37 0 0 25 0 4 0 602440280 724652032 111961 33554432000 4194304 4650419 140735026966864 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 707668

[startup+1002.3 s]
/proc/loadavg: 8.00 8.04 7.91 10/184 6096
/proc/meminfo: memFree=28604316/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=603072 CPUtime=4003.82 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 469468 0 0 0 400170 212 0 0 25 0 4 0 602440279 617545728 107362 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 150768 107362 395 112 0 145733 0
[pid=6062/tid=6066] ppid=6058 vsize=603072 CPUtime=1002.32 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 81606 0 0 0 100197 35 0 0 25 0 4 0 602440280 617545728 107362 33554432000 4194304 4650419 140735026966864 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=603072 CPUtime=1002.32 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 175057 0 0 0 100155 77 0 0 25 0 4 0 602440280 617545728 107362 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=603072 CPUtime=996.86 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 78353 0 0 0 99647 39 0 0 25 0 4 0 602440280 617545728 107362 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 603072

[startup+1062.3 s]
/proc/loadavg: 8.00 8.03 7.91 10/184 6098
/proc/meminfo: memFree=28533096/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=616756 CPUtime=4243.5 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 495320 0 0 0 424124 226 0 0 25 0 4 0 602440279 631558144 116021 33554432000 4194304 4650419 140735026966864 18446744073709551615 4334242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 154189 116021 395 112 0 149154 0
[pid=6062/tid=6066] ppid=6058 vsize=616756 CPUtime=1062.32 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 85922 0 0 0 106195 37 0 0 25 0 4 0 602440280 631558144 116021 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=616756 CPUtime=1062.31 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 182519 0 0 0 106150 81 0 0 25 0 4 0 602440280 631558144 116021 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=616756 CPUtime=1056.55 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 84193 0 0 0 105613 42 0 0 25 0 4 0 602440280 631558144 116021 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 616756

[startup+1122.3 s]
/proc/loadavg: 8.00 8.02 7.91 10/184 6100
/proc/meminfo: memFree=28500808/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=682452 CPUtime=4483.17 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 515481 0 0 0 448081 236 0 0 25 0 4 0 602440279 698830848 121494 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 170613 121494 395 112 0 165578 0
[pid=6062/tid=6066] ppid=6058 vsize=682452 CPUtime=1122.33 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 86413 0 0 0 112195 38 0 0 25 0 4 0 602440280 698830848 121494 33554432000 4194304 4650419 140735026966864 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=682452 CPUtime=1122.32 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 189378 0 0 0 112147 85 0 0 25 0 4 0 602440280 698830848 121494 33554432000 4194304 4650419 140735026966864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=682452 CPUtime=1116.21 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 88974 0 0 0 111576 45 0 0 25 0 4 0 602440280 698830848 121494 33554432000 4194304 4650419 140735026966864 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 682452

[startup+1182.3 s]
/proc/loadavg: 8.05 8.03 7.91 10/184 6101
/proc/meminfo: memFree=28500768/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=691160 CPUtime=4722.85 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 537448 0 0 0 472037 248 0 0 25 0 4 0 602440279 707747840 122086 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 172790 122086 395 112 0 167755 0
[pid=6062/tid=6066] ppid=6058 vsize=691160 CPUtime=1182.33 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 89243 0 0 0 118194 39 0 0 25 0 4 0 602440280 707747840 122086 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=691160 CPUtime=1182.32 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 198838 0 0 0 118142 90 0 0 25 0 4 0 602440280 707747840 122086 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=691160 CPUtime=1175.89 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 91138 0 0 0 117543 46 0 0 25 0 4 0 602440280 707747840 122086 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 691160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 6102
/proc/meminfo: memFree=28474460/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=745348 CPUtime=4800.36 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 543443 0 0 0 479785 251 0 0 25 0 4 0 602440279 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 186337 123455 395 112 0 181302 0
[pid=6062/tid=6066] ppid=6058 vsize=745348 CPUtime=1201.73 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 89522 0 0 0 120134 39 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=745348 CPUtime=1201.73 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 201887 0 0 0 120081 92 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=745348 CPUtime=1195.18 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 92139 0 0 0 119472 46 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 745348

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

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

[startup+1201.7 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 6102
/proc/meminfo: memFree=28474460/32950928 swapFree=67111356/67111528
[pid=6062] ppid=6058 vsize=745348 CPUtime=4800.36 cores=1,3,5,7
/proc/6062/stat : 6062 (strangenight1-m) R 6058 6062 5921 0 -1 4202496 543443 0 0 0 479785 251 0 0 25 0 4 0 602440279 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6062/statm: 186337 123455 395 112 0 181302 0
[pid=6062/tid=6066] ppid=6058 vsize=745348 CPUtime=1201.73 cores=1,3,5,7
/proc/6062/task/6066/stat : 6066 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 89522 0 0 0 120134 39 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6062/tid=6067] ppid=6058 vsize=745348 CPUtime=1201.73 cores=1,3,5,7
/proc/6062/task/6067/stat : 6067 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 201887 0 0 0 120081 92 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6062/tid=6068] ppid=6058 vsize=745348 CPUtime=1195.18 cores=1,3,5,7
/proc/6062/task/6068/stat : 6068 (strangenight1-m) R 6058 6062 5921 0 -1 4202560 92139 0 0 0 119472 46 0 0 25 0 4 0 602440280 763236352 123455 33554432000 4194304 4650419 140735026966864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 745348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.42
CPU user time (s): 4797.87
CPU system time (s): 2.54361
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 835944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.54361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543444
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= 332
involuntary context switches= 45889

runsolver used 1.82272 second user time and 4.74328 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 02:08:16
IDJOB=3175391
IDBENCH=83009
IDSOLVER=1588
FILE ID=node114/3175391-1304122096
RUNJOBID= node114-1304120892-5940
PBS_JOBID= 13170736
Free space on /tmp= 71804 MiB

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

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

MD5SUM BENCH= ac87980bdfffc015f316143175a762b6
RANDOM SEED=727034422

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.74
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.848
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:     32950928 kB
MemFree:      29504548 kB
Buffers:       1073916 kB
Cached:        1802808 kB
SwapCached:        168 kB
Active:         160392 kB
Inactive:      2780668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29504548 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64756 kB
Mapped:          14688 kB
Slab:           440624 kB
PageTables:       4272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188144 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= 71792 MiB
End job on node114 at 2011-04-30 02:28:20