Trace number 3321253

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-2-mtSAT 804.43 100.995

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.1187
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321253-1304342009.cnf'
0.00/0.02	c -- header says num vars:            841
0.00/0.02	c -- header says num clauses:      120147
0.35/0.10	c -- clauses added:            0 learnts,       120147 normals,            0 xors
0.35/0.10	c -- vars added        841
0.35/0.10	c Parsing time:  0.02 s
0.35/0.10	c  N st     0         0       841     72964     47183         0    314766         0   no data   no data
0.35/0.76	c asymm  cl-useful: 129/7956/72964 lits-rem:387 time: 0.66
5.89/0.86	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.10
5.89/0.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.64/0.90	c bin-w-bin subsume rem        23587 bins  time:  0.02 s
6.64/0.96	c subs with bin:    13801  lits-rem:      9286  v-fix:    0  time:  0.04 s
6.64/0.97	c Subs w/ non-existent bins:    115 l-rem:     53 v-fix:     0 done:    840 time:  0.01 s
7.05/1.00	c Removed useless bin:    5302  fixed:     0  props:   3.20M  time:  0.01 s
7.79/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
7.79/1.11	c Finding binary XORs  T:     0.00 s  found:       0
7.79/1.12	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
7.79/1.12	c calculated reachability. Time: 0.00
7.79/1.12	c Calc default polars -  time:   0.00 s pos:       0 undec:       1 neg:     840
7.79/1.12	c =========================================================================================
7.79/1.12	c types(t): F = full restart, N = normal restart
7.79/1.12	c types(t): S = simplification begin/end, E = solution found
7.79/1.12	c restart types(rt): st = static, dy = dynamic
7.79/1.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.79/1.12	c  B st     0         0       840     58346     28020         0    232584         0   no data   no data
11.84/1.69	c  N dy    13      4296       840     58346     28023      4229    232584     98756      9.13      9.61
16.58/2.22	c  N dy    33      8321       840     58346     32754      8194    232584    197627      9.18     10.10
18.18/2.41	c Finding binary XORs  T:     0.00 s  found:       0
20.63/2.77	c  N dy    50     12364       840     58346     32755     12176    232584    285027      9.02      9.51
25.39/3.36	c  N dy    69     16565       840     58346     32820     16312    232584    373946      8.97      9.53
30.97/4.07	c  N dy    92     21386       840     58346     32832     11215    232584    190617      8.94      9.42
34.97/4.58	c  F st   106     25000       840     58346     32837     14778    232584    271690      8.89   no data
35.77/4.68	c  N st   108     25625       840     58346     32837     15395    232584    284843      8.89   no data
41.36/5.35	c  N dy   112     30002       840     58346     32837     19697    232584    378588      8.89   no data
41.36/5.35	c  S st   112     30002       840     58346     32837     19697    232584    378588      8.89   no data
42.16/5.41	c  S st   112     30504       840     58346     32837     20199    232584    389328      8.89   no data
42.16/5.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.96/5.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     85 BRemL:   4740 BRemN:      0 P:  5.7M T:  0.12
42.96/5.55	c blocked clauses removed:        0 vars:      0 tried:         840 T: 0.00 s
42.96/5.56	c bin-w-bin subsume rem         2326 bins  time:  0.01 s
42.96/5.58	c subs with bin:      109  lits-rem:        72  v-fix:    0  time:  0.03 s
42.96/5.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
43.76/5.60	c Removed useless bin:      25  fixed:     0  props:   2.09M  time:  0.01 s
43.76/5.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.15/6.41	c subs with bin:       59  lits-rem:       460  v-fix:    0  time:  0.78 s
51.76/6.67	c lits-rem:       788  cl-subs:     5177  v-elim:      0  v-fix:    0  time:  0.25 s
54.95/7.00	c asymm  cl-useful: 0/3786/58237 lits-rem:0 time: 0.33
54.95/7.00	c calculated reachability. Time: 0.00
54.95/7.00	c  N dy   112     30504       840     58237     25905     14963    227773    311470      8.89   no data
59.75/7.60	c  N dy   136     34573       840     58237     25917     18984    227773    398376      8.88     14.18
64.60/8.23	c  N dy   155     38820       840     58237     25930     23160    227773    490990      8.85      9.53
69.34/8.85	c  N dy   179     42848       840     58237     25930     27132    227773    576851      8.90      9.38
73.38/9.31	c  S st   197     45759       840     58237     25934     29990    227773    638377      8.94      7.38
74.19/9.41	c  S st   197     46262       840     58237     25934     15261    227773    215192      8.94   no data
74.19/9.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.93/9.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     24 BRemL:     14 BRemN:     14 P:  5.5M T:  0.11
74.93/9.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.93/9.54	c bin-w-bin subsume rem           57 bins  time:  0.01 s
74.93/9.57	c subs with bin:       27  lits-rem:        18  v-fix:    0  time:  0.03 s
74.93/9.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
74.93/9.58	c Removed useless bin:      20  fixed:     0  props:   2.11M  time:  0.00 s
74.93/9.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.14/9.96	c subs with bin:       43  lits-rem:       180  v-fix:    0  time:  0.37 s
78.93/10.02	c lits-rem:       205  cl-subs:      991  v-elim:      0  v-fix:    0  time:  0.05 s
78.93/10.03	c vivif2 --  cl tried    58210 cl shrink        0 lits rem          0 time: 0.01
78.93/10.04	c vivif2 --  cl tried    14227 cl shrink     1879 lits rem       2485 time: 0.01
84.53/10.70	c asymm  cl-useful: 0/7616/58210 lits-rem:0 time: 0.66
84.53/10.71	c calculated reachability. Time: 0.00
84.53/10.71	c  N dy   197     46262       840     58210     25871     14227    227660    203845      8.94   no data
89.33/11.34	c  N dy   216     50536       840     58210     25886     18437    227660    296033      8.90      9.39
94.92/12.00	c  N dy   240     54835       840     58210     25886     22660    227660    384434      8.92      9.58
100.57/12.70	c  N dy   263     59419       840     58210     25889     27172    227660    484786      8.91      9.71
105.32/13.32	c  N dy   285     63473       840     58210     25898     31170    227660    572278      8.92     10.44
110.91/14.03	c  N dy   312     67739       840     58210     25901     35373    227660    665877      8.93      9.44
113.31/14.34	c  S st   319     69393       840     58210     25901     18570    227660    214316      8.92      7.99
114.11/14.41	c  S st   319     69894       840     58210     25901     19070    227660    224433      8.92   no data
114.11/14.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.91/14.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:      4 BRemN:      8 P:  5.6M T:  0.11
114.91/14.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.91/14.53	c bin-w-bin subsume rem           18 bins  time:  0.01 s
114.91/14.56	c subs with bin:       18  lits-rem:        12  v-fix:    0  time:  0.03 s
114.91/14.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
114.91/14.58	c Removed useless bin:       6  fixed:     0  props:   2.10M  time:  0.01 s
114.91/14.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
118.15/14.91	c subs with bin:      405  lits-rem:       742  v-fix:    0  time:  0.31 s
118.15/14.98	c lits-rem:       200  cl-subs:     1168  v-elim:      0  v-fix:    0  time:  0.06 s
118.15/14.99	c vivif2 --  cl tried    58192 cl shrink        0 lits rem          0 time: 0.01
118.90/15.00	c vivif2 --  cl tried    17497 cl shrink      627 lits rem        804 time: 0.01
123.70/15.66	c asymm  cl-useful: 10/7457/58192 lits-rem:30 time: 0.66
123.70/15.67	c calculated reachability. Time: 0.00
123.70/15.67	c  N dy   319     69894       840     58182     25897     17497    227600    209605      8.92   no data
123.70/15.67	c Finding binary XORs  T:     0.00 s  found:       0
129.29/16.33	c  N dy   345     74450       840     58182     25901     21973    227600    303500      8.94      9.59
134.93/17.08	c  N dy   375     79197       840     58182     25902     26636    227600    404014      8.97      9.46
141.28/17.85	c  N dy   406     84366       840     58182     26012     31722    227600    518915      8.99      9.48
145.27/18.34	c  F st   423     87500       840     58182     26023     34800    227600    587314      8.99   no data
149.29/18.89	c  N st   428     90797       840     58182     26023     38024    227600    661007      8.99   no data
157.28/19.82	c  N dy   450     96641       840     58182     26048     23248    227600    272304      8.99      9.57
165.27/20.80	c  N dy   488    102864       840     58182     26053     29373    227600    403532      9.02      9.50
167.67/21.11	c  S st   504    104841       840     58182     26056     31315    227600    447352      9.05      9.06
167.67/21.18	c  S st   504    105346       840     58182     26056     31820    227600    459601      9.05   no data
167.67/21.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.27/21.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:     96 BRemN:      1 P:  6.2M T:  0.12
169.27/21.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.27/21.32	c bin-w-bin subsume rem           14 bins  time:  0.01 s
169.27/21.35	c subs with bin:       38  lits-rem:        32  v-fix:    0  time:  0.03 s
169.27/21.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
169.27/21.36	c Removed useless bin:       1  fixed:     0  props:   2.06M  time:  0.00 s
169.27/21.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
176.46/22.25	c subs with bin:      496  lits-rem:       894  v-fix:    0  time:  0.86 s
178.06/22.49	c lits-rem:       773  cl-subs:     3543  v-elim:      0  v-fix:    0  time:  0.24 s
178.90/22.51	c vivif2 --  cl tried    58144 cl shrink        0 lits rem          0 time: 0.01
178.90/22.53	c vivif2 --  cl tried    27781 cl shrink     3182 lits rem       4852 time: 0.03
181.25/22.85	c asymm  cl-useful: 6/3130/58144 lits-rem:18 time: 0.32
181.25/22.85	c calculated reachability. Time: 0.00
181.25/22.85	c  N dy   504    105346       840     58138     25993     27781    227550    407296      9.05   no data
190.04/23.96	c  N dy   547    112226       840     58138     26008     34572    227550    559834      9.08      9.80
199.63/25.18	c  N dy   592    119447       840     58138     26018     41690    227550    720179      9.10      9.61
210.03/26.46	c  N dy   636    127136       840     58138     26049     27225    227550    359909      9.12      9.64
218.82/27.55	c Finding binary XORs  T:     0.00 s  found:       0
221.22/27.81	c  N dy   681    135310       840     58138     26069     35251    227550    539453      9.14      9.62
233.21/29.34	c  N dy   729    144208       839     58138     26078     43991    227550    731958      9.16      9.73
245.20/30.84	c  N dy   784    153503       839     58138     26079     29806    227550    350455      9.17      9.75
250.79/31.53	c  S st   812    158020       839     58138     26117     34222    227550    449872      9.19      8.36
251.59/31.60	c  S st   812    158520       839     58138     26117     34721    227550    460804      9.19   no data
251.59/31.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.39/31.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      4 BRemN:      6 P:  6.1M T:  0.12
252.39/31.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.39/31.74	c bin-w-bin subsume rem           48 bins  time:  0.01 s
252.39/31.77	c subs with bin:       45  lits-rem:        30  v-fix:    0  time:  0.03 s
252.39/31.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    839 time:  0.01 s
252.39/31.79	c Removed useless bin:      12  fixed:     0  props:   2.01M  time:  0.00 s
253.20/31.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.58/32.62	c subs with bin:      508  lits-rem:       672  v-fix:    0  time:  0.80 s
261.18/32.87	c lits-rem:       614  cl-subs:     2901  v-elim:      0  v-fix:    0  time:  0.25 s
261.18/32.89	c vivif2 --  cl tried    58054 cl shrink        0 lits rem          0 time: 0.01
261.98/32.92	c vivif2 --  cl tried    30293 cl shrink     3127 lits rem       4698 time: 0.03
264.38/33.23	c asymm  cl-useful: 9/3232/58054 lits-rem:27 time: 0.32
264.38/33.24	c calculated reachability. Time: 0.00
264.38/33.24	c  N dy   812    158520       839     58045     25948     30293    227225    404956      9.19   no data
277.98/34.92	c  N dy   868    168740       839     58045     25969     40318    227225    622990      9.20     10.40
291.56/36.70	c  N dy   930    179559       839     58045     25978     27101    227225    261063      9.21      9.99
305.95/38.48	c  N dy   982    191192       839     58045     26001     38538    227225    510427      9.19      9.82
322.74/40.53	c  N dy  1041    203437       839     58045     26012     25374    227225    181769      9.18      9.83
338.72/42.56	c  N dy  1120    216428       839     58045     26031     38143    227225    459967      9.20      9.74
346.77/43.52	c Finding binary XORs  T:     0.00 s  found:       0
357.11/44.87	c  N dy  1198    230461       839     58045     26051     51906    227225    769598      9.19      9.87
366.71/46.05	c  S st  1243    237780       839     58045     26074     32744    227225    339230      9.21   no data
367.51/46.12	c  S st  1243    238281       839     58045     26074     33245    227225    349880      9.21   no data
367.51/46.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
368.30/46.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     21 BRemL:      6 BRemN:      1 P:  6.1M T:  0.13
368.30/46.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.30/46.27	c bin-w-bin subsume rem           32 bins  time:  0.01 s
369.10/46.30	c subs with bin:       72  lits-rem:        50  v-fix:    0  time:  0.03 s
369.10/46.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    839 time:  0.01 s
369.10/46.32	c Removed useless bin:       2  fixed:     0  props:   2.02M  time:  0.01 s
369.10/46.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
373.90/46.92	c subs with bin:     1042  lits-rem:      1732  v-fix:    0  time:  0.58 s
375.50/47.12	c lits-rem:       523  cl-subs:     2063  v-elim:      0  v-fix:    0  time:  0.20 s
375.50/47.14	c vivif2 --  cl tried    57973 cl shrink        0 lits rem          0 time: 0.01
375.50/47.16	c vivif2 --  cl tried    30140 cl shrink     2119 lits rem       3270 time: 0.02
377.90/47.49	c asymm  cl-useful: 7/3204/57973 lits-rem:21 time: 0.32
377.90/47.49	c calculated reachability. Time: 0.00
377.90/47.49	c  N dy  1243    238281       839     57966     26117     30140    227136    316726      9.21   no data
397.88/50.00	c  N dy  1330    253584       838     57966     26128     45215    227136    656396      9.23      9.73
420.26/52.79	c  N dy  1431    269802       838     57966     26143     33725    227136    336697      9.26      9.76
443.49/55.68	c  N dy  1524    287087       838     57966     26159     50729    227136    717862      9.26     11.48
468.22/58.77	c  N dy  1636    305497       838     57966     26167     40385    227136    484798      9.28      9.87
469.07/58.90	c  F st  1643    306250       838     57966     26167     41122    227136    500595      9.28   no data
496.26/62.21	c  N dy  1742    325023       838     57946     25998     29721    226924    233899      9.31     10.02
522.64/65.57	c  N dy  1865    345187       838     57946     26006     49517    226924    677923      9.34      9.87
524.18/65.72	c Finding binary XORs  T:     0.00 s  found:       0
540.96/67.81	c  S st  1942    357421       838     57946     26010     31278    226924    255459      9.36   no data
540.96/67.88	c  S st  1942    357921       838     57946     26010     31775    226924    266431      9.36   no data
540.96/67.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
542.56/68.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      6 BRemN:      5 P:  6.1M T:  0.12
542.56/68.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
542.56/68.02	c bin-w-bin subsume rem           44 bins  time:  0.01 s
542.56/68.05	c subs with bin:       36  lits-rem:        23  v-fix:    0  time:  0.03 s
542.56/68.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    838 time:  0.01 s
542.56/68.06	c Removed useless bin:       6  fixed:     0  props:   2.10M  time:  0.01 s
542.56/68.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
545.77/68.42	c subs with bin:      379  lits-rem:       234  v-fix:    0  time:  0.33 s
546.57/68.52	c lits-rem:       150  cl-subs:      906  v-elim:      0  v-fix:    0  time:  0.10 s
546.57/68.54	c vivif2 --  cl tried    57910 cl shrink        0 lits rem          0 time: 0.01
546.57/68.56	c vivif2 --  cl tried    30490 cl shrink      812 lits rem       1074 time: 0.02
551.36/69.19	c asymm  cl-useful: 15/6603/57910 lits-rem:45 time: 0.64
552.16/69.20	c calculated reachability. Time: 0.00
552.16/69.20	c  N dy  1942    357921       838     57895     26000     30490    226849    254767      9.36   no data
578.54/72.50	c  N dy  2042    378068       838     57895     26021     50301    226849    691940      9.35      9.85
607.32/76.10	c  N dy  2143    398589       838     57895     26056     39099    226849    418930      9.35      9.85
633.70/79.48	c  N dy  2253    418633       838     57895     26078     58792    226849    864780      9.36     10.14
661.68/82.98	c  N dy  2369    438930       838     57895     26089     46368    226849    575090      9.36      9.93
690.45/86.51	c  N dy  2490    459059       838     57895     26094     66171    226849   1035131      9.38      9.92
716.83/89.86	c  N dy  2603    479086       838     57895     26101     52446    226849    663597      9.38      9.89
746.41/93.50	c  N dy  2711    499303       838     57895     26110     37933    226849    301262      9.39      9.97
771.19/96.67	c  N dy  2836    519348       838     57895     26118     57686    226849    758156      9.41      9.91
795.97/99.79	c  S st  2936    536881       838     57895     26124     39539    226849    300450      9.41   no data
796.77/99.87	c  S st  2936    537387       838     57895     26124     40043    226849    310074      9.41   no data
796.77/99.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
797.57/99.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     10 BRemN:      2 P:  5.8M T:  0.12
798.37/100.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
798.37/100.01	c bin-w-bin subsume rem           26 bins  time:  0.01 s
798.37/100.03	c subs with bin:       84  lits-rem:        65  v-fix:    0  time:  0.03 s
798.37/100.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    838 time:  0.01 s
798.37/100.05	c Removed useless bin:       6  fixed:     0  props:   2.05M  time:  0.01 s
798.37/100.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
801.57/100.45	c subs with bin:      898  lits-rem:       429  v-fix:    0  time:  0.37 s
802.37/100.60	c lits-rem:       297  cl-subs:     1967  v-elim:      0  v-fix:    0  time:  0.15 s
803.22/100.62	c vivif2 --  cl tried    57811 cl shrink        0 lits rem          0 time: 0.01
803.22/100.64	c vivif2 --  cl tried    37178 cl shrink     1403 lits rem       2075 time: 0.02
804.25/100.97	c asymm  cl-useful: 8/3504/57811 lits-rem:24 time: 0.33
804.25/100.97	c calculated reachability. Time: 0.00
804.25/100.97	c  N dy  2936    537387       838     57803     26171     37178    226737    281027      9.41   no data
804.25/100.97	c Following stats are for *FIRST FINISHED THREAD ONLY*
804.25/100.97	c num threads              : 8          
804.25/100.97	c restarts                 : 3388       
804.25/100.97	c dynamic restarts         : 3364       
804.25/100.97	c static restarts          : 24         
804.25/100.97	c full restarts            : 3          
804.25/100.97	c total simplify time      : 0.01       
804.25/100.97	c learnts DL2              : 0          
804.25/100.97	c learnts size 2           : 62897      
804.25/100.97	c learnts size 1           : 3           (0.36      % of vars)
804.25/100.97	c filedLit time            : 0.35        (0.35      % time)
804.25/100.97	c v-elim SatELite          : 0           (0.00      % vars)
804.25/100.97	c SatELite time            : 0.88        (0.88      % time)
804.25/100.97	c v-elim xor               : 0           (0.00      % vars)
804.25/100.97	c xor elim time            : 0.01        (0.01      % time)
804.25/100.97	c num binary xor trees     : 0          
804.25/100.97	c binxor trees' crown      : 0           (nan       leafs/tree)
804.25/100.97	c bin xor find time        : 0.01       
804.25/100.97	c OTF clause improved      : 9584        (0.02      clauses/conflict)
804.25/100.97	c OTF impr. size diff      : 12693       (1.32       lits/clause)
804.25/100.97	c OTF cl watch-shrink      : 337382      (0.57      clauses/conflict)
804.25/100.97	c OTF cl watch-sh-lit      : 1579028     (4.68       lits/clause)
804.25/100.97	c tried to recurMin cls    : 203850      (34.60      % of conflicts)
804.25/100.97	c updated cache            : 1481        (0.01       lits/tried recurMin)
804.25/100.97	c unit cls recevied        : 1           (33.33     % of units)
804.25/100.97	c unit cls sent            : 1           (33.33     % of units)
804.25/100.97	c bin cls recevied         : 5609       
804.25/100.97	c bin cls sent             : 341        
804.25/100.97	c clauses over max glue    : 0           (0.00      % of all clauses)
804.25/100.97	c conflicts                : 589156      (5847.26   / sec)
804.25/100.97	c decisions                : 1289127     (0.38      % random)
804.25/100.97	c bogo-props               : 6417290651  (63690336.30 / sec)
804.25/100.97	c conflict literals        : 13071636    (57.21     % deleted)
804.25/100.97	c Memory used              : 649.25      MB
804.25/100.97	c single-thread CPU time   : 100.76      s
804.25/100.97	c all-threads sum CPU time : 803.78      s
804.25/100.97	s SATISFIABLE
804.25/100.97	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 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-3321253-1304342009/watcher-3321253-1304342009 -o /tmp/evaluation-result-3321253-1304342009/solver-3321253-1304342009 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321253-1304342009.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=92188 CPUtime=0.01 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 624431604 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24906/statm: 23047 353 299 106 0 18018 0
[pid=24906/tid=24907] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941490 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=92188 CPUtime=0 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 624431605 94400512 353 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941480 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.067814 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=557344 CPUtime=0.27 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 7895 0 0 0 21 6 0 0 17 0 8 0 624431604 570720256 7793 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367207969 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24906/statm: 139336 7800 339 106 0 134307 0
[pid=24906/tid=24907] ppid=24904 vsize=557344 CPUtime=0.02 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1054 0 0 0 2 0 0 0 17 0 8 0 624431605 570720256 7806 33554432000 4194304 4627427 140734377444256 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=557344 CPUtime=0.01 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 775 0 0 0 1 0 0 0 17 0 8 0 624431605 570720256 7810 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 18446604449864303872 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=557344 CPUtime=0.02 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 708 0 0 0 2 0 0 0 18 0 8 0 624431605 570720256 7810 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 18446604449864303872 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=557344 CPUtime=0.02 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 760 0 0 0 2 0 0 0 17 0 8 0 624431605 570720256 7813 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=557344 CPUtime=0.02 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 982 0 0 0 2 0 0 0 17 0 8 0 624431605 570720256 7815 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=557344 CPUtime=0.04 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 864 0 0 0 3 1 0 0 18 0 8 0 624431605 570720256 7820 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=557344 CPUtime=0.04 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1223 0 0 0 3 1 0 0 18 0 8 0 624431605 570720256 7824 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 557344

[startup+0.100805 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=560628 CPUtime=0.35 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 10994 0 0 0 26 9 0 0 17 0 8 0 624431604 574083072 10892 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 140157 10897 353 106 0 135128 0
[pid=24906/tid=24907] ppid=24904 vsize=560628 CPUtime=0.02 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1487 0 0 0 2 0 0 0 17 0 8 0 624431605 574083072 10905 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=560628 CPUtime=0.01 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1052 0 0 0 1 0 0 0 17 0 8 0 624431605 574083072 10906 33554432000 4194304 4627427 140734377444256 18446744073709551615 4530646 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=560628 CPUtime=0.04 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1005 0 0 0 3 1 0 0 17 0 8 0 624431605 574083072 10911 33554432000 4194304 4627427 140734377444256 18446744073709551615 4531708 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=560628 CPUtime=0.03 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 971 0 0 0 3 0 0 0 17 0 8 0 624431605 574083072 10914 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=560628 CPUtime=0.02 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 1373 0 0 0 2 0 0 0 17 0 8 0 624431605 574083072 10917 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 18446604449864303872 0 0 -1 0 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=560628 CPUtime=0.05 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 1300 0 0 0 4 1 0 0 17 0 8 0 624431605 574083072 10922 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367651822 0 0 4096 2 18446604449864303872 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=560628 CPUtime=0.06 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1701 0 0 0 5 1 0 0 18 0 8 0 624431605 574083072 10923 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 560628

[startup+0.806608 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=564272 CPUtime=5.89 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 14576 0 0 0 578 11 0 0 18 0 8 0 624431604 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 141068 14474 366 106 0 136039 0
[pid=24906/tid=24907] ppid=24904 vsize=564272 CPUtime=0.72 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1860 0 0 0 71 1 0 0 18 0 8 0 624431605 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=564272 CPUtime=0.7 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1698 0 0 0 69 1 0 0 18 0 8 0 624431605 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=564272 CPUtime=0.73 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1677 0 0 0 72 1 0 0 18 0 8 0 624431605 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=564272 CPUtime=0.69 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1683 0 0 0 69 0 0 0 18 0 8 0 624431605 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=564272 CPUtime=0.72 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1773 0 0 0 72 0 0 0 18 0 8 0 624431605 577814528 14474 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=564272 CPUtime=0.75 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1698 0 0 0 74 1 0 0 18 0 8 0 624431605 577814528 14475 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=564272 CPUtime=0.76 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1907 0 0 0 75 1 0 0 18 0 8 0 624431605 577814528 14475 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 564272

[startup+0.900591 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=579252 CPUtime=6.64 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 19933 0 0 0 651 13 0 0 18 0 8 0 624431604 593154048 19831 33554432000 4194304 4627427 140734377444256 18446744073709551615 4418875 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 144813 19840 374 106 0 139784 0
[pid=24906/tid=24907] ppid=24904 vsize=579252 CPUtime=0.82 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 3679 0 0 0 81 1 0 0 18 0 8 0 624431605 593154048 19845 33554432000 4194304 4627427 140734377444256 18446744073709551615 4418350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=579252 CPUtime=0.8 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1716 0 0 0 79 1 0 0 18 0 8 0 624431605 593154048 19850 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=579252 CPUtime=0.82 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1770 0 0 0 81 1 0 0 18 0 8 0 624431605 593154048 19857 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=579252 CPUtime=0.79 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1797 0 0 0 78 1 0 0 18 0 8 0 624431605 593154048 19863 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=579252 CPUtime=0.8 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 2938 0 0 0 80 0 0 0 18 0 8 0 624431605 593154048 19867 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=579252 CPUtime=0.84 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) D 24904 24906 24391 0 -1 4202560 2097 0 0 0 82 2 0 0 18 0 8 0 624431605 593154048 19868 33554432000 4194304 4627427 140734377444256 18446744073709551615 251367207969 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=579252 CPUtime=0.85 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 1925 0 0 0 84 1 0 0 19 0 8 0 624431605 593154048 19872 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 579252

[startup+1.50048 s]
/proc/loadavg: 7.40 7.95 7.99 2/199 24906
/proc/meminfo: memFree=14095664/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=592148 CPUtime=10.99 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 36863 0 0 0 1082 17 0 0 18 0 8 0 624431604 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327552 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 148037 31089 385 106 0 143008 0
[pid=24906/tid=24907] ppid=24904 vsize=592148 CPUtime=1.38 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5117 0 0 0 137 1 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=592148 CPUtime=1.3 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4597 0 0 0 128 2 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327434 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=592148 CPUtime=1.33 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5186 0 0 0 131 2 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4321855 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=592148 CPUtime=1.31 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4638 0 0 0 130 1 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=592148 CPUtime=1.37 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4962 0 0 0 136 1 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4333049 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=592148 CPUtime=1.37 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4886 0 0 0 135 2 0 0 18 0 8 0 624431605 606359552 31089 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=592148 CPUtime=1.44 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 2030 0 0 0 143 1 0 0 18 0 8 0 624431605 606359552 31090 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 592148

[startup+3.10119 s]
/proc/loadavg: 7.40 7.95 7.99 9/207 24915
/proc/meminfo: memFree=13965896/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=592148 CPUtime=23.78 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 39775 0 0 0 2361 17 0 0 21 0 8 0 624431604 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 148037 34001 385 106 0 143008 0
[pid=24906/tid=24907] ppid=24904 vsize=592148 CPUtime=2.98 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5487 0 0 0 297 1 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=592148 CPUtime=2.9 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4906 0 0 0 288 2 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=592148 CPUtime=2.93 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5584 0 0 0 291 2 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=592148 CPUtime=2.9 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 4956 0 0 0 289 1 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=592148 CPUtime=2.97 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5267 0 0 0 296 1 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=592148 CPUtime=2.98 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 5212 0 0 0 295 3 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=592148 CPUtime=3.04 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 2598 0 0 0 303 1 0 0 21 0 8 0 624431605 606359552 34001 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 592148

[startup+6.30059 s]
/proc/loadavg: 7.45 7.95 7.99 9/207 24915
/proc/meminfo: memFree=13953628/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=610888 CPUtime=49.36 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 50872 0 0 0 4914 22 0 0 25 0 8 0 624431604 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4424636 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 152722 37027 390 106 0 147693 0
[pid=24906/tid=24907] ppid=24904 vsize=610888 CPUtime=6.18 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6595 0 0 0 616 2 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=610888 CPUtime=6.1 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6063 0 0 0 608 2 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=610888 CPUtime=6.14 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6843 0 0 0 611 3 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=610888 CPUtime=6.07 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6178 0 0 0 606 1 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=610888 CPUtime=6.18 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6453 0 0 0 616 2 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=610888 CPUtime=6.17 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 6380 0 0 0 614 3 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=610888 CPUtime=6.25 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 3957 0 0 0 623 2 0 0 25 0 8 0 624431605 625549312 37027 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 20120 0 0 0 5115 5 0 0 25 0 8 0 624431605 702238720 84805 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=685780 CPUtime=51.58 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 17288 0 0 0 5154 4 0 0 25 0 8 0 624431605 702238720 84805 33554432000 4194304 4627427 140734377444256 18446744073709551615 4247140 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=685780 CPUtime=51.56 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 17977 0 0 0 5150 6 0 0 25 0 8 0 624431605 702238720 84805 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=685780 CPUtime=51.65 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 22009 0 0 0 5160 5 0 0 25 0 8 0 624431605 702238720 84805 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 412.27
Current children cumulated vsize (KiB) 685780

[startup+77.3005 s]
/proc/loadavg: 7.92 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13754520/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=772768 CPUtime=616.91 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 192452 0 0 0 61636 55 0 0 25 0 8 0 624431604 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 193192 87399 390 106 0 188163 0
[pid=24906/tid=24907] ppid=24904 vsize=772768 CPUtime=77.19 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24353 0 0 0 7712 7 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=772768 CPUtime=77.09 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 21649 0 0 0 7703 6 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=772768 CPUtime=77.13 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 23078 0 0 0 7707 6 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=772768 CPUtime=76.64 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26340 0 0 0 7658 6 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=772768 CPUtime=77.18 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 21971 0 0 0 7713 5 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=772768 CPUtime=77.16 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 22954 0 0 0 7709 7 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=772768 CPUtime=77.25 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26605 0 0 0 7719 6 0 0 25 0 8 0 624431605 791314432 87399 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 616.91
Current children cumulated vsize (KiB) 772768

[startup+90.1011 s]
/proc/loadavg: 7.94 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13733388/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=784204 CPUtime=719.23 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 213404 0 0 0 71864 59 0 0 25 0 8 0 624431604 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 196051 92968 390 106 0 191022 0
[pid=24906/tid=24907] ppid=24904 vsize=784204 CPUtime=89.99 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27245 0 0 0 8991 8 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=784204 CPUtime=89.88 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24860 0 0 0 8982 6 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=784204 CPUtime=89.94 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24755 0 0 0 8987 7 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=784204 CPUtime=89.36 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 29528 0 0 0 8929 7 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=784204 CPUtime=89.98 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 23155 0 0 0 8993 5 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=784204 CPUtime=89.96 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26754 0 0 0 8988 8 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=784204 CPUtime=90.05 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 29524 0 0 0 8998 7 0 0 25 0 8 0 624431605 803024896 92968 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 719.23
Current children cumulated vsize (KiB) 784204

[startup+96.5009 s]
/proc/loadavg: 7.94 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13744848/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=718668 CPUtime=770.39 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 217786 0 0 0 76978 61 0 0 25 0 8 0 624431604 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 179667 89530 390 106 0 174638 0
[pid=24906/tid=24907] ppid=24904 vsize=718668 CPUtime=96.38 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27570 0 0 0 9630 8 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=718668 CPUtime=96.29 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26555 0 0 0 9622 7 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=718668 CPUtime=96.34 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24761 0 0 0 9627 7 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=718668 CPUtime=95.71 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30117 0 0 0 9564 7 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=718668 CPUtime=96.38 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 23678 0 0 0 9633 5 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=718668 CPUtime=96.37 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27630 0 0 0 9628 9 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=718668 CPUtime=96.45 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 29892 0 0 0 9638 7 0 0 25 0 8 0 624431605 735916032 89530 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 770.39
Current children cumulated vsize (KiB) 718668

[startup+98.1006 s]
/proc/loadavg: 7.94 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13744104/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=719328 CPUtime=783.18 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 219086 0 0 0 78257 61 0 0 25 0 8 0 624431604 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 179832 90830 390 106 0 174803 0
[pid=24906/tid=24907] ppid=24904 vsize=719328 CPUtime=97.98 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27570 0 0 0 9790 8 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=719328 CPUtime=97.88 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26796 0 0 0 9781 7 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=719328 CPUtime=97.94 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24761 0 0 0 9787 7 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=719328 CPUtime=97.31 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30117 0 0 0 9724 7 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=719328 CPUtime=97.98 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 24735 0 0 0 9793 5 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=719328 CPUtime=97.97 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27630 0 0 0 9788 9 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=719328 CPUtime=98.05 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 29894 0 0 0 9798 7 0 0 25 0 8 0 624431605 736591872 90830 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 783.18
Current children cumulated vsize (KiB) 719328

[startup+99.7013 s]
/proc/loadavg: 7.95 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13745084/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=664704 CPUtime=795.97 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 224046 0 0 0 79535 62 0 0 25 0 8 0 624431604 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 166176 89463 390 106 0 161147 0
[pid=24906/tid=24907] ppid=24904 vsize=664704 CPUtime=99.58 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 28361 0 0 0 9950 8 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=664704 CPUtime=99.49 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26908 0 0 0 9941 8 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=664704 CPUtime=99.54 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 25577 0 0 0 9947 7 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=664704 CPUtime=98.89 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30117 0 0 0 9882 7 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=664704 CPUtime=99.58 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26381 0 0 0 9953 5 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4428116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=664704 CPUtime=99.57 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27630 0 0 0 9948 9 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=664704 CPUtime=99.65 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30753 0 0 0 9958 7 0 0 25 0 8 0 624431605 680656896 89463 33554432000 4194304 4627427 140734377444256 18446744073709551615 4228009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 795.97
Current children cumulated vsize (KiB) 664704

[startup+100.501 s]
/proc/loadavg: 7.95 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13745084/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=664824 CPUtime=802.37 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 224488 0 0 0 80175 62 0 0 25 0 8 0 624431604 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4419919 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 166206 89905 390 106 0 161177 0
[pid=24906/tid=24907] ppid=24904 vsize=664824 CPUtime=100.38 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 28487 0 0 0 10030 8 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=664824 CPUtime=100.29 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26908 0 0 0 10021 8 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=664824 CPUtime=100.34 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 25711 0 0 0 10027 7 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=664824 CPUtime=99.69 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30120 0 0 0 9962 7 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4327595 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=664824 CPUtime=100.38 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 26381 0 0 0 10033 5 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=664824 CPUtime=100.37 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27630 0 0 0 10028 9 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=664824 CPUtime=100.45 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 30883 0 0 0 10038 7 0 0 25 0 8 0 624431605 680779776 89905 33554432000 4194304 4627427 140734377444256 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 802.37
Current children cumulated vsize (KiB) 664824

[startup+100.901 s]
/proc/loadavg: 7.95 7.99 8.00 9/207 24917
/proc/meminfo: memFree=13742604/32950928 swapFree=67111352/67111528
[pid=24906] ppid=24904 vsize=664824 CPUtime=804.25 cores=0-7
/proc/24906/stat : 24906 (strangenight2-m) R 24904 24906 24391 0 -1 4202496 224574 0 0 0 80362 63 0 0 25 0 8 0 624431604 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24906/statm: 166206 89991 390 106 0 161177 0
[pid=24906/tid=24907] ppid=24904 vsize=664824 CPUtime=100.56 cores=0-7
/proc/24906/task/24907/stat : 24907 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 28500 0 0 0 10048 8 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 0 0 0 0
[pid=24906/tid=24908] ppid=24904 vsize=664824 CPUtime=100.47 cores=0-7
/proc/24906/task/24908/stat : 24908 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 26908 0 0 0 10039 8 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 4 0 0 0
[pid=24906/tid=24909] ppid=24904 vsize=664824 CPUtime=100.52 cores=0-7
/proc/24906/task/24909/stat : 24909 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 25724 0 0 0 10045 7 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 5 0 0 0
[pid=24906/tid=24910] ppid=24904 vsize=664824 CPUtime=99.87 cores=0-7
/proc/24906/task/24910/stat : 24910 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 30122 0 0 0 9980 7 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 3 0 0 0
[pid=24906/tid=24911] ppid=24904 vsize=664824 CPUtime=100.56 cores=0-7
/proc/24906/task/24911/stat : 24911 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 26381 0 0 0 10051 5 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 2 0 0 0
[pid=24906/tid=24912] ppid=24904 vsize=664824 CPUtime=100.77 cores=0-7
/proc/24906/task/24912/stat : 24912 (strangenight2-m) R 24904 24906 24391 0 -1 4202560 27630 0 0 0 10068 9 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072916523 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24906/tid=24913] ppid=24904 vsize=664824 CPUtime=100.63 cores=0-7
/proc/24906/task/24913/stat : 24913 (strangenight2-m) S 24904 24906 24391 0 -1 4202560 30894 0 0 0 10056 7 0 0 25 0 8 0 624431605 680779776 89991 33554432000 4194304 4627427 140734377444256 18446744073709551615 47692072941108 0 0 4096 2 18446604449864303872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.25
Current children cumulated vsize (KiB) 664824

Child status: 10
Real time (s): 100.995
CPU time (s): 804.43
CPU user time (s): 803.782
CPU system time (s): 0.647901
CPU usage (%): 796.502
Max. virtual memory (cumulated for all children) (KiB): 872364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 803.782
system time used= 0.647901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224582
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= 24949
involuntary context switches= 3910

runsolver used 0.200969 second user time and 0.445932 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-02 15:13:29
IDJOB=3321253
IDBENCH=85973
IDSOLVER=1709
FILE ID=node113/3321253-1304342009
RUNJOBID= node113-1304335921-24405
PBS_JOBID= 13178023
Free space on /tmp= 73572 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321253-1304342009/watcher-3321253-1304342009 -o /tmp/evaluation-result-3321253-1304342009/solver-3321253-1304342009 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321253-1304342009.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=735823431

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:      14095820 kB
Buffers:        825868 kB
Cached:        2768468 kB
SwapCached:         12 kB
Active:       15299256 kB
Inactive:      3014488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14095820 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            7372 kB
Writeback:           0 kB
AnonPages:    14719508 kB
Mapped:          19416 kB
Slab:           434696 kB
PageTables:      38148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 17264500 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= 73568 MiB
End job on node113 at 2011-05-02 15:15:10