Trace number 3421745

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-mt (fixed)SAT 371.049 46.5394

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
MD5SUM0906ad3a7678a4284d484fb4b8c72f61
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.166974
Satisfiable
(Un)Satisfiability was proved
Number of variables792
Number of clauses67279
Sum of the clauses size135290
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 267249
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.01	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3421745-1306829776.cnf'
0.00/0.04	c -- header says num vars:            792
0.00/0.04	c -- header says num clauses:       67279
0.00/0.08	c -- clauses added:            0 learnts,        67279 normals,            0 xors
0.00/0.08	c -- vars added        792
0.00/0.08	c Parsing time:  0.01 s
0.00/0.08	c  N st     0         0       792        30     67249         0    135290         0   no data   no data
0.00/0.08	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
0.00/0.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.66/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    792 time:  0.01 s
0.66/0.12	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
0.66/0.16	c lits-rem:       744  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.03 s
0.66/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.66/0.16	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.66/0.16	c calculated reachability. Time: 0.00
0.66/0.17	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     762
0.66/0.17	c =========================================================================================
0.66/0.17	c types(t): F = full restart, N = normal restart
0.66/0.17	c types(t): S = simplification begin/end, E = solution found
0.66/0.17	c restart types(rt): st = static, dy = dynamic
0.66/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.66/0.17	c  B st     0         0       762      2116     64371         0    192447         0   no data   no data
2.89/0.48	c  N dy    11      4358       762      2116     64371      4216    192447    259263     11.70     12.65
6.10/0.90	c  N dy    19      8802       762      2116     64372      6106    192447    296052     10.00     10.65
7.69/1.03	c  N dy    28     12976       762      2116     64372      6020    192447    214349      9.45     10.21
9.42/1.23	c  N dy    41     17027       762      2116     64374      9952    192447    381385      9.21     14.16
11.67/1.53	c  N dy    60     21838       762      2116     64377      9191    192447    331067      9.25      9.87
13.27/1.76	c  F st    78     25000       762      2116     64377     12245    192447    503611      9.42      8.07
14.08/1.87	c  N st    81     26188       762      2116     64380      6781    192447    197182      9.42   no data
16.48/2.10	c  S st    84     30000       762      2116     64380     10444    192447    393683      9.42   no data
16.48/2.13	c  S st    84     30501       762      2116     64380     10944    192447    420839      9.42   no data
16.48/2.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.36/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.10
17.36/2.24	c blocked clauses removed:        0 vars:      0 tried:         762 T: 0.00 s
17.36/2.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
20.46/2.66	c subs with bin:        0  lits-rem:     12007  v-fix:    0  time:  0.41 s
20.46/2.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.01 s
20.46/2.67	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
20.46/2.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
30.84/3.90	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  1.20 s
34.03/4.30	c lits-rem:      1085  cl-subs:      951  v-elim:      0  v-fix:    0  time:  0.40 s
34.91/4.44	c asymm  cl-useful: 0/2086/2116 lits-rem:0 time: 0.14
34.91/4.44	c calculated reachability. Time: 0.00
34.91/4.44	c  N dy    84     30501       762      2116     64380      9993    180440    399775      9.42   no data
37.22/4.77	c  N dy   108     34559       762      2116     64398     13918    180440    681001      9.63     10.17
40.42/5.10	c  N dy   125     38608       762      2116     64400     10250    180440    412338      9.60     10.71
43.69/5.53	c  N dy   145     43376       762      2116     64400     14879    180439    711836      9.74     10.25
45.20/5.76	c  S st   153     45751       762      2116     64401     17192    180439    842209      9.68      6.77
46.00/5.80	c  S st   153     46252       762      2116     64401      8996    180439    266192      9.68   no data
46.00/5.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.00/5.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.08
46.00/5.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.80/5.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
49.20/6.23	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.33 s
49.20/6.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.01 s
49.20/6.24	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.00 s
49.20/6.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
58.78/7.44	c subs with bin:      163  lits-rem:       340  v-fix:    0  time:  1.19 s
58.78/7.49	c lits-rem:        46  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.05 s
58.78/7.49	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
59.58/7.50	c vivif2 --  cl tried     8720 cl shrink       26 lits rem         27 time: 0.01
60.39/7.62	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.12
60.39/7.62	c calculated reachability. Time: 0.00
60.39/7.62	c  N dy   153     46252       762      2116     64401      8720    180430    262421      9.68   no data
62.76/7.94	c  N dy   173     50685       762      2116     64402     13023    180430    488927      9.70     10.50
65.97/8.31	c  N dy   183     54763       762      2116     64419     16977    180430    690539      9.61     10.15
68.36/8.68	c  N dy   203     58943       762      2116     64421     11368    180430    388514      9.67     10.24
71.54/9.02	c  N dy   218     63017       762      2116     64422     15315    180430    608551      9.63     10.28
74.74/9.43	c  N dy   249     67043       762      2116     64422     19243    180430    875739      9.88     17.80
77.13/9.75	c  S st   265     69378       762      2116     64431     10814    180430    311420      9.99      7.63
77.13/9.78	c  S st   265     69880       762      2116     64431     11312    180430    345162      9.99   no data
77.13/9.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.93/9.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.1M T:  0.10
77.93/9.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.93/9.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
81.12/10.21	c subs with bin:        0  lits-rem:        11  v-fix:    0  time:  0.32 s
81.12/10.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.01 s
81.12/10.22	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
81.12/10.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
90.70/11.42	c subs with bin:       67  lits-rem:       455  v-fix:    0  time:  1.19 s
91.50/11.52	c lits-rem:       143  cl-subs:      282  v-elim:      0  v-fix:    0  time:  0.09 s
91.50/11.52	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
91.50/11.53	c vivif2 --  cl tried    10963 cl shrink      134 lits rem        136 time: 0.01
92.29/11.67	c asymm  cl-useful: 0/2116/2116 lits-rem:0 time: 0.14
92.29/11.68	c calculated reachability. Time: 0.00
92.29/11.68	c  N dy   265     69880       762      2116     64431     10963    180419    340309      9.99   no data
95.50/12.04	c  N dy   285     74529       762      2116     64432     15438    180419    551914      9.98     10.69
98.67/12.48	c  N dy   300     79355       762      2116     64450     20049    180419    742544      9.93     11.19
103.48/13.00	c  N dy   330     84890       762      2116     64453     13845    180419    481227      9.98     10.52
105.15/13.22	c  F st   342     87500       762      2116     64453     16345    180419    604170     10.00      6.88
107.47/13.54	c  N st   347     90797       762      2116     64462     19472    180419    750124     10.00   no data
113.06/14.25	c  N dy   373     96686       762      2116     64466     12634    180419    356254     10.07     10.60
117.85/14.81	c  N dy   401    103285       762      2116     64479     18989    180419    746769     10.11     10.70
118.65/14.99	c  S st   405    104820       762      2116     64479     20436    180419    827843     10.10     10.49
119.45/15.03	c  S st   405    105322       762      2116     64479     20937    180419    858436     10.10   no data
119.45/15.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
121.04/15.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.6M T:  0.17
121.04/15.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.04/15.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
123.56/15.54	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.32 s
123.56/15.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.01 s
123.56/15.55	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.00 s
123.56/15.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
134.61/16.90	c subs with bin:      674  lits-rem:       530  v-fix:    0  time:  1.31 s
143.38/18.01	c lits-rem:      1400  cl-subs:     1064  v-elim:      0  v-fix:    0  time:  1.11 s
143.38/18.01	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
143.38/18.03	c vivif2 --  cl tried    19199 cl shrink      708 lits rem        844 time: 0.02
144.99/18.24	c asymm  cl-useful: 0/1636/2116 lits-rem:0 time: 0.21
144.99/18.24	c calculated reachability. Time: 0.00
144.99/18.24	c  N dy   405    105322       762      2116     64480     19199    180409    824573     10.10   no data
152.17/19.17	c  N dy   433    112627       762      2116     64507     26232    180409   1148630     10.07     10.62
158.70/19.95	c  N dy   478    120301       762      2116     64512     20212    180409    809775     10.16     10.82
166.62/20.92	c  N dy   513    128004       762      2116     64517     27609    180409   1269251     10.16     13.59
173.73/21.82	c  N dy   558    136233       762      2116     64522     21097    180409    822290     10.22     14.56
183.31/23.09	c  N dy   600    145730       762      2116     64539     30205    180409   1284779     10.22     10.81
192.96/24.24	c  N dy   661    155573       762      2116     64549     24335    180409   1025423     10.35     11.11
196.08/24.63	c  S st   678    157983       762      2116     64563     26649    180409   1188480     10.39      7.51
196.88/24.71	c  S st   678    158485       762      2116     64563     27150    180409   1220365     10.39   no data
196.88/24.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.48/24.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 11.9M T:  0.25
198.48/24.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.48/24.97	c bin-w-bin subsume rem            1 bins  time:  0.01 s
200.88/25.29	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.32 s
200.88/25.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    762 time:  0.01 s
200.88/25.30	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.00 s
200.88/25.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.04/26.62	c subs with bin:       91  lits-rem:       502  v-fix:    0  time:  1.28 s
231.19/29.00	c lits-rem:      1914  cl-subs:     1314  v-elim:      0  v-fix:    0  time:  2.38 s
231.19/29.01	c vivif2 --  cl tried     2116 cl shrink        0 lits rem          0 time: 0.00
231.19/29.04	c vivif2 --  cl tried    25745 cl shrink     2261 lits rem       4593 time: 0.04
232.79/29.26	c asymm  cl-useful: 0/1191/2116 lits-rem:0 time: 0.21
232.79/29.26	c calculated reachability. Time: 0.00
232.79/29.26	c  N dy   678    158485       762      2116     64568     25740    180396   1184527     10.39   no data
245.66/30.91	c  N dy   727    168976       761      2116     64602     19498    180396    732120     10.41     11.01
260.75/32.71	c  N dy   761    182360       761      2116     64606     32345    180396   1406966     10.32     10.87
272.00/34.12	c  N dy   781    194011       760      2116     64638     26207    180396    913125     10.24     11.02
285.48/35.86	c  N dy   828    206983       760      2116     64646     20422    180395    614221     10.27     10.83
298.35/37.48	c  N dy   906    220232       760      2116     64657     33231    180395   1426521     10.38     14.37
313.43/39.37	c  N dy   971    234332       760      2116     64673     27546    180395    969802     10.50     11.06
316.76/39.77	c  S st   976    237727       760      2116     64673     30790    180395   1069671     10.48      6.99
317.41/39.84	c  S st   976    238232       760      2116     64673     31295    180395   1096676     10.48   no data
317.41/39.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
319.01/40.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.6M T:  0.23
319.01/40.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
319.01/40.08	c bin-w-bin subsume rem            5 bins  time:  0.01 s
322.21/40.40	c subs with bin:        0  lits-rem:        26  v-fix:    0  time:  0.32 s
322.21/40.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    760 time:  0.01 s
322.21/40.41	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
322.21/40.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
332.61/41.72	c subs with bin:       75  lits-rem:        32  v-fix:    0  time:  1.27 s
345.36/43.39	c lits-rem:      2927  cl-subs:     1977  v-elim:      0  v-fix:    0  time:  1.67 s
345.36/43.39	c vivif2 --  cl tried     2115 cl shrink        0 lits rem          0 time: 0.00
346.16/43.43	c vivif2 --  cl tried    27594 cl shrink     3126 lits rem       4753 time: 0.04
347.76/43.64	c asymm  cl-useful: 0/919/2115 lits-rem:0 time: 0.21
347.76/43.64	c calculated reachability. Time: 0.00
347.76/43.64	c  N dy   976    238232       760      2115     64054     27592    179279   1024813     10.48   no data
363.72/45.69	c  N dy  1016    253518       760      2115     64092     22973    179279    765052     10.43     22.21
370.90/46.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
370.90/46.51	c num threads              : 8          
370.90/46.51	c restarts                 : 950        
370.90/46.51	c dynamic restarts         : 932        
370.90/46.51	c static restarts          : 18         
370.90/46.51	c full restarts            : 2          
370.90/46.51	c total simplify time      : 0.00       
370.90/46.51	c learnts DL2              : 0          
370.90/46.51	c learnts size 2           : 67592      
370.90/46.51	c learnts size 1           : 2           (0.25      % of vars)
370.90/46.51	c filedLit time            : 0.75        (1.64      % time)
370.90/46.51	c v-elim SatELite          : 30          (3.79      % vars)
370.90/46.51	c SatELite time            : 7.52        (16.49     % time)
370.90/46.51	c v-elim xor               : 0           (0.00      % vars)
370.90/46.51	c xor elim time            : 0.01        (0.03      % time)
370.90/46.51	c num binary xor trees     : 0          
370.90/46.51	c binxor trees' crown      : 0           (nan       leafs/tree)
370.90/46.51	c bin xor find time        : 0.00       
370.90/46.51	c OTF clause improved      : 8375        (0.04      clauses/conflict)
370.90/46.51	c OTF impr. size diff      : 9422        (1.13       lits/clause)
370.90/46.51	c OTF cl watch-shrink      : 184809      (0.80      clauses/conflict)
370.90/46.51	c OTF cl watch-sh-lit      : 3470569     (18.78      lits/clause)
370.90/46.51	c tried to recurMin cls    : 64829       (27.94      % of conflicts)
370.90/46.51	c updated cache            : 0           (0.00       lits/tried recurMin)
370.90/46.51	c unit cls recevied        : 0           (0.00      % of units)
370.90/46.51	c unit cls sent            : 0           (0.00      % of units)
370.90/46.51	c bin cls recevied         : 283        
370.90/46.51	c bin cls sent             : 54         
370.90/46.51	c clauses over max glue    : 0           (0.00      % of all clauses)
370.90/46.51	c conflicts                : 232003      (5087.11   / sec)
370.90/46.51	c decisions                : 340340      (0.66      % random)
370.90/46.51	c bogo-props               : 2810406056  (61623514.21 / sec)
370.90/46.51	c conflict literals        : 14716804    (41.71     % deleted)
370.90/46.51	c Memory used              : 744.00      MB
370.90/46.51	c single-thread CPU time   : 45.61       s
370.90/46.51	c all-threads sum CPU time : 370.42      s
370.90/46.51	s SATISFIABLE
370.90/46.51	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3421745-1306829776/watcher-3421745-1306829776 -o /tmp/evaluation-result-3421745-1306829776/solver-3421745-1306829776 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421745-1306829776.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: 8.06 8.04 7.98 1/504 8556
/proc/meminfo: memFree=4104188/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=92144 CPUtime=0.03 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 413 0 0 0 3 0 0 0 25 0 8 0 775393722 94355456 352 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8556/statm: 23036 352 299 95 0 18018 0
[pid=8556/tid=8557] ppid=8554 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906515 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=92144 CPUtime=0 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906934 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906515 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906515 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=92144 CPUtime=0 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906521 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393723 94355456 359 33554432000 4194304 4580107 140736586995344 18446744073709551615 47132644906521 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.112839 s]
/proc/loadavg: 8.06 8.04 7.98 1/504 8556
/proc/meminfo: memFree=4104188/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=621460 CPUtime=0.66 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 7303 0 0 0 60 6 0 0 17 0 8 0 775393722 636375040 7188 33554432000 4194304 4580107 140736586995344 18446744073709551615 4446419 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 155365 7193 371 95 0 150347 0
[pid=8556/tid=8557] ppid=8554 vsize=621460 CPUtime=0.09 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 952 0 0 0 9 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 4490406 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=621460 CPUtime=0.03 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) D 8554 8556 8340 0 -1 4202560 924 0 0 0 3 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 255106812087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=621460 CPUtime=0.08 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 841 0 0 0 8 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=621460 CPUtime=0.07 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) D 8554 8556 8340 0 -1 4202560 898 0 0 0 7 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 255106812087 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=621460 CPUtime=0.07 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 805 0 0 0 7 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 4446419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=621460 CPUtime=0.08 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 966 0 0 0 8 0 0 0 17 0 8 0 775393723 636375040 7193 33554432000 4194304 4580107 140736586995344 18446744073709551615 4515183 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=621460 CPUtime=0.07 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 674 0 0 0 7 0 0 0 17 0 8 0 775393723 636375040 7205 33554432000 4194304 4580107 140736586995344 18446744073709551615 4316414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 621460

[startup+0.206924 s]
/proc/loadavg: 8.06 8.04 7.98 1/504 8556
/proc/meminfo: memFree=4104188/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=623416 CPUtime=1.34 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 11221 0 0 0 126 8 0 0 18 0 8 0 775393722 638377984 10935 33554432000 4194304 4580107 140736586995344 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 155854 10935 376 95 0 150836 0
[pid=8556/tid=8557] ppid=8554 vsize=623416 CPUtime=0.17 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1405 0 0 0 17 0 0 0 18 0 8 0 775393723 638377984 10935 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=623416 CPUtime=0.12 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1497 0 0 0 12 0 0 0 18 0 8 0 775393723 638377984 10935 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=623416 CPUtime=0.17 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1337 0 0 0 16 1 0 0 18 0 8 0 775393723 638377984 10935 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=623416 CPUtime=0.16 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1397 0 0 0 15 1 0 0 18 0 8 0 775393723 638377984 10936 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=623416 CPUtime=0.16 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1369 0 0 0 15 1 0 0 17 0 8 0 775393723 638377984 10936 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=623416 CPUtime=0.16 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1448 0 0 0 16 0 0 0 18 0 8 0 775393723 638377984 10936 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=623416 CPUtime=0.16 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 871 0 0 0 16 0 0 0 18 0 8 0 775393723 638377984 10936 33554432000 4194304 4580107 140736586995344 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 623416

[startup+0.300582 s]
/proc/loadavg: 8.06 8.04 7.98 1/504 8556
/proc/meminfo: memFree=4104188/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=623680 CPUtime=2.09 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 12390 0 0 0 201 8 0 0 18 0 8 0 775393722 638648320 12104 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 155920 12105 376 95 0 150902 0
[pid=8556/tid=8557] ppid=8554 vsize=623680 CPUtime=0.26 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1596 0 0 0 26 0 0 0 18 0 8 0 775393723 638648320 12105 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=623680 CPUtime=0.21 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1631 0 0 0 21 0 0 0 18 0 8 0 775393723 638648320 12107 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=623680 CPUtime=0.26 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1451 0 0 0 25 1 0 0 18 0 8 0 775393723 638648320 12107 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=623680 CPUtime=0.26 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1595 0 0 0 25 1 0 0 18 0 8 0 775393723 638648320 12107 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=623680 CPUtime=0.25 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1469 0 0 0 24 1 0 0 18 0 8 0 775393723 638648320 12107 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=623680 CPUtime=0.26 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1583 0 0 0 26 0 0 0 18 0 8 0 775393723 638648320 12107 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=623680 CPUtime=0.25 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1039 0 0 0 25 0 0 0 18 0 8 0 775393723 638648320 12108 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 623680

[startup+0.700511 s]
/proc/loadavg: 8.06 8.04 7.98 1/504 8556
/proc/meminfo: memFree=4104188/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=632072 CPUtime=5.29 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 18022 0 0 0 520 9 0 0 18 0 8 0 775393722 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 158018 14002 376 95 0 153000 0
[pid=8556/tid=8557] ppid=8554 vsize=632072 CPUtime=0.66 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2272 0 0 0 66 0 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=632072 CPUtime=0.62 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2345 0 0 0 61 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=632072 CPUtime=0.66 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2186 0 0 0 65 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=632072 CPUtime=0.66 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2287 0 0 0 65 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4320046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=632072 CPUtime=0.65 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2165 0 0 0 64 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=632072 CPUtime=0.66 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 2230 0 0 0 65 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=632072 CPUtime=0.66 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 1850 0 0 0 65 1 0 0 18 0 8 0 775393723 647241728 14002 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 632072

[startup+1.50037 s]
/proc/loadavg: 8.06 8.04 7.98 9/512 8564
/proc/meminfo: memFree=4046836/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=636032 CPUtime=11.67 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 28262 0 0 0 1155 12 0 0 19 0 8 0 775393722 651296768 15367 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 159008 15368 377 95 0 153990 0
[pid=8556/tid=8557] ppid=8554 vsize=636032 CPUtime=1.46 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3564 0 0 0 146 0 0 0 19 0 8 0 775393723 651296768 15368 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=636032 CPUtime=1.39 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3719 0 0 0 138 1 0 0 19 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=636032 CPUtime=1.46 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3459 0 0 0 145 1 0 0 19 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=636032 CPUtime=1.45 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3336 0 0 0 144 1 0 0 19 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=636032 CPUtime=1.45 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3536 0 0 0 144 1 0 0 19 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=636032 CPUtime=1.46 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3571 0 0 0 145 1 0 0 20 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=636032 CPUtime=1.45 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 3210 0 0 0 144 1 0 0 19 0 8 0 775393723 651296768 15369 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 636032

[startup+3.10109 s]
/proc/loadavg: 8.05 8.04 7.98 9/512 8564
/proc/meminfo: memFree=4036792/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=636444 CPUtime=24.46 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 45575 0 0 0 2430 16 0 0 24 0 8 0 775393722 651718656 20596 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 159111 20596 378 95 0 154093 0
[pid=8556/tid=8557] ppid=8554 vsize=636444 CPUtime=3.07 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5521 0 0 0 306 1 0 0 25 0 8 0 775393723 651718656 20597 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=636444 CPUtime=2.98 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5788 0 0 0 296 2 0 0 24 0 8 0 775393723 651718656 20597 33554432000 4194304 4580107 140736586995344 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=636444 CPUtime=3.07 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5500 0 0 0 305 2 0 0 25 0 8 0 775393723 651718656 20597 33554432000 4194304 4580107 140736586995344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=636444 CPUtime=3.05 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5517 0 0 0 303 2 0 0 24 0 8 0 775393723 651718656 20598 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=636444 CPUtime=3.05 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5575 0 0 0 304 1 0 0 25 0 8 0 775393723 651718656 20598 33554432000 4194304 4580107 140736586995344 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=636444 CPUtime=3.06 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5608 0 0 0 305 1 0 0 25 0 8 0 775393723 651718656 20598 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=636444 CPUtime=3.05 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 5222 0 0 0 304 1 0 0 24 0 8 0 775393723 651718656 20598 33554432000 4194304 4580107 140736586995344 18446744073709551615 4306255 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 636444

[startup+6.30053 s]
/proc/loadavg: 8.05 8.04 7.98 9/512 8564
/proc/meminfo: memFree=3960176/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=646952 CPUtime=50 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 74647 0 0 0 4979 21 0 0 25 0 8 0 775393722 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413617 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 161738 41114 378 95 0 156720 0
[pid=8556/tid=8557] ppid=8554 vsize=646952 CPUtime=6.27 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 7575 0 0 0 626 1 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=646952 CPUtime=6.12 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 10872 0 0 0 610 2 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=646952 CPUtime=6.26 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 10188 0 0 0 624 2 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=646952 CPUtime=6.26 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 9116 0 0 0 623 3 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=646952 CPUtime=6.25 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 10781 0 0 0 623 2 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=646952 CPUtime=6.26 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 8761 0 0 0 624 2 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=646952 CPUtime=6.26 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 8389 0 0 0 624 2 0 0 25 0 8 0 775393723 662478848 41114 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21892 0 0 0 2550 5 0 0 25 0 8 0 775393723 716091392 81822 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=699308 CPUtime=25.55 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 23855 0 0 0 2550 5 0 0 25 0 8 0 775393723 716091392 81822 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=699308 CPUtime=25.56 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 22371 0 0 0 2551 5 0 0 25 0 8 0 775393723 716091392 81822 33554432000 4194304 4580107 140736586995344 18446744073709551615 4315022 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=699308 CPUtime=25.55 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 22840 0 0 0 2549 6 0 0 25 0 8 0 775393723 716091392 81822 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 699308

[startup+38.4009 s]
/proc/loadavg: 8.08 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3693236/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=736780 CPUtime=306.25 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 218741 0 0 0 30571 54 0 0 25 0 8 0 775393722 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 184195 106702 379 95 0 179177 0
[pid=8556/tid=8557] ppid=8554 vsize=736780 CPUtime=38.37 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21758 0 0 0 3833 4 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=736780 CPUtime=37.69 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25921 0 0 0 3764 5 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=736780 CPUtime=38.36 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 27272 0 0 0 3829 7 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=736780 CPUtime=38.36 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 28160 0 0 0 3829 7 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=736780 CPUtime=38.35 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 27227 0 0 0 3829 6 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=736780 CPUtime=38.36 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 30111 0 0 0 3830 6 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=736780 CPUtime=38.34 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 34183 0 0 0 3826 8 0 0 25 0 8 0 775393723 754462720 106702 33554432000 4194304 4580107 140736586995344 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 306.25
Current children cumulated vsize (KiB) 736780

[startup+41.6013 s]
/proc/loadavg: 8.08 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3676948/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=736780 CPUtime=331.81 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 224534 0 0 0 33125 56 0 0 25 0 8 0 775393722 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4413647 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 184195 108431 379 95 0 179177 0
[pid=8556/tid=8557] ppid=8554 vsize=736780 CPUtime=41.57 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4153 4 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=736780 CPUtime=40.83 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25931 0 0 0 4078 5 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=736780 CPUtime=41.56 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29406 0 0 0 4148 8 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=736780 CPUtime=41.56 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 30164 0 0 0 4149 7 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=736780 CPUtime=41.55 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 27261 0 0 0 4149 6 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=736780 CPUtime=41.55 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 30474 0 0 0 4149 6 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=736780 CPUtime=41.54 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 34183 0 0 0 4146 8 0 0 25 0 8 0 775393723 754462720 108431 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 331.81
Current children cumulated vsize (KiB) 736780

[startup+44.8007 s]
/proc/loadavg: 8.07 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3670996/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=761616 CPUtime=357.35 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 233495 0 0 0 35676 59 0 0 25 0 8 0 775393722 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4318370 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 190404 106836 379 95 0 185386 0
[pid=8556/tid=8557] ppid=8554 vsize=761616 CPUtime=44.77 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4473 4 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=761616 CPUtime=43.97 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25931 0 0 0 4392 5 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=761616 CPUtime=44.77 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 31494 0 0 0 4468 9 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=761616 CPUtime=44.75 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32247 0 0 0 4468 7 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=761616 CPUtime=44.75 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29061 0 0 0 4468 7 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=761616 CPUtime=44.75 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 31673 0 0 0 4469 6 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=761616 CPUtime=44.75 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 35066 0 0 0 4466 9 0 0 25 0 8 0 775393723 779894784 106836 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 357.35
Current children cumulated vsize (KiB) 761616

[startup+45.6006 s]
/proc/loadavg: 8.07 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3678124/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=761616 CPUtime=363.72 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 235629 0 0 0 36313 59 0 0 25 0 8 0 775393722 779894784 105642 33554432000 4194304 4580107 140736586995344 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 190404 105642 379 95 0 185386 0
[pid=8556/tid=8557] ppid=8554 vsize=761616 CPUtime=45.57 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4553 4 0 0 25 0 8 0 775393723 779894784 105643 33554432000 4194304 4580107 140736586995344 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=761616 CPUtime=44.76 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25983 0 0 0 4471 5 0 0 25 0 8 0 775393723 779894784 105643 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=761616 CPUtime=45.57 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 31714 0 0 0 4548 9 0 0 25 0 8 0 775393723 779894784 105643 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=761616 CPUtime=45.55 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32505 0 0 0 4548 7 0 0 25 0 8 0 775393723 779894784 105643 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=761616 CPUtime=45.55 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29266 0 0 0 4548 7 0 0 25 0 8 0 775393723 779894784 105644 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=761616 CPUtime=45.55 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32082 0 0 0 4549 6 0 0 25 0 8 0 775393723 779894784 105644 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=761616 CPUtime=45.55 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 35066 0 0 0 4546 9 0 0 25 0 8 0 775393723 779894784 105644 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 363.72
Current children cumulated vsize (KiB) 761616

[startup+46.0005 s]
/proc/loadavg: 8.07 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3678124/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=761616 CPUtime=366.92 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 236303 0 0 0 36633 59 0 0 25 0 8 0 775393722 779894784 106316 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 190404 106317 379 95 0 185386 0
[pid=8556/tid=8557] ppid=8554 vsize=761616 CPUtime=45.97 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4593 4 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=761616 CPUtime=45.16 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25983 0 0 0 4511 5 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=761616 CPUtime=45.97 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 31817 0 0 0 4588 9 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=761616 CPUtime=45.95 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32580 0 0 0 4588 7 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=761616 CPUtime=45.95 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29399 0 0 0 4588 7 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=761616 CPUtime=45.95 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32218 0 0 0 4589 6 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=761616 CPUtime=45.95 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 35066 0 0 0 4586 9 0 0 25 0 8 0 775393723 779894784 106317 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 366.92
Current children cumulated vsize (KiB) 761616

[startup+46.4004 s]
/proc/loadavg: 8.07 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3681100/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=761848 CPUtime=370.11 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 237901 0 0 0 36951 60 0 0 25 0 8 0 775393722 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4321083 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 190462 105683 379 95 0 185444 0
[pid=8556/tid=8557] ppid=8554 vsize=761848 CPUtime=46.37 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4633 4 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=761848 CPUtime=45.54 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25983 0 0 0 4549 5 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=761848 CPUtime=46.36 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32015 0 0 0 4627 9 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=761848 CPUtime=46.36 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 33561 0 0 0 4628 8 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=761848 CPUtime=46.35 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29509 0 0 0 4628 7 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=761848 CPUtime=46.35 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32370 0 0 0 4629 6 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=761848 CPUtime=46.35 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 35066 0 0 0 4626 9 0 0 25 0 8 0 775393723 780132352 105683 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 370.11
Current children cumulated vsize (KiB) 761848

[startup+46.5004 s]
/proc/loadavg: 8.07 8.05 7.98 9/512 8565
/proc/meminfo: memFree=3681100/32951124 swapFree=67111204/67111528
[pid=8556] ppid=8554 vsize=761848 CPUtime=370.9 cores=0-7
/proc/8556/stat : 8556 (strangenight2-m) R 8554 8556 8340 0 -1 4202496 238050 0 0 0 37030 60 0 0 25 0 8 0 775393722 780132352 105832 33554432000 4194304 4580107 140736586995344 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8556/statm: 190462 105832 379 95 0 185444 0
[pid=8556/tid=8557] ppid=8554 vsize=761848 CPUtime=46.47 cores=0-7
/proc/8556/task/8557/stat : 8557 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 21769 0 0 0 4643 4 0 0 25 0 8 0 775393723 780132352 105832 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8556/tid=8558] ppid=8554 vsize=761848 CPUtime=45.64 cores=0-7
/proc/8556/task/8558/stat : 8558 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 25983 0 0 0 4559 5 0 0 25 0 8 0 775393723 780132352 105833 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8556/tid=8559] ppid=8554 vsize=761848 CPUtime=46.46 cores=0-7
/proc/8556/task/8559/stat : 8559 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32049 0 0 0 4637 9 0 0 25 0 8 0 775393723 780132352 105833 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8556/tid=8560] ppid=8554 vsize=761848 CPUtime=46.46 cores=0-7
/proc/8556/task/8560/stat : 8560 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 33586 0 0 0 4638 8 0 0 25 0 8 0 775393723 780132352 105833 33554432000 4194304 4580107 140736586995344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8556/tid=8561] ppid=8554 vsize=761848 CPUtime=46.45 cores=0-7
/proc/8556/task/8561/stat : 8561 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 29537 0 0 0 4638 7 0 0 25 0 8 0 775393723 780132352 105833 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8556/tid=8562] ppid=8554 vsize=761848 CPUtime=46.45 cores=0-7
/proc/8556/task/8562/stat : 8562 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 32392 0 0 0 4639 6 0 0 25 0 8 0 775393723 780132352 105833 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8556/tid=8563] ppid=8554 vsize=761848 CPUtime=46.45 cores=0-7
/proc/8556/task/8563/stat : 8563 (strangenight2-m) R 8554 8556 8340 0 -1 4202560 35066 0 0 0 4636 9 0 0 25 0 8 0 775393723 780132352 105834 33554432000 4194304 4580107 140736586995344 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 370.9
Current children cumulated vsize (KiB) 761848

Child status: 10
Real time (s): 46.5394
CPU time (s): 371.049
CPU user time (s): 370.422
CPU system time (s): 0.626904
CPU usage (%): 797.278
Max. virtual memory (cumulated for all children) (KiB): 830380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.422
system time used= 0.626904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238085
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= 15139
involuntary context switches= 1713

runsolver used 0.225965 second user time and 0.570913 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-31 10:16:16
IDJOB=3421745
IDBENCH=88224
IDSOLVER=1878
FILE ID=node144/3421745-1306829776
RUNJOBID= node144-1306824762-8354
PBS_JOBID= 13479118
Free space on /tmp= 7432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421745-1306829776/watcher-3421745-1306829776 -o /tmp/evaluation-result-3421745-1306829776/solver-3421745-1306829776 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421745-1306829776.cnf

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

MD5SUM BENCH= 0906ad3a7678a4284d484fb4b8c72f61
RANDOM SEED=1921873540

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       4104344 kB
Buffers:         53100 kB
Cached:       13040904 kB
SwapCached:        140 kB
Active:       21585860 kB
Inactive:      6670452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       4104344 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:    15162256 kB
Mapped:          41784 kB
Slab:           445796 kB
PageTables:      69608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 157743428 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= 7428 MiB
End job on node144 at 2011-05-31 10:17:03