Trace number 3394230

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 399.139 53.7533

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
MD5SUM86980f7370ece00291f2970256db731a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark61.3987
Satisfiable
(Un)Satisfiability was proved
Number of variables63349
Number of clauses943492
Sum of the clauses size2149412
Maximum clause length541
Minimum clause length1
Number of clauses of size 1202
Number of clauses of size 2908736
Number of clauses of size 32676
Number of clauses of size 41261
Number of clauses of size 54705
Number of clauses of size over 525912

Solver Data 

0.00/0.00	c Outputting solution to console
0.12/0.05	c Using 8 threads
0.12/0.06	c This is CryptoMiniSat 3.0.0
0.12/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.12/0.06	c Reading file 'HOME/instance-3394230-1306093681.cnf'
0.12/0.07	c -- header says num vars:          63349
0.12/0.07	c -- header says num clauses:      943492
5.34/1.04	c -- clauses added:            0 learnts,       943492 normals,            0 xors
5.34/1.04	c -- vars added      63349
5.34/1.04	c Parsing time:  0.37 s
5.34/1.04	c  N st     0         0     63349     34554    907893         0   2147524         0   no data   no data
8.24/1.45	c asymm  cl-useful: 28/500/34031 lits-rem:1938 time: 0.39
56.18/7.43	c Flit:   608 Blit:   7126 bXBeca:    0 bXProp:  421 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  5.97
56.18/7.46	c Cleaning up after failed var search:     0.02 s 
56.18/7.49	c Replacing      422 vars Replaced    17547 lits Time:     0.04 s 
56.98/7.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.98/7.59	c bin-w-bin subsume rem          746 bins  time:  0.04 s
58.57/7.74	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.15 s
67.90/8.95	c Subs w/ non-existent bins:      6 l-rem:    179 v-fix:     0 done:  51259 time:  1.19 s
69.49/9.14	c Removed useless bin:    8780  fixed:     0  props:  20.01M  time:  0.18 s
70.29/9.28	c lits-rem:        62  cl-subs:       84  v-elim:    140  v-fix:    0  time:  0.14 s
71.10/9.30	c Finding binary XORs  T:     0.02 s  found:      68
71.10/9.34	c Replacing       68 vars Replaced     3543 lits Time:     0.03 s 
71.10/9.37	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
71.10/9.37	c calculated reachability. Time: 0.00
71.10/9.38	c Calc default polars -  time:   0.01 s pos:    1820 undec:   24980 neg:   36549
71.10/9.38	c =========================================================================================
71.10/9.38	c types(t): F = full restart, N = normal restart
71.10/9.38	c types(t): S = simplification begin/end, E = solution found
71.10/9.38	c restart types(rt): st = static, dy = dynamic
71.10/9.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
71.10/9.38	c  B st     0         0     51051     25330    616641         0   1458594         0   no data   no data
84.75/11.07	c  N dy    17      4016     50930     25330    617046      3489   1458590    724698     13.01     13.98
101.52/13.21	c  N dy    43      8075     50449     24845    604008      4568   1424230    714588     15.02     16.89
122.22/15.71	c  N dy    67     12082     50223     24845    604153      8384   1424224   1877347     15.47     16.49
147.78/18.90	c  N dy    95     16122     49958     24845    605571      7912   1424221   2020060     17.24     25.96
170.96/21.84	c  N dy   124     20142     49445     24122    593499     11502   1390353   3519973     19.64     21.13
196.53/25.04	c  N dy   153     24236     49443     24122    593537      9685   1390351   2052879     20.85     22.05
205.32/26.16	c  F st   154     25003     49307     24122    594122     10448   1390351   2750315     20.71     20.63
236.47/30.02	c  N st   159     28305     48153     22306    554312     12822   1292433   4545965     20.71   no data
250.95/31.84	c  S st   160     30000     48153     22306    554314      7749   1292433   1447694     20.71   no data
254.05/32.20	c  S st   160     30505     48143     22306    554894      8224   1292433   1564995     20.71   no data
254.05/32.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
327.55/41.49	c Flit:  4973 Blit:   2158 bXBeca:    0 bXProp:  494 Bins: 412064 BRemL:   4367 BRemN:      0 P: 200.0M T:  9.21
328.36/41.52	c Cleaning up after failed var search:     0.03 s 
328.36/41.56	c Replacing      495 vars Replaced    74891 lits Time:     0.04 s 
328.36/41.58	c blocked clauses removed:        0 vars:  15594 tried:       33138 T: 0.01 s
329.16/41.60	c bin-w-bin subsume rem         4892 bins  time:  0.02 s
329.16/41.65	c subs with bin:      230  lits-rem:       156  v-fix:    0  time:  0.04 s
330.84/41.88	c Subs w/ non-existent bins:    102 l-rem:    236 v-fix:     0 done:  16031 time:  0.23 s
332.35/42.06	c Removed useless bin:    1505  fixed:     0  props:  20.00M  time:  0.18 s
333.15/42.11	c lits-rem:         9  cl-subs:      180  v-elim:     43  v-fix:    0  time:  0.05 s
345.14/43.63	c subs with bin:      237  lits-rem:     20784  v-fix:    0  time:  1.48 s
345.93/43.73	c lits-rem:       765  cl-subs:      795  v-elim:      0  v-fix:    0  time:  0.10 s
348.41/44.05	c asymm  cl-useful: 424/977/8617 lits-rem:1650 time: 0.33
349.12/44.13	c calculated reachability. Time: 0.07
349.12/44.13	c  N dy   160     30505     15988      8557    237895      3885    383877    533104     20.71   no data
351.53/44.41	c Finding binary XORs  T:     0.28 s  found:     106
377.09/47.66	c  N dy   161     39056     15480      8086    228515     11509    362890   1623111     18.07     19.16
385.87/48.70	c  E dy   162     42148     15454      8086    228579      8352    362890    592376     17.27      7.81
399.08/53.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
399.08/53.70	c num threads              : 8          
399.08/53.70	c restarts                 : 162        
399.08/53.70	c dynamic restarts         : 150        
399.08/53.70	c static restarts          : 12         
399.08/53.70	c full restarts            : 1          
399.08/53.70	c total simplify time      : 0.35       
399.08/53.70	c learnts DL2              : 0          
399.08/53.70	c learnts size 2           : 1329587    
399.08/53.70	c learnts size 1           : 34665       (54.72     % of vars)
399.08/53.70	c filedLit time            : 15.25       (28.81     % time)
399.08/53.70	c v-elim SatELite          : 15777       (24.90     % vars)
399.08/53.70	c SatELite time            : 1.63        (3.08      % time)
399.08/53.70	c v-elim xor               : 0           (0.00      % vars)
399.08/53.70	c xor elim time            : 0.03        (0.05      % time)
399.08/53.70	c num binary xor trees     : 805        
399.08/53.70	c binxor trees' crown      : 1091        (1.36      leafs/tree)
399.08/53.70	c bin xor find time        : 0.30       
399.08/53.70	c OTF clause improved      : 539         (0.01      clauses/conflict)
399.08/53.70	c OTF impr. size diff      : 1580        (2.93       lits/clause)
399.08/53.70	c OTF cl watch-shrink      : 28913       (0.69      clauses/conflict)
399.08/53.70	c OTF cl watch-sh-lit      : 1014876     (35.10      lits/clause)
399.08/53.70	c tried to recurMin cls    : 7950        (18.86      % of conflicts)
399.08/53.70	c updated cache            : 1048        (0.13       lits/tried recurMin)
399.08/53.70	c unit cls recevied        : 480         (1.38      % of units)
399.08/53.70	c unit cls sent            : 12662       (36.53     % of units)
399.08/53.70	c bin cls recevied         : 5766       
399.08/53.70	c bin cls sent             : 414674     
399.08/53.70	c clauses over max glue    : 0           (0.00      % of all clauses)
399.08/53.70	c conflicts                : 42148       (796.46    / sec)
399.08/53.70	c decisions                : 191412      (0.74      % random)
399.08/53.70	c bogo-props               : 882838788   (16682846.21 / sec)
399.08/53.70	c conflict literals        : 14220052    (26.76     % deleted)
399.08/53.70	c Memory used              : 1647.97     MB
399.08/53.70	c single-thread CPU time   : 52.92       s
399.08/53.70	c all-threads sum CPU time : 395.76      s
399.08/53.70	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-3394230-1306093681/watcher-3394230-1306093681 -o /tmp/evaluation-result-3394230-1306093681/solver-3394230-1306093681 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394230-1306093681.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.43 7.92 7.96 1/320 22603
/proc/meminfo: memFree=19988412/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=92144 CPUtime=0.03 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413548 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 23036 352 299 95 0 18018 0
[pid=22603/tid=22604] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413548 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 260032193590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413554 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413552 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0289889 s]
/proc/loadavg: 7.43 7.92 7.96 1/320 22603
/proc/meminfo: memFree=19988412/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=92144 CPUtime=0.12 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 412 0 0 0 12 0 0 0 22 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413548 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 23036 352 299 95 0 18018 0
[pid=22603/tid=22604] ppid=22601 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413554 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413554 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413554 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=92144 CPUtime=0 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799598769 94355456 352 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413548 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 92144

[startup+0.102256 s]
/proc/loadavg: 7.43 7.92 7.96 1/320 22603
/proc/meminfo: memFree=19988412/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=406032 CPUtime=0.54 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 30696 0 0 0 48 6 0 0 18 0 8 0 799598769 415776768 24670 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 100995 24497 335 95 0 95977 0
[pid=22603/tid=22604] ppid=22601 vsize=403980 CPUtime=0.07 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) D 22601 22603 22577 0 -1 4202560 4235 0 0 0 6 1 0 0 17 0 8 0 799598769 413675520 24498 33554432000 4194304 4580107 140736560072320 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=403980 CPUtime=0.03 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 2592 0 0 0 3 0 0 0 17 0 8 0 799598769 413675520 24521 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020092683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=403980 CPUtime=0.07 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 4357 0 0 0 7 0 0 0 18 0 8 0 799598769 413675520 24550 33554432000 4194304 4580107 140736560072320 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=403980 CPUtime=0.06 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 4083 0 0 0 6 0 0 0 18 0 8 0 799598769 413675520 24579 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 7 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=403980 CPUtime=0.02 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 4462 0 0 0 1 1 0 0 18 0 8 0 799598769 413675520 24609 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 1 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=403980 CPUtime=0.07 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 2085 0 0 0 7 0 0 0 17 0 8 0 799598769 413675520 24641 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020093024 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=403980 CPUtime=0.07 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 4130 0 0 0 7 0 0 0 18 0 8 0 799598769 413675520 24670 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 406032

[startup+0.301955 s]
/proc/loadavg: 7.43 7.92 7.96 1/320 22603
/proc/meminfo: memFree=19988412/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=611956 CPUtime=1.73 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 47369 0 0 0 119 54 0 0 17 0 8 0 799598769 626642944 40137 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 152989 40139 338 95 0 147971 0
[pid=22603/tid=22604] ppid=22601 vsize=611956 CPUtime=0.21 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 6444 0 0 0 14 7 0 0 17 0 8 0 799598769 626642944 40140 33554432000 4194304 4580107 140736560072320 18446744073709551615 4512511 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=611956 CPUtime=0.18 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 5823 0 0 0 12 6 0 0 17 0 8 0 799598769 626642944 40143 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=611956 CPUtime=0.22 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 6334 0 0 0 16 6 0 0 17 0 8 0 799598769 626642944 40143 33554432000 4194304 4580107 140736560072320 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=611956 CPUtime=0.21 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 5581 0 0 0 15 6 0 0 17 0 8 0 799598769 626642944 40144 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=611956 CPUtime=0.16 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 6064 0 0 0 9 7 0 0 17 0 8 0 799598769 626642944 40145 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=611956 CPUtime=0.21 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 4855 0 0 0 15 6 0 0 17 0 8 0 799598769 626642944 40147 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=611956 CPUtime=0.23 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 5813 0 0 0 16 7 0 0 17 0 8 0 799598769 626642944 40148 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 611956

[startup+0.70087 s]
/proc/loadavg: 7.43 7.92 7.96 1/320 22603
/proc/meminfo: memFree=19988412/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=645328 CPUtime=3.96 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) S 22601 22603 22577 0 -1 4202496 69453 0 0 0 245 151 0 0 16 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 161332 62221 338 95 0 156314 0
[pid=22603/tid=22604] ppid=22601 vsize=645328 CPUtime=0.49 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 9446 0 0 0 29 20 0 0 17 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 3 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=645328 CPUtime=0.45 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 8454 0 0 0 27 18 0 0 16 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=645328 CPUtime=0.49 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 9156 0 0 0 30 19 0 0 16 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=645328 CPUtime=0.51 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 8206 0 0 0 31 20 0 0 16 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=645328 CPUtime=0.45 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 8952 0 0 0 26 19 0 0 17 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 1 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=645328 CPUtime=0.48 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 7633 0 0 0 30 18 0 0 16 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=645328 CPUtime=0.53 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 8464 0 0 0 33 20 0 0 17 0 8 0 799598769 660815872 62221 33554432000 4194304 4580107 140736560072320 18446744073709551615 260020500974 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 645328

[startup+1.50072 s]
/proc/loadavg: 7.43 7.92 7.96 6/328 22611
/proc/meminfo: memFree=19682192/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=659244 CPUtime=9.04 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 91045 0 0 0 652 252 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 164811 83793 360 95 0 159793 0
[pid=22603/tid=22604] ppid=22601 vsize=659244 CPUtime=1.11 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 12142 0 0 0 77 34 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=659244 CPUtime=1.1 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 10838 0 0 0 78 32 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=659244 CPUtime=1.13 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11745 0 0 0 81 32 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=659244 CPUtime=1.13 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11145 0 0 0 82 31 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=659244 CPUtime=1.07 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11694 0 0 0 77 30 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=659244 CPUtime=1.11 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 10047 0 0 0 79 32 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=659244 CPUtime=1.18 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11529 0 0 0 87 31 0 0 16 0 8 0 799598769 675065856 83793 33554432000 4194304 4580107 140736560072320 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 659244

[startup+3.10043 s]
/proc/loadavg: 7.48 7.93 7.96 10/328 22612
/proc/meminfo: memFree=19646496/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=661744 CPUtime=21.82 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 94507 0 0 0 1927 255 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 165436 86982 360 95 0 160418 0
[pid=22603/tid=22604] ppid=22601 vsize=661744 CPUtime=2.71 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 12335 0 0 0 237 34 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=661744 CPUtime=2.69 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11332 0 0 0 237 32 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=661744 CPUtime=2.73 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11928 0 0 0 241 32 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=661744 CPUtime=2.74 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11326 0 0 0 242 32 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4234964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=661744 CPUtime=2.66 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11890 0 0 0 236 30 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4235215 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=661744 CPUtime=2.72 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 10553 0 0 0 239 33 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=661744 CPUtime=2.78 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 13047 0 0 0 246 32 0 0 18 0 8 0 799598769 677625856 86982 33554432000 4194304 4580107 140736560072320 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.82
Current children cumulated vsize (KiB) 661744

[startup+6.30084 s]
/proc/loadavg: 7.48 7.93 7.96 9/328 22612
/proc/meminfo: memFree=19636700/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=665248 CPUtime=47.4 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 97757 0 0 0 4483 257 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4292935 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 166312 88651 361 95 0 161294 0
[pid=22603/tid=22604] ppid=22601 vsize=665248 CPUtime=5.91 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 12353 0 0 0 557 34 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=665248 CPUtime=5.89 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11352 0 0 0 557 32 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=665248 CPUtime=5.93 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11951 0 0 0 561 32 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293022 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=665248 CPUtime=5.94 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11346 0 0 0 562 32 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=665248 CPUtime=5.83 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 11907 0 0 0 553 30 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=665248 CPUtime=5.92 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 10573 0 0 0 559 33 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=665248 CPUtime=5.97 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 16160 0 0 0 564 33 0 0 25 0 8 0 799598769 681213952 88651 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 47.4
Current children cumulated vsize (KiB) 665248

[startup+12.7007 s]
/proc/loadavg: 7.56 7.93 7.96 9/328 22612
/proc/meminfo: memFree=19504552/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=831932 CPUtime=98.25 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 142487 0 0 0 9555 270 0 0 25 0 8 0 799598769 851898368 117429 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 207983 117429 378 95 0 202965 0
[pid=22603/tid=22604] ppid=22601 vsize=831932 CPUtime=12.27 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 18253 0 0 0 1191 36 0 0 25 0 8 0 799598769 851898368 117429 33554432000 4194304 4580107 140736560072320 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=831932 CPUtime=12.27 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 17641 0 0 0 1193 34 0 0 25 0 8 0 799598769 851898368 117429 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=831932 CPUtime=12.28 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 17251 0 0 0 1195 33 0 0 25 0 8 0 799598769 851898368 117430 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=831932 CPUtime=12.29 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 16988 0 0 0 1195 34 0 0 25 0 8 0 799598769 851898368 117430 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=831932 CPUtime=12.14 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 17912 0 0 0 1182 32 0 0 25 0 8 0 799598769 851898368 117430 33554432000 4194304 4580107 140736560072320 18446744073709551615 4324501 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=831932 CPUtime=12.28 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 16899 0 0 0 1194 34 0 0 25 0 8 0 799598769 851898368 117430 33554432000 4194304 4580107 140736560072320 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=831932 CPUtime=12.36 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 19800 0 0 0 1201 35 0 0 25 0 8 0 799598769 851898368 117431 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (KiB) 831932

[startup+25.5013 s]
/proc/loadavg: 7.63 7.93 7.96 9/328 22612
/proc/meminfo: memFree=19431084/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=920240 CPUtime=200.52 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 191631 0 0 0 19769 283 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4317485 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 230060 140435 379 95 0 225042 0
[pid=22603/tid=22604] ppid=22601 vsize=920240 CPUtime=25.06 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 23549 0 0 0 2469 37 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=920240 CPUtime=25.07 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 22487 0 0 0 2472 35 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=920240 CPUtime=25.09 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 25250 0 0 0 2473 36 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4245652 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=920240 CPUtime=25.09 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 19778 0 0 0 2475 34 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=920240 CPUtime=24.8 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 25202 0 0 0 2446 34 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=920240 CPUtime=25.08 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 21514 0 0 0 2473 35 0 0 25 0 8 0 799598769 942325760 140435 33554432000 4194304 4580107 140736560072320 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=920240 CPUtime=25.17 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 28156 0 0 0 2479 38 0 0 25 0 8 0 799598769 942325760 140437 33554432000 4194304 4580107 140736560072320 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 200.52
Current children cumulated vsize (KiB) 920240

[startup+51.1006 s]
/proc/loadavg: 7.75 7.93 7.96 4/328 22613
/proc/meminfo: memFree=18892924/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=1684204 CPUtime=393.6 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 382265 0 0 0 39029 331 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 4219847 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22603/statm: 421051 275555 380 95 0 416033 0
[pid=22603/tid=22604] ppid=22601 vsize=1684204 CPUtime=50.67 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 60560 0 0 0 5019 48 0 0 20 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=1684204 CPUtime=50.66 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 70977 0 0 0 5018 48 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=1684204 CPUtime=48.39 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 38624 0 0 0 4801 38 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=1684204 CPUtime=48.39 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 34401 0 0 0 4802 37 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=1684204 CPUtime=47.87 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 41710 0 0 0 4749 38 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=1684204 CPUtime=48.39 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 33615 0 0 0 4801 38 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=1684204 CPUtime=48.47 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 42861 0 0 0 4805 42 0 0 25 0 8 0 799598769 1724624896 275555 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 393.6
Current children cumulated vsize (KiB) 1684204

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

[startup+52.7003 s]
/proc/loadavg: 7.29 7.84 7.93 3/328 22613
/proc/meminfo: memFree=18883376/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=1686488 CPUtime=397.1 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 384064 0 0 0 39377 333 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561388587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22603/statm: 421622 276775 380 95 0 416604 0
[pid=22603/tid=22604] ppid=22601 vsize=1686488 CPUtime=50.94 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 60560 0 0 0 5046 48 0 0 21 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=1686488 CPUtime=52.26 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 72776 0 0 0 5177 49 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=1686488 CPUtime=48.39 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 38624 0 0 0 4801 38 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=1686488 CPUtime=48.39 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 34401 0 0 0 4802 37 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=1686488 CPUtime=47.87 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 41710 0 0 0 4749 38 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=1686488 CPUtime=48.39 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 33615 0 0 0 4801 38 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=1686488 CPUtime=48.47 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 42861 0 0 0 4805 42 0 0 25 0 8 0 799598769 1726963712 276775 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 397.1
Current children cumulated vsize (KiB) 1686488

[startup+53.5012 s]
/proc/loadavg: 7.29 7.84 7.93 3/328 22613
/proc/meminfo: memFree=18883376/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=1687516 CPUtime=398.68 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 384295 0 0 0 39535 333 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561388587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22603/statm: 421879 277006 380 95 0 416861 0
[pid=22603/tid=22604] ppid=22601 vsize=1687516 CPUtime=50.94 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 60560 0 0 0 5046 48 0 0 21 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=1687516 CPUtime=53.05 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 73007 0 0 0 5256 49 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 38624 0 0 0 4801 38 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 34401 0 0 0 4802 37 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=1687516 CPUtime=47.87 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 41710 0 0 0 4749 38 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 33615 0 0 0 4801 38 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=1687516 CPUtime=48.47 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 42861 0 0 0 4805 42 0 0 25 0 8 0 799598769 1728016384 277006 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 398.68
Current children cumulated vsize (KiB) 1687516

[startup+53.7011 s]
/proc/loadavg: 7.29 7.84 7.93 3/328 22613
/proc/meminfo: memFree=18883376/32951124 swapFree=67083432/67111528
[pid=22603] ppid=22601 vsize=1687516 CPUtime=399.08 cores=0-7
/proc/22603/stat : 22603 (strangenight2-m) R 22601 22603 22577 0 -1 4202496 384297 0 0 0 39575 333 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561388740 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22603/statm: 421879 277008 380 95 0 416861 0
[pid=22603/tid=22604] ppid=22601 vsize=1687516 CPUtime=50.94 cores=0-7
/proc/22603/task/22604/stat : 22604 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 60560 0 0 0 5046 48 0 0 21 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 1 0 0 0
[pid=22603/tid=22605] ppid=22601 vsize=1687516 CPUtime=53.25 cores=0-7
/proc/22603/task/22605/stat : 22605 (strangenight2-m) R 22601 22603 22577 0 -1 4202560 73009 0 0 0 5276 49 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 4290937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22603/tid=22606] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22606/stat : 22606 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 38624 0 0 0 4801 38 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 2 0 0 0
[pid=22603/tid=22607] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22607/stat : 22607 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 34401 0 0 0 4802 37 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 3 0 0 0
[pid=22603/tid=22608] ppid=22601 vsize=1687516 CPUtime=47.87 cores=0-7
/proc/22603/task/22608/stat : 22608 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 41710 0 0 0 4749 38 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 7 0 0 0
[pid=22603/tid=22609] ppid=22601 vsize=1687516 CPUtime=48.39 cores=0-7
/proc/22603/task/22609/stat : 22609 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 33615 0 0 0 4801 38 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 6 0 0 0
[pid=22603/tid=22610] ppid=22601 vsize=1687516 CPUtime=48.47 cores=0-7
/proc/22603/task/22610/stat : 22610 (strangenight2-m) S 22601 22603 22577 0 -1 4202560 42861 0 0 0 4805 42 0 0 25 0 8 0 799598769 1728016384 277008 33554432000 4194304 4580107 140736560072320 18446744073709551615 46913561413172 0 0 4096 2 18446604449642584768 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 399.08
Current children cumulated vsize (KiB) 1687516

Child status: 20
Real time (s): 53.7533
CPU time (s): 399.139
CPU user time (s): 395.759
CPU system time (s): 3.38049
CPU usage (%): 742.539
Max. virtual memory (cumulated for all children) (KiB): 1768976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.759
system time used= 3.38049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384300
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= 321379
involuntary context switches= 1851

runsolver used 0.148977 second user time and 0.404938 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-22 21:48:02
IDJOB=3394230
IDBENCH=82420
IDSOLVER=1878
FILE ID=node110/3394230-1306093681
RUNJOBID= node110-1306093681-22591
PBS_JOBID= 13387949
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394230-1306093681/watcher-3394230-1306093681 -o /tmp/evaluation-result-3394230-1306093681/solver-3394230-1306093681 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394230-1306093681.cnf

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

MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1391864304

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.76
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.830
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.830
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.830
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:      19988692 kB
Buffers:        323264 kB
Cached:        8682224 kB
SwapCached:       1416 kB
Active:        5980024 kB
Inactive:      6649428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19988692 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           20744 kB
Writeback:           0 kB
AnonPages:     3622484 kB
Mapped:          27628 kB
Slab:           240592 kB
PageTables:      26676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75578492 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= 73320 MiB
End job on node110 at 2011-05-22 21:48:56