Trace number 3266865

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-mtSAT 1652.07 420.69

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3266865-1304182400.cnf'
0.00/0.00	c -- header says num vars:            894
0.00/0.00	c -- header says num clauses:       82294
0.00/0.03	c -- clauses added:            0 learnts,        82294 normals,            0 xors
0.00/0.03	c -- vars added        894
0.00/0.03	c Parsing time:  0.06 s
0.00/0.03	c  N st     0         0       894        30     82264         0    165422         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
0.00/0.54	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.00/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.00/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    894 time:  0.03 s
0.00/0.54	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.03 s
0.00/0.54	c lits-rem:       549  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.10 s
0.00/0.54	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.54	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.54	c calculated reachability. Time: 0.00
0.00/0.54	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     864
0.00/0.54	c =========================================================================================
0.00/0.54	c types(t): F = full restart, N = normal restart
0.00/0.54	c types(t): S = simplification begin/end, E = solution found
0.00/0.54	c restart types(rt): st = static, dy = dynamic
0.00/0.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.54	c  B st     0         0       864      3096     78304         0    258657         0   no data   no data  --
0.00/0.54	c  N dy     8      4675       864      3096     78304      4540    258649    545580     11.40     12.04  --
4.70/1.22	c  N dy    22     11251       864      3096     78305      4364    258647    332957     10.32     11.02  --
5.90/1.52	c  N dy    43     15351       864      3096     78305      8366    258644    728065     10.63     11.96  --
7.51/1.92	c  N dy    58     19353       864      3096     78305      6806    258641    523613     10.51     11.10  --
9.10/2.35	c  N dy    63     23746       864      3096     78305     11081    258641    781266     10.21     10.76  --
9.50/2.48	c  F st    67     25001       864      3096     78305     12300    258641    837641     10.12   no data  --
10.69/2.79	c  N st    72     28298       864      3096     78305      8884    258638    603842     10.12   no data  --
11.51/2.95	c  S st    73     30000       864      3096     78305     10529    258638    695756     10.12   no data  --
11.51/2.99	c  S st    73     30502       864      3096     78305     11029    258638    728871     10.12   no data  --
11.51/3.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.51/3.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.29/3.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.5M T:  0.69
12.68/3.21	c bin-w-bin subsume rem            0 bins  time:  0.05 s
17.88/4.57	c subs with bin:        0  lits-rem:       990  v-fix:    0  time:  5.42 s
17.88/4.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
17.88/4.59	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
30.67/7.70	c lits-rem:      4198  cl-subs:      554  v-elim:      0  v-fix:    0  time: 12.41 s
31.07/7.89	c asymm  cl-useful: 1264/1652/3096 lits-rem:9593 time: 0.76
31.07/7.89	c calculated reachability. Time: 0.00
31.07/7.89	c  N dy    73     30502       864      3096     78305     10475    245964    698732     10.12   no data  --
33.06/8.32	c  N dy    91     34523       864      3096     78305     14393    245964    966576     10.16     10.99  --
35.05/8.82	c  N dy   118     39897       864      3096     78306     11954    245964    825776     10.28     10.84  --
37.05/9.32	c  N dy   136     43996       864      3096     78306     15966    245964   1223980     10.29     15.53  --
38.26/9.60	c  S st   148     45753       864      3096     78306      8941    245964    507333     10.36   no data  --
38.26/9.64	c  S st   148     46256       864      3096     78306      9442    245964    540249     10.36   no data  --
38.26/9.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.26/9.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.04/9.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.9M T:  0.62
39.04/9.82	c bin-w-bin subsume rem            0 bins  time:  0.05 s
44.24/11.15	c subs with bin:        0  lits-rem:       713  v-fix:    0  time:  5.29 s
44.24/11.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
44.24/11.17	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
58.22/14.61	c lits-rem:       762  cl-subs:      180  v-elim:      0  v-fix:    0  time: 13.73 s
58.22/14.61	c vivif2 --  cl tried     3096 cl shrink     1297 lits rem       6021 time: 0.01
58.22/14.62	c vivif2 --  cl tried     9262 cl shrink        2 lits rem          2 time: 0.04
58.62/14.75	c asymm  cl-useful: 0/1414/3096 lits-rem:0 time: 0.53
58.62/14.76	c calculated reachability. Time: 0.00
58.62/14.76	c  N dy   148     46256       864      3096     78306      9262    239021    533907     10.36   no data  --
60.24/15.15	c  N dy   168     50281       864      3096     78306     13180    239021    913464     10.39     10.96  --
62.62/15.76	c  N dy   190     54347       864      3096     78306     17137    239021   1314217     10.46     17.29  --
65.01/16.39	c  N dy   215     58487       864      3096     78306     11447    239021    740472     10.54     11.19  --
67.01/16.89	c  N dy   228     62739       864      3096     78306     15597    239021   1030787     10.49     11.20  --
69.40/17.45	c  N dy   252     66850       864      3096     78306     19553    239021   1346280     10.55     11.22  --
71.01/17.81	c  S st   268     69384       864      3096     78306     11338    239021    670999     10.57   no data  --
71.01/17.85	c  S st   268     69888       864      3096     78306     11838    239021    704941     10.57   no data  --
71.01/17.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.01/17.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.80/18.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.1M T:  0.74
71.80/18.07	c bin-w-bin subsume rem            0 bins  time:  0.05 s
76.99/19.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.22 s
76.99/19.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
76.99/19.39	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
88.18/22.16	c lits-rem:      1223  cl-subs:      196  v-elim:      0  v-fix:    0  time: 11.04 s
88.18/22.16	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
88.18/22.17	c vivif2 --  cl tried    11642 cl shrink        0 lits rem          0 time: 0.05
88.98/22.36	c asymm  cl-useful: 0/1582/3096 lits-rem:0 time: 0.76
88.98/22.36	c calculated reachability. Time: 0.00
88.98/22.36	c  N dy   268     69888       864      3096     78306     11642    239019    699498     10.57   no data  --
91.38/22.90	c  N dy   296     74393       864      3096     78306     16019    239019   1095954     10.66     15.77  --
94.17/23.63	c  N dy   315     79166       864      3096     78306     20658    239019   1554601     10.65     11.43  --
97.37/24.46	c  N dy   343     84457       864      3096     78306     14104    239019    927476     10.71     11.30  --
98.96/24.85	c  F st   356     87501       864      3096     78306     17068    239019   1217932     10.70   no data  --
100.96/25.36	c  N st   361     90797       864      3096     78306     20262    239019   1530883     10.70   no data  --
105.35/26.49	c  N dy   382     96630       864      3096     78306     13270    239019    777606     10.74     20.55  --
108.94/27.39	c  N dy   415    102858       864      3096     78307     19307    239019   1288572     10.81     16.37  --
110.54/27.74	c  S st   430    104832       864      3096     78307     21233    239019   1483930     10.86   no data  --
110.94/27.82	c  S st   430    105333       864      3096     78307     21730    239019   1524484     10.86   no data  --
110.94/27.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
110.94/27.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.14/28.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.6M T:  1.36
112.55/28.23	c bin-w-bin subsume rem            0 bins  time:  0.05 s
118.13/29.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.58 s
118.13/29.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
118.13/29.65	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
132.52/33.20	c lits-rem:      2648  cl-subs:      869  v-elim:      0  v-fix:    0  time: 14.18 s
132.52/33.20	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
132.52/33.23	c vivif2 --  cl tried    20861 cl shrink       10 lits rem         10 time: 0.10
133.32/33.44	c asymm  cl-useful: 0/1041/3096 lits-rem:0 time: 0.84
133.32/33.44	c calculated reachability. Time: 0.00
133.32/33.44	c  N dy   430    105333       864      3096     78307     20861    239019   1491216     10.86   no data  --
138.92/34.85	c  N dy   474    112142       864      3096     78309     13905    239019    795931     11.00     14.28  --
142.90/35.85	c  N dy   511    119614       864      3096     78309     21187    239019   1492638     11.06     11.85  --
149.69/37.54	c  N dy   558    127310       864      3096     78309     28652    239019   2195007     11.15     14.19  --
154.08/38.65	c  N dy   594    135498       864      3096     78309     22033    239019   1363970     11.22     11.82  --
160.08/40.16	c  N dy   626    144272       864      3096     78309     30587    239019   2085805     11.20     11.87  --
165.29/41.50	c  N dy   671    153690       864      3096     78309     24175    239019   1540067     11.22     12.11  --
168.47/42.22	c  S st   692    158000       864      3096     78309     28355    239019   1927195     11.22   no data  --
168.87/42.32	c  S st   692    158501       864      3096     78309     28856    239019   1965844     11.22   no data  --
168.87/42.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
168.87/42.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.46/42.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.5M T:  1.73
170.86/42.82	c bin-w-bin subsume rem            0 bins  time:  0.05 s
176.85/44.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.17 s
176.85/44.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
176.85/44.38	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
195.23/48.91	c lits-rem:      1462  cl-subs:      875  v-elim:      0  v-fix:    0  time: 18.07 s
195.23/48.91	c vivif2 --  cl tried     3096 cl shrink        1 lits rem          1 time: 0.00
195.23/48.94	c vivif2 --  cl tried    27981 cl shrink        9 lits rem          9 time: 0.12
196.45/49.21	c asymm  cl-useful: 0/1008/3096 lits-rem:0 time: 1.07
196.45/49.22	c calculated reachability. Time: 0.00
196.45/49.22	c  N dy   692    158501       864      3096     78309     27981    239018   1932156     11.22   no data  --
204.42/51.20	c  N dy   728    169868       864      3096     78310     22519    239018   1357004     11.18     12.18  --
212.81/53.38	c  N dy   780    180749       864      3096     78310     33048    239018   2239670     11.22     16.01  --
220.39/55.21	c  N dy   812    192494       864      3096     78310     27030    239018   1730708     11.19     12.00  --
230.38/57.77	c  N dy   886    204905       864      3096     78310     20610    239018   1051815     11.29     11.90  --
239.57/60.04	c  N dy   935    218133       864      3096     78311     33438    239018   2164906     11.28     11.99  --
249.55/62.56	c  N dy   980    232369       864      3096     78312     27840    239018   1447227     11.24     12.29  --
253.16/63.44	c  S st   998    237753       864      3096     78312     32998    239018   1743442     11.23   no data  --
253.16/63.50	c  S st   998    238257       864      3096     78312     33501    239018   1780258     11.23   no data  --
253.56/63.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
253.56/63.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
254.74/63.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.44
255.15/63.92	c bin-w-bin subsume rem            0 bins  time:  0.04 s
261.13/65.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.88 s
261.13/65.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
261.13/65.41	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
274.32/68.70	c lits-rem:      1504  cl-subs:     1757  v-elim:      0  v-fix:    0  time: 13.12 s
274.32/68.70	c vivif2 --  cl tried     3096 cl shrink        3 lits rem          3 time: 0.00
274.32/68.73	c vivif2 --  cl tried    31744 cl shrink       27 lits rem         27 time: 0.14
275.14/68.96	c asymm  cl-useful: 0/679/3096 lits-rem:0 time: 0.89
275.14/68.96	c calculated reachability. Time: 0.00
275.14/68.96	c  N dy   998    238257       864      3096     78312     31744    239015   1741408     11.23   no data  --
284.70/71.39	c  N dy  1064    253533       864      3096     78312     26277    239015   1395212     11.23     14.36  --
297.10/74.44	c  N dy  1133    269758       864      3096     78313     42032    239015   2769935     11.26     16.88  --
308.67/77.37	c  N dy  1203    287052       864      3096     78314     37460    239015   2283156     11.28     20.91  --
321.85/80.62	c  N dy  1275    305459       864      3096     78315     33001    239015   1874692     11.26     14.07  --
322.25/80.79	c  F st  1280    306252       864      3096     78315     33774    239015   1938272     11.26   no data  --
336.64/84.32	c  N dy  1326    325138       864      3096     78315     28743    239015   1403852     11.24     11.86  --
353.40/88.59	c  N dy  1428    345178       864      3096     78320     48091    239015   2965088     11.30     11.97  --
361.39/90.57	c  S st  1485    357385       864      3096     78320     35701    239015   1934789     11.32     11.12  --
361.79/90.67	c  S st  1485    357889       864      3096     78320     36203    239015   1969017     11.32   no data  --
361.79/90.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
361.79/90.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
363.79/91.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.8M T:  1.77
363.79/91.18	c bin-w-bin subsume rem            0 bins  time:  0.04 s
370.18/92.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.06 s
370.18/92.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
370.18/92.71	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
383.76/96.17	c lits-rem:      1623  cl-subs:     2210  v-elim:      0  v-fix:    0  time: 13.78 s
383.76/96.17	c vivif2 --  cl tried     3096 cl shrink        3 lits rem          3 time: 0.01
384.16/96.21	c vivif2 --  cl tried    33993 cl shrink      323 lits rem        341 time: 0.16
384.98/96.45	c asymm  cl-useful: 0/920/3096 lits-rem:0 time: 0.97
384.98/96.46	c calculated reachability. Time: 0.00
384.98/96.46	c  N dy  1485    357889       864      3096     78320     33993    239012   1925181     11.32   no data  --
404.53/101.39	c  N dy  1576    377972       864      3096     78321     28319    239012   1383412     11.36     15.42  --
423.30/106.03	c  N dy  1685    398134       864      3096     78321     47768    239012   2882119     11.40     12.10  --
439.28/110.01	c  N dy  1787    418167       864      3096     78322     41072    239012   2320611     11.46     12.12  --
456.46/114.34	c  N dy  1869    438171       864      3096     78324     33413    239012   1629885     11.45     12.07  --
474.43/118.85	c  N dy  1963    458492       864      3096     78324     53061    239012   3160360     11.49     12.21  --
490.43/122.86	c  N dy  2041    478869       864      3096     78324     44753    239012   2466397     11.48     12.11  --
509.98/127.73	c  N dy  2142    498983       864      3096     78324     35188    239012   1650684     11.52     12.55  --
527.96/132.22	c  N dy  2239    519410       864      3096     78325     54907    239012   3132123     11.55     12.20  --
541.54/135.64	c  S st  2311    536835       864      3096     78326     41747    239012   2090160     11.56   no data  --
541.94/135.72	c  S st  2311    537338       864      3096     78326     42248    239012   2130744     11.56   no data  --
541.94/135.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
541.94/135.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
543.94/136.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.1M T:  1.93
543.94/136.28	c bin-w-bin subsume rem            0 bins  time:  0.04 s
549.93/137.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.80 s
549.93/137.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
549.93/137.75	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
570.70/142.93	c lits-rem:      1307  cl-subs:     2550  v-elim:      0  v-fix:    0  time: 20.69 s
570.70/142.93	c vivif2 --  cl tried     3096 cl shrink        3 lits rem          3 time: 0.01
570.70/142.98	c vivif2 --  cl tried    39698 cl shrink      245 lits rem        261 time: 0.18
571.90/143.24	c asymm  cl-useful: 0/655/3096 lits-rem:0 time: 1.06
571.90/143.25	c calculated reachability. Time: 0.00
571.90/143.25	c  N dy  2311    537338       864      3096     78326     39698    239009   2086403     11.56   no data  --
592.27/148.36	c  N dy  2397    557362       864      3096     78327     59027    239009   3627771     11.57     12.25  --
609.07/152.58	c  N dy  2491    577422       864      3096     78327     47581    239009   2670652     11.60     12.25  --
632.62/158.49	c  N dy  2600    598028       864      3096     78327     35605    239009   1635360     11.64     12.26  --
651.79/163.20	c  N dy  2692    618066       864      3096     78328     55062    239009   3232528     11.65     12.36  --
674.56/168.93	c  N dy  2783    638331       864      3096     78329     41725    239009   1979581     11.66     12.35  --
696.53/174.45	c  N dy  2884    658352       864      3096     78329     61063    239009   3552466     11.70     17.46  --
717.70/179.70	c  N dy  2995    678389       864      3096     78331     46670    239009   2468358     11.75     12.40  --
739.67/185.28	c  N dy  3083    698760       864      3096     78331     66366    239009   4000271     11.76     12.55  --
758.47/189.91	c  N dy  3173    718857       864      3096     78332     50947    239009   2746237     11.77     14.27  --
785.23/196.62	c  N dy  3276    739470       864      3096     78332     70779    239009   4350191     11.80     13.00  --
803.59/201.28	c  N dy  3367    759553       864      3096     78332     54446    239009   2852810     11.80     16.63  --
826.76/207.10	c  N dy  3438    779559       864      3096     78334     37029    239009   1505144     11.80     12.44  --
843.53/211.21	c  N dy  3501    799978       864      3096     78334     56730    239009   3068946     11.78     12.41  --
849.93/212.85	c  S st  3516    806007       864      3096     78334     62558    239009   3437755     11.77     10.35  --
850.74/213.02	c  S st  3516    806507       864      3096     78334     63056    239009   3471447     11.77   no data  --
850.74/213.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
850.74/213.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
853.92/213.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 28.6M T:  3.40
854.32/213.99	c bin-w-bin subsume rem            0 bins  time:  0.04 s
860.30/215.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.87 s
860.30/215.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
860.30/215.48	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
914.64/229.05	c lits-rem:      2426  cl-subs:     4243  v-elim:      0  v-fix:    0  time: 54.17 s
914.64/229.05	c vivif2 --  cl tried     3096 cl shrink        4 lits rem          4 time: 0.01
915.04/229.12	c vivif2 --  cl tried    58813 cl shrink      538 lits rem        553 time: 0.28
916.23/229.40	c asymm  cl-useful: 0/409/3096 lits-rem:0 time: 1.10
916.23/229.40	c calculated reachability. Time: 0.00
916.23/229.40	c  N dy  3516    806507       864      3096     78334     58813    239005   3392966     11.77   no data  --
940.20/235.41	c  N dy  3593    826576       864      3096     78339     40614    239005   1824757     11.77     12.48  --
959.78/240.32	c  N dy  3680    846638       864      3096     78340     59927    239005   3341856     11.78     12.50  --
987.73/247.38	c  N dy  3767    867218       864      3096     78341     41223    239005   1806701     11.79     12.42  --
1007.70/252.32	c  N dy  3860    887287       864      3096     78341     60573    239005   3277554     11.80     14.31  --
1034.47/259.01	c  N dy  3968    907429       864      3096     78342     40452    239005   1709809     11.82     12.54  --
1052.85/263.62	c  N dy  4055    927833       864      3096     78342     60080    239005   3184886     11.84     12.82  --
1081.20/270.73	c  N dy  4161    948594       864      3096     78344     80129    239005   4800425     11.87     12.52  --
1101.59/275.82	c  N dy  4270    968796       864      3096     78344     59183    239005   3195688     11.90     12.66  --
1130.74/283.11	c  N dy  4386    988819       864      3096     78344     78496    239005   4772821     11.94     26.93  --
1153.93/288.93	c  N dy  4492   1010343       864      3096     78345     57790    239005   2940714     11.97     12.70  --
1178.67/295.17	c  N dy  4578   1030426       864      3096     78347     77152    239005   4427762     11.98     12.65  --
1203.03/301.27	c  N dy  4688   1050431       864      3096     78347     54069    239005   2677992     12.00     12.81  --
1229.81/307.96	c  N dy  4782   1070720       864      3096     78347     73632    239005   4177793     12.02     12.95  --
1231.80/308.49	c  F st  4790   1071875       864      3096     78348     74754    239005   4262386     12.03     10.98  --
1258.17/315.03	c  N dy  4851   1090819       864      3096     78348     49556    239005   2280915     12.03     19.43  --
1282.93/321.28	c  N dy  4961   1110928       864      3096     78348     68961    239005   3805369     12.06     12.74  --
1318.09/330.02	c  N dy  5051   1131037       864      3096     78348     88297    239005   5358984     12.08     12.81  --
1337.26/334.87	c  N dy  5125   1151197       864      3096     78351     63426    239005   3320242     12.08     13.37  --
1369.24/342.82	c  N dy  5217   1172904       864      3096     78353     84306    239005   4961569     12.09     12.80  --
1396.77/349.76	c  N dy  5322   1192924       864      3096     78354     58339    239005   2941041     12.12     16.58  --
1418.34/355.18	c  S st  5395   1209761       864      3096     78355     74574    239005   4248635     12.14      9.35  --
1419.54/355.40	c  S st  5395   1210266       864      3096     78355     75077    239005   4288155     12.14   no data  --
1419.54/355.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1419.54/355.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1424.33/356.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.1M T:  5.02
1425.13/356.80	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1431.53/358.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.74 s
1431.93/358.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
1431.93/358.51	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
1629.75/409.84	c lits-rem:      2729  cl-subs:     5707  v-elim:      0  v-fix:    0  time: 197.74 s
1629.75/409.84	c vivif2 --  cl tried     3096 cl shrink        9 lits rem         10 time: 0.00
1630.06/409.94	c vivif2 --  cl tried    69370 cl shrink     1425 lits rem       1663 time: 0.29
1630.95/410.26	c asymm  cl-useful: 0/329/3096 lits-rem:0 time: 0.98
1630.95/410.27	c calculated reachability. Time: 0.00
1630.95/410.27	c  N dy  5395   1210266       864      3096     78355     69370    238994   4187027     12.14   no data  --
1651.92/420.66	c Following stats are for *FIRST FINISHED THREAD ONLY*
1651.92/420.66	c num threads              : 4          
1651.92/420.66	c restarts                 : 11217      
1651.92/420.66	c dynamic restarts         : 11187      
1651.92/420.66	c static restarts          : 30         
1651.92/420.66	c full restarts            : 4          
1651.92/420.66	c total simplify time      : 0.07       
1651.92/420.66	c learnts DL2              : 0          
1651.92/420.66	c learnts size 2           : 82318      
1651.92/420.66	c learnts size 1           : 0           (0.00      % of vars)
1651.92/420.66	c filedLit time            : 8.31        (0.50      % time)
1651.92/420.66	c v-elim SatELite          : 30          (3.36      % vars)
1651.92/420.66	c SatELite time            : 159.68      (9.67      % time)
1651.92/420.66	c v-elim xor               : 0           (0.00      % vars)
1651.92/420.66	c xor elim time            : 0.21        (0.01      % time)
1651.92/420.66	c num binary xor trees     : 0          
1651.92/420.66	c binxor trees' crown      : 0           (nan       leafs/tree)
1651.92/420.66	c bin xor find time        : 0.00       
1651.92/420.66	c OTF clause improved      : 120930      (0.04      clauses/conflict)
1651.92/420.66	c OTF impr. size diff      : 148316      (1.23       lits/clause)
1651.92/420.66	c OTF cl watch-shrink      : 2450352     (0.87      clauses/conflict)
1651.92/420.66	c OTF cl watch-sh-lit      : 33168796    (13.54      lits/clause)
1651.92/420.66	c tried to recurMin cls    : 859795      (30.59      % of conflicts)
1651.92/420.66	c updated cache            : 9763        (0.01       lits/tried recurMin)
1651.92/420.66	c unit cls received        : 0           (nan       % of units)
1651.92/420.66	c unit cls sent            : 0           (nan       % of units)
1651.92/420.66	c bin cls received         : 37         
1651.92/420.66	c bin cls sent             : 17         
1651.92/420.66	c clauses over max glue    : 0           (0.00      % of all clauses)
1651.92/420.66	c conflicts                : 2810308     (1702.74   / sec)
1651.92/420.66	c decisions                : 4286244     (0.12      % random)
1651.92/420.66	c bogo-props               : 47619582561 (28852325.27 / sec)
1651.92/420.66	c conflict literals        : 121688677   (56.15     % deleted)
1651.92/420.66	c Memory used              : 960.35      MB
1651.92/420.66	c single-thread CPU time   : 1650.46     s
1651.92/420.66	c all-threads sum CPU time : 1650.46     s
1651.92/420.66	s SATISFIABLE
1651.92/420.66	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 894 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266865-1304182400/watcher-3266865-1304182400 -o /tmp/evaluation-result-3266865-1304182400/solver-3266865-1304182400 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3266865-1304182400.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.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=183280 CPUtime=0.01 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 582 0 0 0 1 0 0 0 25 0 4 0 608470676 187678720 503 33554432000 4194304 4650419 140735402670592 18446744073709551615 251367546683 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10667/statm: 45820 526 331 112 0 40785 0
[pid=10667/tid=10668] ppid=10665 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 608470677 187678720 622 33554432000 4194304 4650419 140735402670592 18446744073709551615 251367207621 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 98 0 0 0 0 0 0 0 25 0 4 0 608470677 187678720 661 33554432000 4194304 4650419 140735402670592 18446744073709551615 251367546683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 117 0 0 0 0 0 0 0 25 0 4 0 608470677 187678720 695 33554432000 4194304 4650419 140735402670592 18446744073709551615 251367546683 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.102617 s]
/proc/loadavg: 7.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=293284 CPUtime=3.18 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 12495 0 0 0 316 2 0 0 19 0 4 0 608470676 300322816 9210 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 73321 9210 392 112 0 68286 0
[pid=10667/tid=10668] ppid=10665 vsize=293284 CPUtime=0.78 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3243 0 0 0 78 0 0 0 18 0 4 0 608470677 300322816 9210 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=293284 CPUtime=0.79 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3049 0 0 0 79 0 0 0 18 0 4 0 608470677 300322816 9210 33554432000 4194304 4650419 140735402670592 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=293284 CPUtime=0.79 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 2566 0 0 0 79 0 0 0 18 0 4 0 608470677 300322816 9210 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 293284

[startup+0.918709 s]
/proc/loadavg: 7.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=293520 CPUtime=3.57 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 13217 0 0 0 355 2 0 0 19 0 4 0 608470676 300564480 9309 33554432000 4194304 4650419 140735402670592 18446744073709551615 4360531 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 73380 9309 392 112 0 68345 0
[pid=10667/tid=10668] ppid=10665 vsize=293520 CPUtime=0.88 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3363 0 0 0 88 0 0 0 19 0 4 0 608470677 300564480 9309 33554432000 4194304 4650419 140735402670592 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=293520 CPUtime=0.89 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3127 0 0 0 89 0 0 0 18 0 4 0 608470677 300564480 9309 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=293520 CPUtime=0.89 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 2972 0 0 0 89 0 0 0 18 0 4 0 608470677 300564480 9310 33554432000 4194304 4650419 140735402670592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 293520

[startup+1.00069 s]
/proc/loadavg: 7.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=293680 CPUtime=3.9 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 13585 0 0 0 388 2 0 0 19 0 4 0 608470676 300728320 9677 33554432000 4194304 4650419 140735402670592 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 73420 9677 392 112 0 68385 0
[pid=10667/tid=10668] ppid=10665 vsize=293680 CPUtime=0.96 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3464 0 0 0 96 0 0 0 19 0 4 0 608470677 300728320 9677 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=293680 CPUtime=0.97 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3204 0 0 0 97 0 0 0 19 0 4 0 608470677 300728320 9677 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=293680 CPUtime=0.97 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3071 0 0 0 97 0 0 0 19 0 4 0 608470677 300728320 9677 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 293680

[startup+1.10068 s]
/proc/loadavg: 7.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=294060 CPUtime=4.3 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 14432 0 0 0 428 2 0 0 19 0 4 0 608470676 301117440 9634 33554432000 4194304 4650419 140735402670592 18446744073709551615 4315054 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 73515 9634 392 112 0 68480 0
[pid=10667/tid=10668] ppid=10665 vsize=294060 CPUtime=1.06 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 4003 0 0 0 106 0 0 0 19 0 4 0 608470677 301117440 9635 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=294060 CPUtime=1.07 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3295 0 0 0 107 0 0 0 19 0 4 0 608470677 301117440 9635 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=294060 CPUtime=1.07 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3184 0 0 0 107 0 0 0 19 0 4 0 608470677 301117440 9635 33554432000 4194304 4650419 140735402670592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 294060

[startup+1.5006 s]
/proc/loadavg: 7.95 8.00 8.00 5/180 10667
/proc/meminfo: memFree=28617964/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=285532 CPUtime=5.9 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 17097 0 0 0 587 3 0 0 20 0 4 0 608470676 292384768 10110 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 71383 10110 393 112 0 66348 0
[pid=10667/tid=10668] ppid=10665 vsize=285532 CPUtime=1.46 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 4456 0 0 0 146 0 0 0 19 0 4 0 608470677 292384768 10110 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=285532 CPUtime=1.47 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3876 0 0 0 147 0 0 0 19 0 4 0 608470677 292384768 10110 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=285532 CPUtime=1.47 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 3949 0 0 0 147 0 0 0 20 0 4 0 608470677 292384768 10110 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 285532

[startup+3.10031 s]
/proc/loadavg: 7.95 8.00 8.00 9/184 10671
/proc/meminfo: memFree=28543904/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=306296 CPUtime=12.29 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 29510 0 0 0 1224 5 0 0 25 0 4 0 608470676 313647104 18114 33554432000 4194304 4650419 140735402670592 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 76574 18114 394 112 0 71539 0
[pid=10667/tid=10668] ppid=10665 vsize=306296 CPUtime=3.06 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 7047 0 0 0 305 1 0 0 25 0 4 0 608470677 313647104 18114 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=306296 CPUtime=3.06 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 7426 0 0 0 306 0 0 0 25 0 4 0 608470677 313647104 18114 33554432000 4194304 4650419 140735402670592 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=306296 CPUtime=3.07 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 7777 0 0 0 306 1 0 0 25 0 4 0 608470677 313647104 18114 33554432000 4194304 4650419 140735402670592 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 306296

[startup+6.30671 s]
/proc/loadavg: 7.95 8.00 8.00 9/184 10671
/proc/meminfo: memFree=28502828/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=306480 CPUtime=25.1 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 39351 0 0 0 2503 7 0 0 25 0 4 0 608470676 313835520 26687 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 76620 26687 394 112 0 71585 0
[pid=10667/tid=10668] ppid=10665 vsize=306480 CPUtime=6.27 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 11636 0 0 0 625 2 0 0 25 0 4 0 608470677 313835520 26687 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=306480 CPUtime=6.28 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 7625 0 0 0 627 1 0 0 25 0 4 0 608470677 313835520 26687 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=306480 CPUtime=6.28 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 8805 0 0 0 627 1 0 0 25 0 4 0 608470677 313835520 26687 33554432000 4194304 4650419 140735402670592 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 306480

[startup+12.7005 s]
/proc/loadavg: 7.96 8.00 8.00 9/184 10672
/proc/meminfo: memFree=28441844/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=323412 CPUtime=50.63 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 62043 0 0 0 5052 11 0 0 25 0 4 0 608470676 331173888 35888 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 80853 35888 394 112 0 75818 0
[pid=10667/tid=10668] ppid=10665 vsize=323412 CPUtime=12.66 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 19812 0 0 0 1263 3 0 0 25 0 4 0 608470677 331173888 35888 33554432000 4194304 4650419 140735402670592 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=323412 CPUtime=12.67 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 12134 0 0 0 1266 1 0 0 25 0 4 0 608470677 331173888 35888 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=323412 CPUtime=12.66 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 16100 0 0 0 1263 3 0 0 25 0 4 0 608470677 331173888 35888 33554432000 4194304 4650419 140735402670592 18446744073709551615 4315071 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 323412

[startup+25.5012 s]
/proc/loadavg: 7.97 8.00 8.00 9/184 10672
/proc/meminfo: memFree=28374756/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=322428 CPUtime=101.76 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 89220 0 0 0 10159 17 0 0 25 0 4 0 608470676 330166272 45613 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 80607 45613 394 112 0 75572 0
[pid=10667/tid=10668] ppid=10665 vsize=322428 CPUtime=25.46 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 27749 0 0 0 2542 4 0 0 25 0 4 0 608470677 330166272 45613 33554432000 4194304 4650419 140735402670592 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=322428 CPUtime=25.46 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 15421 0 0 0 2545 1 0 0 25 0 4 0 608470677 330166272 45613 33554432000 4194304 4650419 140735402670592 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=322428 CPUtime=25.46 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 25280 0 0 0 2541 5 0 0 25 0 4 0 608470677 330166272 45613 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 322428

[startup+51.1004 s]
/proc/loadavg: 7.98 8.00 8.00 9/184 10672
/proc/meminfo: memFree=28180648/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=425496 CPUtime=204.02 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 145488 0 0 0 20371 31 0 0 25 0 4 0 608470676 435707904 71884 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 106374 71884 394 112 0 101339 0
[pid=10667/tid=10668] ppid=10665 vsize=425496 CPUtime=51.06 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 44427 0 0 0 5098 8 0 0 25 0 4 0 608470677 435707904 71884 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=425496 CPUtime=51.07 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 21877 0 0 0 5103 4 0 0 25 0 4 0 608470677 435707904 71884 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=425496 CPUtime=51.06 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 44793 0 0 0 5096 10 0 0 25 0 4 0 608470677 435707904 71884 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 425496

[startup+102.301 s]
/proc/loadavg: 8.07 8.01 8.01 9/184 10674
/proc/meminfo: memFree=28120692/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=524356 CPUtime=408.53 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 243961 0 0 0 40801 52 0 0 25 0 4 0 608470676 536940544 84304 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 131089 84304 394 112 0 126054 0
[pid=10667/tid=10668] ppid=10665 vsize=524356 CPUtime=102.25 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 73994 0 0 0 10210 15 0 0 25 0 4 0 608470677 536940544 84304 33554432000 4194304 4650419 140735402670592 18446744073709551615 4360522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=524356 CPUtime=102.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 35584 0 0 0 10221 6 0 0 25 0 4 0 608470677 536940544 84304 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366055 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=524356 CPUtime=102.26 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 74453 0 0 0 10210 16 0 0 25 0 4 0 608470677 536940544 84304 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 524356

[startup+162.301 s]

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

/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 96372 0 0 0 16204 22 0 0 25 0 4 0 608470677 611414016 88813 33554432000 4194304 4650419 140735402670592 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.2
Current children cumulated vsize (KiB) 597084

[startup+222.301 s]
/proc/loadavg: 8.03 8.02 8.00 9/184 10677
/proc/meminfo: memFree=27892064/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=753840 CPUtime=887.87 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 407003 0 0 0 88693 94 0 0 25 0 4 0 608470676 771932160 113585 33554432000 4194304 4650419 140735402670592 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 188460 113585 394 112 0 183425 0
[pid=10667/tid=10668] ppid=10665 vsize=753840 CPUtime=222.25 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 131587 0 0 0 22196 29 0 0 25 0 4 0 608470677 771932160 113586 33554432000 4194304 4650419 140735402670592 18446744073709551615 4328275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=753840 CPUtime=222.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 50064 0 0 0 22216 11 0 0 25 0 4 0 608470677 771932160 113586 33554432000 4194304 4650419 140735402670592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=753840 CPUtime=222.26 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 120564 0 0 0 22198 28 0 0 25 0 4 0 608470677 771932160 113586 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.87
Current children cumulated vsize (KiB) 753840

[startup+282.301 s]
/proc/loadavg: 8.01 8.01 8.00 9/184 10679
/proc/meminfo: memFree=27804352/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=781576 CPUtime=1127.56 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 464436 0 0 0 112644 112 0 0 25 0 4 0 608470676 800333824 122103 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 195394 122103 394 112 0 190359 0
[pid=10667/tid=10668] ppid=10665 vsize=781576 CPUtime=282.25 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 154236 0 0 0 28190 35 0 0 25 0 4 0 608470677 800333824 122103 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=781576 CPUtime=282.28 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 52644 0 0 0 28216 12 0 0 25 0 4 0 608470677 800333824 122103 33554432000 4194304 4650419 140735402670592 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=781576 CPUtime=282.27 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 142648 0 0 0 28192 35 0 0 25 0 4 0 608470677 800333824 122103 33554432000 4194304 4650419 140735402670592 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.56
Current children cumulated vsize (KiB) 781576

[startup+342.301 s]
/proc/loadavg: 8.00 8.00 8.00 9/184 10680
/proc/meminfo: memFree=27640604/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=930844 CPUtime=1367.22 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 583382 0 0 0 136584 138 0 0 25 0 4 0 608470676 953184256 151676 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 232711 151676 394 112 0 227676 0
[pid=10667/tid=10668] ppid=10665 vsize=930844 CPUtime=342.23 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 186042 0 0 0 34180 43 0 0 25 0 4 0 608470677 953184256 151676 33554432000 4194304 4650419 140735402670592 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=930844 CPUtime=342.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 55656 0 0 0 34214 13 0 0 25 0 4 0 608470677 953184256 151676 33554432000 4194304 4650419 140735402670592 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=930844 CPUtime=342.26 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 217933 0 0 0 34179 47 0 0 25 0 4 0 608470677 953184256 151676 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1367.22
Current children cumulated vsize (KiB) 930844

[startup+402.307 s]
/proc/loadavg: 8.09 8.03 8.01 9/184 10682
/proc/meminfo: memFree=27704048/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=917852 CPUtime=1606.9 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 629610 0 0 0 160538 152 0 0 25 0 4 0 608470676 939880448 148643 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10667/statm: 229463 148643 394 112 0 224428 0
[pid=10667/tid=10668] ppid=10665 vsize=917852 CPUtime=402.24 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 187275 0 0 0 40180 44 0 0 25 0 4 0 608470677 939880448 148643 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=917852 CPUtime=402.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68048 0 0 0 40209 18 0 0 25 0 4 0 608470677 939880448 148643 33554432000 4194304 4650419 140735402670592 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=917852 CPUtime=402.27 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 236586 0 0 0 40173 54 0 0 25 0 4 0 608470677 939880448 148643 33554432000 4194304 4650419 140735402670592 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.9
Current children cumulated vsize (KiB) 917852

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

[startup+410.301 s]
/proc/loadavg: 8.01 8.01 8.00 8/184 10682
/proc/meminfo: memFree=27688664/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1631.25 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) R 10665 10667 9908 0 -1 4202496 668063 0 0 0 162967 158 0 0 25 0 4 0 608470676 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599577 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148567 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=410.23 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 187447 0 0 0 40979 44 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=410.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 41009 18 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1631.25
Current children cumulated vsize (KiB) 983396

[startup+416.701 s]
/proc/loadavg: 7.84 7.98 7.99 7/184 10682
/proc/meminfo: memFree=27681472/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1644.12 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 669414 0 0 0 164254 158 0 0 25 0 4 0 608470676 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148567 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=416.63 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 188798 0 0 0 41619 44 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=416.67 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 41649 18 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 983396

[startup+418.301 s]
/proc/loadavg: 7.70 7.95 7.98 7/184 10682
/proc/meminfo: memFree=27677132/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1647.32 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 669474 0 0 0 164574 158 0 0 25 0 4 0 608470676 1006997504 148627 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148627 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=418.23 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 188858 0 0 0 41779 44 0 0 25 0 4 0 608470677 1006997504 148627 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=418.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 41809 18 0 0 25 0 4 0 608470677 1006997504 148627 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575172 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148627 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1647.32
Current children cumulated vsize (KiB) 983396

[startup+419.906 s]
/proc/loadavg: 7.70 7.95 7.98 7/184 10682
/proc/meminfo: memFree=27688292/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1650.53 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 669817 0 0 0 164895 158 0 0 25 0 4 0 608470676 1006997504 148717 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148717 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=419.84 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 189201 0 0 0 41940 44 0 0 25 0 4 0 608470677 1006997504 148717 33554432000 4194304 4650419 140735402670592 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=419.88 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 41970 18 0 0 25 0 4 0 608470677 1006997504 148717 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575172 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148717 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1650.53
Current children cumulated vsize (KiB) 983396

[startup+420.3 s]
/proc/loadavg: 7.70 7.95 7.98 7/184 10682
/proc/meminfo: memFree=27688292/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1651.32 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 669968 0 0 0 164974 158 0 0 25 0 4 0 608470676 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148567 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=420.23 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 189352 0 0 0 41979 44 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 4540528 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=420.27 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 42009 18 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575172 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148567 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1651.32
Current children cumulated vsize (KiB) 983396

[startup+420.5 s]
/proc/loadavg: 7.70 7.95 7.98 7/184 10682
/proc/meminfo: memFree=27688292/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1651.72 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 670117 0 0 0 165014 158 0 0 25 0 4 0 608470676 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148716 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=420.43 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 189501 0 0 0 41999 44 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=420.47 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 42029 18 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1651.72
Current children cumulated vsize (KiB) 983396

[startup+420.601 s]
/proc/loadavg: 7.70 7.95 7.98 7/184 10682
/proc/meminfo: memFree=27688292/32950928 swapFree=67111352/67111528
[pid=10667] ppid=10665 vsize=983396 CPUtime=1651.92 cores=0,2,4,6
/proc/10667/stat : 10667 (strangenight1-m) S 10665 10667 9908 0 -1 4202496 670117 0 0 0 165034 158 0 0 25 0 4 0 608470676 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10667/statm: 245849 148716 394 112 0 240814 0
[pid=10667/tid=10668] ppid=10665 vsize=983396 CPUtime=420.53 cores=0,2,4,6
/proc/10667/task/10668/stat : 10668 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 189501 0 0 0 42009 44 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10667/tid=10669] ppid=10665 vsize=983396 CPUtime=420.57 cores=0,2,4,6
/proc/10667/task/10669/stat : 10669 (strangenight1-m) R 10665 10667 9908 0 -1 4202560 68049 0 0 0 42039 18 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816575172 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10667/tid=10670] ppid=10665 vsize=983396 CPUtime=402.62 cores=0,2,4,6
/proc/10667/task/10670/stat : 10670 (strangenight1-m) S 10665 10667 9908 0 -1 4202560 236624 0 0 0 40208 54 0 0 25 0 4 0 608470677 1006997504 148716 33554432000 4194304 4650419 140735402670592 18446744073709551615 47690816599604 0 0 4096 2 18446604453895262336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1651.92
Current children cumulated vsize (KiB) 983396

Child status: 10
Real time (s): 420.69
CPU time (s): 1652.07
CPU user time (s): 1650.46
CPU system time (s): 1.61275
CPU usage (%): 392.706
Max. virtual memory (cumulated for all children) (KiB): 995996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1650.46
system time used= 1.61275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670125
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= 3226
involuntary context switches= 8170

runsolver used 0.695894 second user time and 1.59776 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 18:53:20
IDJOB=3266865
IDBENCH=88215
IDSOLVER=1588
FILE ID=node113/3266865-1304182400
RUNJOBID= node113-1304181009-10392
PBS_JOBID= 13172438
Free space on /tmp= 72388 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266865-1304182400/watcher-3266865-1304182400 -o /tmp/evaluation-result-3266865-1304182400/solver-3266865-1304182400 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3266865-1304182400.cnf

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=2049429399

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28618120 kB
Buffers:        776656 kB
Cached:        2616000 kB
SwapCached:         12 kB
Active:         599664 kB
Inactive:      3229792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28618120 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           10876 kB
Writeback:           0 kB
AnonPages:      437092 kB
Mapped:          15512 kB
Slab:           438716 kB
PageTables:       5572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   747748 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= 72380 MiB
End job on node113 at 2011-04-30 19:00:21