Trace number 3368848

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.29 1205.04

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
MD5SUMe68176dd0214c3858ad791ec08d1acee
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 variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368848-1305404373.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.37/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.77/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.20	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.20	c calculated reachability. Time: 0.00
0.77/0.20	c Calc default polars -  time:   0.00 s pos:      41 undec:       2 neg:      37
0.77/0.20	c =========================================================================================
0.77/0.20	c types(t): F = full restart, N = normal restart
0.77/0.20	c types(t): S = simplification begin/end, E = solution found
0.77/0.20	c restart types(rt): st = static, dy = dynamic
0.77/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.34	c  N dy     7      4479        80      7120         0      4121     49840    112210     22.44     23.77  --
2.36/0.63	c  N dy    25     11881        80      7120         0      4692     49840    103274     22.49     23.79  --
3.16/0.86	c  N dy    26     17128        80      7120         0      9467     49840    227924     22.11     23.28  --
4.00/1.05	c  N dy    61     21201        80      7120         0      8080     49840    183011     22.62     23.98  --
4.76/1.23	c  F st    67     25001        80      7120         0     11548     49840    274796     22.57   no data  --
4.76/1.25	c  N st    68     25252        80      7120         0     11776     49840    281062     22.57   no data  --
5.56/1.46	c  N dy    73     30001        80      7120         0      9873     49840    216129     22.57   no data  --
5.56/1.46	c  S st    73     30001        80      7120         0      9873     49840    216129     22.57   no data  --
5.96/1.50	c  S st    73     30502        80      7120         0     10344     49840    228747     22.57   no data  --
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.94/2.57	c lits-rem:      1480  cl-subs:      782  v-elim:      0  v-fix:    0  time:  4.23 s
11.54/2.91	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
11.54/2.91	c calculated reachability. Time: 0.00
11.54/2.91	c  N dy    73     30502        80      7120         0      9562     49840    203746     22.57   no data  --
12.35/3.14	c  N dy    88     34612        80      7120         0     13331     49840    304484     22.64     23.85  --
13.19/3.37	c  N dy   111     38658        80      7120         0      9851     49840    197749     22.79     24.02  --
14.33/3.61	c  N dy   128     42892        80      7120         0     13739     49840    301575     22.86     24.13  --
15.12/3.81	c  S st   144     45753        80      7120         0     16379     49840    373663     22.95     23.12  --
15.12/3.86	c  S st   144     46257        80      7120         0      8656     49840    150904     22.95   no data  --
15.12/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.12/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.12/3.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.93/4.69	c lits-rem:       162  cl-subs:       52  v-elim:      0  v-fix:    0  time:  2.77 s
17.93/4.69	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
17.93/4.69	c vivif2 --  cl tried     8604 cl shrink        0 lits rem          0 time: 0.00
18.90/4.97	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.89
18.90/4.97	c calculated reachability. Time: 0.00
18.90/4.97	c  N dy   144     46257        80      7120         0      8604     49840    149020     22.95   no data  --
19.83/5.26	c  N dy   149     51268        80      7120         0     13206     49840    272375     22.89     24.17  --
20.85/5.54	c  N dy   165     55664        80      7120         0     17243     49840    381331     22.94     24.23  --
22.49/6.00	c  N dy   190     63396        80      7120         0     15221     49840    310984     22.96     24.17  --
23.85/6.40	c  N dy   201     69386        80      7120         0     10603     49840    172231     22.89     20.32  --
23.85/6.40	c  S st   201     69386        80      7120         0     10603     49840    172231     22.89     20.32  --
23.85/6.44	c  S st   201     69897        80      7120         0     11081     49840    185139     22.89   no data  --
23.85/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.85/6.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.85/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.85/6.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.85/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.85/6.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
23.85/6.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.77/7.34	c lits-rem:       307  cl-subs:      170  v-elim:      0  v-fix:    0  time:  2.86 s
26.77/7.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
26.77/7.34	c vivif2 --  cl tried    10911 cl shrink        0 lits rem          0 time: 0.01
27.82/7.67	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.08
27.82/7.67	c calculated reachability. Time: 0.00
27.82/7.67	c  N dy   201     69897        80      7120         0     10911     49840    180166     22.89   no data  --
28.90/7.94	c  N dy   214     74386        80      7120         0     14979     49840    288318     22.90     24.47  --
30.47/8.35	c  N dy   237     80154        80      7120         0     20291     49840    432979     22.96     24.19  --
31.67/8.70	c  N dy   255     85409        80      7120         0     14148     49840    254940     23.00     24.24  --
32.51/8.84	c  F st   267     87500        80      7120         0     16052     49840    306285     23.02     22.30  --
33.66/9.18	c  N dy   273     92697        80      7120         0     20820     49840    436913     23.02   no data  --
37.63/10.11	c  N dy   293    104845        80      7120         0     20001     49840    391719     22.94     22.25  --
37.63/10.11	c  S st   293    104845        80      7120         0     20001     49840    391719     22.94     22.25  --
37.63/10.17	c  S st   293    105345        80      7120         0     20483     49840    404869     22.94   no data  --
37.63/10.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.63/10.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.63/10.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
38.03/10.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.03/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.03/10.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
38.03/10.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.25/12.01	c lits-rem:      1893  cl-subs:     1942  v-elim:      0  v-fix:    0  time:  7.22 s
45.25/12.01	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
45.25/12.02	c vivif2 --  cl tried    18541 cl shrink        0 lits rem          0 time: 0.01
46.40/12.36	c asymm  cl-useful: 0/5036/7120 lits-rem:0 time: 1.40
46.40/12.37	c calculated reachability. Time: 0.00
46.40/12.37	c  N dy   293    105345        80      7120         0     18541     49840    351613     22.94   no data  --
48.80/12.94	c  N dy   326    112624        80      7120         0     25235     49840    532405     22.98     24.34  --
60.35/15.87	c  N dy   329    150593        80      7120         0     18732     49840    319536     22.44     23.70  --
63.19/16.52	c  S st   373    158019        80      7120         0     25566     49840    502948     22.49   no data  --
63.19/16.59	c  S st   373    158522        80      7120         0     26037     49840    516207     22.49   no data  --
63.19/16.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.19/16.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.53/16.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.53/16.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.53/16.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.53/16.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
63.53/16.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.12/18.59	c lits-rem:      1839  cl-subs:     2232  v-elim:      0  v-fix:    0  time:  7.87 s
71.12/18.59	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
71.12/18.60	c vivif2 --  cl tried    23805 cl shrink        0 lits rem          0 time: 0.02
71.97/18.79	c asymm  cl-useful: 0/1785/7120 lits-rem:0 time: 0.77
71.97/18.79	c calculated reachability. Time: 0.00
71.97/18.79	c  N dy   373    158522        80      7120         0     23805     49840    453251     22.49   no data  --
75.94/19.72	c  N dy   392    168980        80      7120         0     17969     49840    285187     22.46     23.67  --
84.71/21.95	c  N dy   412    197128        80      7120         0     27200     49840    516914     22.27     23.52  --
90.25/23.33	c  N dy   503    209800        80      7120         0     21576     49840    354905     22.38     25.63  --
97.04/25.08	c  N dy   552    227025        80      7120         0     19020     49840    267208     22.36     23.60  --
101.82/26.22	c  S st   644    237783        80      7120         0     28972     49840    539057     22.46     22.18  --
101.82/26.30	c  S st   644    238287        80      7120         0     29439     49840    551912     22.46   no data  --
101.82/26.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.82/26.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
101.82/26.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
102.26/26.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.26/26.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.26/26.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
102.26/26.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.37/29.12	c lits-rem:      2173  cl-subs:     1812  v-elim:      0  v-fix:    0  time: 11.14 s
113.37/29.12	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
113.37/29.13	c vivif2 --  cl tried    27627 cl shrink        0 lits rem          0 time: 0.02
114.17/29.34	c asymm  cl-useful: 0/1949/7120 lits-rem:0 time: 0.86
114.17/29.34	c calculated reachability. Time: 0.00
114.17/29.34	c  N dy   644    238287        80      7120         0     27627     49840    495957     22.46   no data  --
120.95/31.08	c  N dy   730    253561        80      7120         0     22473     49840    344666     22.54     25.45  --
128.13/32.90	c  N dy   848    269765        80      7120         0     37441     49840    752649     22.65     25.04  --
135.29/34.62	c  N dy   891    287260        80      7120         0     33276     49840    613657     22.64     24.30  --
143.67/36.72	c  F st   978    306251        80      7120         0     29615     49840    504407     22.68     21.87  --
143.67/36.72	c  N st   978    306251        80      7120         0     29615     49840    504407     22.68     21.87  --
153.63/39.24	c  N dy  1051    328588        80      7120         0     28096     49840    451094     22.71     24.15  --
164.39/41.92	c  N dy  1129    350781        80      7120         0     25494     49840    362280     22.73     23.96  --
166.79/42.58	c  S st  1155    357430        80      7120         0     31602     49840    524819     22.73     20.66  --
167.19/42.67	c  S st  1155    357935        80      7120         0     32075     49840    537722     22.73   no data  --
167.19/42.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
167.19/42.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.19/42.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
167.59/42.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.59/42.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.59/42.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
167.59/42.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
177.20/45.11	c lits-rem:      1585  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  9.60 s
177.20/45.11	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
177.20/45.12	c vivif2 --  cl tried    30145 cl shrink        0 lits rem          0 time: 0.02
177.94/45.32	c asymm  cl-useful: 0/1564/7120 lits-rem:0 time: 0.80
177.94/45.32	c calculated reachability. Time: 0.00
177.94/45.32	c  N dy  1155    357935        80      7120         0     30145     49840    483905     22.73   no data  --
189.94/48.36	c  N dy  1246    378918        80      7120         0     25601     49840    347816     22.77     24.22  --
202.67/51.55	c  N dy  1343    399012        80      7120         0     44075     49840    846219     22.82     24.08  --
215.41/54.75	c  N dy  1406    423474        80      7120         0     41717     49840    756955     22.79     24.02  --
238.16/60.45	c  N dy  1440    471548        80      7120         0     33273     49840    503329     22.56     23.83  --
261.25/66.27	c  N dy  1555    516768        80      7120         0     47178     49840    856013     22.53     23.78  --
274.00/69.41	c  N dy  1663    536903        80      7120         0     37383     49840    591800     22.57     20.03  --
274.00/69.41	c  S st  1663    536903        80      7120         0     37383     49840    591800     22.57     20.03  --
274.40/69.51	c  S st  1663    537408        80      7120         0     37854     49840    604641     22.57   no data  --
274.40/69.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.40/69.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.40/69.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
274.40/69.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.40/69.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.40/69.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
274.40/69.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
288.35/73.02	c lits-rem:      1813  cl-subs:     1976  v-elim:      0  v-fix:    0  time: 13.86 s
288.35/73.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
288.35/73.03	c vivif2 --  cl tried    35878 cl shrink        0 lits rem          0 time: 0.02
289.15/73.24	c asymm  cl-useful: 0/1314/7120 lits-rem:0 time: 0.85
289.15/73.24	c calculated reachability. Time: 0.00
289.15/73.24	c  N dy  1663    537408        80      7120         0     35878     49840    548917     22.57   no data  --
302.31/76.51	c  N dy  1769    558606        80      7120         0     55361     49840   1073624     22.61     23.82  --
314.27/79.59	c  N dy  1898    578670        80      7120         0     44595     49840    772561     22.65     24.24  --
329.03/83.26	c  N dy  1965    601131        80      7120         0     34929     49840    487424     22.65     23.85  --
341.77/86.48	c  N dy  2081    621231        80      7120         0     53341     49840    985259     22.69     25.36  --
354.93/89.71	c  N dy  2148    642596        80      7120         0     41813     49840    660531     22.70     23.99  --
372.07/94.08	c  N dy  2263    663933        80      7120         0     61388     49840   1183691     22.72     24.18  --
410.73/103.73	c  N dy  2377    728071        80      7120         0     54648     49840    955111     22.61     23.85  --
427.87/108.04	c  N dy  2484    750488        80      7120         0     41548     49840    602362     22.62     23.84  --
453.02/114.38	c  N dy  2600    788957        80      7120         0     42017     49840    597527     22.62     23.92  --
464.15/117.18	c  S st  2658    806112        80      7120         0     57654     49840   1015093     22.62     23.92  --
464.95/117.34	c  S st  2658    806619        80      7120         0     58131     49840   1027821     22.62   no data  --
464.95/117.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
464.95/117.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
464.95/117.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
465.35/117.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
465.35/117.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.35/117.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
465.35/117.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
500.03/126.15	c lits-rem:      2743  cl-subs:     5237  v-elim:      0  v-fix:    0  time: 34.82 s
500.03/126.15	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
500.03/126.16	c vivif2 --  cl tried    52894 cl shrink        0 lits rem          0 time: 0.04
501.26/126.44	c asymm  cl-useful: 0/916/7120 lits-rem:0 time: 1.10
501.26/126.45	c calculated reachability. Time: 0.00
501.26/126.45	c  N dy  2658    806619        80      7120         0     52894     49840    888713     22.62   no data  --
519.96/131.14	c  N dy  2736    826695        80      7120         0     35899     49840    428729     22.63     23.92  --
533.51/134.54	c  N dy  2876    846874        80      7120         0     54483     49840    934799     22.67     23.94  --
551.04/138.94	c  N dy  2962    866949        80      7120         0     72904     49840   1429523     22.68     25.31  --
566.19/142.74	c  N dy  3077    889020        80      7120         0     56601     49840    970965     22.70     23.91  --
583.74/147.12	c  N dy  3145    909039        80      7120         0     74890     49840   1456835     22.70     24.95  --
596.89/150.49	c  N dy  3252    929300        80      7120         0     55978     49840    935433     22.72     23.99  --
616.01/155.20	c  N dy  3381    949345        80      7120         0     74394     49840   1437905     22.75     25.83  --
630.37/158.83	c  N dy  3469    969827        80      7120         0     54733     49840    880244     22.76     24.04  --
647.51/163.10	c  N dy  3543    989851        80      7120         0     73120     49840   1374634     22.77     24.00  --
662.66/166.97	c  N dy  3630   1009980        80      7120         0     52122     49840    795351     22.78     24.03  --
679.81/171.23	c  N dy  3694   1031308        80      7120         0     71649     49840   1314867     22.77     23.97  --
698.98/176.08	c  N dy  3765   1056108        80      7120         0     53900     49840    819027     22.77     24.08  --
711.30/179.15	c  F st  3806   1071877        80      7120         0     68226     49840   1199581     22.77     23.07  --
715.68/180.26	c  N dy  3812   1077071        80      7120         0     72959     49840   1328507     22.77   no data  --
736.01/185.35	c  N dy  3894   1100248        80      7120         0     53069     49840    786701     22.77     24.01  --
753.54/189.76	c  N dy  4001   1120339        80      7120         0     71397     49840   1282145     22.79     24.98  --
772.68/194.57	c  N dy  4068   1140457        80      7120         0     47777     49840    628407     22.79     24.03  --
794.61/200.10	c  N dy  4205   1162631        80      7120         0     68195     49840   1187727     22.82     24.11  --
822.90/207.11	c  N dy  4346   1183347        80      7120         0     44198     49840    515506     22.85     24.06  --
849.61/213.82	c  N dy  4459   1209928        80      7120         0     68542     49840   1173683     22.86     22.42  --
849.61/213.82	c  S st  4459   1209928        80      7120         0     68542     49840   1173683     22.86     22.42  --
850.81/214.10	c  S st  4459   1210432        80      7120         0     69011     49840   1186507     22.86   no data  --
850.81/214.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
850.81/214.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
850.81/214.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
850.81/214.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.81/214.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.81/214.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
850.81/214.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
928.10/233.57	c lits-rem:      2710  cl-subs:     5321  v-elim:      0  v-fix:    0  time: 77.19 s
928.10/233.57	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
928.10/233.58	c vivif2 --  cl tried    63690 cl shrink        0 lits rem          0 time: 0.06
929.71/233.97	c asymm  cl-useful: 0/779/7120 lits-rem:0 time: 1.53
929.71/233.97	c calculated reachability. Time: 0.00
929.71/233.97	c  N dy  4459   1210432        80      7120         0     63690     49840   1036135     22.86   no data  --
950.83/239.21	c  N dy  4558   1230502        80      7120         0     82059     49840   1535026     22.87     24.73  --
967.57/243.42	c  N dy  4640   1251023        80      7120         0     57125     49840    854972     22.88     24.14  --
992.74/249.73	c  N dy  4759   1273071        80      7120         0     77365     49840   1406615     22.90     24.30  --
1016.20/255.66	c  N dy  4845   1293135        80      7120         0     50945     49840    671100     22.90     25.32  --
1036.58/260.72	c  N dy  4950   1313200        80      7120         0     69405     49840   1174567     22.92     24.29  --
1061.64/267.09	c  N dy  5045   1333283        80      7120         0     87734     49840   1668636     22.93     24.20  --
1097.56/276.08	c  N dy  5151   1373502        80      7120         0     78589     49840   1387818     22.92     24.15  --
1119.88/281.64	c  N dy  5231   1393558        80      7120         0     50364     49840    621395     22.92     26.52  --
1134.98/285.47	c  N dy  5276   1415750        80      7120         0     70637     49840   1166938     22.92     24.15  --
1155.70/290.62	c  N dy  5340   1435832        80      7120         0     89019     49840   1662567     22.92     25.00  --
1173.65/295.13	c  N dy  5403   1455840        80      7120         0     59863     49840    861680     22.92     26.06  --
1193.18/300.04	c  N dy  5497   1476037        80      7120         0     78418     49840   1365686     22.93     24.22  --
1213.50/305.11	c  N dy  5526   1496055        80      7120         0     96693     49840   1851870     22.92     24.23  --
1231.05/309.53	c  N dy  5608   1518220        80      7120         0     68456     49840   1077907     22.93     24.17  --
1254.97/315.52	c  N dy  5627   1542959        80      7120         0     90752     49840   1659988     22.91     24.24  --
1275.69/320.72	c  N dy  5721   1563216        80      7120         0     60024     49840    835900     22.92     24.13  --
1293.63/325.24	c  N dy  5797   1583245        80      7120         0     78266     49840   1329202     22.93     24.43  --
1323.13/332.68	c  N dy  5859   1612451        80      7120         0     54666     49840    671225     22.92     24.20  --
1340.27/336.93	c  N dy  5947   1632461        80      7120         0     73018     49840   1169864     22.92     24.16  --
1364.58/343.02	c  N dy  6068   1652477        80      7120         0     91356     49840   1672243     22.94     25.74  --
1395.28/350.73	c  N dy  6146   1682577        80      7120         0     67572     49840   1001573     22.94     24.26  --
1423.18/357.77	c  N dy  6228   1704233        80      7120         0     87386     49840   1533678     22.94     24.22  --
1433.54/360.33	c  S st  6268   1710432        80      7120         0     93095     49840   1690091     22.95   no data  --
1434.74/360.67	c  S st  6268   1710937        80      7120         0     93555     49840   1702554     22.95   no data  --
1434.74/360.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1434.74/360.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1435.17/360.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1435.17/360.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1435.17/360.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1435.17/360.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1435.17/360.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1597.81/401.59	c lits-rem:      6492  cl-subs:     9214  v-elim:      0  v-fix:    0  time: 162.58 s
1597.81/401.59	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1598.15/401.61	c vivif2 --  cl tried    84341 cl shrink        0 lits rem          0 time: 0.08
1599.75/402.03	c asymm  cl-useful: 0/591/7120 lits-rem:0 time: 1.64
1599.75/402.03	c calculated reachability. Time: 0.00
1599.75/402.03	c  N dy  6268   1710937        80      7120         0     84341     49840   1445780     22.95   no data  --
1630.45/409.78	c  N dy  6330   1732976        80      7120         0     52824     49840    596722     22.94     24.21  --
1650.41/414.76	c  N dy  6382   1753497        80      7120         0     71440     49840   1098268     22.94     24.24  --
1679.86/422.17	c  N dy  6437   1774803        80      7120         0     90902     49840   1620491     22.94     24.15  --
1713.33/430.55	c  N dy  6517   1795378        80      7120         0     57053     49840    694228     22.94     24.17  --
1738.45/436.86	c  N dy  6626   1815392        80      7120         0     75427     49840   1196893     22.96     25.67  --
1767.55/444.14	c  N dy  6711   1835544        80      7120         0     93885     49840   1701086     22.96     24.25  --
1797.84/451.79	c  N dy  6794   1855629        80      7120         0     58447     49840    712113     22.97     25.97  --
1821.75/457.71	c  N dy  6881   1878933        80      7120         0     79717     49840   1288998     22.97     24.24  --
1852.84/465.53	c  N dy  6965   1900921        80      7120         0     99741     49840   1830755     22.98     24.21  --
1877.99/471.90	c  N dy  7026   1920943        80      7120         0     63227     49840    828769     22.98     25.66  --
1905.06/478.65	c  N dy  7131   1943173        80      7120         0     83584     49840   1381443     22.99     24.23  --
1933.77/485.89	c  N dy  7206   1963211        80      7120         0    101877     49840   1873808     22.99     24.24  --
1974.04/495.95	c  N dy  7328   2001490        80      7120         0     80890     49840   1277685     22.99     24.28  --
1999.94/502.45	c  N dy  7432   2021525        80      7120         0     99228     49840   1777738     23.00     24.21  --
2028.62/509.67	c  N dy  7457   2050581        80      7120         0     69195     49840    947890     22.97     24.19  --
2052.15/515.51	c  N dy  7539   2072086        80      7120         0     88868     49840   1479105     22.97     24.29  --
2079.26/522.40	c  N dy  7612   2092641        80      7120         0    107624     49840   1985955     22.98     24.34  --
2103.97/528.52	c  N dy  7680   2112787        80      7120         0     68535     49840    914519     22.97     24.45  --
2127.10/534.35	c  N dy  7796   2132910        80      7120         0     87004     49840   1419359     22.98     24.28  --
2152.61/540.71	c  N dy  7855   2153889        80      7120         0    106119     49840   1936040     22.98     24.20  --
2198.08/552.18	c  N dy  7982   2191509        80      7120         0     81860     49840   1251769     22.98     24.26  --
2223.16/558.41	c  S st  8057   2210937        80      7120         0     99632     49840   1732368     22.98     22.20  --
2224.39/558.72	c  S st  8057   2211440        80      7120         0    100105     49840   1745541     22.98   no data  --
2224.39/558.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2224.39/558.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2224.39/558.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2224.81/558.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2224.81/558.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2224.81/558.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2224.81/558.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2572.32/646.00	c lits-rem:      3438  cl-subs:     9673  v-elim:      0  v-fix:    0  time: 347.32 s
2572.32/646.00	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2572.32/646.02	c vivif2 --  cl tried    90432 cl shrink        0 lits rem          0 time: 0.08
2573.52/646.35	c asymm  cl-useful: 0/770/7120 lits-rem:0 time: 1.32
2573.52/646.36	c calculated reachability. Time: 0.00
2573.52/646.36	c  N dy  8057   2211440        80      7120         0     90432     49840   1486201     22.98   no data  --
2606.25/654.55	c  N dy  8107   2231897        80      7120         0    109106     49840   1987272     22.98     24.21  --
2632.56/661.16	c  N dy  8128   2253279        80      7120         0     69651     49840    920104     22.97     24.47  --
2669.18/670.39	c  N dy  8129   2286207        80      7120         0     99302     49840   1674672     22.94     24.23  --
2708.24/680.10	c  N dy  8248   2307329        80      7120         0    118620     49840   2203262     22.95     24.16  --
2733.40/686.44	c  N dy  8337   2328118        80      7120         0     77860     49840   1138246     22.95     24.21  --
2783.98/699.14	c  N dy  8408   2369000        80      7120         0    114813     49840   2125637     22.94     24.16  --
2815.88/707.13	c  N dy  8535   2389898        80      7120         0     73260     49840   1001953     22.95     24.27  --
2842.19/713.80	c  N dy  8641   2409955        80      7120         0     91609     49840   1505057     22.96     24.47  --
2876.07/722.27	c  N dy  8727   2430146        80      7120         0    110131     49840   2008869     22.97     24.20  --
2914.73/731.92	c  N dy  8850   2450239        80      7120         0     66490     49840    792844     22.98     24.62  --
2940.63/738.48	c  N dy  8912   2470321        80      7120         0     84818     49840   1288836     22.98     24.59  --
2972.53/746.44	c  N dy  8977   2490415        80      7120         0    103171     49840   1782369     22.98     24.27  --
3011.19/756.18	c  N dy  9072   2510483        80      7120         0    121496     49840   2281079     22.99     24.58  --
3041.88/763.85	c  N dy  9195   2530579        80      7120         0     76895     49840   1064081     23.00     24.23  --
3072.57/771.59	c  N dy  9307   2553337        80      7120         0     97637     49840   1627134     23.00     24.26  --
3101.71/778.85	c  N dy  9378   2573360        80      7120         0    115952     49840   2121961     23.00     24.26  --
3142.32/789.05	c  N dy  9449   2606560        80      7120         0     82183     49840   1171323     22.99     24.33  --
3169.42/795.88	c  N dy  9559   2626879        80      7120         0    100780     49840   1679081     23.00     24.22  --
3201.72/803.96	c  N dy  9635   2648522        80      7120         0    120536     49840   2216425     23.01     24.22  --
3232.42/811.66	c  N dy  9726   2668527        80      7120         0     74077     49840    954735     23.01     25.73  --
3259.90/818.58	c  N dy  9831   2688690        80      7120         0     92565     49840   1460233     23.02     24.33  --
3289.39/825.90	c  N dy  9881   2708761        80      7120         0    110847     49840   1950804     23.02     25.61  --
3294.21/827.15	c  S st  9904   2711440        80      7120         0    113297     49840   2018318     23.02   no data  --
3295.36/827.48	c  S st  9904   2711941        80      7120         0    113763     49840   2031320     23.02   no data  --
3295.36/827.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3295.36/827.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3295.77/827.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3296.16/827.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3296.16/827.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3296.16/827.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3296.16/827.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3861.71/969.54	c lits-rem:      7260  cl-subs:     9954  v-elim:      0  v-fix:    0  time: 565.47 s
3861.71/969.54	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3861.71/969.57	c vivif2 --  cl tried   103809 cl shrink        0 lits rem          0 time: 0.11
3863.71/970.08	c asymm  cl-useful: 0/544/7120 lits-rem:0 time: 2.06
3863.71/970.08	c calculated reachability. Time: 0.00
3863.71/970.08	c  N dy  9904   2711941        80      7120         0    103809     49840   1746772     23.02   no data  --
3910.74/981.85	c  N dy  9955   2734776        80      7120         0    124608     49840   2303830     23.01     24.33  --
3950.59/991.80	c  N dy 10079   2754804        80      7120         0     77670     49840   1043278     23.02     25.43  --
3983.26/1000.09	c  N dy 10173   2774879        80      7120         0     96083     49840   1545487     23.03     24.36  --
4025.50/1010.68	c  N dy 10257   2796665        80      7120         0    115979     49840   2087511     23.03     24.25  --
4096.04/1028.40	c  N dy 10352   2839704        80      7120         0     88472     49840   1287233     23.01     24.28  --
4136.34/1038.43	c  N dy 10417   2862954        80      7120         0    109606     49840   1855094     23.01     24.30  --
4170.99/1047.21	c  N dy 10454   2883220        80      7120         0    127947     49840   2345797     23.01     24.29  --
4210.44/1057.02	c  N dy 10552   2903274        80      7120         0     79098     49840   1052513     23.01     25.29  --
4251.03/1067.22	c  N dy 10642   2923327        80      7120         0     97420     49840   1551001     23.02     25.60  --
4296.47/1078.66	c  N dy 10731   2943592        80      7120         0    115899     49840   2053571     23.02     24.27  --
4350.26/1092.16	c  N dy 10803   2966221        80      7120         0    136551     49840   2613233     23.02     24.34  --
4384.13/1100.69	c  N dy 10885   2986258        80      7120         0     86590     49840   1233304     23.03     25.81  --
4423.20/1110.48	c  N dy 10974   3006275        80      7120         0    104888     49840   1732251     23.03     25.21  --
4469.48/1122.04	c  N dy 11005   3032282        80      7120         0    128415     49840   2353511     23.02     24.24  --
4567.84/1146.71	c  N dy 11068   3095590        80      7120         0    116185     49840   1967314     22.99     24.23  --
4641.97/1165.40	c  N dy 11131   3141262        80      7120         0     87711     49840   1211703     22.96     24.31  --
4689.40/1177.28	c  N dy 11235   3172768        80      7120         0    116426     49840   1978617     22.96     24.25  --
4728.45/1187.03	c  N dy 11261   3198054        80      7120         0    139372     49840   2585358     22.95     24.47  --
4748.39/1192.06	c  S st 11343   3211943        80      7120         0     81390     49840   1050977     22.96     22.68  --
4749.19/1192.30	c  S st 11343   3212445        80      7120         0     81858     49840   1064010     22.96   no data  --
4749.19/1192.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4749.19/1192.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4749.62/1192.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
4749.62/1192.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4749.62/1192.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4749.62/1192.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4749.62/1192.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3368848-1305404373/watcher-3368848-1305404373 -o /tmp/evaluation-result-3368848-1305404373/solver-3368848-1305404373 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368848-1305404373.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.41 7.96 8.04 6/400 28747
/proc/meminfo: memFree=24246408/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 417 0 0 0 2 0 0 0 20 0 4 0 652035971 52465664 357 33554432000 4194304 4650419 140734894858880 18446744073709551615 47081285064217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 12809 357 306 112 0 7774 0
[pid=28744/tid=28748] ppid=28742 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 4 0 0 0 1 0 0 0 21 0 4 0 652035971 52465664 357 33554432000 4194304 4650419 140734894858880 18446744073709551615 47081285064217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 652035971 52465664 357 33554432000 4194304 4650419 140734894858880 18446744073709551615 47081285064626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652035971 52465664 357 33554432000 4194304 4650419 140734894858880 18446744073709551615 47081285064217 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.062352 s]
/proc/loadavg: 7.41 7.96 8.04 6/400 28747
/proc/meminfo: memFree=24246408/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=281920 CPUtime=0.22 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 1439 0 0 0 22 0 0 0 18 0 4 0 652035971 288686080 1354 33554432000 4194304 4650419 140734894858880 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 70480 1354 366 112 0 65445 0
[pid=28744/tid=28748] ppid=28742 vsize=281920 CPUtime=0.05 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 244 0 0 0 5 0 0 0 18 0 4 0 652035971 288686080 1354 33554432000 4194304 4650419 140734894858880 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=281920 CPUtime=0.04 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 233 0 0 0 4 0 0 0 22 0 4 0 652035971 288686080 1354 33554432000 4194304 4650419 140734894858880 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=281920 CPUtime=0.05 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 305 0 0 0 5 0 0 0 18 0 4 0 652035971 288686080 1354 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 281920

[startup+0.100345 s]
/proc/loadavg: 7.41 7.96 8.04 6/400 28747
/proc/meminfo: memFree=24246408/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=282052 CPUtime=0.37 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 1518 0 0 0 37 0 0 0 18 0 4 0 652035971 288821248 1433 33554432000 4194304 4650419 140734894858880 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 70513 1433 366 112 0 65478 0
[pid=28744/tid=28748] ppid=28742 vsize=282052 CPUtime=0.09 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 252 0 0 0 9 0 0 0 18 0 4 0 652035971 288821248 1433 33554432000 4194304 4650419 140734894858880 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=282052 CPUtime=0.08 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 242 0 0 0 8 0 0 0 22 0 4 0 652035971 288821248 1433 33554432000 4194304 4650419 140734894858880 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=282052 CPUtime=0.09 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 359 0 0 0 9 0 0 0 18 0 4 0 652035971 288821248 1433 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282052

[startup+0.300313 s]
/proc/loadavg: 7.41 7.96 8.04 6/400 28747
/proc/meminfo: memFree=24246408/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=285936 CPUtime=1.17 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 3898 0 0 0 117 0 0 0 18 0 4 0 652035971 292798464 3315 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 71484 3315 390 112 0 66449 0
[pid=28744/tid=28748] ppid=28742 vsize=285936 CPUtime=0.29 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 908 0 0 0 29 0 0 0 18 0 4 0 652035971 292798464 3315 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=285936 CPUtime=0.28 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 900 0 0 0 28 0 0 0 22 0 4 0 652035971 292798464 3315 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=285936 CPUtime=0.29 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 751 0 0 0 29 0 0 0 18 0 4 0 652035971 292798464 3315 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285936

[startup+0.700244 s]
/proc/loadavg: 7.41 7.96 8.04 6/400 28747
/proc/meminfo: memFree=24246408/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=287600 CPUtime=2.76 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 6296 0 0 0 276 0 0 0 18 0 4 0 652035971 294502400 3927 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 71900 3927 390 112 0 66865 0
[pid=28744/tid=28748] ppid=28742 vsize=287600 CPUtime=0.69 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 1555 0 0 0 69 0 0 0 18 0 4 0 652035971 294502400 3927 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=287600 CPUtime=0.68 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 1534 0 0 0 68 0 0 0 24 0 4 0 652035971 294502400 3927 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=287600 CPUtime=0.69 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 1252 0 0 0 69 0 0 0 18 0 4 0 652035971 294502400 3927 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 287600

[startup+1.50111 s]
/proc/loadavg: 7.41 7.96 8.04 9/405 28752
/proc/meminfo: memFree=24217356/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=288712 CPUtime=5.96 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 10172 0 0 0 595 1 0 0 19 0 4 0 652035971 295641088 4757 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 72178 4757 391 112 0 67143 0
[pid=28744/tid=28748] ppid=28742 vsize=288712 CPUtime=1.49 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 2540 0 0 0 149 0 0 0 19 0 4 0 652035971 295641088 4757 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=288712 CPUtime=1.47 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 2500 0 0 0 147 0 0 0 25 0 4 0 652035971 295641088 4757 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=288712 CPUtime=1.49 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 2218 0 0 0 149 0 0 0 20 0 4 0 652035971 295641088 4757 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288712

[startup+3.10083 s]
/proc/loadavg: 7.54 7.98 8.04 9/405 28752
/proc/meminfo: memFree=24187720/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=295460 CPUtime=12.35 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 19453 0 0 0 1232 3 0 0 24 0 4 0 652035971 302551040 12153 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 73865 12153 392 112 0 68830 0
[pid=28744/tid=28748] ppid=28742 vsize=295460 CPUtime=3.08 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 4239 0 0 0 308 0 0 0 24 0 4 0 652035971 302551040 12153 33554432000 4194304 4650419 140734894858880 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=295460 CPUtime=3.04 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 5326 0 0 0 304 0 0 0 25 0 4 0 652035971 302551040 12153 33554432000 4194304 4650419 140734894858880 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=295460 CPUtime=3.08 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 5368 0 0 0 308 0 0 0 25 0 4 0 652035971 302551040 12153 33554432000 4194304 4650419 140734894858880 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295460

[startup+6.30028 s]
/proc/loadavg: 7.54 7.98 8.04 9/405 28752
/proc/meminfo: memFree=24127500/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=304148 CPUtime=23.51 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 25902 0 0 0 2320 31 0 0 19 0 4 0 652035971 311447552 15114 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 76037 15114 392 112 0 71002 0
[pid=28744/tid=28748] ppid=28742 vsize=304148 CPUtime=6.28 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 7326 0 0 0 610 18 0 0 25 0 4 0 652035971 311447552 15114 33554432000 4194304 4650419 140734894858880 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=304148 CPUtime=5.32 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 5934 0 0 0 526 6 0 0 25 0 4 0 652035971 311447552 15114 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=304148 CPUtime=5.64 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 6707 0 0 0 560 4 0 0 19 0 4 0 652035971 311447552 15114 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.51
Current children cumulated vsize (KiB) 304148

[startup+12.7002 s]
/proc/loadavg: 7.83 8.03 8.06 9/405 28752
/proc/meminfo: memFree=24072552/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=315920 CPUtime=48 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 38553 0 0 0 4756 44 0 0 25 0 4 0 652035971 323502080 21043 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 78980 21043 392 112 0 73945 0
[pid=28744/tid=28748] ppid=28742 vsize=315920 CPUtime=12.02 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 10083 0 0 0 1176 26 0 0 25 0 4 0 652035971 323502080 21043 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=315920 CPUtime=11.44 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 9276 0 0 0 1134 10 0 0 25 0 4 0 652035971 323502080 21043 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=315920 CPUtime=11.87 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 11128 0 0 0 1182 5 0 0 25 0 4 0 652035971 323502080 21043 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48
Current children cumulated vsize (KiB) 315920

[startup+25.501 s]
/proc/loadavg: 7.85 8.02 8.05 9/405 28752
/proc/meminfo: memFree=24030280/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=288852 CPUtime=99.02 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 58736 0 0 0 9852 50 0 0 25 0 4 0 652035971 295784448 24307 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 72213 24307 392 112 0 67178 0
[pid=28744/tid=28748] ppid=28742 vsize=288852 CPUtime=24.81 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 15076 0 0 0 2454 27 0 0 25 0 4 0 652035971 295784448 24307 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=288852 CPUtime=24.24 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 15875 0 0 0 2411 13 0 0 25 0 4 0 652035971 295784448 24307 33554432000 4194304 4650419 140734894858880 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=288852 CPUtime=24.51 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 16860 0 0 0 2444 7 0 0 25 0 4 0 652035971 295784448 24307 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.02
Current children cumulated vsize (KiB) 288852

[startup+51.1006 s]
/proc/loadavg: 7.98 8.04 8.06 9/405 28753
/proc/meminfo: memFree=23968584/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=304408 CPUtime=201.06 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 87586 0 0 0 20047 59 0 0 25 0 4 0 652035971 311713792 30322 33554432000 4194304 4650419 140734894858880 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 76102 30322 392 112 0 71067 0
[pid=28744/tid=28748] ppid=28742 vsize=304408 CPUtime=50.39 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 21805 0 0 0 5010 29 0 0 25 0 4 0 652035971 311713792 30322 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=304408 CPUtime=49.84 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 23808 0 0 0 4969 15 0 0 25 0 4 0 652035971 311713792 30322 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=304408 CPUtime=49.78 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 25187 0 0 0 4968 10 0 0 25 0 4 0 652035971 311713792 30322 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.06
Current children cumulated vsize (KiB) 304408

[startup+102.316 s]
/proc/loadavg: 8.03 8.04 8.06 9/405 28754
/proc/meminfo: memFree=23886476/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=329768 CPUtime=405.2 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 133610 0 0 0 40444 76 0 0 25 0 4 0 652035971 337682432 35337 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 82442 35337 392 112 0 77407 0
[pid=28744/tid=28748] ppid=28742 vsize=329768 CPUtime=101.56 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 32355 0 0 0 10124 32 0 0 25 0 4 0 652035971 337682432 35337 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=329768 CPUtime=101.05 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 36645 0 0 0 10084 21 0 0 25 0 4 0 652035971 337682432 35337 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=329768 CPUtime=100.32 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 41832 0 0 0 10016 16 0 0 25 0 4 0 652035971 337682432 35337 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.2
Current children cumulated vsize (KiB) 329768

[startup+162.3 s]

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

[pid=28744] ppid=28742 vsize=440888 CPUtime=2557.62 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 424414 0 0 0 255568 194 0 0 25 0 4 0 652035971 451469312 75617 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 110222 75617 392 112 0 105187 0
[pid=28744/tid=28748] ppid=28742 vsize=440888 CPUtime=641.08 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 111932 0 0 0 64047 61 0 0 25 0 4 0 652035971 451469312 75618 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=440888 CPUtime=640.95 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 118251 0 0 0 64032 63 0 0 25 0 4 0 652035971 451469312 75618 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=440888 CPUtime=633.36 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 127765 0 0 0 63292 44 0 0 25 0 4 0 652035971 451469312 75618 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2557.62
Current children cumulated vsize (KiB) 440888

[startup+702.301 s]
/proc/loadavg: 8.11 8.13 8.09 9/405 28770
/proc/meminfo: memFree=23546832/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=441636 CPUtime=2796.74 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 440718 0 0 0 279470 204 0 0 25 0 4 0 652035971 452235264 77808 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 110409 77808 392 112 0 105374 0
[pid=28744/tid=28748] ppid=28742 vsize=441636 CPUtime=701.02 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 117985 0 0 0 70037 65 0 0 25 0 4 0 652035971 452235264 77808 33554432000 4194304 4650419 140734894858880 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=441636 CPUtime=700.91 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 124290 0 0 0 70024 67 0 0 25 0 4 0 652035971 452235264 77808 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=441636 CPUtime=692.58 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 128343 0 0 0 69214 44 0 0 25 0 4 0 652035971 452235264 77808 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2796.74
Current children cumulated vsize (KiB) 441636

[startup+762.315 s]
/proc/loadavg: 8.08 8.12 8.09 9/405 28772
/proc/meminfo: memFree=23511340/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=454372 CPUtime=3035.95 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 455819 0 0 0 303382 213 0 0 25 0 4 0 652035971 465276928 80281 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 113593 80281 392 112 0 108558 0
[pid=28744/tid=28748] ppid=28742 vsize=454372 CPUtime=760.99 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 124221 0 0 0 76031 68 0 0 25 0 4 0 652035971 465276928 80281 33554432000 4194304 4650419 140734894858880 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=454372 CPUtime=760.9 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 130155 0 0 0 76018 72 0 0 25 0 4 0 652035971 465276928 80281 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=454372 CPUtime=751.82 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 128343 0 0 0 75138 44 0 0 25 0 4 0 652035971 465276928 80281 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3035.95
Current children cumulated vsize (KiB) 454372

[startup+822.301 s]
/proc/loadavg: 8.07 8.11 8.09 9/405 28773
/proc/meminfo: memFree=23522976/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=455192 CPUtime=3275.06 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 474307 0 0 0 327283 223 0 0 25 0 4 0 652035971 466116608 82551 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 113798 82551 392 112 0 108763 0
[pid=28744/tid=28748] ppid=28742 vsize=455192 CPUtime=820.93 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 131059 0 0 0 82021 72 0 0 25 0 4 0 652035971 466116608 82551 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=455192 CPUtime=820.85 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 136917 0 0 0 82009 76 0 0 25 0 4 0 652035971 466116608 82551 33554432000 4194304 4650419 140734894858880 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=455192 CPUtime=811.05 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 132854 0 0 0 81060 45 0 0 25 0 4 0 652035971 466116608 82551 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3275.06
Current children cumulated vsize (KiB) 455192

[startup+882.301 s]
/proc/loadavg: 8.02 8.09 8.08 9/405 28775
/proc/meminfo: memFree=23452148/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=455368 CPUtime=3514.19 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 489569 0 0 0 351189 230 0 0 25 0 4 0 652035971 466296832 85575 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 113842 85575 392 112 0 108807 0
[pid=28744/tid=28748] ppid=28742 vsize=455368 CPUtime=880.88 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 137603 0 0 0 88014 74 0 0 25 0 4 0 652035971 466296832 85575 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=455368 CPUtime=880.07 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 141804 0 0 0 87928 79 0 0 25 0 4 0 652035971 466296832 85575 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=455368 CPUtime=871.01 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 136384 0 0 0 87053 48 0 0 25 0 4 0 652035971 466296832 85575 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.19
Current children cumulated vsize (KiB) 455368

[startup+942.3 s]
/proc/loadavg: 8.01 8.07 8.08 9/405 28777
/proc/meminfo: memFree=23492800/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=455588 CPUtime=3753.34 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 505372 0 0 0 375094 240 0 0 25 0 4 0 652035971 466522112 85987 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 113897 85987 392 112 0 108862 0
[pid=28744/tid=28748] ppid=28742 vsize=455588 CPUtime=940.84 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 143722 0 0 0 94007 77 0 0 25 0 4 0 652035971 466522112 85987 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=455588 CPUtime=939.3 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 147929 0 0 0 93848 82 0 0 25 0 4 0 652035971 466522112 85987 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=455588 CPUtime=930.98 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 139943 0 0 0 93047 51 0 0 25 0 4 0 652035971 466522112 85987 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.34
Current children cumulated vsize (KiB) 455588

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.08 9/405 28778
/proc/meminfo: memFree=23392588/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=521244 CPUtime=3992.43 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 516914 0 0 0 398998 245 0 0 25 0 4 0 652035971 533753856 91168 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 130311 91168 392 112 0 125276 0
[pid=28744/tid=28748] ppid=28742 vsize=521244 CPUtime=1000.79 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 149514 0 0 0 100001 78 0 0 25 0 4 0 652035971 533753856 91168 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=521244 CPUtime=998.48 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 152932 0 0 0 99764 84 0 0 25 0 4 0 652035971 533753856 91168 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=521244 CPUtime=990.95 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 140371 0 0 0 99042 53 0 0 25 0 4 0 652035971 533753856 91168 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3992.43
Current children cumulated vsize (KiB) 521244

[startup+1062.3 s]
/proc/loadavg: 8.17 8.11 8.09 9/405 28780
/proc/meminfo: memFree=23364668/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=589004 CPUtime=4231.53 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 533285 0 0 0 422903 250 0 0 25 0 4 0 652035971 603140096 94764 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 147251 94764 392 112 0 142216 0
[pid=28744/tid=28748] ppid=28742 vsize=589004 CPUtime=1060.73 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 158154 0 0 0 105994 79 0 0 25 0 4 0 652035971 603140096 94764 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=589004 CPUtime=1057.67 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 159864 0 0 0 105680 87 0 0 25 0 4 0 652035971 603140096 94764 33554432000 4194304 4650419 140734894858880 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=589004 CPUtime=1050.91 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 140371 0 0 0 105037 54 0 0 25 0 4 0 652035971 603140096 94764 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4231.53
Current children cumulated vsize (KiB) 589004

[startup+1122.3 s]
/proc/loadavg: 8.20 8.12 8.09 9/405 28781
/proc/meminfo: memFree=23312196/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=589004 CPUtime=4470.62 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 544684 0 0 0 446809 253 0 0 25 0 4 0 652035971 603140096 95949 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 147251 95949 392 112 0 142216 0
[pid=28744/tid=28748] ppid=28742 vsize=589004 CPUtime=1120.68 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 168255 0 0 0 111988 80 0 0 25 0 4 0 652035971 603140096 95949 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=589004 CPUtime=1116.84 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 161161 0 0 0 111597 87 0 0 25 0 4 0 652035971 603140096 95949 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=589004 CPUtime=1110.87 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 140371 0 0 0 111033 54 0 0 25 0 4 0 652035971 603140096 95949 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4470.62
Current children cumulated vsize (KiB) 589004

[startup+1182.3 s]
/proc/loadavg: 8.28 8.14 8.10 9/405 28783
/proc/meminfo: memFree=23349268/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=588312 CPUtime=4709.73 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 562070 0 0 0 470713 260 0 0 25 0 4 0 652035971 602431488 98974 33554432000 4194304 4650419 140734894858880 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 147078 98974 392 112 0 142043 0
[pid=28744/tid=28748] ppid=28742 vsize=588312 CPUtime=1180.64 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 177859 0 0 0 117981 83 0 0 25 0 4 0 652035971 602431488 98974 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=588312 CPUtime=1176.05 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 165396 0 0 0 117516 89 0 0 25 0 4 0 652035971 602431488 98974 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=588312 CPUtime=1170.83 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 140909 0 0 0 117027 56 0 0 25 0 4 0 652035971 602431488 98974 33554432000 4194304 4650419 140734894858880 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4709.73
Current children cumulated vsize (KiB) 588312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205 s]
/proc/loadavg: 8.18 8.13 8.10 5/400 28785
/proc/meminfo: memFree=23831532/32951132 swapFree=67093844/67111528
[pid=28744] ppid=28742 vsize=588360 CPUtime=4800.23 cores=0,2,4,6
/proc/28744/stat : 28744 (strangenight1-m) R 28742 28744 28111 0 -1 4202496 568945 0 0 0 479760 263 0 0 25 0 4 0 652035971 602480640 102496 33554432000 4194304 4650419 140734894858880 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28744/statm: 147090 102496 392 112 0 142055 0
[pid=28744/tid=28748] ppid=28742 vsize=588360 CPUtime=1203.33 cores=0,2,4,6
/proc/28744/task/28748/stat : 28748 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 179380 0 0 0 120250 83 0 0 25 0 4 0 652035971 602480640 102496 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28744/tid=28749] ppid=28742 vsize=588360 CPUtime=1198.46 cores=0,2,4,6
/proc/28744/task/28749/stat : 28749 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 168101 0 0 0 119755 91 0 0 25 0 4 0 652035971 602480640 102496 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28744/tid=28750] ppid=28742 vsize=588360 CPUtime=1193.53 cores=0,2,4,6
/proc/28744/task/28750/stat : 28750 (strangenight1-m) R 28742 28744 28111 0 -1 4202560 143558 0 0 0 119295 58 0 0 25 0 4 0 652035971 602480640 102496 33554432000 4194304 4650419 140734894858880 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 588360

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): 1205.04
CPU time (s): 4800.29
CPU user time (s): 4797.64
CPU system time (s): 2.65759
CPU usage (%): 398.351
Max. virtual memory (cumulated for all children) (KiB): 654568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.64
system time used= 2.65759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568947
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= 685
involuntary context switches= 23534

runsolver used 4.49432 second user time and 11.1913 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 22:19:33
IDJOB=3368848
IDBENCH=82857
IDSOLVER=1846
FILE ID=node128/3368848-1305404373
RUNJOBID= node128-1305404373-28725
PBS_JOBID= 13324451
Free space on /tmp= 73608 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368848-1305404373/watcher-3368848-1305404373 -o /tmp/evaluation-result-3368848-1305404373/solver-3368848-1305404373 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368848-1305404373.cnf

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

MD5SUM BENCH= e68176dd0214c3858ad791ec08d1acee
RANDOM SEED=308653179

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24246712 kB
Buffers:        264548 kB
Cached:        2892792 kB
SwapCached:       1440 kB
Active:        6323988 kB
Inactive:      2089328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24246712 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           12520 kB
Writeback:           0 kB
AnonPages:     5254164 kB
Mapped:          31792 kB
Slab:           187412 kB
PageTables:      38336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100682492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node128 at 2011-05-14 22:39:40