Trace number 3368497

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.27 1203.94

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
MD5SUMdc0028248c86c8aff67bef1f8d7ffb16
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.2752
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

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-3368497-1305394637.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.17/0.37	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.38	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.17/0.38	c calculated reachability. Time: 0.00
1.17/0.38	c Calc default polars -  time:   0.00 s pos:      74 undec:       1 neg:      75
1.17/0.38	c =========================================================================================
1.17/0.38	c types(t): F = full restart, N = normal restart
1.17/0.38	c types(t): S = simplification begin/end, E = solution found
1.17/0.38	c restart types(rt): st = static, dy = dynamic
1.17/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.97/0.60	c  N dy     9      5020       150     12750         0      2407     89250     80463     39.76     41.86  --
3.17/0.86	c  N dy    17     10213       150     12750         0      7387     89250    304687     39.36     41.47  --
3.96/1.08	c  N dy    27     14375       150     12750         0      7316     89250    266567     39.27     41.62  --
5.55/1.47	c  N dy    37     21435       150     12750         0      8669     89250    290637     38.71     40.80  --
6.35/1.69	c  F st    47     25001       150     12750         0     12084     89250    445007     38.78     40.22  --
6.75/1.73	c  N st    49     25627       150     12750         0     12679     89250    471775     38.78   no data  --
7.55/1.99	c  N dy    53     30001       150     12750         0     10356     89250    337762     38.78   no data  --
7.55/1.99	c  S st    53     30001       150     12750         0     10356     89250    337762     38.78   no data  --
7.95/2.03	c  S st    53     30503       150     12750         0     10844     89250    359237     38.78   no data  --
7.95/2.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.95/2.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.95/2.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.95/2.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.73/4.20	c lits-rem:      1744  cl-subs:      441  v-elim:      0  v-fix:    0  time:  8.54 s
18.31/4.65	c asymm  cl-useful: 0/10418/12750 lits-rem:0 time: 1.78
18.31/4.65	c calculated reachability. Time: 0.00
18.31/4.65	c  N dy    53     30503       150     12750         0     10403     89250    333174     38.78   no data  --
19.91/5.06	c  N dy    75     36543       150     12750         0      8646     89250    224707     38.96     41.05  --
21.12/5.34	c  N dy    90     41225       150     12750         0     13152     89250    427002     38.99     41.34  --
22.36/5.64	c  N dy    98     45319       150     12750         0     17049     89250    600781     38.95     41.24  --
22.36/5.68	c  S st    99     45755       150     12750         0      8890     89250    203268     38.94     36.40  --
22.70/5.72	c  S st    99     46259       150     12750         0      9383     89250    225512     38.94   no data  --
22.70/5.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.70/5.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.70/5.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
22.70/5.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.70/5.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.70/5.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
22.70/5.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.09/7.35	c lits-rem:       429  cl-subs:       44  v-elim:      0  v-fix:    0  time:  6.44 s
29.09/7.35	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.09/7.35	c vivif2 --  cl tried     9339 cl shrink        0 lits rem          0 time: 0.01
29.48/7.45	c asymm  cl-useful: 0/2332/12750 lits-rem:0 time: 0.38
29.48/7.45	c calculated reachability. Time: 0.00
29.48/7.45	c  N dy    99     46259       150     12750         0      9339     89250    222517     38.94   no data  --
30.28/7.70	c  N dy   109     50341       150     12750         0     13251     89250    397443     38.92     41.29  --
31.47/7.98	c  N dy   123     54374       150     12750         0     17133     89250    572301     38.93     41.00  --
33.07/8.31	c  N dy   134     58665       150     12750         0     11666     89250    293849     38.86     41.16  --
33.87/8.58	c  N dy   148     62676       150     12750         0     15514     89250    466048     38.89     43.39  --
35.85/9.05	c  N dy   155     68662       150     12750         0     10690     89250    221630     38.79     40.84  --
35.85/9.09	c  S st   157     69388       150     12750         0     11390     89250    252173     38.79     37.96  --
36.25/9.14	c  S st   157     69889       150     12750         0     11882     89250    273673     38.79   no data  --
36.25/9.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.25/9.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.25/9.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.25/9.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.25/9.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.25/9.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.25/9.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.89/11.08	c lits-rem:       726  cl-subs:      133  v-elim:      0  v-fix:    0  time:  7.66 s
43.89/11.08	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.89/11.08	c vivif2 --  cl tried    11749 cl shrink        0 lits rem          0 time: 0.01
45.83/11.54	c asymm  cl-useful: 0/9955/12750 lits-rem:0 time: 1.84
45.83/11.54	c calculated reachability. Time: 0.00
45.83/11.54	c  N dy   157     69889       150     12750         0     11749     89250    265649     38.79   no data  --
47.02/11.88	c  N dy   169     74513       150     12750         0     16216     89250    464316     38.75     40.88  --
49.01/12.32	c  N dy   192     79353       150     12750         0     20866     89250    671889     38.81     42.19  --
51.01/12.82	c  N dy   213     85294       150     12750         0     15036     89250    381599     38.85     40.90  --
51.81/13.00	c  F st   220     87501       150     12750         0     17162     89250    475645     38.86     39.79  --
52.65/13.28	c  N st   225     90798       150     12750         0     20314     89250    617429     38.86   no data  --
55.00/13.81	c  N dy   242     96589       150     12750         0     13407     89250    277549     38.89     41.01  --
56.59/14.27	c  N dy   255    103001       150     12750         0     19571     89250    556139     38.86     41.06  --
57.44/14.43	c  S st   265    104833       150     12750         0     21329     89250    635762     38.90   no data  --
57.78/14.50	c  S st   265    105338       150     12750         0     21816     89250    657027     38.90   no data  --
57.78/14.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.78/14.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.78/14.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
57.78/14.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.78/14.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.78/14.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.78/14.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.20/17.69	c lits-rem:      2484  cl-subs:      929  v-elim:      0  v-fix:    0  time: 12.54 s
70.20/17.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
70.20/17.69	c vivif2 --  cl tried    20887 cl shrink        0 lits rem          0 time: 0.03
71.34/17.92	c asymm  cl-useful: 0/2795/12750 lits-rem:0 time: 0.90
71.34/17.92	c calculated reachability. Time: 0.00
71.34/17.92	c  N dy   265    105338       150     12750         0     20887     89250    603755     38.90   no data  --
73.74/18.52	c  N dy   277    112351       150     12750         0     14184     89250    279597     38.87     41.01  --
75.73/19.08	c  N dy   290    119626       150     12750         0     21132     89250    585914     38.84     41.08  --
78.97/19.88	c  N dy   300    128185       150     12750         0     14949     89250    282553     38.78     41.10  --
81.71/20.55	c  N dy   323    136840       150     12750         0     23240     89250    653218     38.77     40.89  --
85.30/21.48	c  N dy   350    147061       150     12750         0     17727     89250    375690     38.77     40.93  --
88.88/22.30	c  N dy   389    156784       150     12750         0     27043     89250    794020     38.83     40.97  --
89.28/22.43	c  S st   400    158008       150     12750         0     28218     89250    847189     38.84   no data  --
89.68/22.50	c  S st   400    158511       150     12750         0     28713     89250    868626     38.84   no data  --
89.68/22.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
89.68/22.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.68/22.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
89.68/22.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.68/22.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.68/22.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
89.68/22.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.23/27.47	c lits-rem:      1853  cl-subs:     1416  v-elim:      0  v-fix:    0  time: 19.59 s
109.23/27.47	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
109.23/27.48	c vivif2 --  cl tried    27297 cl shrink        0 lits rem          0 time: 0.03
110.41/27.74	c asymm  cl-useful: 0/3169/12750 lits-rem:0 time: 1.06
110.41/27.75	c calculated reachability. Time: 0.00
110.41/27.75	c  N dy   400    158511       150     12750         0     27297     89250    789733     38.84   no data  --
114.05/28.71	c  N dy   429    168759       150     12750         0     20849     89250    480563     38.85     41.20  --
118.84/29.89	c  N dy   449    181705       150     12750         0     33284     89250   1033937     38.77     40.94  --
122.83/30.90	c  N dy   481    193396       150     12750         0     27274     89250    733106     38.75     41.69  --
128.76/32.34	c  N dy   518    205837       150     12750         0     20949     89250    416907     38.74     40.80  --
134.34/33.79	c  N dy   568    219102       150     12750         0     33644     89250    983042     38.77     40.88  --
140.77/35.36	c  N dy   619    233166       150     12750         0     27960     89250    699117     38.79     41.03  --
143.11/35.92	c  S st   634    237766       150     12750         0     32351     89250    894148     38.79     33.20  --
143.51/36.01	c  S st   634    238267       150     12750         0     32838     89250    915461     38.79   no data  --
143.51/36.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
143.51/36.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.51/36.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
143.51/36.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.51/36.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.51/36.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
143.51/36.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.70/40.82	c lits-rem:      1454  cl-subs:     1403  v-elim:      0  v-fix:    0  time: 18.93 s
162.70/40.82	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
162.70/40.83	c vivif2 --  cl tried    31435 cl shrink        0 lits rem          0 time: 0.04
163.45/41.06	c asymm  cl-useful: 0/2540/12750 lits-rem:0 time: 0.94
163.45/41.07	c calculated reachability. Time: 0.00
163.45/41.07	c  N dy   634    238267       150     12750         0     31435     89250    837679     38.79   no data  --
170.23/42.78	c  N dy   680    253551       150     12750         0     26026     89250    582068     38.78     44.80  --
177.40/44.57	c  N dy   723    269834       150     12750         0     41610     89250   1277168     38.77     42.66  --
184.23/46.31	c  N dy   780    287084       150     12750         0     37140     89250   1045317     38.77     40.84  --
192.56/48.32	c  N dy   825    305789       150     12750         0     32964     89250    821799     38.77     40.81  --
192.56/48.37	c  F st   826    306253       150     12750         0     33406     89250    842012     38.77     38.21  --
200.93/50.47	c  N dy   861    325431       150     12750         0     28830     89250    609036     38.75     40.81  --
210.94/52.97	c  N dy   917    345508       150     12750         0     24099     89250    365946     38.76     40.96  --
215.68/54.13	c  S st   930    357401       150     12750         0     35416     89250    873558     38.71     36.94  --
216.08/54.22	c  S st   930    357902       150     12750         0     35900     89250    894581     38.71   no data  --
216.08/54.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.08/54.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.08/54.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
216.08/54.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
216.08/54.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.08/54.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
216.08/54.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
236.02/59.29	c lits-rem:      2003  cl-subs:     1467  v-elim:      0  v-fix:    0  time: 20.00 s
236.02/59.29	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
236.42/59.30	c vivif2 --  cl tried    34433 cl shrink        0 lits rem          0 time: 0.04
237.61/59.61	c asymm  cl-useful: 0/2236/12750 lits-rem:0 time: 1.25
237.61/59.61	c calculated reachability. Time: 0.00
237.61/59.61	c  N dy   930    357902       150     12750         0     34433     89250    818376     38.71   no data  --
251.17/63.00	c  N dy  1022    380965       150     12750         0     31687     89250    670475     38.75     40.80  --
261.54/65.63	c  N dy  1074    401409       150     12750         0     51274     89250   1546921     38.74     40.99  --
270.70/67.94	c  N dy  1105    421443       150     12750         0     44568     89250   1207693     38.70     41.98  --
281.46/70.67	c  N dy  1138    443205       150     12750         0     38643     89250    917520     38.66     40.71  --
293.04/73.60	c  N dy  1208    463624       150     12750         0     30427     89250    518264     38.68     40.72  --
303.39/76.10	c  N dy  1252    484129       150     12750         0     50065     89250   1391298     38.66     40.75  --
313.77/78.70	c  N dy  1298    504345       150     12750         0     40704     89250    943589     38.64     40.69  --
326.12/81.85	c  N dy  1355    525027       150     12750         0     30812     89250    467409     38.65     40.73  --
331.31/83.19	c  S st  1378    536853       150     12750         0     42120     89250    966638     38.63     39.26  --
332.11/83.30	c  S st  1378    537355       150     12750         0     42605     89250    988240     38.63   no data  --
332.11/83.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
332.11/83.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
332.11/83.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
332.11/83.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
332.11/83.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
332.11/83.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
332.11/83.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
352.84/88.53	c lits-rem:       896  cl-subs:     1583  v-elim:      0  v-fix:    0  time: 20.65 s
352.84/88.53	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
352.84/88.54	c vivif2 --  cl tried    41022 cl shrink        0 lits rem          0 time: 0.04
354.04/88.81	c asymm  cl-useful: 0/1846/12750 lits-rem:0 time: 1.07
354.04/88.81	c calculated reachability. Time: 0.00
354.04/88.81	c  N dy  1378    537355       150     12750         0     41022     89250    905192     38.63   no data  --
366.80/92.09	c  N dy  1439    558252       150     12750         0     61010     89250   1797553     38.63     40.86  --
379.16/95.10	c  N dy  1496    581273       150     12750         0     52500     89250   1402773     38.62     41.11  --
393.12/98.64	c  N dy  1596    601290       150     12750         0     40103     89250    816003     38.66     40.70  --
406.67/102.09	c  N dy  1680    621393       150     12750         0     59367     89250   1682435     38.69     40.97  --
420.23/105.45	c  N dy  1748    642583       150     12750         0     47110     89250   1095217     38.69     40.90  --
433.79/108.84	c  N dy  1812    662607       150     12750         0     66280     89250   1953072     38.70     41.69  --
445.35/111.76	c  N dy  1884    682676       150     12750         0     51988     89250   1284197     38.71     41.53  --
462.09/115.94	c  N dy  1967    703126       150     12750         0     37086     89250    581090     38.73     40.95  --
474.44/119.05	c  N dy  2017    723164       150     12750         0     56268     89250   1434366     38.73     40.91  --
490.40/123.08	c  N dy  2062    743719       150     12750         0     40514     89250    701568     38.72     41.07  --
504.40/126.59	c  N dy  2128    764212       150     12750         0     60157     89250   1576419     38.72     40.90  --
519.11/130.20	c  N dy  2184    784462       150     12750         0     43148     89250    783102     38.72     41.18  --
531.87/133.41	c  N dy  2246    804657       150     12750         0     62542     89250   1652082     38.72     40.94  --
532.67/133.68	c  S st  2254    806033       150     12750         0     63873     89250   1712159     38.73   no data  --
533.47/133.85	c  S st  2254    806534       150     12750         0     64356     89250   1733383     38.73   no data  --
533.47/133.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
533.47/133.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
533.47/133.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
533.86/133.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
533.86/133.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
533.86/133.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
533.86/133.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
619.18/155.30	c lits-rem:      3004  cl-subs:     2858  v-elim:      0  v-fix:    0  time: 85.10 s
619.18/155.30	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
619.18/155.32	c vivif2 --  cl tried    61498 cl shrink        0 lits rem          0 time: 0.07
620.38/155.65	c asymm  cl-useful: 0/1337/12750 lits-rem:0 time: 1.35
620.38/155.66	c calculated reachability. Time: 0.00
620.38/155.66	c  N dy  2254    806534       150     12750         0     61498     89250   1574787     38.73   no data  --
635.99/159.54	c  N dy  2331    826585       150     12750         0     43353     89250    757792     38.74     44.10  --
648.70/162.73	c  N dy  2404    846754       150     12750         0     62704     89250   1623218     38.75     40.80  --
663.44/166.48	c  N dy  2443    868547       150     12750         0     45263     89250    815370     38.75     40.79  --
677.00/169.82	c  N dy  2504    888656       150     12750         0     64581     89250   1678088     38.75     41.07  --
692.57/173.74	c  N dy  2580    908686       150     12750         0     44529     89250    746880     38.76     40.94  --
705.72/177.01	c  N dy  2629    929124       150     12750         0     64047     89250   1613069     38.75     41.09  --
722.46/181.23	c  N dy  2675    952244       150     12750         0     45970     89250    779950     38.74     40.78  --
735.62/184.59	c  N dy  2723    972888       150     12750         0     65683     89250   1656907     38.73     40.77  --
751.17/188.42	c  N dy  2747    993029       150     12750         0     43776     89250    649168     38.70     40.94  --
764.33/191.79	c  N dy  2799   1014772       150     12750         0     64576     89250   1572586     38.68     40.76  --
782.67/196.37	c  N dy  2873   1034992       150     12750         0     83987     89250   2436095     38.69     40.90  --
795.82/199.62	c  N dy  2943   1055142       150     12750         0     61181     89250   1392794     38.68     40.79  --
810.98/203.44	c  F st  3019   1071875       150     12750         0     77255     89250   2111218     38.70     38.46  --
814.57/204.33	c  N st  3024   1075175       150     12750         0     80411     89250   2251114     38.70   no data  --
832.12/208.74	c  N dy  3104   1095279       150     12750         0     56583     89250   1152971     38.71     40.80  --
848.86/212.99	c  N dy  3161   1115316       150     12750         0     75766     89250   2007887     38.71     40.81  --
867.20/217.54	c  N dy  3212   1136367       150     12750         0     51839     89250    903505     38.71     40.75  --
883.55/221.64	c  N dy  3277   1156370       150     12750         0     71063     89250   1763330     38.71     42.13  --
919.44/230.61	c  N dy  3364   1193874       150     12750         0     61787     89250   1306321     38.68     40.76  --
932.59/233.92	c  S st  3387   1209802       150     12750         0     77020     89250   1986426     38.66     36.36  --
933.39/234.15	c  S st  3387   1210305       150     12750         0     77513     89250   2007765     38.66   no data  --
933.39/234.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
933.39/234.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
933.79/234.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
933.79/234.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
933.79/234.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
933.79/234.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
933.79/234.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1049.40/263.26	c lits-rem:      1976  cl-subs:     4417  v-elim:      0  v-fix:    0  time: 115.50 s
1049.40/263.27	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
1049.40/263.29	c vivif2 --  cl tried    73096 cl shrink        0 lits rem          0 time: 0.10
1051.80/263.80	c asymm  cl-useful: 0/1147/12750 lits-rem:0 time: 2.04
1051.80/263.80	c calculated reachability. Time: 0.00
1051.80/263.80	c  N dy  3387   1210305       150     12750         0     73096     89250   1790831     38.66   no data  --
1073.33/269.22	c  N dy  3440   1230370       150     12750         0     46480     89250    602626     38.66     42.62  --
1090.47/273.55	c  N dy  3516   1251567       150     12750         0     66766     89250   1506763     38.66     40.80  --
1112.80/279.12	c  N dy  3573   1271957       150     12750         0     86268     89250   2378133     38.66     41.12  --
1133.13/284.20	c  N dy  3636   1292024       150     12750         0     58627     89250   1111328     38.66     40.73  --
1155.46/289.86	c  N dy  3740   1312491       150     12750         0     78294     89250   1994081     38.68     40.88  --
1183.37/296.83	c  N dy  3852   1333263       150     12750         0     50347     89250    704596     38.70     40.81  --
1201.76/301.46	c  N dy  3915   1355095       150     12750         0     71239     89250   1638794     38.70     40.83  --
1225.63/307.43	c  N dy  3983   1375447       150     12750         0     90754     89250   2516952     38.70     40.77  --
1247.16/312.85	c  N dy  4064   1395527       150     12750         0     61193     89250   1159086     38.71     40.92  --
1268.69/318.26	c  N dy  4135   1415748       150     12750         0     80547     89250   2025199     38.72     40.88  --
1297.40/325.44	c  N dy  4217   1437620       150     12750         0     51701     89250    696587     38.73     40.87  --
1316.19/330.13	c  N dy  4298   1457980       150     12750         0     71213     89250   1571232     38.73     40.89  --
1339.26/335.98	c  N dy  4349   1478178       150     12750         0     90586     89250   2432355     38.73     40.83  --
1361.99/341.63	c  N dy  4412   1498185       150     12750         0     58940     89250    988833     38.73     40.87  --
1383.92/347.15	c  N dy  4468   1520150       150     12750         0     79960     89250   1923376     38.72     41.00  --
1410.63/353.82	c  N dy  4536   1541008       150     12750         0     99920     89250   2818701     38.73     40.96  --
1430.55/358.89	c  N dy  4601   1561372       150     12750         0     67721     89250   1351552     38.73     41.07  --
1454.88/364.93	c  N dy  4664   1583070       150     12750         0     88510     89250   2285028     38.73     40.80  --
1485.17/372.52	c  N dy  4751   1603087       150     12750         0     54977     89250    742901     38.74     44.00  --
1505.11/377.55	c  N dy  4822   1623153       150     12750         0     74206     89250   1607449     38.75     40.80  --
1530.23/383.82	c  N dy  4902   1643181       150     12750         0     93430     89250   2468978     38.76     41.22  --
1555.36/390.11	c  N dy  4944   1663475       150     12750         0     59214     89250    893537     38.76     41.02  --
1576.89/395.58	c  N dy  4989   1688190       150     12750         0     82812     89250   1947342     38.75     40.89  --
1602.40/401.90	c  N dy  5057   1708677       150     12750         0    102409     89250   2827797     38.75     40.97  --
1604.41/402.47	c  S st  5061   1710305       150     12750         0    103977     89250   2897603     38.75     37.01  --
1605.65/402.79	c  S st  5061   1710808       150     12750         0    104469     89250   2919341     38.75   no data  --
1605.65/402.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1605.65/402.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1605.99/402.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1606.39/402.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1606.39/402.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1606.39/402.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1606.39/402.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2586.04/648.63	c lits-rem:      5067  cl-subs:     5649  v-elim:      0  v-fix:    0  time: 978.92 s
2586.04/648.63	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2586.04/648.66	c vivif2 --  cl tried    98820 cl shrink        0 lits rem          0 time: 0.13
2587.68/649.08	c asymm  cl-useful: 0/1133/12750 lits-rem:0 time: 1.66
2587.68/649.08	c calculated reachability. Time: 0.00
2587.68/649.08	c  N dy  5061   1710808       150     12750         0     98820     89250   2615200     38.75   no data  --
2611.16/654.93	c  N dy  5128   1730948       150     12750         0     63663     89250   1063431     38.76     41.04  --
2630.70/659.85	c  N dy  5199   1751015       150     12750         0     82913     89250   1926534     38.76     41.01  --
2653.87/665.62	c  N dy  5254   1771019       150     12750         0    102053     89250   2787106     38.76     40.96  --
2676.14/671.20	c  N dy  5321   1791074       150     12750         0     65785     89250   1125464     38.76     41.34  --
2697.73/676.64	c  N dy  5377   1812555       150     12750         0     86372     89250   2048692     38.76     41.15  --
2728.77/684.50	c  N dy  5456   1834967       150     12750         0    107798     89250   3005565     38.77     40.97  --
2749.96/689.80	c  N dy  5506   1855939       150     12750         0     71420     89250   1338476     38.76     40.87  --
2773.03/695.57	c  N dy  5594   1876085       150     12750         0     90699     89250   2202448     38.77     40.97  --
2808.52/704.47	c  N dy  5632   1908035       150     12750         0     63783     89250    968147     38.76     41.09  --
2829.31/709.63	c  N dy  5716   1928361       150     12750         0     83243     89250   1840660     38.76     41.56  --
2854.78/716.05	c  N dy  5797   1948392       150     12750         0    102449     89250   2699844     38.77     40.85  --
2880.70/722.55	c  N dy  5851   1968460       150     12750         0     63306     89250    909771     38.77     41.26  --
2901.83/727.80	c  N dy  5880   1992832       150     12750         0     86576     89250   1949271     38.75     40.86  --
2933.73/735.84	c  N dy  5966   2018101       150     12750         0    110815     89250   3037922     38.76     40.83  --
2958.05/741.94	c  N dy  6035   2038797       150     12750         0     71314     89250   1237869     38.76     40.87  --
2981.17/747.72	c  N dy  6104   2059924       150     12750         0     91538     89250   2142715     38.76     40.99  --
3011.08/755.28	c  N dy  6171   2079928       150     12750         0    110670     89250   2994614     38.77     41.07  --
3042.58/763.10	c  N dy  6248   2103193       150     12750         0     72627     89250   1259017     38.77     41.00  --
3066.50/769.16	c  N dy  6314   2123597       150     12750         0     92183     89250   2135970     38.77     40.85  --
3096.86/776.79	c  N dy  6358   2146503       150     12750         0    114073     89250   3117922     38.77     40.86  --
3124.31/783.66	c  N dy  6433   2166894       150     12750         0     72380     89250   1216713     38.77     40.89  --
3145.10/788.88	c  N dy  6454   2188041       150     12750         0     92592     89250   2122243     38.76     40.96  --
3171.01/795.39	c  N dy  6499   2208913       150     12750         0    112524     89250   3014656     38.75     40.90  --
3174.17/796.17	c  S st  6508   2210808       150     12750         0    114323     89250   3095562     38.76     37.36  --
3175.81/796.52	c  S st  6508   2211312       150     12750         0    114812     89250   3116721     38.76   no data  --
3175.81/796.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3175.81/796.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3176.15/796.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
3176.15/796.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3176.15/796.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3176.15/796.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3176.15/796.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4328.49/1085.68	c lits-rem:      2613  cl-subs:     6259  v-elim:      0  v-fix:    0  time: 1151.63 s
4328.49/1085.68	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
4328.93/1085.72	c vivif2 --  cl tried   108553 cl shrink        0 lits rem          0 time: 0.12
4330.48/1086.19	c asymm  cl-useful: 0/925/12750 lits-rem:0 time: 1.89
4330.48/1086.19	c calculated reachability. Time: 0.00
4330.48/1086.19	c  N dy  6508   2211312       150     12750         0    108553     89250   2788652     38.76   no data  --
4363.58/1094.44	c  N dy  6570   2231653       150     12750         0     65943     89250    897471     38.75     40.90  --
4386.35/1100.15	c  N dy  6624   2252788       150     12750         0     86139     89250   1801013     38.75     40.89  --
4415.01/1107.37	c  N dy  6691   2273789       150     12750         0    106298     89250   2701524     38.76     40.85  --
4446.51/1115.20	c  N dy  6729   2293862       150     12750         0    125506     89250   3556670     38.75     41.60  --
4468.44/1120.78	c  N dy  6759   2315557       150     12750         0     83175     89250   1630428     38.74     40.83  --
4496.74/1127.87	c  N dy  6843   2335561       150     12750         0    102364     89250   2490377     38.75     40.80  --
4533.83/1137.11	c  N dy  6883   2360619       150     12750         0    126220     89250   3548464     38.73     40.86  --
4558.14/1143.23	c  N dy  6924   2381642       150     12750         0     82308     89250   1557272     38.73     40.86  --
4584.86/1149.92	c  N dy  6995   2401927       150     12750         0    101732     89250   2429189     38.73     40.80  --
4615.16/1157.52	c  N dy  7004   2424936       150     12750         0    123651     89250   3400172     38.71     40.78  --
4640.34/1163.91	c  N dy  7018   2446453       150     12750         0     79130     89250   1392364     38.70     40.88  --
4667.80/1170.71	c  N dy  7103   2466896       150     12750         0     98721     89250   2271264     38.71     40.87  --
4696.92/1178.10	c  N dy  7140   2487142       150     12750         0    118122     89250   3140862     38.70     41.08  --
4729.20/1186.13	c  N dy  7188   2508085       150     12750         0     72166     89250   1032971     38.70     41.16  --
4752.73/1192.09	c  N dy  7255   2528180       150     12750         0     91423     89250   1898601     38.70     41.34  --
4781.09/1199.14	c  N dy  7287   2550144       150     12750         0    112339     89250   2834538     38.70     40.75  --

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-3368497-1305394637/watcher-3368497-1305394637 -o /tmp/evaluation-result-3368497-1305394637/solver-3368497-1305394637 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368497-1305394637.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.81 8.00 7.39 5/388 27542
/proc/meminfo: memFree=26127296/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=217124 CPUtime=0.03 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 1763 0 0 0 3 0 0 0 25 0 4 0 651062443 222334976 1677 33554432000 4194304 4650419 140733439113440 18446744073709551615 251813900609 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 54281 1677 366 112 0 49246 0
[pid=27542/tid=27543] ppid=27540 vsize=217124 CPUtime=0 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 143 0 0 0 0 0 0 0 25 0 4 0 651062443 222334976 1677 33554432000 4194304 4650419 140733439113440 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=217124 CPUtime=0 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 390 0 0 0 0 0 0 0 25 0 4 0 651062443 222334976 1677 33554432000 4194304 4650419 140733439113440 18446744073709551615 251813900609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=217124 CPUtime=0 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 415 0 0 0 0 0 0 0 25 0 4 0 651062443 222334976 1677 33554432000 4194304 4650419 140733439113440 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.114759 s]
/proc/loadavg: 7.81 8.00 7.39 5/388 27542
/proc/meminfo: memFree=26127296/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=217748 CPUtime=0.43 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 2204 0 0 0 43 0 0 0 25 0 4 0 651062443 222973952 2118 33554432000 4194304 4650419 140733439113440 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 54437 2118 366 112 0 49402 0
[pid=27542/tid=27543] ppid=27540 vsize=217748 CPUtime=0.1 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 406 0 0 0 10 0 0 0 25 0 4 0 651062443 222973952 2118 33554432000 4194304 4650419 140733439113440 18446744073709551615 4370511 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=217748 CPUtime=0.1 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 407 0 0 0 10 0 0 0 25 0 4 0 651062443 222973952 2118 33554432000 4194304 4650419 140733439113440 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=217748 CPUtime=0.1 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 561 0 0 0 10 0 0 0 25 0 4 0 651062443 222973952 2118 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 217748

[startup+0.200745 s]
/proc/loadavg: 7.81 8.00 7.39 5/388 27542
/proc/meminfo: memFree=26127296/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=217880 CPUtime=0.77 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 2376 0 0 0 77 0 0 0 25 0 4 0 651062443 223109120 2290 33554432000 4194304 4650419 140733439113440 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 54470 2290 366 112 0 49435 0
[pid=27542/tid=27543] ppid=27540 vsize=217880 CPUtime=0.18 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 420 0 0 0 18 0 0 0 25 0 4 0 651062443 223109120 2290 33554432000 4194304 4650419 140733439113440 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=217880 CPUtime=0.19 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 423 0 0 0 19 0 0 0 25 0 4 0 651062443 223109120 2290 33554432000 4194304 4650419 140733439113440 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=217880 CPUtime=0.19 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 684 0 0 0 19 0 0 0 25 0 4 0 651062443 223109120 2290 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 217880

[startup+0.300729 s]
/proc/loadavg: 7.81 8.00 7.39 5/388 27542
/proc/meminfo: memFree=26127296/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=219156 CPUtime=1.17 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 2829 0 0 0 117 0 0 0 25 0 4 0 651062443 224415744 2361 33554432000 4194304 4650419 140733439113440 18446744073709551615 4371151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 54789 2361 370 112 0 49754 0
[pid=27542/tid=27543] ppid=27540 vsize=219156 CPUtime=0.28 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 434 0 0 0 28 0 0 0 25 0 4 0 651062443 224415744 2361 33554432000 4194304 4650419 140733439113440 18446744073709551615 4371131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=219156 CPUtime=0.29 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 435 0 0 0 29 0 0 0 25 0 4 0 651062443 224415744 2361 33554432000 4194304 4650419 140733439113440 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=219156 CPUtime=0.29 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 1096 0 0 0 29 0 0 0 25 0 4 0 651062443 224415744 2361 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219156

[startup+0.700665 s]
/proc/loadavg: 7.81 8.00 7.39 5/388 27542
/proc/meminfo: memFree=26127296/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=228456 CPUtime=2.77 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 7948 0 0 0 277 0 0 0 25 0 4 0 651062443 233938944 5535 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 57114 5536 390 112 0 52079 0
[pid=27542/tid=27543] ppid=27540 vsize=228456 CPUtime=0.68 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 1878 0 0 0 68 0 0 0 25 0 4 0 651062443 233938944 5536 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=228456 CPUtime=0.69 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 1978 0 0 0 69 0 0 0 25 0 4 0 651062443 233938944 5537 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=228456 CPUtime=0.69 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 1878 0 0 0 69 0 0 0 25 0 4 0 651062443 233938944 5537 33554432000 4194304 4650419 140733439113440 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 228456

[startup+1.50053 s]
/proc/loadavg: 7.81 8.00 7.39 9/392 27546
/proc/meminfo: memFree=26100228/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=249108 CPUtime=5.95 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 12686 0 0 0 594 1 0 0 25 0 4 0 651062443 255086592 7413 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 62277 7413 391 112 0 57242 0
[pid=27542/tid=27543] ppid=27540 vsize=249108 CPUtime=1.46 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 3129 0 0 0 146 0 0 0 25 0 4 0 651062443 255086592 7413 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=249108 CPUtime=1.49 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 3270 0 0 0 149 0 0 0 25 0 4 0 651062443 255086592 7413 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=249108 CPUtime=1.48 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 3247 0 0 0 148 0 0 0 25 0 4 0 651062443 255086592 7413 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 249108

[startup+3.10027 s]
/proc/loadavg: 7.81 8.00 7.39 9/392 27546
/proc/meminfo: memFree=26085224/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=249736 CPUtime=12.34 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 27500 0 0 0 1230 4 0 0 25 0 4 0 651062443 255729664 17267 33554432000 4194304 4650419 140733439113440 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 62434 17267 392 112 0 57399 0
[pid=27542/tid=27543] ppid=27540 vsize=249736 CPUtime=3.05 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 5700 0 0 0 305 0 0 0 25 0 4 0 651062443 255729664 17267 33554432000 4194304 4650419 140733439113440 18446744073709551615 4465112 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=249736 CPUtime=3.09 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 8207 0 0 0 308 1 0 0 25 0 4 0 651062443 255729664 17267 33554432000 4194304 4650419 140733439113440 18446744073709551615 4432388 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=249736 CPUtime=3.08 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 8115 0 0 0 307 1 0 0 25 0 4 0 651062443 255729664 17267 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 249736

[startup+6.30073 s]
/proc/loadavg: 7.83 8.00 7.39 9/392 27546
/proc/meminfo: memFree=26045608/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=240352 CPUtime=25.1 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 33100 0 0 0 2505 5 0 0 25 0 4 0 651062443 246120448 17799 33554432000 4194304 4650419 140733439113440 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 60088 17799 392 112 0 55053 0
[pid=27542/tid=27543] ppid=27540 vsize=240352 CPUtime=6.21 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 6905 0 0 0 620 1 0 0 25 0 4 0 651062443 246120448 17799 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=240352 CPUtime=6.29 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 9077 0 0 0 628 1 0 0 25 0 4 0 651062443 246120448 17799 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=240352 CPUtime=6.28 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 9993 0 0 0 627 1 0 0 25 0 4 0 651062443 246120448 17799 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 240352

[startup+12.7007 s]
/proc/loadavg: 7.84 8.00 7.39 9/392 27546
/proc/meminfo: memFree=25992556/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=262036 CPUtime=50.62 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 49200 0 0 0 5053 9 0 0 25 0 4 0 651062443 268324864 26548 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 65509 26548 392 112 0 60474 0
[pid=27542/tid=27543] ppid=27540 vsize=262036 CPUtime=12.52 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 10953 0 0 0 1251 1 0 0 25 0 4 0 651062443 268324864 26548 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=262036 CPUtime=12.69 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 12865 0 0 0 1267 2 0 0 25 0 4 0 651062443 268324864 26548 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=262036 CPUtime=12.69 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 15624 0 0 0 1266 3 0 0 25 0 4 0 651062443 268324864 26548 33554432000 4194304 4650419 140733439113440 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 262036

[startup+25.5005 s]
/proc/loadavg: 7.88 8.00 7.40 9/392 27546
/proc/meminfo: memFree=25924368/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=297864 CPUtime=101.64 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 74765 0 0 0 10148 16 0 0 25 0 4 0 651062443 305012736 36803 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 74466 36803 392 112 0 69431 0
[pid=27542/tid=27543] ppid=27540 vsize=297864 CPUtime=25.15 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 16655 0 0 0 2512 3 0 0 25 0 4 0 651062443 305012736 36803 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=297864 CPUtime=25.48 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 20389 0 0 0 2544 4 0 0 25 0 4 0 651062443 305012736 36803 33554432000 4194304 4650419 140733439113440 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=297864 CPUtime=25.49 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 23655 0 0 0 2544 5 0 0 25 0 4 0 651062443 305012736 36803 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 297864

[startup+51.1012 s]
/proc/loadavg: 7.98 8.01 7.42 9/392 27547
/proc/meminfo: memFree=25889068/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=342036 CPUtime=203.72 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 110049 0 0 0 20344 28 0 0 25 0 4 0 651062443 350244864 50952 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 85509 50952 392 112 0 80474 0
[pid=27542/tid=27543] ppid=27540 vsize=342036 CPUtime=50.44 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 23880 0 0 0 5038 6 0 0 25 0 4 0 651062443 350244864 50952 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=342036 CPUtime=51.09 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 30612 0 0 0 5101 8 0 0 25 0 4 0 651062443 350244864 50952 33554432000 4194304 4650419 140733439113440 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=342036 CPUtime=51.09 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 36012 0 0 0 5100 9 0 0 25 0 4 0 651062443 350244864 50952 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 342036

[startup+102.301 s]
/proc/loadavg: 8.07 8.02 7.45 9/392 27548
/proc/meminfo: memFree=25828516/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=344864 CPUtime=407.91 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 164545 0 0 0 40745 46 0 0 25 0 4 0 651062443 353140736 60650 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 86216 60650 392 112 0 81181 0
[pid=27542/tid=27543] ppid=27540 vsize=344864 CPUtime=100.99 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 33803 0 0 0 10089 10 0 0 25 0 4 0 651062443 353140736 60650 33554432000 4194304 4650419 140733439113440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=344864 CPUtime=102.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 43505 0 0 0 10218 12 0 0 25 0 4 0 651062443 353140736 60650 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=344864 CPUtime=102.3 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 58977 0 0 0 10215 15 0 0 25 0 4 0 651062443 353140736 60650 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 344864

[startup+162.301 s]

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

[pid=27542] ppid=27540 vsize=557664 CPUtime=2560.92 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 463333 0 0 0 255914 178 0 0 25 0 4 0 651062443 571047936 99733 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 139416 99733 392 112 0 134381 0
[pid=27542/tid=27543] ppid=27540 vsize=557664 CPUtime=634.02 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 104336 0 0 0 63351 51 0 0 25 0 4 0 651062443 571047936 99733 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=557664 CPUtime=642.29 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 141266 0 0 0 64181 48 0 0 25 0 4 0 651062443 571047936 99733 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=557664 CPUtime=642.29 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 169762 0 0 0 64169 60 0 0 25 0 4 0 651062443 571047936 99733 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2560.92
Current children cumulated vsize (KiB) 557664

[startup+702.301 s]
/proc/loadavg: 8.00 8.04 7.73 9/392 27564
/proc/meminfo: memFree=25409176/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=611020 CPUtime=2800.15 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 483943 0 0 0 279824 191 0 0 25 0 4 0 651062443 625684480 109091 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 152755 109091 392 112 0 147720 0
[pid=27542/tid=27543] ppid=27540 vsize=611020 CPUtime=693.25 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 111581 0 0 0 69269 56 0 0 25 0 4 0 651062443 625684480 109091 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=611020 CPUtime=702.29 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 141266 0 0 0 70181 48 0 0 25 0 4 0 651062443 625684480 109091 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=611020 CPUtime=702.3 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 178063 0 0 0 70165 65 0 0 25 0 4 0 651062443 625684480 109091 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.15
Current children cumulated vsize (KiB) 611020

[startup+762.301 s]
/proc/loadavg: 8.00 8.03 7.74 9/392 27566
/proc/meminfo: memFree=25404300/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=521892 CPUtime=3039.44 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 506786 0 0 0 303738 206 0 0 25 0 4 0 651062443 534417408 108958 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 130473 108958 392 112 0 125438 0
[pid=27542/tid=27543] ppid=27540 vsize=521892 CPUtime=752.49 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 119186 0 0 0 75189 60 0 0 25 0 4 0 651062443 534417408 108958 33554432000 4194304 4650419 140733439113440 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=521892 CPUtime=762.31 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 141266 0 0 0 76183 48 0 0 25 0 4 0 651062443 534417408 108958 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=521892 CPUtime=762.31 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 186431 0 0 0 76160 71 0 0 25 0 4 0 651062443 534417408 108958 33554432000 4194304 4650419 140733439113440 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.44
Current children cumulated vsize (KiB) 521892

[startup+822.301 s]
/proc/loadavg: 7.38 7.89 7.71 5/383 27585
/proc/meminfo: memFree=26613068/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=640672 CPUtime=3278.62 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 523441 0 0 0 327644 218 0 0 25 0 4 0 651062443 656048128 112082 33554432000 4194304 4650419 140733439113440 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 160168 112082 392 112 0 155133 0
[pid=27542/tid=27543] ppid=27540 vsize=640672 CPUtime=811.71 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 123967 0 0 0 81106 65 0 0 25 0 4 0 651062443 656048128 112082 33554432000 4194304 4650419 140733439113440 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=640672 CPUtime=822.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 141266 0 0 0 82182 48 0 0 25 0 4 0 651062443 656048128 112082 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=640672 CPUtime=822.29 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 192297 0 0 0 82155 74 0 0 25 0 4 0 651062443 656048128 112082 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.62
Current children cumulated vsize (KiB) 640672

[startup+882.315 s]
/proc/loadavg: 5.24 7.18 7.48 5/383 27587
/proc/meminfo: memFree=26643480/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=600216 CPUtime=3517.9 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 547490 0 0 0 351558 232 0 0 25 0 4 0 651062443 614621184 104373 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 150054 104373 392 112 0 145019 0
[pid=27542/tid=27543] ppid=27540 vsize=600216 CPUtime=870.95 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 133143 0 0 0 87024 71 0 0 25 0 4 0 651062443 614621184 104373 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=600216 CPUtime=882.31 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 149575 0 0 0 88178 53 0 0 25 0 4 0 651062443 614621184 104373 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=600216 CPUtime=882.31 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 198861 0 0 0 88154 77 0 0 25 0 4 0 651062443 614621184 104373 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.9
Current children cumulated vsize (KiB) 600216

[startup+942.301 s]
/proc/loadavg: 4.45 6.60 7.26 5/383 27589
/proc/meminfo: memFree=26622516/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=600488 CPUtime=3757.1 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 574679 0 0 0 375459 251 0 0 25 0 4 0 651062443 614899712 109688 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 150122 109688 392 112 0 145087 0
[pid=27542/tid=27543] ppid=27540 vsize=600488 CPUtime=930.18 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 142764 0 0 0 92939 79 0 0 25 0 4 0 651062443 614899712 109688 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=600488 CPUtime=942.29 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 159029 0 0 0 94170 59 0 0 25 0 4 0 651062443 614899712 109688 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=600488 CPUtime=942.29 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 206975 0 0 0 94148 81 0 0 25 0 4 0 651062443 614899712 109688 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.1
Current children cumulated vsize (KiB) 600488

[startup+1002.3 s]
/proc/loadavg: 4.23 6.14 7.05 5/383 27590
/proc/meminfo: memFree=26587404/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=678468 CPUtime=3996.33 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 598929 0 0 0 399369 264 0 0 25 0 4 0 651062443 694751232 118203 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 169617 118203 392 112 0 164582 0
[pid=27542/tid=27543] ppid=27540 vsize=678468 CPUtime=989.42 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 152895 0 0 0 98858 84 0 0 25 0 4 0 651062443 694751232 118203 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=678468 CPUtime=1002.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 166510 0 0 0 100166 64 0 0 25 0 4 0 651062443 694751232 118203 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=678468 CPUtime=1002.29 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 213489 0 0 0 100143 86 0 0 25 0 4 0 651062443 694751232 118203 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3996.33
Current children cumulated vsize (KiB) 678468

[startup+1062.3 s]
/proc/loadavg: 4.14 5.76 6.87 5/383 27592
/proc/meminfo: memFree=26602520/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=753624 CPUtime=4235.58 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 612124 0 0 0 423283 275 0 0 25 0 4 0 651062443 771710976 114855 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 188406 114855 392 112 0 183371 0
[pid=27542/tid=27543] ppid=27540 vsize=753624 CPUtime=1048.66 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 153615 0 0 0 104782 84 0 0 25 0 4 0 651062443 771710976 114855 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=753624 CPUtime=1062.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 170858 0 0 0 106162 68 0 0 25 0 4 0 651062443 771710976 114855 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=753624 CPUtime=1062.3 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 221556 0 0 0 106138 92 0 0 25 0 4 0 651062443 771710976 114855 33554432000 4194304 4650419 140733439113440 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4235.58
Current children cumulated vsize (KiB) 753624

[startup+1122.3 s]
/proc/loadavg: 4.11 5.45 6.69 5/383 27593
/proc/meminfo: memFree=26550800/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=757624 CPUtime=4474.81 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 632134 0 0 0 447197 284 0 0 25 0 4 0 651062443 775806976 127332 33554432000 4194304 4650419 140733439113440 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 189406 127332 392 112 0 184371 0
[pid=27542/tid=27543] ppid=27540 vsize=757624 CPUtime=1107.89 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 154060 0 0 0 110705 84 0 0 25 0 4 0 651062443 775806976 127332 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=757624 CPUtime=1122.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 180417 0 0 0 112157 73 0 0 25 0 4 0 651062443 775806976 127332 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=757624 CPUtime=1122.3 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 230064 0 0 0 112135 95 0 0 25 0 4 0 651062443 775806976 127332 33554432000 4194304 4650419 140733439113440 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4474.81
Current children cumulated vsize (KiB) 757624

[startup+1182.3 s]
/proc/loadavg: 4.10 5.20 6.52 5/383 27595
/proc/meminfo: memFree=26577548/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=757124 CPUtime=4714.06 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 649410 0 0 0 471114 292 0 0 25 0 4 0 651062443 775294976 120821 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 189281 120821 392 112 0 184246 0
[pid=27542/tid=27543] ppid=27540 vsize=757124 CPUtime=1167.14 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 154786 0 0 0 116630 84 0 0 25 0 4 0 651062443 775294976 120821 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=757124 CPUtime=1182.3 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 186251 0 0 0 118152 78 0 0 25 0 4 0 651062443 775294976 120821 33554432000 4194304 4650419 140733439113440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=757124 CPUtime=1182.3 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 238516 0 0 0 118134 96 0 0 25 0 4 0 651062443 775294976 120821 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4714.06
Current children cumulated vsize (KiB) 757124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 4.07 5.12 6.47 5/383 27596
/proc/meminfo: memFree=26562044/32950928 swapFree=44388876/67111528
[pid=27542] ppid=27540 vsize=825276 CPUtime=4800.22 cores=1,3,5,7
/proc/27542/stat : 27542 (strangenight1-m) R 27540 27542 26816 0 -1 4202496 657677 0 0 0 479725 297 0 0 25 0 4 0 651062443 845082624 124776 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27542/statm: 206319 124776 392 112 0 201284 0
[pid=27542/tid=27543] ppid=27540 vsize=825276 CPUtime=1188.46 cores=1,3,5,7
/proc/27542/task/27543/stat : 27543 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 154786 0 0 0 118762 84 0 0 25 0 4 0 651062443 845082624 124776 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27542/tid=27544] ppid=27540 vsize=825276 CPUtime=1203.92 cores=1,3,5,7
/proc/27542/task/27544/stat : 27544 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 187033 0 0 0 120313 79 0 0 25 0 4 0 651062443 845082624 124776 33554432000 4194304 4650419 140733439113440 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27542/tid=27545] ppid=27540 vsize=825276 CPUtime=1203.92 cores=1,3,5,7
/proc/27542/task/27545/stat : 27545 (strangenight1-m) R 27540 27542 26816 0 -1 4202560 241983 0 0 0 120295 97 0 0 25 0 4 0 651062443 845082624 124776 33554432000 4194304 4650419 140733439113440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 825276

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.94
CPU time (s): 4800.27
CPU user time (s): 4797.28
CPU system time (s): 2.99154
CPU usage (%): 398.714
Max. virtual memory (cumulated for all children) (KiB): 825276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.28
system time used= 2.99154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657677
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= 548
involuntary context switches= 34982

runsolver used 4.26235 second user time and 11.2263 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-14 19:37:17
IDJOB=3368497
IDBENCH=82506
IDSOLVER=1846
FILE ID=node126/3368497-1305394637
RUNJOBID= node126-1305393430-27365
PBS_JOBID= 13324434
Free space on /tmp= 73316 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368497-1305394637/watcher-3368497-1305394637 -o /tmp/evaluation-result-3368497-1305394637/solver-3368497-1305394637 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368497-1305394637.cnf

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

MD5SUM BENCH= dc0028248c86c8aff67bef1f8d7ffb16
RANDOM SEED=1917156042

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26127576 kB
Buffers:        252100 kB
Cached:        2437928 kB
SwapCached:      92524 kB
Active:        1659924 kB
Inactive:      4911488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26127576 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:            6620 kB
Writeback:           0 kB
AnonPages:     3801708 kB
Mapped:          15936 kB
Slab:           108952 kB
PageTables:      77612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 89214304 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= 73320 MiB
End job on node126 at 2011-05-14 19:57:23