Trace number 3285748

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mtUNSAT 1717.89 432.168

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285748-1304039974.cnf'
0.00/0.00	c -- header says num vars:         559571
0.00/0.00	c -- header says num clauses:    10223027
12.91/3.85	c -- clauses added:            0 learnts,     10223027 normals,            0 xors
12.91/3.85	c -- vars added     559571
12.91/3.85	c Parsing time:  9.88 s
12.91/3.85	c  N st     0         0    559571    351283   8886087         0  20126913         0   no data   no data  --
16.46/4.75	c asymm  cl-useful: 491/667/276845 lits-rem:2206 time: 3.22
54.43/14.30	c Flit:   233 Blit:  93807 bXBeca:    0 bXProp:  806 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 37.88
55.21/14.47	c Cleaning up after failed var search:     0.67 s 
56.39/14.72	c Replacing      809 vars Replaced    26604 lits Time:     0.89 s 
59.97/15.66	c bin-w-bin subsume rem          884 bins  time:  2.59 s
64.77/16.86	c subs with bin:        0  lits-rem:      1054  v-fix:    0  time:  4.76 s
81.94/21.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  21767 time: 16.97 s
82.74/21.38	c Removed useless bin:    6590  fixed:     0  props:  20.02M  time:  1.08 s
89.95/23.19	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  7.20 s
90.73/23.33	c Finding binary XORs  T:     0.55 s  found:    2248
91.53/23.56	c Replacing     2248 vars Replaced   277404 lits Time:     0.95 s 
92.73/23.89	c Finding non-binary XORs:     0.52 s (found:       0, avg size: nan)
92.73/23.89	c Calc default polars -  time:   0.37 s pos:    3338 undec:  253131 neg:  303102
92.73/23.89	c =========================================================================================
92.73/23.89	c types(t): F = full restart, N = normal restart
92.73/23.89	c types(t): S = simplification begin/end, E = solution found
92.73/23.89	c restart types(rt): st = static, dy = dynamic
92.73/23.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
92.73/23.89	c  B st     0         0    306440    212133   5098935         0  11614531         0   no data   no data  --
150.26/38.29	c  N dy    14      4303    259923    180312   4109799      3877   9419201   2789895     17.92     19.07  --
231.75/58.61	c  N dy    22      8426    258586    178155   4046262      7882   9274958   5808474     13.34     14.19  --
316.04/79.79	c  N dy    38     12543    258552    178155   4046930     11878   9274958   9583225     12.47     17.98  --
364.79/91.94	c  N dy    48     16609    258460    178155   4046963     15885   9274958  12054711     12.35     13.09  --
426.30/107.30	c  N dy    61     20676    258404    178155   4047267     10251   9274958   1842923     11.83     12.47  --
483.03/121.52	c  N dy    77     24850    258351    178155   4047498     14353   9274958   4697573     11.65     12.71  --
484.23/121.81	c  F st    78     25001    258351    178155   4047499     14502   9274958   4735158     11.63      7.30  --
640.85/161.07	c  N dy    84     30001    258343    177970   4042332     19424   9263281  12775054     11.63   no data  --
640.85/161.07	c  S st    84     30001    258343    177970   4042332     19424   9263281  12775054     11.63   no data  --
649.63/163.24	c  S st    84     30501    258340    177970   4042609     19899   9263281  13074375     11.63   no data  --
650.43/163.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.79
772.67/194.09	c Flit:   386 Blit:   5938 bXBeca:    0 bXProp:  122 Bins:  56004 BRemL:      2 BRemN:    233 P: 200.1M T: 122.33
773.47/194.25	c Cleaning up after failed var search:     0.60 s 
775.49/194.76	c Replacing      122 vars Replaced    13443 lits Time:     1.96 s 
783.05/196.61	c bin-w-bin subsume rem          621 bins  time:  1.29 s
789.03/198.16	c subs with bin:       10  lits-rem:       111  v-fix:    0  time:  6.16 s
791.02/198.61	c Subs w/ non-existent bins:      0 l-rem:     48 v-fix:     1 done:    202 time:  1.77 s
792.22/198.97	c Removed useless bin:    2887  fixed:     8  props:  20.02M  time:  1.44 s
917.24/230.25	c lits-rem:        13  cl-subs:     1052  v-elim:     34  v-fix:    0  time: 124.51 s
919.23/230.79	c asymm  cl-useful: 145/705/172159 lits-rem:284 time: 2.14
919.62/230.89	c  N dy    84     30501    249764    172159   3899278     18456   8835264  11915293     11.63   no data  --
920.82/231.10	c Finding binary XORs  T:     0.67 s  found:    2103
1017.89/255.47	c  N dy   103     34991    249763    172159   3899306     22891   8835264  15856658     11.71     12.49  --
1079.42/270.82	c  N dy   120     39030    246918    170120   3882366     26810   8700223  18666247     11.60     12.30  --
1136.53/285.17	c  N dy   138     43038    246918    170120   3882398     15881   8700223   2650372     11.50     12.15  --
1137.73/285.43	c Finding binary XORs  T:     0.56 s  found:    1063
1138.93/285.72	c Replacing     3166 vars Replaced   238455 lits Time:     1.18 s 
1175.30/294.81	c  S st   149     45752    241000    167590   3814722     17988   8522494   4169567     11.39      9.26  --
1182.87/296.74	c  S st   149     46252    240997    167590   3814729     18472   8522494   4436491     11.39   no data  --
1183.69/296.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.67
1259.56/315.96	c Flit:   155 Blit:    574 bXBeca:    0 bXProp:   13 Bins:  60038 BRemL:     29 BRemN:    194 P: 200.1M T: 76.05
1259.56/315.97	c Cleaning up after failed var search:     0.00 s 
1261.16/316.31	c Replacing       14 vars Replaced     1706 lits Time:     1.29 s 
1263.96/317.08	c bin-w-bin subsume rem         2213 bins  time:  1.35 s
1270.35/318.61	c subs with bin:      134  lits-rem:      2786  v-fix:    0  time:  6.11 s
1276.37/320.18	c Subs w/ non-existent bins:      2 l-rem:    691 v-fix:    19 done:   6282 time:  6.28 s
1277.94/320.58	c Removed useless bin:    5061  fixed:    20  props:  20.00M  time:  1.55 s
1295.11/324.83	c lits-rem:        40  cl-subs:      580  v-elim:      5  v-fix:    0  time: 16.96 s
1297.51/325.40	c asymm  cl-useful: 239/1090/166513 lits-rem:461 time: 2.27
1297.51/325.49	c  N dy   149     46252    239702    166513   3829341     17619   8434724   4380150     11.39   no data  --
1379.41/345.94	c  N dy   163     51130    238283    166513   3829915     22416   8434724   8742315     11.21     12.00  --
1446.92/362.87	c Finding binary XORs  T:     0.56 s  found:     409
1460.11/366.18	c  N dy   172     55448    238278    165455   3798814     25877   8371860  12071565     11.06     11.77  --
1504.05/377.16	c  N dy   186     59791    231202    160357   3621390     27096   8037430  11748909     10.94     11.57  --
1547.19/387.92	c  N dy   208     63824    228468    158395   3556453     28617   7908891  12534641     10.94     11.72  --
1592.34/399.30	c  N dy   228     67993    228466    158395   3556477     17982   7908891   3102310     10.96     11.63  --
1608.70/403.38	c  S st   232     69380    228428    158395   3556622     19350   7908891   3837890     10.93   no data  --
1615.50/405.05	c  S st   232     69880    228428    158395   3556644     19825   7908891   4047145     10.93   no data  --
1616.30/405.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.66
1685.39/422.52	c Flit:   480 Blit:   1168 bXBeca:    0 bXProp:   66 Bins:  27513 BRemL:    734 BRemN:    179 P: 200.0M T: 69.07
1685.80/422.63	c Cleaning up after failed var search:     0.40 s 
1687.00/422.96	c Replacing      476 vars Replaced    16025 lits Time:     1.24 s 
1690.19/423.72	c bin-w-bin subsume rem          474 bins  time:  1.30 s
1696.18/425.26	c subs with bin:      475  lits-rem:      2736  v-fix:    0  time:  6.14 s
1701.78/426.67	c Subs w/ non-existent bins:      5 l-rem:    848 v-fix:    32 done:   4116 time:  5.61 s
1703.29/427.05	c Removed useless bin:    5377  fixed:    41  props:  20.01M  time:  1.36 s
1714.38/430.71	c lits-rem:       107  cl-subs:      667  v-elim:      7  v-fix:    0  time: 11.00 s
1715.90/431.23	c asymm  cl-useful: 256/920/156782 lits-rem:521 time: 1.54
1716.19/431.31	c  N dy   232     69880    226001    156782   3519985     18426   7783163   3817257     10.93   no data  --
1717.69/432.01	c Following stats are for *FIRST FINISHED THREAD ONLY*
1717.69/432.01	c num threads              : 4          
1717.69/432.01	c restarts                 : 342        
1717.69/432.01	c dynamic restarts         : 330        
1717.69/432.01	c static restarts          : 12         
1717.69/432.01	c full restarts            : 2          
1717.69/432.01	c total simplify time      : 27.06      
1717.69/432.01	c learnts DL2              : 0          
1717.69/432.01	c learnts size 2           : 9077184    
1717.69/432.01	c learnts size 1           : 363292      (64.92     % of vars)
1717.69/432.01	c filedLit time            : 63.65       (3.72      % time)
1717.69/432.01	c v-elim SatELite          : 81          (0.01      % vars)
1717.69/432.01	c SatELite time            : 32.59       (1.90      % time)
1717.69/432.01	c v-elim xor               : 0           (0.00      % vars)
1717.69/432.01	c xor elim time            : 0.72        (0.04      % time)
1717.69/432.01	c num binary xor trees     : 7027       
1717.69/432.01	c binxor trees' crown      : 7568        (1.08      leafs/tree)
1717.69/432.01	c bin xor find time        : 14.24      
1717.69/432.01	c OTF clause improved      : 668         (0.01      clauses/conflict)
1717.69/432.01	c OTF impr. size diff      : 4715        (7.06       lits/clause)
1717.69/432.01	c OTF cl watch-shrink      : 82746       (0.69      clauses/conflict)
1717.69/432.01	c OTF cl watch-sh-lit      : 3438679     (41.56      lits/clause)
1717.69/432.01	c tried to recurMin cls    : 77408       (64.82      % of conflicts)
1717.69/432.01	c updated cache            : 145034      (1.87       lits/tried recurMin)
1717.69/432.01	c unit cls received        : 4661        (1.28      % of units)
1717.69/432.01	c unit cls sent            : 315082      (86.73     % of units)
1717.69/432.01	c bin cls received         : 160744     
1717.69/432.01	c bin cls sent             : 27324      
1717.69/432.01	c clauses over max glue    : 0           (0.00      % of all clauses)
1717.69/432.01	c conflicts                : 119421      (69.74     / sec)
1717.69/432.01	c decisions                : 551813      (2.05      % random)
1717.69/432.01	c bogo-props               : 5466042993  (3191988.47 / sec)
1717.69/432.01	c conflict literals        : 61757959    (42.00     % deleted)
1717.69/432.01	c Memory used              : 3807.79     MB
1717.69/432.01	c single-thread CPU time   : 1712.43     s
1717.69/432.01	c all-threads sum CPU time : 1712.43     s
1717.69/432.01	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.41 7.66 7.73 6/180 32358
/proc/meminfo: memFree=15944892/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 515598455 52465664 352 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910898 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32358/statm: 12809 352 303 112 0 7774 0
[pid=32358/tid=32359] ppid=32356 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515598455 52465664 352 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515598455 52465664 352 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910892 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515598455 52465664 352 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910898 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0131011 s]
/proc/loadavg: 6.41 7.66 7.73 6/180 32358
/proc/meminfo: memFree=15944892/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=269336 CPUtime=0.02 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 3577 0 0 0 2 0 0 0 24 0 4 0 515598455 275800064 3154 33554432000 4194304 4650419 140734083927984 18446744073709551615 4547042 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32358/statm: 67334 3154 344 112 0 62299 0
[pid=32358/tid=32359] ppid=32356 vsize=269336 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 794 0 0 0 0 0 0 0 25 0 4 0 515598455 275800064 3154 33554432000 4194304 4650419 140734083927984 18446744073709551615 4545898 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=269336 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 802 0 0 0 0 0 0 0 25 0 4 0 515598455 275800064 3154 33554432000 4194304 4650419 140734083927984 18446744073709551615 4546080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=269336 CPUtime=0 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 779 0 0 0 0 0 0 0 25 0 4 0 515598455 275800064 3154 33554432000 4194304 4650419 140734083927984 18446744073709551615 4545872 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 269336

[startup+0.105314 s]
/proc/loadavg: 6.41 7.66 7.73 6/180 32358
/proc/meminfo: memFree=15944892/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=316012 CPUtime=0.39 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 16701 0 0 0 35 4 0 0 24 0 4 0 515598455 323596288 12554 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32358/statm: 79003 13090 345 112 0 73968 0
[pid=32358/tid=32359] ppid=32356 vsize=316012 CPUtime=0.1 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 4586 0 0 0 9 1 0 0 18 0 4 0 515598455 323596288 13187 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 6 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=316012 CPUtime=0.1 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 4053 0 0 0 10 0 0 0 25 0 4 0 515598455 323596288 13204 33554432000 4194304 4650419 140734083927984 18446744073709551615 4545872 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=316012 CPUtime=0.1 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 4097 0 0 0 9 1 0 0 25 0 4 0 515598455 323596288 13213 33554432000 4194304 4650419 140734083927984 18446744073709551615 4372201 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 316012

[startup+0.30427 s]
/proc/loadavg: 6.41 7.66 7.73 6/180 32358
/proc/meminfo: memFree=15944892/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=356976 CPUtime=1.06 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 37719 0 0 0 90 16 0 0 18 0 4 0 515598455 365543424 29299 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32358/statm: 89277 29536 345 112 0 84242 0
[pid=32358/tid=32359] ppid=32356 vsize=357108 CPUtime=0.26 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 9690 0 0 0 22 4 0 0 17 0 4 0 515598455 365678592 29611 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 6 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=357108 CPUtime=0.26 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 9481 0 0 0 22 4 0 0 18 0 4 0 515598455 365678592 29623 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=357108 CPUtime=0.25 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 9100 0 0 0 23 2 0 0 18 0 4 0 515598455 365678592 29665 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 356976

[startup+0.702975 s]
/proc/loadavg: 6.41 7.66 7.73 6/180 32358
/proc/meminfo: memFree=15944892/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=456092 CPUtime=2.36 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 70680 0 0 0 185 51 0 0 17 0 4 0 515598455 467038208 61957 33554432000 4194304 4650419 140734083927984 18446744073709551615 230808826913 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32358/statm: 114023 61974 345 112 0 108988 0
[pid=32358/tid=32359] ppid=32356 vsize=456092 CPUtime=0.58 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 18039 0 0 0 45 13 0 0 17 0 4 0 515598455 467038208 62003 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 6 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=456224 CPUtime=0.59 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 17683 0 0 0 46 13 0 0 17 0 4 0 515598455 467173376 62014 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=456224 CPUtime=0.59 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 16881 0 0 0 49 10 0 0 17 0 4 0 515598455 467173376 62025 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 456092

[startup+1.50082 s]
/proc/loadavg: 6.41 7.66 7.73 7/184 32362
/proc/meminfo: memFree=15592328/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=690468 CPUtime=4.9 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) S 32356 32358 32317 0 -1 4202496 147141 0 0 0 370 120 0 0 17 0 4 0 515598455 707039232 129757 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 172617 129757 345 112 0 167582 0
[pid=32358/tid=32359] ppid=32356 vsize=690468 CPUtime=1.2 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 37684 0 0 0 89 31 0 0 17 0 4 0 515598455 707039232 129757 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=690468 CPUtime=1.23 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 37582 0 0 0 92 31 0 0 17 0 4 0 515598455 707039232 129763 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 18446604453868424000 0 0 -1 4 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=690468 CPUtime=1.22 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 34816 0 0 0 96 26 0 0 17 0 4 0 515598455 707039232 129777 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 690468

[startup+3.10053 s]
/proc/loadavg: 6.41 7.66 7.73 8/184 32362
/proc/meminfo: memFree=15182528/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=1395136 CPUtime=10.52 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 314807 0 0 0 800 252 0 0 17 0 4 0 515598455 1428619264 279673 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 348784 279673 345 112 0 343749 0
[pid=32358/tid=32359] ppid=32356 vsize=1395136 CPUtime=2.6 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 82756 0 0 0 198 62 0 0 17 0 4 0 515598455 1428619264 279675 33554432000 4194304 4650419 140734083927984 18446744073709551615 230808831151 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=1395136 CPUtime=2.64 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 78645 0 0 0 199 65 0 0 17 0 4 0 515598455 1428619264 279676 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=1395136 CPUtime=2.63 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 74120 0 0 0 205 58 0 0 17 0 4 0 515598455 1428619264 279677 33554432000 4194304 4650419 140734083927984 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 1395136

[startup+6.30095 s]
/proc/loadavg: 6.62 7.68 7.73 9/184 32362
/proc/meminfo: memFree=14397368/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=1969992 CPUtime=22.85 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 438948 0 0 0 1969 316 0 0 21 0 4 0 515598455 2017271808 358785 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369140 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 492498 358785 373 112 0 487463 0
[pid=32358/tid=32359] ppid=32356 vsize=1969992 CPUtime=5.69 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 111895 0 0 0 494 75 0 0 21 0 4 0 515598455 2017271808 358785 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=1969992 CPUtime=5.71 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 110665 0 0 0 489 82 0 0 21 0 4 0 515598455 2017271808 358785 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=1969992 CPUtime=5.72 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 104265 0 0 0 496 76 0 0 21 0 4 0 515598455 2017271808 358785 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.85
Current children cumulated vsize (KiB) 1969992

[startup+12.7008 s]
/proc/loadavg: 6.73 7.69 7.73 9/184 32362
/proc/meminfo: memFree=14352024/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=1973028 CPUtime=48.42 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 442145 0 0 0 4525 317 0 0 25 0 4 0 515598455 2020380672 361978 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 493257 361978 373 112 0 488222 0
[pid=32358/tid=32359] ppid=32356 vsize=1973028 CPUtime=12.09 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 112454 0 0 0 1133 76 0 0 25 0 4 0 515598455 2020380672 361978 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=1973028 CPUtime=12.11 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 111181 0 0 0 1129 82 0 0 25 0 4 0 515598455 2020380672 361978 33554432000 4194304 4650419 140734083927984 18446744073709551615 4371306 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=1973028 CPUtime=12.12 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 105864 0 0 0 1136 76 0 0 25 0 4 0 515598455 2020380672 361978 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.42
Current children cumulated vsize (KiB) 1973028

[startup+25.5004 s]
/proc/loadavg: 7.09 7.72 7.74 9/184 32363
/proc/meminfo: memFree=14097888/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=2152660 CPUtime=99.52 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 492329 0 0 0 9623 329 0 0 25 0 4 0 515598455 2204323840 405411 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363398 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 538165 405411 392 112 0 533130 0
[pid=32358/tid=32359] ppid=32356 vsize=2152660 CPUtime=24.88 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 128848 0 0 0 2409 79 0 0 25 0 4 0 515598455 2204323840 405411 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=2152660 CPUtime=24.89 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 124377 0 0 0 2404 85 0 0 25 0 4 0 515598455 2204323840 405411 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=2152660 CPUtime=24.91 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 109033 0 0 0 2414 77 0 0 25 0 4 0 515598455 2204323840 405411 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 99.52
Current children cumulated vsize (KiB) 2152660

[startup+51.1007 s]
/proc/loadavg: 7.40 7.74 7.75 9/184 32364
/proc/meminfo: memFree=14019552/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=2441068 CPUtime=201.78 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 519563 0 0 0 19842 336 0 0 25 0 4 0 515598455 2499653632 430329 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363768 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 610267 430329 392 112 0 605232 0
[pid=32358/tid=32359] ppid=32356 vsize=2441068 CPUtime=50.48 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 133338 0 0 0 4967 81 0 0 25 0 4 0 515598455 2499653632 430329 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=2441068 CPUtime=50.49 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 130591 0 0 0 4962 87 0 0 25 0 4 0 515598455 2499653632 430329 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=2441068 CPUtime=50.51 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 120411 0 0 0 4971 80 0 0 25 0 4 0 515598455 2499653632 430329 33554432000 4194304 4650419 140734083927984 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.78
Current children cumulated vsize (KiB) 2441068

[startup+102.306 s]
/proc/loadavg: 7.79 7.79 7.76 9/184 32365
/proc/meminfo: memFree=13303812/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=2293624 CPUtime=406.36 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 561871 0 0 0 40286 350 0 0 25 0 4 0 515598455 2348670976 440566 33554432000 4194304 4650419 140734083927984 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 573406 440566 393 112 0 568371 0
[pid=32358/tid=32359] ppid=32356 vsize=2293624 CPUtime=101.69 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 142945 0 0 0 10085 84 0 0 25 0 4 0 515598455 2348670976 440566 33554432000 4194304 4650419 140734083927984 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=2293624 CPUtime=101.7 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 143198 0 0 0 10079 91 0 0 25 0 4 0 515598455 2348670976 440566 33554432000 4194304 4650419 140734083927984 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=2293624 CPUtime=101.72 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 131418 0 0 0 10088 84 0 0 25 0 4 0 515598455 2348670976 440566 33554432000 4194304 4650419 140734083927984 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.36
Current children cumulated vsize (KiB) 2293624

[startup+162.3 s]

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

/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 225063 0 0 0 16074 94 0 0 25 0 4 0 515598455 2422808576 449845 33554432000 4194304 4650419 140734083927984 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=2366024 CPUtime=161.7 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 211280 0 0 0 16068 102 0 0 25 0 4 0 515598455 2422808576 449845 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=2366024 CPUtime=161.71 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 145623 0 0 0 16082 89 0 0 25 0 4 0 515598455 2422808576 449845 33554432000 4194304 4650419 140734083927984 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.04
Current children cumulated vsize (KiB) 2366024

[startup+222.3 s]
/proc/loadavg: 8.09 7.90 7.80 9/184 32368
/proc/meminfo: memFree=11693028/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3484912 CPUtime=885.69 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1079889 0 0 0 88125 444 0 0 25 0 4 0 515598455 3568549888 690647 33554432000 4194304 4650419 140734083927984 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 871228 690647 395 112 0 866193 0
[pid=32358/tid=32359] ppid=32356 vsize=3484912 CPUtime=221.68 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 246623 0 0 0 22069 99 0 0 25 0 4 0 515598455 3568549888 690647 33554432000 4194304 4650419 140734083927984 18446744073709551615 4223219 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3484912 CPUtime=221.69 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 234312 0 0 0 22063 106 0 0 25 0 4 0 515598455 3568549888 690647 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3484912 CPUtime=221.7 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 301651 0 0 0 22054 116 0 0 25 0 4 0 515598455 3568549888 690647 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 885.69
Current children cumulated vsize (KiB) 3484912

[startup+282.3 s]
/proc/loadavg: 8.08 7.93 7.82 9/184 32370
/proc/meminfo: memFree=11090296/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3806608 CPUtime=1125.34 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1303141 0 0 0 112051 483 0 0 25 0 4 0 515598455 3897966592 790479 33554432000 4194304 4650419 140734083927984 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32358/statm: 951652 790479 395 112 0 946617 0
[pid=32358/tid=32359] ppid=32356 vsize=3806608 CPUtime=281.68 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 400326 0 0 0 28046 122 0 0 25 0 4 0 515598455 3897966592 790479 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3806608 CPUtime=281.67 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 256044 0 0 0 28055 112 0 0 25 0 4 0 515598455 3897966592 790479 33554432000 4194304 4650419 140734083927984 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3806608 CPUtime=281.7 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 315162 0 0 0 28050 120 0 0 25 0 4 0 515598455 3897966592 790479 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315186 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1125.34
Current children cumulated vsize (KiB) 3806608

[startup+342.3 s]
/proc/loadavg: 8.08 7.96 7.83 9/184 32371
/proc/meminfo: memFree=11136436/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3974176 CPUtime=1365.03 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1351905 0 0 0 136003 500 0 0 25 0 4 0 515598455 4069556224 800824 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 993544 800824 395 112 0 988509 0
[pid=32358/tid=32359] ppid=32356 vsize=3974176 CPUtime=341.68 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 416488 0 0 0 34041 127 0 0 25 0 4 0 515598455 4069556224 800824 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3974176 CPUtime=341.58 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 270187 0 0 0 34041 117 0 0 25 0 4 0 515598455 4069556224 800824 33554432000 4194304 4650419 140734083927984 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3974176 CPUtime=341.7 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 325434 0 0 0 34046 124 0 0 25 0 4 0 515598455 4069556224 800824 33554432000 4194304 4650419 140734083927984 18446744073709551615 4263778 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1365.03
Current children cumulated vsize (KiB) 3974176

[startup+402.3 s]
/proc/loadavg: 8.07 7.98 7.84 9/184 32373
/proc/meminfo: memFree=10505772/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3809616 CPUtime=1604.71 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1408514 0 0 0 159948 523 0 0 25 0 4 0 515598455 3901046784 786571 33554432000 4194304 4650419 140734083927984 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 952404 786571 395 112 0 947369 0
[pid=32358/tid=32359] ppid=32356 vsize=3809616 CPUtime=401.69 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 432123 0 0 0 40037 132 0 0 25 0 4 0 515598455 3901046784 786571 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3809616 CPUtime=401.26 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 285664 0 0 0 40002 124 0 0 25 0 4 0 515598455 3901046784 786571 33554432000 4194304 4650419 140734083927984 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3809616 CPUtime=401.69 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 336353 0 0 0 40040 129 0 0 25 0 4 0 515598455 3901046784 786571 33554432000 4194304 4650419 140734083927984 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1604.71
Current children cumulated vsize (KiB) 3809616

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

[startup+409.501 s]
/proc/loadavg: 8.06 7.98 7.84 9/184 32373
/proc/meminfo: memFree=10504656/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3899184 CPUtime=1633.47 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1414439 0 0 0 162822 525 0 0 25 0 4 0 515598455 3992764416 792495 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 974796 792495 395 112 0 969761 0
[pid=32358/tid=32359] ppid=32356 vsize=3899184 CPUtime=408.89 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 432128 0 0 0 40757 132 0 0 25 0 4 0 515598455 3992764416 792495 33554432000 4194304 4650419 140734083927984 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3899184 CPUtime=408.41 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 286480 0 0 0 40717 124 0 0 25 0 4 0 515598455 3992764416 792495 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3899184 CPUtime=408.9 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 340241 0 0 0 40759 131 0 0 25 0 4 0 515598455 3992764416 792495 33554432000 4194304 4650419 140734083927984 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1633.47
Current children cumulated vsize (KiB) 3899184

[startup+422.301 s]
/proc/loadavg: 8.12 7.99 7.85 9/184 32373
/proc/meminfo: memFree=10454304/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3833640 CPUtime=1684.61 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1424075 0 0 0 167934 527 0 0 25 0 4 0 515598455 3925647360 794022 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 958410 794022 395 112 0 953375 0
[pid=32358/tid=32359] ppid=32356 vsize=3833640 CPUtime=421.69 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 440501 0 0 0 42036 133 0 0 25 0 4 0 515598455 3925647360 794022 33554432000 4194304 4650419 140734083927984 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3833640 CPUtime=421.15 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 286480 0 0 0 41991 124 0 0 25 0 4 0 515598455 3925647360 794022 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3833640 CPUtime=421.7 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 341504 0 0 0 42038 132 0 0 25 0 4 0 515598455 3925647360 794022 33554432000 4194304 4650419 140734083927984 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1684.61
Current children cumulated vsize (KiB) 3833640

[startup+428.701 s]
/proc/loadavg: 8.11 7.99 7.85 8/184 32374
/proc/meminfo: memFree=10378168/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3899176 CPUtime=1708.39 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1440415 0 0 0 170308 531 0 0 25 0 4 0 515598455 3992756224 809517 33554432000 4194304 4650419 140734083927984 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 974794 809517 395 112 0 969759 0
[pid=32358/tid=32359] ppid=32356 vsize=3899176 CPUtime=426.31 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 441231 0 0 0 42497 134 0 0 25 0 4 0 515598455 3992756224 809517 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910516 0 0 4096 2 18446604453868424000 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3899176 CPUtime=427.51 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 293842 0 0 0 42626 125 0 0 25 0 4 0 515598455 3992756224 809517 33554432000 4194304 4650419 140734083927984 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3899176 CPUtime=428.1 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 341925 0 0 0 42678 132 0 0 25 0 4 0 515598455 3992756224 809517 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230885931 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1708.39
Current children cumulated vsize (KiB) 3899176

[startup+430.3 s]
/proc/loadavg: 8.10 7.99 7.85 8/184 32374
/proc/meminfo: memFree=10371596/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3899176 CPUtime=1713.18 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1440416 0 0 0 170787 531 0 0 25 0 4 0 515598455 3992756224 809518 33554432000 4194304 4650419 140734083927984 18446744073709551615 4428381 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 974794 809518 395 112 0 969759 0
[pid=32358/tid=32359] ppid=32356 vsize=3899176 CPUtime=426.31 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 441231 0 0 0 42497 134 0 0 25 0 4 0 515598455 3992756224 809518 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910516 0 0 4096 2 18446604453868424000 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3899176 CPUtime=429.11 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 293842 0 0 0 42786 125 0 0 25 0 4 0 515598455 3992756224 809518 33554432000 4194304 4650419 140734083927984 18446744073709551615 4420852 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3899176 CPUtime=429.69 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 341925 0 0 0 42837 132 0 0 25 0 4 0 515598455 3992756224 809518 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230886084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1713.18
Current children cumulated vsize (KiB) 3899176

[startup+431.101 s]
/proc/loadavg: 8.10 7.99 7.85 8/184 32374
/proc/meminfo: memFree=10365396/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3899176 CPUtime=1715.6 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) R 32356 32358 32317 0 -1 4202496 1440429 0 0 0 171029 531 0 0 18 0 4 0 515598455 3992756224 809531 33554432000 4194304 4650419 140734083927984 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 974794 809531 395 112 0 969759 0
[pid=32358/tid=32359] ppid=32356 vsize=3899176 CPUtime=426.31 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 441231 0 0 0 42497 134 0 0 25 0 4 0 515598455 3992756224 809531 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910516 0 0 4096 2 18446604453868424000 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3899176 CPUtime=429.92 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 293842 0 0 0 42867 125 0 0 25 0 4 0 515598455 3992756224 809531 33554432000 4194304 4650419 140734083927984 18446744073709551615 4224463 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3899176 CPUtime=430.5 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 341925 0 0 0 42918 132 0 0 25 0 4 0 515598455 3992756224 809531 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230885931 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1715.6
Current children cumulated vsize (KiB) 3899176

[startup+431.901 s]
/proc/loadavg: 8.10 7.99 7.85 8/184 32374
/proc/meminfo: memFree=10365396/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=3899176 CPUtime=1717.49 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) S 32356 32358 32317 0 -1 4202496 1440445 0 0 0 171218 531 0 0 18 0 4 0 515598455 3992756224 809547 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 974794 809547 395 112 0 969759 0
[pid=32358/tid=32359] ppid=32356 vsize=3899176 CPUtime=426.31 cores=0,2,4,6
/proc/32358/task/32359/stat : 32359 (strangenight1-m) S 32356 32358 32317 0 -1 4202560 441231 0 0 0 42497 134 0 0 25 0 4 0 515598455 3992756224 809547 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230910516 0 0 4096 2 18446604453868424000 0 0 -1 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=3899176 CPUtime=430.71 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 293856 0 0 0 42946 125 0 0 25 0 4 0 515598455 3992756224 809547 33554432000 4194304 4650419 140734083927984 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32358/tid=32361] ppid=32356 vsize=3899176 CPUtime=431.29 cores=0,2,4,6
/proc/32358/task/32361/stat : 32361 (strangenight1-m) R 32356 32358 32317 0 -1 4202560 341925 0 0 0 42997 132 0 0 25 0 4 0 515598455 3992756224 809547 33554432000 4194304 4650419 140734083927984 18446744073709551615 47446230886084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1717.49
Current children cumulated vsize (KiB) 3899176

[startup+432.101 s]
/proc/loadavg: 8.10 7.99 7.85 8/184 32374
/proc/meminfo: memFree=10365396/32951124 swapFree=67111528/67111528
[pid=32358] ppid=32356 vsize=0 CPUtime=1717.81 cores=0,2,4,6
/proc/32358/stat : 32358 (strangenight1-m) Z 32356 32358 32317 0 -1 4203548 1440450 0 0 0 171242 539 0 0 15 0 2 0 515598455 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32358/statm: 0 0 0 0 0 0 0
[pid=32358/tid=32360] ppid=32356 vsize=0 CPUtime=430.92 cores=0,2,4,6
/proc/32358/task/32360/stat : 32360 (strangenight1-m) R 32356 32358 32317 0 -1 4203588 293858 0 0 0 42958 134 0 0 25 0 2 0 515598455 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1717.81
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 432.168
CPU time (s): 1717.89
CPU user time (s): 1712.43
CPU system time (s): 5.46417
CPU usage (%): 397.506
Max. virtual memory (cumulated for all children) (KiB): 4004780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.43
system time used= 5.46417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1440450
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= 398838
involuntary context switches= 8889

runsolver used 0.648901 second user time and 1.57376 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 03:19:40
IDJOB=3285748
IDBENCH=82399
IDSOLVER=1588
FILE ID=node104/3285748-1304039974
RUNJOBID= node104-1304039974-32335
PBS_JOBID= 13170380
Free space on /tmp= 71312 MiB

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

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

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=488278321

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15945296 kB
Buffers:       2209480 kB
Cached:       13688240 kB
SwapCached:          0 kB
Active:        4455756 kB
Inactive:     11951064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15945296 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          248748 kB
Writeback:           0 kB
AnonPages:      508484 kB
Mapped:          15412 kB
Slab:           533480 kB
PageTables:       5600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   755548 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= 71308 MiB
End job on node104 at 2011-04-29 03:26:52