Trace number 3367218

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)UNSAT 2269.39 570.576

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark454.45
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367218-1305393864.cnf'
0.00/0.01	c -- header says num vars:         559571
0.00/0.01	c -- header says num clauses:    10223027
13.16/3.91	c -- clauses added:            0 learnts,     10223027 normals,            0 xors
13.16/3.91	c -- vars added     559571
13.16/3.91	c Parsing time:  2.13 s
13.16/3.91	c  N st     0         0    559571    351283   8886087         0  20126913         0   no data   no data
17.12/4.93	c asymm  cl-useful: 491/667/276845 lits-rem:2206 time: 0.96
76.16/19.72	c Flit:   233 Blit:  93807 bXBeca:    0 bXProp:  806 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 14.61
76.58/19.88	c Cleaning up after failed var search:     0.16 s 
77.32/20.09	c Replacing      809 vars Replaced    26604 lits Time:     0.20 s 
78.49/20.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
80.50/20.89	c bin-w-bin subsume rem          884 bins  time:  0.50 s
99.62/25.68	c subs with bin:        0  lits-rem:      5054  v-fix:    0  time:  4.74 s
112.37/28.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  21770 time:  3.12 s
113.17/29.08	c Removed useless bin:    6590  fixed:     0  props:  20.02M  time:  0.23 s
117.16/30.03	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.94 s
117.56/30.17	c Finding binary XORs  T:     0.14 s  found:    2248
118.36/30.38	c Replacing     2248 vars Replaced   277404 lits Time:     0.21 s 
119.16/30.56	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
119.16/30.56	c calculated reachability. Time: 0.01
119.56/30.65	c Calc default polars -  time:   0.09 s pos:    3339 undec:  253131 neg:  303101
119.56/30.65	c =========================================================================================
119.56/30.65	c types(t): F = full restart, N = normal restart
119.56/30.65	c types(t): S = simplification begin/end, E = solution found
119.56/30.65	c restart types(rt): st = static, dy = dynamic
119.56/30.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
119.56/30.65	c  B st     0         0    306440    212135   5098935         0  11610538         0   no data   no data
184.55/46.91	c  N dy    17      4197    259185    178586   4058914      3749   9302132   2222187     13.44     14.19
272.28/68.95	c  N dy    31      9499    258674    178586   4059725      8869   9302132   5670352     11.31     12.70
348.48/88.09	c  N dy    53     13646    258486    178586   4060202     12879   9302132   8919225     11.36     12.05
415.82/104.92	c  N dy    72     17991    258466    178586   4060249     17141   9302132  11670919     11.07     12.17
486.39/122.66	c  N dy    92     22073    258396    178586   4060774     11592   9302132   2147478     11.17     11.91
531.45/133.90	c  F st   108     25000    258329    178586   4061117     14451   9302132   4403860     11.08   no data
559.35/140.90	c  N st   111     26187    258319    177937   4041583     15598   9258657   5807461     11.08   no data
614.39/154.79	c  S st   114     30000    258317    177937   4041619     19357   9258657   9185182     11.08   no data
624.80/157.36	c  S st   114     30502    258312    177937   4041646     19821   9258657   9473091     11.08   no data
625.55/157.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
748.35/188.38	c Flit:   411 Blit:   4959 bXBeca:    0 bXProp:  241 Bins: 600959 BRemL:      0 BRemN:    230 P: 200.0M T: 30.46
749.16/188.52	c Cleaning up after failed var search:     0.14 s 
750.36/188.83	c Replacing      241 vars Replaced    28124 lits Time:     0.29 s 
751.58/189.17	c blocked clauses removed:        0 vars:      0 tried:      252258 T: 0.17 s
752.74/189.47	c bin-w-bin subsume rem          880 bins  time:  0.31 s
768.70/193.42	c subs with bin:        0  lits-rem:        50  v-fix:    0  time:  3.90 s
781.06/196.52	c Subs w/ non-existent bins:      0 l-rem:     43 v-fix:   216 done:  22376 time:  3.03 s
782.28/196.83	c Removed useless bin:    3223  fixed:     0  props:  20.01M  time:  0.29 s
785.45/197.68	c lits-rem:         0  cl-subs:        5  v-elim:      4  v-fix:    0  time:  0.85 s
810.17/203.87	c subs with bin:       40  lits-rem:      9209  v-fix:    0  time:  5.17 s
818.13/205.89	c lits-rem:      1691  cl-subs:      913  v-elim:      0  v-fix:    0  time:  1.90 s
821.34/206.61	c asymm  cl-useful: 5/669/173771 lits-rem:16 time: 0.71
821.75/206.72	c calculated reachability. Time: 0.02
821.75/206.73	c  N dy   114     30502    252038    173771   4459427     18633   8946619   9982476     11.08   no data
830.53/208.93	c Finding binary XORs  T:     0.14 s  found:    2025
889.91/223.81	c  N dy   129     35206    251530    173413   4447802     23244   8922856  12320065     10.81     11.53
946.68/238.77	c Finding binary XORs  T:     0.13 s  found:     174
966.57/243.74	c  N dy   153     39259    250963    173014   4603986     27232   8896453  15633476     11.13     97.52
1054.28/265.72	c  N dy   176     44559    250926    173014   4723421     17494   8896453   4210651     11.19     11.79
1055.08/265.97	c Finding binary XORs  T:     0.15 s  found:     571
1056.33/266.28	c Replacing     2770 vars Replaced   246564 lits Time:     0.29 s 
1082.99/272.93	c  S st   181     45755    246315    171286   4650462     18632   8772865   5259535     11.14   no data
1092.96/275.43	c  S st   181     46255    246314    171286   4650504     19086   8772865   5520387     11.14   no data
1093.36/275.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1180.68/297.43	c Flit:   190 Blit:   1711 bXBeca:    0 bXProp:    8 Bins: 308615 BRemL:    655 BRemN:    128 P: 200.0M T: 21.56
1180.68/297.44	c Cleaning up after failed var search:     0.00 s 
1182.28/297.83	c Replacing        9 vars Replaced     2002 lits Time:     0.38 s 
1183.10/298.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1184.26/298.39	c bin-w-bin subsume rem        21464 bins  time:  0.37 s
1201.41/302.63	c subs with bin:        0  lits-rem:        28  v-fix:    0  time:  4.19 s
1215.37/306.19	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:    47 done:  28041 time:  3.49 s
1216.97/306.52	c Removed useless bin:    5527  fixed:     0  props:  20.01M  time:  0.33 s
1220.15/307.36	c lits-rem:         0  cl-subs:       29  v-elim:      3  v-fix:    0  time:  0.82 s
1228.12/309.37	c subs with bin:       86  lits-rem:       400  v-fix:    0  time:  1.66 s
1233.30/310.60	c lits-rem:       486  cl-subs:      438  v-elim:      0  v-fix:    0  time:  1.14 s
1236.90/311.51	c asymm  cl-useful: 16/687/169601 lits-rem:31 time: 0.89
1237.30/311.62	c calculated reachability. Time: 0.01
1237.30/311.63	c  N dy   181     46255    244243    169601   4807230     18451   8630964   5778928     11.14   no data
1260.82/317.59	c Finding binary XORs  T:     0.14 s  found:     362
1307.87/329.34	c  N dy   189     50612    244183    169601   4808423     22766   8630964  10463567     10.90     11.55
1386.42/349.06	c  N dy   210     55098    244179    169601   4808455     27203   8630964  14353073     10.90     11.64
1467.37/369.32	c  N dy   227     59181    243239    169601   4862883     31235   8630964  18898792     10.98     11.86
1513.16/380.86	c Finding binary XORs  T:     0.15 s  found:     469
1541.08/387.86	c  N dy   245     63223    241639    167540   4997731     34869   8496888  22556389     10.99     11.74
1627.99/409.64	c  N dy   255     67639    241638    167540   4997750     21193   8496888   6390559     10.89     11.62
1655.51/416.51	c  S st   262     69384    241624    167540   5002056     22923   8496888   7880307     10.88     10.20
1664.69/418.87	c  S st   262     69886    241624    167540   5002085     23392   8496888   8146189     10.88   no data
1665.50/419.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1751.60/440.64	c Flit:   161 Blit:    495 bXBeca:    0 bXProp:    2 Bins: 214153 BRemL:    825 BRemN:     97 P: 200.1M T: 21.31
1751.60/440.64	c Cleaning up after failed var search:     0.00 s 
1754.00/441.20	c Replacing      833 vars Replaced   103142 lits Time:     0.53 s 
1754.40/441.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1756.80/441.98	c bin-w-bin subsume rem        62607 bins  time:  0.61 s
1774.74/446.45	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  4.42 s
1788.74/449.92	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:    26 done:  27626 time:  3.40 s
1789.88/450.29	c Removed useless bin:    3425  fixed:     0  props:  20.00M  time:  0.37 s
1793.47/451.16	c lits-rem:         0  cl-subs:        8  v-elim:      2  v-fix:    0  time:  0.85 s
1802.24/453.34	c subs with bin:        9  lits-rem:       186  v-fix:    0  time:  1.71 s
1809.43/455.19	c lits-rem:      1509  cl-subs:      491  v-elim:      0  v-fix:    0  time:  1.76 s
1813.41/456.16	c asymm  cl-useful: 51/543/166777 lits-rem:53 time: 0.95
1813.81/456.28	c calculated reachability. Time: 0.01
1813.81/456.29	c  N dy   262     69886    240103    166777   5095013     22648   8429895   8222701     10.88   no data
1814.63/456.45	c Finding binary XORs  T:     0.15 s  found:     245
1893.16/476.12	c  N dy   280     74352    240101    166777   5096187     27048   8429895  11747678     10.82     13.26
1962.54/493.53	c  N dy   300     79153    233541    161994   4753633     30004   8115329  13505349     10.77     12.33
2040.29/513.05	c  N dy   336     84664    233510    161994   4776271     35479   8115329  18038426     10.96     11.61
2093.32/526.32	c  F st   347     87503    233510    161994   4776293     38269   8115329  20218851     10.93      9.86
2096.90/527.28	c Replacing      245 vars Replaced    45226 lits Time:     0.79 s 
2147.15/539.84	c  N st   352     90801    233348    161957   4773948     22257   8112419   5957379     10.93   no data
2175.45/546.90	c Finding binary XORs  T:     0.15 s  found:     868
2224.50/559.23	c  N dy   373     96601    228451    158332   4655970     26685   7881407   8462438     10.94     11.58
2269.16/570.41	c Following stats are for *FIRST FINISHED THREAD ONLY*
2269.16/570.41	c num threads              : 4          
2269.16/570.41	c restarts                 : 580        
2269.16/570.41	c dynamic restarts         : 562        
2269.16/570.41	c static restarts          : 18         
2269.16/570.41	c full restarts            : 2          
2269.16/570.41	c total simplify time      : 15.64      
2269.16/570.41	c learnts DL2              : 0          
2269.16/570.41	c learnts size 2           : 10935480   
2269.16/570.41	c learnts size 1           : 376800      (67.34     % of vars)
2269.16/570.41	c filedLit time            : 42.78       (7.55      % time)
2269.16/570.41	c v-elim SatELite          : 12          (0.00      % vars)
2269.16/570.41	c SatELite time            : 11.43       (2.02      % time)
2269.16/570.41	c v-elim xor               : 0           (0.00      % vars)
2269.16/570.41	c xor elim time            : 0.30        (0.05      % time)
2269.16/570.41	c num binary xor trees     : 8434       
2269.16/570.41	c binxor trees' crown      : 9255        (1.10      leafs/tree)
2269.16/570.41	c bin xor find time        : 12.42      
2269.16/570.41	c OTF clause improved      : 745         (0.01      clauses/conflict)
2269.16/570.41	c OTF impr. size diff      : 5923        (7.95       lits/clause)
2269.16/570.41	c OTF cl watch-shrink      : 95252       (0.69      clauses/conflict)
2269.16/570.41	c OTF cl watch-sh-lit      : 3753474     (39.41      lits/clause)
2269.16/570.41	c tried to recurMin cls    : 84027       (61.28      % of conflicts)
2269.16/570.41	c updated cache            : 140046      (1.67       lits/tried recurMin)
2269.16/570.41	c unit cls recevied        : 5452        (1.45      % of units)
2269.16/570.41	c unit cls sent            : 312718      (82.99     % of units)
2269.16/570.41	c bin cls recevied         : 1673360    
2269.16/570.41	c bin cls sent             : 395760     
2269.16/570.41	c clauses over max glue    : 0           (0.00      % of all clauses)
2269.16/570.41	c conflicts                : 137129      (241.90    / sec)
2269.16/570.41	c decisions                : 676458      (2.57      % random)
2269.16/570.41	c bogo-props               : 6466075103  (11406450.31 / sec)
2269.16/570.41	c conflict literals        : 66251645    (43.64     % deleted)
2269.16/570.41	c Memory used              : 4689.66     MB
2269.16/570.41	c single-thread CPU time   : 566.88      s
2269.16/570.41	c all-threads sum CPU time : 2262.31     s
2269.16/570.41	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367218-1305393864/watcher-3367218-1305393864 -o /tmp/evaluation-result-3367218-1305393864/solver-3367218-1305393864 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367218-1305393864.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.26 7.87 7.68 5/386 10763
/proc/meminfo: memFree=14208304/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 729617611 52396032 351 33554432000 4194304 4580107 140734376426000 18446744073709551615 47478325659161 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 12792 351 302 95 0 7774 0
[pid=10763/tid=10764] ppid=10761 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 729617611 52396032 351 33554432000 4194304 4580107 140734376426000 18446744073709551615 47478325659159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729617611 52396032 351 33554432000 4194304 4580107 140734376426000 18446744073709551615 47478325659568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 729617611 52396032 351 33554432000 4194304 4580107 140734376426000 18446744073709551615 47478325659161 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.071403 s]
/proc/loadavg: 7.26 7.87 7.68 5/386 10763
/proc/meminfo: memFree=14208304/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=301552 CPUtime=0.24 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 10631 0 0 0 21 3 0 0 18 0 4 0 729617611 308789248 8528 33554432000 4194304 4580107 140734376426000 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 75388 8558 338 95 0 70370 0
[pid=10763/tid=10764] ppid=10761 vsize=301552 CPUtime=0.05 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 2532 0 0 0 5 0 0 0 18 0 4 0 729617611 308789248 8571 33554432000 4194304 4580107 140734376426000 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=301552 CPUtime=0.04 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 2554 0 0 0 4 0 0 0 24 0 4 0 729617611 308789248 8588 33554432000 4194304 4580107 140734376426000 18446744073709551615 4309467 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=301552 CPUtime=0.05 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 2701 0 0 0 5 0 0 0 18 0 4 0 729617611 308789248 8603 33554432000 4194304 4580107 140734376426000 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 301552

[startup+0.100398 s]
/proc/loadavg: 7.26 7.87 7.68 5/386 10763
/proc/meminfo: memFree=14208304/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=316728 CPUtime=0.35 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 16342 0 0 0 31 4 0 0 18 0 4 0 729617611 324329472 12123 33554432000 4194304 4580107 140734376426000 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 79182 12142 338 95 0 74164 0
[pid=10763/tid=10764] ppid=10761 vsize=316728 CPUtime=0.08 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 3834 0 0 0 8 0 0 0 18 0 4 0 729617611 324329472 12149 33554432000 4194304 4580107 140734376426000 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=316728 CPUtime=0.07 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 4019 0 0 0 7 0 0 0 24 0 4 0 729617611 324329472 12162 33554432000 4194304 4580107 140734376426000 18446744073709551615 4307532 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=316728 CPUtime=0.08 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 4118 0 0 0 7 1 0 0 18 0 4 0 729617611 324329472 12175 33554432000 4194304 4580107 140734376426000 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 316728

[startup+0.301475 s]
/proc/loadavg: 7.26 7.87 7.68 5/386 10763
/proc/meminfo: memFree=14208304/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=360804 CPUtime=1.07 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 38883 0 0 0 85 22 0 0 18 0 4 0 729617611 369463296 30282 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735221943 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 90201 30578 338 95 0 85183 0
[pid=10763/tid=10764] ppid=10761 vsize=360804 CPUtime=0.26 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 9208 0 0 0 22 4 0 0 17 0 4 0 729617611 369463296 30599 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=360804 CPUtime=0.26 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) S 10761 10763 10272 0 -1 4202560 9739 0 0 0 21 5 0 0 18 0 4 0 729617611 369463296 30631 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283694 0 0 4096 2 18446604464885496896 0 0 -1 7 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=360940 CPUtime=0.26 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) S 10761 10763 10272 0 -1 4202560 9662 0 0 0 20 6 0 0 18 0 4 0 729617611 369602560 30656 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283694 0 0 4096 2 18446604464885496896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 360804

[startup+0.701295 s]
/proc/loadavg: 7.26 7.87 7.68 5/386 10763
/proc/meminfo: memFree=14208304/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=461832 CPUtime=2.37 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 73823 0 0 0 166 71 0 0 17 0 4 0 729617611 472915968 64808 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283743 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 115458 64811 338 95 0 110440 0
[pid=10763/tid=10764] ppid=10761 vsize=461832 CPUtime=0.59 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) S 10761 10763 10272 0 -1 4202560 17538 0 0 0 42 17 0 0 17 0 4 0 729617611 472915968 64813 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283694 0 0 4096 2 18446604464885496896 0 0 -1 3 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=461832 CPUtime=0.57 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 18660 0 0 0 41 16 0 0 17 0 4 0 729617611 472915968 64814 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=461832 CPUtime=0.59 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 18179 0 0 0 40 19 0 0 17 0 4 0 729617611 472915968 64816 33554432000 4194304 4580107 140734376426000 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 461832

[startup+1.50115 s]
/proc/loadavg: 7.26 7.87 7.68 9/390 10767
/proc/meminfo: memFree=13840652/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=790496 CPUtime=4.95 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 155957 0 0 0 333 162 0 0 17 0 4 0 729617611 809467904 138241 33554432000 4194304 4580107 140734376426000 18446744073709551615 216734833668 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 197624 138242 338 95 0 192606 0
[pid=10763/tid=10764] ppid=10761 vsize=790496 CPUtime=1.23 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 38166 0 0 0 85 38 0 0 17 0 4 0 729617611 809467904 138242 33554432000 4194304 4580107 140734376426000 18446744073709551615 4353915 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=790496 CPUtime=1.21 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 39532 0 0 0 83 38 0 0 17 0 4 0 729617611 809467904 138242 33554432000 4194304 4580107 140734376426000 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=790496 CPUtime=1.24 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 38431 0 0 0 82 42 0 0 17 0 4 0 729617611 809467904 138248 33554432000 4194304 4580107 140734376426000 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 790496

[startup+3.10088 s]
/proc/loadavg: 7.26 7.87 7.68 10/390 10767
/proc/meminfo: memFree=13411860/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=1387676 CPUtime=10.38 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 316547 0 0 0 686 352 0 0 17 0 4 0 729617611 1420980224 280829 33554432000 4194304 4580107 140734376426000 18446744073709551615 4307185 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10763/statm: 346919 280850 338 95 0 341901 0
[pid=10763/tid=10764] ppid=10761 vsize=1387676 CPUtime=2.59 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 77745 0 0 0 174 85 0 0 17 0 4 0 729617611 1420980224 280861 33554432000 4194304 4580107 140734376426000 18446744073709551615 216734847343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=1387676 CPUtime=2.57 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 80219 0 0 0 170 87 0 0 17 0 4 0 729617611 1420980224 280871 33554432000 4194304 4580107 140734376426000 18446744073709551615 216734837110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=1387676 CPUtime=2.59 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 77016 0 0 0 171 88 0 0 17 0 4 0 729617611 1420980224 280881 33554432000 4194304 4580107 140734376426000 18446744073709551615 4307136 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 1387676

[startup+6.30033 s]
/proc/loadavg: 7.40 7.89 7.69 10/390 10767
/proc/meminfo: memFree=12729308/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=2045736 CPUtime=22.7 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 438271 0 0 0 1837 433 0 0 20 0 4 0 729617611 2094833664 368116 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 511434 368116 360 95 0 506416 0
[pid=10763/tid=10764] ppid=10761 vsize=2045736 CPUtime=5.67 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 107732 0 0 0 463 104 0 0 20 0 4 0 729617611 2094833664 368116 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=2045736 CPUtime=5.66 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 109487 0 0 0 459 107 0 0 20 0 4 0 729617611 2094833664 368116 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=2045736 CPUtime=5.69 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 109848 0 0 0 461 108 0 0 20 0 4 0 729617611 2094833664 368116 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.7
Current children cumulated vsize (KiB) 2045736

[startup+12.7002 s]
/proc/loadavg: 7.44 7.89 7.69 9/390 10767
/proc/meminfo: memFree=12580536/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=2048776 CPUtime=48.22 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 444880 0 0 0 4387 435 0 0 25 0 4 0 729617611 2097946624 371686 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 512194 371686 360 95 0 507176 0
[pid=10763/tid=10764] ppid=10761 vsize=2048776 CPUtime=12.07 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 108571 0 0 0 1103 104 0 0 25 0 4 0 729617611 2097946624 371686 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=2048776 CPUtime=12.06 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 110004 0 0 0 1099 107 0 0 25 0 4 0 729617611 2097946624 371686 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=2048776 CPUtime=12.09 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 114264 0 0 0 1100 109 0 0 25 0 4 0 729617611 2097946624 371686 33554432000 4194304 4580107 140734376426000 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.22
Current children cumulated vsize (KiB) 2048776

[startup+25.501 s]
/proc/loadavg: 7.57 7.90 7.70 9/390 10768
/proc/meminfo: memFree=12337500/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=2186068 CPUtime=99.22 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 485142 0 0 0 9480 442 0 0 25 0 4 0 729617611 2238533632 411946 33554432000 4194304 4580107 140734376426000 18446744073709551615 4413635 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 546517 411946 372 95 0 541499 0
[pid=10763/tid=10764] ppid=10761 vsize=2186068 CPUtime=24.86 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 119371 0 0 0 2379 107 0 0 25 0 4 0 729617611 2238533632 411946 33554432000 4194304 4580107 140734376426000 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=2186068 CPUtime=24.85 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 119961 0 0 0 2376 109 0 0 25 0 4 0 729617611 2238533632 411946 33554432000 4194304 4580107 140734376426000 18446744073709551615 4428067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=2186068 CPUtime=24.88 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 123502 0 0 0 2378 110 0 0 25 0 4 0 729617611 2238533632 411946 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.22
Current children cumulated vsize (KiB) 2186068

[startup+51.1006 s]
/proc/loadavg: 7.79 7.92 7.71 9/390 10768
/proc/meminfo: memFree=12243804/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=2207760 CPUtime=201.29 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 523295 0 0 0 19679 450 0 0 25 0 4 0 729617611 2260746240 441513 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 551940 441513 378 95 0 546922 0
[pid=10763/tid=10764] ppid=10761 vsize=2207760 CPUtime=50.46 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 132523 0 0 0 4936 110 0 0 25 0 4 0 729617611 2260746240 441513 33554432000 4194304 4580107 140734376426000 18446744073709551615 4317457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=2207760 CPUtime=50.46 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 132891 0 0 0 4935 111 0 0 25 0 4 0 729617611 2260746240 441513 33554432000 4194304 4580107 140734376426000 18446744073709551615 4317457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=2207760 CPUtime=50.48 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 127332 0 0 0 4936 112 0 0 25 0 4 0 729617611 2260746240 441513 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.29
Current children cumulated vsize (KiB) 2207760

[startup+102.315 s]
/proc/loadavg: 8.05 7.96 7.73 9/390 10770
/proc/meminfo: memFree=11484080/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=2670352 CPUtime=405.5 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 559876 0 0 0 40088 462 0 0 25 0 4 0 729617611 2734440448 463349 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 667588 463349 379 95 0 662570 0
[pid=10763/tid=10764] ppid=10761 vsize=2670352 CPUtime=101.68 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 139832 0 0 0 10055 113 0 0 25 0 4 0 729617611 2734440448 463349 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=2670352 CPUtime=101.67 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 141420 0 0 0 10053 114 0 0 25 0 4 0 729617611 2734440448 463349 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=2670352 CPUtime=101.69 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 139820 0 0 0 10054 115 0 0 25 0 4 0 729617611 2734440448 463349 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.5
Current children cumulated vsize (KiB) 2670352

[startup+162.3 s]

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

/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 338173 0 0 0 34014 152 0 0 25 0 4 0 729617611 4132126720 778487 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4035280 CPUtime=341.65 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 295053 0 0 0 34023 142 0 0 25 0 4 0 729617611 4132126720 778487 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4035280 CPUtime=340.66 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 334608 0 0 0 33904 162 0 0 25 0 4 0 729617611 4132126720 778487 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1359.7
Current children cumulated vsize (KiB) 4035280

[startup+402.301 s]
/proc/loadavg: 8.13 8.07 7.83 9/390 10778
/proc/meminfo: memFree=8881564/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=3973376 CPUtime=1598.89 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1276514 0 0 0 159268 621 0 0 25 0 4 0 729617611 4068737024 782575 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 993344 782575 380 95 0 988326 0
[pid=10763/tid=10764] ppid=10761 vsize=3973376 CPUtime=401.66 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 350379 0 0 0 40010 156 0 0 25 0 4 0 729617611 4068737024 782575 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=3973376 CPUtime=401.65 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 312923 0 0 0 40018 147 0 0 25 0 4 0 729617611 4068737024 782575 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=3973376 CPUtime=400.65 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 348146 0 0 0 39898 167 0 0 25 0 4 0 729617611 4068737024 782575 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316297 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1598.89
Current children cumulated vsize (KiB) 3973376

[startup+462.301 s]
/proc/loadavg: 8.08 8.07 7.84 9/390 10779
/proc/meminfo: memFree=8637868/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4197096 CPUtime=1838.13 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1332624 0 0 0 183168 645 0 0 25 0 4 0 729617611 4297826304 817455 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1049274 817455 380 95 0 1044256 0
[pid=10763/tid=10764] ppid=10761 vsize=4197096 CPUtime=461.67 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 364532 0 0 0 46004 163 0 0 25 0 4 0 729617611 4297826304 817455 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4197096 CPUtime=461.64 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 326948 0 0 0 46011 153 0 0 25 0 4 0 729617611 4297826304 817455 33554432000 4194304 4580107 140734376426000 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4197096 CPUtime=460.66 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 360082 0 0 0 45892 174 0 0 25 0 4 0 729617611 4297826304 817455 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1838.13
Current children cumulated vsize (KiB) 4197096

[startup+522.301 s]
/proc/loadavg: 8.03 8.05 7.85 9/390 10781
/proc/meminfo: memFree=8196328/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4650420 CPUtime=2077.38 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1454541 0 0 0 207064 674 0 0 25 0 4 0 729617611 4762030080 911301 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1162605 911301 380 95 0 1157587 0
[pid=10763/tid=10764] ppid=10761 vsize=4650420 CPUtime=521.66 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 374596 0 0 0 51999 167 0 0 25 0 4 0 729617611 4762030080 911301 33554432000 4194304 4580107 140734376426000 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4650420 CPUtime=521.63 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 345600 0 0 0 52005 158 0 0 25 0 4 0 729617611 4762030080 911301 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4650420 CPUtime=520.65 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 441490 0 0 0 51878 187 0 0 25 0 4 0 729617611 4762030080 911301 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2077.38
Current children cumulated vsize (KiB) 4650420

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

[startup+537.501 s]
/proc/loadavg: 8.09 8.06 7.85 9/390 10781
/proc/meminfo: memFree=8215372/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4562644 CPUtime=2137.98 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1465708 0 0 0 213120 678 0 0 25 0 4 0 729617611 4672147456 908077 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316796 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1140661 908077 380 95 0 1135643 0
[pid=10763/tid=10764] ppid=10761 vsize=4562644 CPUtime=536.86 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 377570 0 0 0 53518 168 0 0 25 0 4 0 729617611 4672147456 908077 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4562644 CPUtime=536.83 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 345600 0 0 0 53525 158 0 0 25 0 4 0 729617611 4672147456 908077 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4562644 CPUtime=535.85 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 443389 0 0 0 53397 188 0 0 25 0 4 0 729617611 4672147456 908077 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2137.98
Current children cumulated vsize (KiB) 4562644

[startup+550.301 s]
/proc/loadavg: 8.07 8.06 7.85 9/390 10782
/proc/meminfo: memFree=8107484/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4713444 CPUtime=2189.01 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1491716 0 0 0 218215 686 0 0 25 0 4 0 729617611 4826566656 916689 33554432000 4194304 4580107 140734376426000 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1178361 916689 380 95 0 1173343 0
[pid=10763/tid=10764] ppid=10761 vsize=4713444 CPUtime=549.66 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 382145 0 0 0 54796 170 0 0 25 0 4 0 729617611 4826566656 916689 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4713444 CPUtime=549.64 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 363018 0 0 0 54801 163 0 0 25 0 4 0 729617611 4826566656 916689 33554432000 4194304 4580107 140734376426000 18446744073709551615 4413647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4713444 CPUtime=548.66 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 444827 0 0 0 54677 189 0 0 25 0 4 0 729617611 4826566656 916689 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2189.01
Current children cumulated vsize (KiB) 4713444

[startup+563.101 s]
/proc/loadavg: 8.06 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8059728/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4802208 CPUtime=2240.07 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1500189 0 0 0 223317 690 0 0 25 0 4 0 729617611 4917460992 923832 33554432000 4194304 4580107 140734376426000 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1200552 923832 380 95 0 1195534 0
[pid=10763/tid=10764] ppid=10761 vsize=4802208 CPUtime=562.47 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 383887 0 0 0 56077 170 0 0 25 0 4 0 729617611 4917460992 923836 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4802208 CPUtime=562.45 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 366482 0 0 0 56081 164 0 0 25 0 4 0 729617611 4917460992 923836 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4802208 CPUtime=561.47 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 446078 0 0 0 55957 190 0 0 25 0 4 0 729617611 4917460992 923836 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2240.07
Current children cumulated vsize (KiB) 4802208

[startup+566.301 s]
/proc/loadavg: 8.05 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8043728/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4802208 CPUtime=2252.81 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1501841 0 0 0 224591 690 0 0 25 0 4 0 729617611 4917460992 925484 33554432000 4194304 4580107 140734376426000 18446744073709551615 4353929 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1200552 925484 380 95 0 1195534 0
[pid=10763/tid=10764] ppid=10761 vsize=4802208 CPUtime=565.67 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 384229 0 0 0 56396 171 0 0 25 0 4 0 729617611 4917460992 925484 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4802208 CPUtime=565.63 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 367055 0 0 0 56399 164 0 0 25 0 4 0 729617611 4917460992 925484 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4802208 CPUtime=564.66 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 446199 0 0 0 56276 190 0 0 25 0 4 0 729617611 4917460992 925484 33554432000 4194304 4580107 140734376426000 18446744073709551615 4497240 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2252.81
Current children cumulated vsize (KiB) 4802208

[startup+567.901 s]
/proc/loadavg: 8.05 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8029716/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4802208 CPUtime=2259.19 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1502773 0 0 0 225228 691 0 0 25 0 4 0 729617611 4917460992 926416 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316439 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1200552 926416 380 95 0 1195534 0
[pid=10763/tid=10764] ppid=10761 vsize=4802208 CPUtime=567.27 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 384394 0 0 0 56556 171 0 0 25 0 4 0 729617611 4917460992 926416 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4802208 CPUtime=567.24 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 367490 0 0 0 56559 165 0 0 25 0 4 0 729617611 4917460992 926416 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4802208 CPUtime=566.26 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 446305 0 0 0 56436 190 0 0 25 0 4 0 729617611 4917460992 926416 33554432000 4194304 4580107 140734376426000 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2259.19
Current children cumulated vsize (KiB) 4802208

[startup+569.5 s]
/proc/loadavg: 8.05 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8022148/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4802208 CPUtime=2265.58 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1503559 0 0 0 225866 692 0 0 25 0 4 0 729617611 4917460992 927202 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1200552 927202 380 95 0 1195534 0
[pid=10763/tid=10764] ppid=10761 vsize=4802208 CPUtime=568.86 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 384654 0 0 0 56715 171 0 0 25 0 4 0 729617611 4917460992 927202 33554432000 4194304 4580107 140734376426000 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4802208 CPUtime=568.84 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 367725 0 0 0 56719 165 0 0 25 0 4 0 729617611 4917460992 927202 33554432000 4194304 4580107 140734376426000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4802208 CPUtime=567.86 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 446370 0 0 0 56596 190 0 0 25 0 4 0 729617611 4917460992 927202 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2265.58
Current children cumulated vsize (KiB) 4802208

[startup+570.301 s]
/proc/loadavg: 8.05 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8013468/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=4802208 CPUtime=2268.76 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) R 10761 10763 10272 0 -1 4202496 1504000 0 0 0 226184 692 0 0 25 0 4 0 729617611 4917460992 927643 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293273 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 1200552 927643 380 95 0 1195534 0
[pid=10763/tid=10764] ppid=10761 vsize=4802208 CPUtime=569.66 cores=1,3,5,7
/proc/10763/task/10764/stat : 10764 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 384769 0 0 0 56795 171 0 0 25 0 4 0 729617611 4917460992 927643 33554432000 4194304 4580107 140734376426000 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=4802208 CPUtime=569.64 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 367947 0 0 0 56799 165 0 0 25 0 4 0 729617611 4917460992 927643 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10763/tid=10766] ppid=10761 vsize=4802208 CPUtime=568.66 cores=1,3,5,7
/proc/10763/task/10766/stat : 10766 (strangenight2-m) R 10761 10763 10272 0 -1 4202560 446392 0 0 0 56676 190 0 0 25 0 4 0 729617611 4917460992 927643 33554432000 4194304 4580107 140734376426000 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2268.76
Current children cumulated vsize (KiB) 4802208

[startup+570.5 s]
/proc/loadavg: 8.05 8.06 7.86 9/390 10782
/proc/meminfo: memFree=8013468/32951124 swapFree=65586204/67111528
[pid=10763] ppid=10761 vsize=0 CPUtime=2269.3 cores=1,3,5,7
/proc/10763/stat : 10763 (strangenight2-m) Z 10761 10763 10272 0 -1 4203548 1504047 0 0 0 226230 700 0 0 25 0 2 0 729617611 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10763/statm: 0 0 0 0 0 0 0
[pid=10763/tid=10765] ppid=10761 vsize=0 CPUtime=569.83 cores=1,3,5,7
/proc/10763/task/10765/stat : 10765 (strangenight2-m) R 10761 10763 10272 0 -1 4203588 367962 0 0 0 56810 173 0 0 25 0 2 0 729617611 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2269.3
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 570.576
CPU time (s): 2269.39
CPU user time (s): 2262.31
CPU system time (s): 7.08292
CPU usage (%): 397.737
Max. virtual memory (cumulated for all children) (KiB): 4802208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2262.31
system time used= 7.08292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1504047
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= 397155
involuntary context switches= 15852

runsolver used 2.00569 second user time and 5.2272 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 19:24:30
IDJOB=3367218
IDBENCH=82399
IDSOLVER=1844
FILE ID=node119/3367218-1305393864
RUNJOBID= node119-1305392658-10647
PBS_JOBID= 13324436
Free space on /tmp= 72960 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367218-1305393864/watcher-3367218-1305393864 -o /tmp/evaluation-result-3367218-1305393864/solver-3367218-1305393864 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367218-1305393864.cnf

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

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=2137328585

node119.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.815
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.63
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.815
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.83
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.815
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.815
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14208336 kB
Buffers:        278128 kB
Cached:        4783548 kB
SwapCached:       4756 kB
Active:       15382004 kB
Inactive:      3016888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14208336 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:          247172 kB
Writeback:           0 kB
AnonPages:    13335768 kB
Mapped:          30540 kB
Slab:           219212 kB
PageTables:      57688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 103057396 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= 72952 MiB
End job on node119 at 2011-05-14 19:34:00