Trace number 3400711

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 1439.37 55.8596

General information on the benchmark

Nameapplication/fuhs/
AProVE11/AProVE11-11.cnf
MD5SUM06568f445121c7d3cc3b96042d85c719
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark666.374
Satisfiable
(Un)Satisfiability was proved
Number of variables96526
Number of clauses325263
Sum of the clauses size848701
Maximum clause length1316
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2139068
Number of clauses of size 3177302
Number of clauses of size 48172
Number of clauses of size 5192
Number of clauses of size over 5528

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400711-1306361595.cnf'
2.12/0.09	c -- header says num vars:          96526
2.12/0.09	c -- header says num clauses:      325263
60.44/3.21	c -- clauses added:            0 learnts,       325263 normals,            0 xors
60.44/3.21	c -- vars added      96526
60.44/3.21	c Parsing time:  0.59 s
60.44/3.21	c  N st     0         0     96526    185013    136241         0    838160         0   no data   no data
98.18/4.40	c asymm  cl-useful: 2393/40083/185013 lits-rem:3788 time: 1.18
336.58/11.80	c Flit:   680 Blit:   3823 bXBeca:    0 bXProp: 14655 Bins:      0 BRemL:      0 BRemN:      0 P: 91.8M T:  7.37
336.58/11.84	c Cleaning up after failed var search:     0.04 s 
342.56/12.04	c Replacing    14655 vars Replaced   282554 lits Time:     0.13 s 
373.61/13.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
373.61/13.69	c bin-w-bin subsume rem         5299 bins  time:  0.05 s
380.17/13.99	c subs with bin:    13138  lits-rem:     10274  v-fix:    0  time:  0.19 s
391.98/14.37	c Subs w/ non-existent bins:   1884 l-rem:   1295 v-fix:     2 done:  74044 time:  0.35 s
400.07/14.69	c Removed useless bin:    3763  fixed:     0  props:  18.24M  time:  0.30 s
458.83/16.81	c lits-rem:        30  cl-subs:     7847  v-elim:  24681  v-fix:    0  time:  1.21 s
458.83/16.85	c Finding binary XORs  T:     0.04 s  found:     133
461.91/16.91	c Replacing      133 vars Replaced     1452 lits Time:     0.06 s 
468.25/17.18	c Finding non-binary XORs:     0.18 s (found:   21197, avg size: 3.0)
468.25/17.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   3760 locsubst:   258 time:   0.08
471.44/17.20	c calculated reachability. Time: 0.00
471.44/17.23	c Calc default polars -  time:   0.02 s pos:   10446 undec:   52759 neg:   33321
471.44/17.23	c =========================================================================================
471.44/17.23	c types(t): F = full restart, N = normal restart
471.44/17.23	c types(t): S = simplification begin/end, E = solution found
471.44/17.23	c restart types(rt): st = static, dy = dynamic
471.44/17.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
471.44/17.23	c  B st     0         0     45468     69866     44949         0    373937         0   no data   no data
503.37/18.28	c Decided on static restart strategy
538.51/19.39	c  N st     8      4916     45445     69866     45219      4491    373935     47155   no data   no data
573.46/20.45	c Finding binary XORs  T:     0.04 s  found:    1711
576.57/20.51	c Replacing     2172 vars Replaced    32106 lits Time:     0.05 s 
665.32/23.34	c  N st    10     11300     41278     62451     47144      8650    339179    143034   no data   no data
703.67/24.58	c Finding binary XORs  T:     0.03 s  found:    1228
706.86/24.63	c Replacing     1571 vars Replaced    22752 lits Time:     0.04 s 
719.65/25.07	c  N st    11     17043     38186     58244     47556     13557    315864    249836   no data   no data
805.91/27.79	c  F st    12     25000     37909     58244     53414     13465    315864    224806   no data   no data
809.10/27.85	c Replacing      191 vars Replaced     2318 lits Time:     0.03 s 
818.70/28.12	c  N st    12     25000     37716     57440     52738     13445    311804    223911   no data   no data
857.06/29.31	c Finding binary XORs  T:     0.03 s  found:      93
898.61/30.71	c Decided on static restart strategy
898.61/30.71	c  N st    18     30000     37713     57440     52755     18305    311804    306498   no data   no data
898.61/30.71	c  S st    18     30000     37713     57440     52755     18305    311804    306498   no data   no data
917.78/31.23	c  S st    18     30502     37696     57440     52883     18583    311804    308302   no data   no data
917.78/31.27	c x-sub:    56 x-cut:      0 vfix:      0 v-elim:     41 locsubst:   760 time:   0.04
1416.58/48.01	c Flit:   547 Blit:   1627 bXBeca:    0 bXProp: 2551 Bins: 106961 BRemL:   7978 BRemN:     59 P: 187.0M T: 16.49
1416.58/48.03	c Cleaning up after failed var search:     0.02 s 
1416.58/48.08	c Replacing     2942 vars Replaced   127555 lits Time:     0.05 s 
1417.08/48.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1417.08/48.15	c bin-w-bin subsume rem        14053 bins  time:  0.02 s
1417.57/48.20	c subs with bin:     4469  lits-rem:      4797  v-fix:    0  time:  0.05 s
1418.16/48.34	c Subs w/ non-existent bins:   1109 l-rem:    547 v-fix:     1 done:  32020 time:  0.14 s
1418.16/48.37	c Removed useless bin:     653  fixed:     0  props:   1.10M  time:  0.03 s
1419.08/48.50	c lits-rem:       909  cl-subs:     2123  v-elim:   3202  v-fix:    1  time:  0.13 s
1419.08/48.58	c subs with bin:      424  lits-rem:      7240  v-fix:    0  time:  0.04 s
1419.95/48.70	c lits-rem:      1669  cl-subs:     1172  v-elim:      0  v-fix:    0  time:  0.10 s
1420.76/48.90	c asymm  cl-useful: 0/2864/42947 lits-rem:0 time: 0.20
1420.76/48.99	c calculated reachability. Time: 0.08
1420.76/49.00	c  N st    18     30502     28816     42947     73431     15658    234405    320171   no data   no data
1438.88/55.41	c Following stats are for *FIRST FINISHED THREAD ONLY*
1438.88/55.41	c num threads              : 32         
1438.88/55.41	c restarts                 : 24         
1438.88/55.41	c dynamic restarts         : 0          
1438.88/55.41	c static restarts          : 24         
1438.88/55.41	c full restarts            : 1          
1438.88/55.41	c total simplify time      : 0.63       
1438.88/55.41	c learnts DL2              : 0          
1438.88/55.41	c learnts size 2           : 203634     
1438.88/55.41	c learnts size 1           : 18743       (19.42     % of vars)
1438.88/55.41	c filedLit time            : 7.31        (14.13     % time)
1438.88/55.41	c v-elim SatELite          : 24681       (25.57     % vars)
1438.88/55.41	c SatELite time            : 1.00        (1.93      % time)
1438.88/55.41	c v-elim xor               : 3760        (3.90      % vars)
1438.88/55.41	c xor elim time            : 0.09        (0.17      % time)
1438.88/55.41	c num binary xor trees     : 9435       
1438.88/55.41	c binxor trees' crown      : 21865       (2.32      leafs/tree)
1438.88/55.41	c bin xor find time        : 0.19       
1438.88/55.41	c OTF clause improved      : 2377        (0.03      clauses/conflict)
1438.88/55.41	c OTF impr. size diff      : 3093        (1.30       lits/clause)
1438.88/55.41	c OTF cl watch-shrink      : 41887       (0.57      clauses/conflict)
1438.88/55.41	c OTF cl watch-sh-lit      : 92185       (2.20       lits/clause)
1438.88/55.41	c tried to recurMin cls    : 0           (0.00       % of conflicts)
1438.88/55.41	c updated cache            : 0           (nan        lits/tried recurMin)
1438.88/55.41	c unit cls recevied        : 1233        (6.58      % of units)
1438.88/55.41	c unit cls sent            : 4244        (22.64     % of units)
1438.88/55.41	c bin cls recevied         : 76424      
1438.88/55.41	c bin cls sent             : 1784       
1438.88/55.41	c clauses over max glue    : 0           (0.00      % of all clauses)
1438.88/55.41	c conflicts                : 73762       (1425.40   / sec)
1438.88/55.41	c decisions                : 335671      (0.00      % random)
1438.88/55.41	c bogo-props               : 1092877414  (21119166.06 / sec)
1438.88/55.41	c conflict literals        : 1444996     (44.26     % deleted)
1438.88/55.41	c Memory used              : 4368.04     MB
1438.88/55.41	c single-thread CPU time   : 51.75       s
1438.88/55.41	c all-threads sum CPU time : 1362.71     s
1438.88/55.41	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400711-1306361595/watcher-3400711-1306361595 -o /tmp/evaluation-result-3400711-1306361595/solver-3400711-1306361595 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400711-1306361595.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=338000 CPUtime=0.8 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 436 0 0 0 80 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 84500 377 297 95 0 79482 0
[pid=18790/tid=18791] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852208 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.087143 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=797968 CPUtime=2.12 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 6273 0 0 0 179 33 0 0 25 0 32 0 747645954 817119232 6144 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 199492 6238 322 95 0 194474 0
[pid=18790/tid=18791] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 221 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6296 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 200 0 0 0 6 0 0 0 22 0 32 0 747645954 817119232 6381 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 183 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6452 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 220 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6521 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 195 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6620 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 204 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6692 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 175 0 0 0 6 0 0 0 23 0 32 0 747645954 817119232 6753 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 192 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6818 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 197 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6882 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 213 0 0 0 4 1 0 0 24 0 32 0 747645954 817119232 6956 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=797968 CPUtime=0.02 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 210 0 0 0 1 1 0 0 23 0 32 0 747645954 817119232 7022 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=797968 CPUtime=0.03 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 170 0 0 0 2 1 0 0 24 0 32 0 747645954 817119232 7085 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=797968 CPUtime=0.04 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 3 1 0 0 24 0 32 0 747645954 817119232 7157 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 4 1 0 0 18 0 32 0 747645954 817119232 7220 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 211 0 0 0 5 1 0 0 24 0 32 0 747645954 817119232 7284 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 200 0 0 0 5 0 0 0 24 0 32 0 747645954 817119232 7355 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 233 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7417 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 251 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7473 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 251 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7527 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 211 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7568 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7640 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 213 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7702 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 264 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7761 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7838 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7887 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 235 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7953 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 219 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 8007 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 268 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8059 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 229 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8113 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 269 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 8170 268435456000 4194304 4580107 140736731153904 18446744073709551615 4231408 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 268 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8193 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 797968

[startup+0.105141 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=995128 CPUtime=2.32 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 9880 0 0 0 181 51 0 0 17 0 32 0 747645954 1019011072 9720 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 248782 9721 331 95 0 243764 0
[pid=18790/tid=18791] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 302 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9727 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566925824 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 339 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9735 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929944 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 273 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9744 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 288 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9748 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604478391303648 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 269 0 0 0 6 1 0 0 18 0 32 0 747645954 1019011072 9755 268435456000 4194304 4580107 140736731153904 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 304 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9766 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604503866547680 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 324 0 0 0 6 1 0 0 23 0 32 0 747645954 1019011072 9767 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 270 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9777 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929224 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 268 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9784 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566933424 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 289 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9789 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505459006944 0 0 -1 29 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=995128 CPUtime=0.02 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 267 0 0 0 1 1 0 0 17 0 32 0 747645954 1019011072 9790 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505913916896 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=995128 CPUtime=0.03 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 273 0 0 0 2 1 0 0 24 0 32 0 747645954 1019011072 9798 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 319 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9820 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505168182752 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 274 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9827 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604503866547680 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 267 0 0 0 5 1 0 0 17 0 32 0 747645954 1019011072 9829 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 316 0 0 0 5 1 0 0 24 0 32 0 747645954 1019011072 9833 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650616986 0 0 4096 2 520192 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31

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

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

[startup+54.3032 s]
/proc/loadavg: 26.19 29.45 31.01 4/445 18824
/proc/meminfo: memFree=251921172/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=4472868 CPUtime=1436.67 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) S 18788 18790 18704 0 -1 4202496 1642998 0 0 0 136048 7619 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 1118217 801108 379 95 0 1113199 0
[pid=18790/tid=18791] ppid=18788 vsize=4472868 CPUtime=45.74 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 76435 0 0 0 4293 281 0 0 18 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504041414112 0 0 -1 19 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=4472868 CPUtime=44.81 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 71389 0 0 0 4313 168 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483981983200 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=4472868 CPUtime=51.13 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 53623 0 0 0 4838 275 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604571213086176 0 0 -1 29 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=4472868 CPUtime=44.05 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 52658 0 0 0 4184 221 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505550495200 0 0 -1 27 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=4472868 CPUtime=51.85 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 57368 0 0 0 4928 257 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=4472868 CPUtime=43.57 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 30700 0 0 0 4135 222 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604474318601696 0 0 -1 24 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=4472868 CPUtime=44.65 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42036 0 0 0 4294 171 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604502766255584 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=4472868 CPUtime=43.88 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37214 0 0 0 4139 249 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604503866547680 0 0 -1 28 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=4472868 CPUtime=43.76 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 57735 0 0 0 4117 259 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482280365536 0 0 -1 1 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=4472868 CPUtime=43.94 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40440 0 0 0 4145 249 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604485685059040 0 0 -1 11 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=4472868 CPUtime=43.66 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 34920 0 0 0 4116 250 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505511869920 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=4472868 CPUtime=44.59 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 59063 0 0 0 4256 203 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744071566929584 0 0 -1 17 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=4472868 CPUtime=43.81 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42226 0 0 0 4106 275 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604478391303648 0 0 -1 23 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=4472868 CPUtime=43.97 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40398 0 0 0 4117 280 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482383986144 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=4472868 CPUtime=43.54 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 48009 0 0 0 4118 236 0 0 20 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505459006944 0 0 -1 2 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=4472868 CPUtime=43.96 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 41311 0 0 0 4157 239 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604481511407072 0 0 -1 21 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=4472868 CPUtime=43.77 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 60083 0 0 0 4123 254 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482330541536 0 0 -1 7 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=4472868 CPUtime=52.53 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 40535 0 0 0 5063 190 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947827396 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=4472868 CPUtime=43.7 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35469 0 0 0 4128 242 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604477308984800 0 0 -1 5 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=4472868 CPUtime=43.89 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35394 0 0 0 4137 252 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505168182752 0 0 -1 20 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=4472868 CPUtime=43.82 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 31802 0 0 0 4126 256 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484776943072 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39803 0 0 0 4134 258 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505913916896 0 0 -1 16 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=4472868 CPUtime=44.78 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39429 0 0 0 4286 192 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505439051232 0 0 -1 9 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=4472868 CPUtime=44.62 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 45327 0 0 0 4252 210 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604501719940576 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=4472868 CPUtime=44.13 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40964 0 0 0 4170 243 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604499821182432 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=4472868 CPUtime=44.49 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 66382 0 0 0 4244 205 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505848069600 0 0 -1 29 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=4472868 CPUtime=43.79 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37065 0 0 0 4112 267 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604500129947104 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 33252 0 0 0 4123 269 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483542293984 0 0 -1 12 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=4472868 CPUtime=44.15 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 51695 0 0 0 4159 256 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604475471977952 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=4472868 CPUtime=43.84 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 38756 0 0 0 4113 271 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504175214048 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=4472868 CPUtime=44.11 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 203231 0 0 0 4233 178 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484490026464 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1436.67
Current children cumulated vsize (KiB) 4472868

[startup+55.1022 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=4472868 CPUtime=1438.28 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) S 18788 18790 18704 0 -1 4202496 1645446 0 0 0 136208 7620 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 1118217 802508 379 95 0 1113199 0
[pid=18790/tid=18791] ppid=18788 vsize=4472868 CPUtime=45.74 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 76435 0 0 0 4293 281 0 0 18 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504041414112 0 0 -1 19 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=4472868 CPUtime=44.81 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 71389 0 0 0 4313 168 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483981983200 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=4472868 CPUtime=51.13 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 53623 0 0 0 4838 275 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604571213086176 0 0 -1 29 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=4472868 CPUtime=44.05 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 52658 0 0 0 4184 221 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505550495200 0 0 -1 27 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=4472868 CPUtime=52.65 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 59816 0 0 0 5007 258 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=4472868 CPUtime=43.57 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 30700 0 0 0 4135 222 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604474318601696 0 0 -1 24 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=4472868 CPUtime=44.65 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42036 0 0 0 4294 171 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604502766255584 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=4472868 CPUtime=43.88 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37214 0 0 0 4139 249 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604503866547680 0 0 -1 28 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=4472868 CPUtime=43.76 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 57735 0 0 0 4117 259 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482280365536 0 0 -1 1 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=4472868 CPUtime=43.94 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40440 0 0 0 4145 249 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604485685059040 0 0 -1 11 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=4472868 CPUtime=43.66 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 34920 0 0 0 4116 250 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505511869920 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=4472868 CPUtime=44.59 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 59063 0 0 0 4256 203 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744071566929584 0 0 -1 17 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=4472868 CPUtime=43.81 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42226 0 0 0 4106 275 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604478391303648 0 0 -1 23 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=4472868 CPUtime=43.97 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40398 0 0 0 4117 280 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482383986144 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=4472868 CPUtime=43.54 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 48009 0 0 0 4118 236 0 0 20 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505459006944 0 0 -1 2 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=4472868 CPUtime=43.96 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 41311 0 0 0 4157 239 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604481511407072 0 0 -1 21 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=4472868 CPUtime=43.77 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 60083 0 0 0 4123 254 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482330541536 0 0 -1 7 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=4472868 CPUtime=53.33 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 40535 0 0 0 5143 190 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947827243 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=4472868 CPUtime=43.7 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35469 0 0 0 4128 242 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604477308984800 0 0 -1 5 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=4472868 CPUtime=43.89 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35394 0 0 0 4137 252 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505168182752 0 0 -1 20 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=4472868 CPUtime=43.82 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 31802 0 0 0 4126 256 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484776943072 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39803 0 0 0 4134 258 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505913916896 0 0 -1 16 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=4472868 CPUtime=44.78 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39429 0 0 0 4286 192 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505439051232 0 0 -1 9 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=4472868 CPUtime=44.62 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 45327 0 0 0 4252 210 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604501719940576 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=4472868 CPUtime=44.13 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40964 0 0 0 4170 243 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604499821182432 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=4472868 CPUtime=44.49 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 66382 0 0 0 4244 205 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505848069600 0 0 -1 29 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=4472868 CPUtime=43.79 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37065 0 0 0 4112 267 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604500129947104 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 33252 0 0 0 4123 269 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483542293984 0 0 -1 12 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=4472868 CPUtime=44.15 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 51695 0 0 0 4159 256 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604475471977952 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=4472868 CPUtime=43.84 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 38756 0 0 0 4113 271 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504175214048 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=4472868 CPUtime=44.11 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 203231 0 0 0 4233 178 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484490026464 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1438.28
Current children cumulated vsize (KiB) 4472868

[startup+55.5022 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.01 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7630 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.01
Current children cumulated vsize (KiB) 0

[startup+55.7012 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.2 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7649 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.2
Current children cumulated vsize (KiB) 0

[startup+55.8012 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.3 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7659 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.3
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 55.8596
CPU time (s): 1439.37
CPU user time (s): 1362.71
CPU system time (s): 76.6573
CPU usage (%): 2576.77
Max. virtual memory (cumulated for all children) (KiB): 4598720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1362.71
system time used= 76.6573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1645451
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= 1971494
involuntary context switches= 26999

runsolver used 0.363944 second user time and 1.37979 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-26 00:13:15
IDJOB=3400711
IDBENCH=82357
IDSOLVER=1886
FILE ID=node200/3400711-1306361595
RUNJOBID= node200-1306361502-18718
PBS_JOBID= 13457871
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400711-1306361595/watcher-3400711-1306361595 -o /tmp/evaluation-result-3400711-1306361595/solver-3400711-1306361595 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400711-1306361595.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=932993853

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255132472 kB
Buffers:        469528 kB
Cached:        8245956 kB
SwapCached:          0 kB
Active:        7785592 kB
Inactive:      1001784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255132472 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11656 kB
Writeback:           0 kB
AnonPages:       72436 kB
Mapped:          14524 kB
Slab:           256672 kB
PageTables:       4368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182440 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-26 00:14:11