Trace number 3394814

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 145.088 18.5752

General information on the benchmark

NameSAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
MD5SUM51fef6c1c8ac21be9eb125cde1cdd08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark13.467
Satisfiable
(Un)Satisfiability was proved
Number of variables21317
Number of clauses63664
Sum of the clauses size148532
Maximum clause length3
Minimum clause length1
Number of clauses of size 113
Number of clauses of size 242434
Number of clauses of size 321217
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394814-1306107488.cnf'
0.00/0.02	c -- header says num vars:          21317
0.00/0.02	c -- header says num clauses:       63664
0.60/0.10	c -- clauses added:            0 learnts,        63664 normals,            0 xors
0.60/0.10	c -- vars added      21317
0.60/0.10	c Parsing time:  0.03 s
0.60/0.10	c  N st     0         0     21317     21204     42410         0    148432         0   no data   no data
0.60/0.28	c asymm  cl-useful: 0/21072/21072 lits-rem:0 time: 0.18
3.73/0.79	c Flit:    15 Blit:     33 bXBeca:    0 bXProp:  129 Bins:      0 BRemL:      0 BRemN:      0 P:  8.3M T:  0.46
3.73/0.80	c Replacing      129 vars Replaced     4164 lits Time:     0.01 s 
3.73/0.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.73/0.81	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3.73/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
6.00/0.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20962 time:  0.05 s
6.00/0.92	c Removed useless bin:      15  fixed:     0  props:   6.60M  time:  0.05 s
7.71/1.04	c lits-rem:        95  cl-subs:      151  v-elim:   6987  v-fix:    0  time:  0.10 s
7.71/1.06	c Finding binary XORs  T:     0.02 s  found:     448
7.71/1.06	c Replacing      448 vars Replaced     4597 lits Time:     0.00 s 
7.71/1.07	c Finding non-binary XORs:     0.00 s (found:      43, avg size: 3.0)
7.71/1.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      9 locsubst:     2 time:   0.00
7.71/1.08	c calculated reachability. Time: 0.00
7.71/1.08	c Calc default polars -  time:   0.00 s pos:     185 undec:    7924 neg:   13208
7.71/1.08	c =========================================================================================
7.71/1.08	c types(t): F = full restart, N = normal restart
7.71/1.08	c types(t): S = simplification begin/end, E = solution found
7.71/1.08	c restart types(rt): st = static, dy = dynamic
7.71/1.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.71/1.08	c  B st     0         0     13518     14476     30786         0    114950         0   no data   no data
12.34/1.68	c  N dy    15      4039     13517     14476     30989      3802    114949     76248      6.21      6.55
16.83/2.29	c  N dy    40      8209     13384     14476     31933      5470    114949     73115      6.35      6.70
21.06/2.86	c  N dy    63     12284     13383     14476     32397      5376    114949     48638      6.27      6.90
25.99/3.53	c  N dy    90     16287     13331     14132     31886      9228    112546    109632      6.42      6.78
31.22/4.20	c  N dy   116     20388     13330     14132     32153      7833    112546     77765      6.50      6.88
35.98/4.86	c  N dy   150     24397     13317     14132     32350     11803    112546    167552      6.77      7.34
36.77/4.96	c  F st   153     25002     13317     14132     32353     12404    112546    178726      6.75      5.30
36.77/4.97	c Replacing        1 vars Replaced       15 lits Time:     0.00 s 
39.17/5.25	c Finding binary XORs  T:     0.01 s  found:     155
39.17/5.26	c Replacing      155 vars Replaced     8124 lits Time:     0.01 s 
44.76/5.95	c  N dy   159     30002     13154     14071     31902     10615    111541    142298      6.75   no data
44.76/5.95	c  S st   159     30002     13154     14071     31902     10615    111541    142298      6.75   no data
45.56/6.09	c  S st   159     30506     13154     14071     32087     11091    111541    150169      6.75   no data
45.56/6.09	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      8 locsubst:     0 time:   0.00
57.52/7.54	c Flit:    39 Blit:    457 bXBeca:    0 bXProp:  510 Bins: 113362 BRemL:  68192 BRemN:    142 P: 18.9M T:  1.42
57.52/7.54	c Cleaning up after failed var search:     0.00 s 
57.52/7.56	c Replacing      510 vars Replaced    46019 lits Time:     0.01 s 
57.52/7.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57.52/7.58	c bin-w-bin subsume rem         7970 bins  time:  0.02 s
57.52/7.59	c subs with bin:       36  lits-rem:       431  v-fix:    0  time:  0.01 s
58.32/7.63	c Subs w/ non-existent bins:      4 l-rem:     50 v-fix:     0 done:  12082 time:  0.03 s
58.32/7.64	c Removed useless bin:     361  fixed:     0  props:   0.79M  time:  0.01 s
59.11/7.75	c lits-rem:      1715  cl-subs:     2730  v-elim:   6472  v-fix:    0  time:  0.10 s
59.11/7.75	c subs with bin:      134  lits-rem:       128  v-fix:    0  time:  0.00 s
59.11/7.76	c lits-rem:        53  cl-subs:      126  v-elim:      0  v-fix:    0  time:  0.00 s
59.11/7.76	c Added XOR as norm:16
60.81/7.93	c asymm  cl-useful: 1125/13406/13406 lits-rem:1349 time: 0.15
60.81/7.93	c calculated reachability. Time: 0.00
60.81/7.93	c  N dy   159     30506      5610     13405     18074      1242     85654     22692      6.75   no data
60.81/7.95	c Finding binary XORs  T:     0.01 s  found:       0
63.09/8.25	c  N dy   170     34605      5610     13405     18105      5258     85653     89838      6.66     10.47
66.29/8.64	c  N dy   190     38668      5609     13405     18253      6320     85652     96944      6.66      7.06
69.60/9.06	c  N dy   208     42803      5608     13405     18263     10410     85652    173084      6.63      7.04
71.88/9.31	c Finding binary XORs  T:     0.01 s  found:      20
72.68/9.46	c  S st   230     45762      5603     13384     37237      6827     85431    108510      6.66   no data
73.48/9.53	c  S st   230     46262      5603     13384     37247      7312     85431    113309      6.66   no data
73.48/9.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.08/9.78	c Flit:     5 Blit:      5 bXBeca:    0 bXProp:   72 Bins:   8032 BRemL:  20581 BRemN:     42 P:  4.8M T:  0.25
75.08/9.79	c Replacing       92 vars Replaced     5728 lits Time:     0.01 s 
75.08/9.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.88/9.80	c bin-w-bin subsume rem         6342 bins  time:  0.00 s
75.88/9.81	c subs with bin:      572  lits-rem:       482  v-fix:    0  time:  0.01 s
75.88/9.82	c Subs w/ non-existent bins:     93 l-rem:    117 v-fix:     0 done:   5498 time:  0.01 s
75.88/9.83	c Removed useless bin:      54  fixed:     0  props:   0.30M  time:  0.00 s
75.88/9.86	c lits-rem:        41  cl-subs:      279  v-elim:    348  v-fix:    0  time:  0.04 s
75.88/9.87	c subs with bin:       48  lits-rem:       326  v-fix:    0  time:  0.00 s
75.88/9.88	c lits-rem:       137  cl-subs:      233  v-elim:      0  v-fix:    0  time:  0.01 s
75.88/9.88	c Added XOR as norm:0
75.88/9.89	c vivif2 --  cl tried    12949 cl shrink      432 lits rem        654 time: 0.00
75.88/9.89	c vivif2 --  cl tried     6030 cl shrink      597 lits rem       1284 time: 0.00
77.48/10.06	c asymm  cl-useful: 160/12947/12947 lits-rem:175 time: 0.17
77.48/10.07	c calculated reachability. Time: 0.00
77.48/10.07	c  N dy   230     46262      5150     12945     14973      6029     83813     57421      6.66   no data
78.37/10.18	c Finding binary XORs  T:     0.01 s  found:       5
81.45/10.55	c  N dy   252     50287      5149     12945     24979     10008     83810    151048      6.67      7.79
83.06/10.79	c Finding binary XORs  T:     0.01 s  found:      77
83.86/10.80	c Replacing       82 vars Replaced    11322 lits Time:     0.01 s 
86.26/11.10	c  N dy   279     54416      5048     12859     24174     14007     83313    226555      6.72      7.10
90.24/11.60	c  N dy   301     58453      5021     12859     26571      9967     83311    127705      6.72      7.20
92.63/11.94	c Finding binary XORs  T:     0.01 s  found:     140
92.63/11.95	c Replacing      140 vars Replaced    16053 lits Time:     0.01 s 
94.23/12.10	c  N dy   328     62497      4859     12569     25930     13748     81376    197181      6.74      7.17
98.21/12.68	c  N dy   356     66562      4857     12569     25949     17717     81375    266367      6.79      7.23
101.40/13.04	c  S st   376     69393      4830     12569     26084     10702     81375    118207      6.82   no data
102.20/13.10	c  S st   376     69895      4830     12569     26092     11194     81375    123830      6.82   no data
102.20/13.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
103.80/13.31	c Flit:     2 Blit:      6 bXBeca:    0 bXProp:  120 Bins:   4378 BRemL:  13038 BRemN:     32 P:  4.6M T:  0.21
103.80/13.32	c Replacing      121 vars Replaced     8238 lits Time:     0.01 s 
103.80/13.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.80/13.32	c bin-w-bin subsume rem         2464 bins  time:  0.00 s
103.80/13.33	c subs with bin:      110  lits-rem:       276  v-fix:    0  time:  0.01 s
103.80/13.34	c Subs w/ non-existent bins:     41 l-rem:      7 v-fix:     0 done:   4701 time:  0.01 s
103.80/13.35	c Removed useless bin:      35  fixed:     0  props:   0.26M  time:  0.00 s
103.80/13.37	c lits-rem:        39  cl-subs:      583  v-elim:     99  v-fix:    0  time:  0.02 s
103.80/13.38	c subs with bin:      174  lits-rem:       591  v-fix:    0  time:  0.01 s
104.70/13.42	c lits-rem:       364  cl-subs:      535  v-elim:      0  v-fix:    0  time:  0.02 s
104.70/13.42	c Added XOR as norm:0
104.70/13.42	c vivif2 --  cl tried    11858 cl shrink       86 lits rem        136 time: 0.00
104.70/13.43	c vivif2 --  cl tried     9093 cl shrink      675 lits rem       1502 time: 0.01
106.19/13.61	c asymm  cl-useful: 304/11857/11857 lits-rem:660 time: 0.18
106.19/13.61	c calculated reachability. Time: 0.00
106.19/13.61	c  N dy   376     69895      4602     11811     12585      9091     75118     76508      6.82   no data
106.19/13.69	c Finding binary XORs  T:     0.01 s  found:       4
110.18/14.10	c  N dy   400     74377      4594     11811     16521     13512     75117    158727      6.82      7.20
110.98/14.22	c Finding binary XORs  T:     0.01 s  found:      26
114.31/14.67	c  N dy   429     79125      4586     11790     16228     18068     74960    235800      6.83      7.20
114.98/14.72	c Finding binary XORs  T:     0.01 s  found:      72
114.98/14.73	c Replacing      102 vars Replaced    13473 lits Time:     0.01 s 
119.77/15.30	c  N dy   463     84172      4472     11704     18301     11927     74449    121415      6.88      7.26
122.27/15.65	c  F st   473     87500      4455     11704     19288     15187     74448    175174      6.86   no data
125.35/16.03	c  N st   478     90798      4408     11517     17951     17549     73309    210245      6.86   no data
126.95/16.27	c Finding binary XORs  T:     0.01 s  found:     126
126.95/16.28	c Replacing      126 vars Replaced    11817 lits Time:     0.01 s 
131.88/16.83	c  N dy   503     96720      4221     11236     16443     11496     71184     95807      6.89      7.26
134.92/17.25	c Finding binary XORs  T:     0.01 s  found:     121
134.92/17.26	c Replacing      121 vars Replaced    11396 lits Time:     0.01 s 
138.09/17.62	c  N dy   541    102914      4069     11063     18206     16970     69740    189373      6.92      8.87
140.60/17.92	c  S st   556    104846      4053     11063     18215     18863     69740    219117      6.94   no data
141.26/18.01	c  S st   556    105350      4053     11063     22751     19337     69740    234296      6.94   no data
141.26/18.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.67/18.31	c Flit:    26 Blit:    235 bXBeca:    0 bXProp:  605 Bins:  11139 BRemL:  13626 BRemN:    206 P:  8.7M T:  0.29
143.67/18.31	c Cleaning up after failed var search:     0.00 s 
143.67/18.33	c Replacing      605 vars Replaced    53083 lits Time:     0.01 s 
143.67/18.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.67/18.33	c bin-w-bin subsume rem         3252 bins  time:  0.00 s
143.67/18.34	c subs with bin:      490  lits-rem:       861  v-fix:    0  time:  0.01 s
143.67/18.34	c Subs w/ non-existent bins:     14 l-rem:     19 v-fix:     0 done:   3045 time:  0.01 s
143.67/18.35	c Removed useless bin:      68  fixed:     0  props:   0.17M  time:  0.00 s
143.67/18.37	c lits-rem:       158  cl-subs:     1086  v-elim:    278  v-fix:    0  time:  0.02 s
143.67/18.39	c subs with bin:      865  lits-rem:      5043  v-fix:    0  time:  0.01 s
144.46/18.41	c lits-rem:      1978  cl-subs:     1403  v-elim:      0  v-fix:    0  time:  0.03 s
144.46/18.42	c vivif2 --  cl tried     8171 cl shrink      184 lits rem        325 time: 0.00
144.46/18.42	c vivif2 --  cl tried     8634 cl shrink     1036 lits rem       1668 time: 0.01
144.95/18.55	c asymm  cl-useful: 410/8167/8167 lits-rem:879 time: 0.12
144.95/18.55	c calculated reachability. Time: 0.00
144.95/18.55	c  N dy   556    105350      2767      8068      7421      8632     49415     75741      6.94   no data
144.95/18.55	c Following stats are for *FIRST FINISHED THREAD ONLY*
144.95/18.55	c num threads              : 8          
144.95/18.55	c restarts                 : 552        
144.95/18.55	c dynamic restarts         : 534        
144.95/18.55	c static restarts          : 18         
144.95/18.55	c full restarts            : 2          
144.95/18.55	c total simplify time      : 0.24       
144.95/18.55	c learnts DL2              : 0          
144.95/18.55	c learnts size 2           : 284199     
144.95/18.55	c learnts size 1           : 3200        (15.01     % of vars)
144.95/18.55	c filedLit time            : 2.38        (13.00     % time)
144.95/18.55	c v-elim SatELite          : 13788       (64.68     % vars)
144.95/18.55	c SatELite time            : 0.37        (2.00      % time)
144.95/18.55	c v-elim xor               : 17          (0.08      % vars)
144.95/18.55	c xor elim time            : 0.01        (0.07      % time)
144.95/18.55	c num binary xor trees     : 644        
144.95/18.55	c binxor trees' crown      : 2194        (3.41      leafs/tree)
144.95/18.55	c bin xor find time        : 0.15       
144.95/18.55	c OTF clause improved      : 1232        (0.01      clauses/conflict)
144.95/18.55	c OTF impr. size diff      : 1471        (1.19       lits/clause)
144.95/18.55	c OTF cl watch-shrink      : 59107       (0.55      clauses/conflict)
144.95/18.55	c OTF cl watch-sh-lit      : 155758      (2.64       lits/clause)
144.95/18.55	c tried to recurMin cls    : 41824       (38.90      % of conflicts)
144.95/18.55	c updated cache            : 0           (0.00       lits/tried recurMin)
144.95/18.55	c unit cls recevied        : 164         (5.12      % of units)
144.95/18.55	c unit cls sent            : 355         (11.09     % of units)
144.95/18.55	c bin cls recevied         : 65169      
144.95/18.55	c bin cls sent             : 30188      
144.95/18.55	c clauses over max glue    : 0           (0.00      % of all clauses)
144.95/18.55	c conflicts                : 107530      (5872.68   / sec)
144.95/18.55	c decisions                : 211312      (3.39      % random)
144.95/18.55	c bogo-props               : 679231538   (37095768.72 / sec)
144.95/18.55	c conflict literals        : 1874264     (35.25     % deleted)
144.95/18.55	c Memory used              : 734.52      MB
144.95/18.55	c single-thread CPU time   : 18.31       s
144.95/18.55	c all-threads sum CPU time : 144.16      s
144.95/18.55	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-3394814-1306107488/watcher-3394814-1306107488 -o /tmp/evaluation-result-3394814-1306107488/solver-3394814-1306107488 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394814-1306107488.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.28 7.89 7.96 2/491 12142
/proc/meminfo: memFree=30309116/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=92144 CPUtime=0.05 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 420 0 0 0 5 0 0 0 25 0 8 0 722348426 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410451 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12142/statm: 23036 360 302 95 0 18018 0
[pid=12142/tid=12143] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=92144 CPUtime=0 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410870 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410455 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722348427 94355456 360 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0858019 s]
/proc/loadavg: 7.28 7.89 7.96 2/491 12142
/proc/meminfo: memFree=30309116/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=649604 CPUtime=0.49 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) S 12140 12142 12081 0 -1 4202496 20994 0 0 0 35 14 0 0 17 0 8 0 722348426 665194496 17534 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 162401 17550 338 95 0 157383 0
[pid=12142/tid=12143] ppid=12140 vsize=649604 CPUtime=0.05 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2657 0 0 0 4 1 0 0 17 0 8 0 722348427 665194496 17553 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=649736 CPUtime=0.04 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2387 0 0 0 2 2 0 0 17 0 8 0 722348427 665329664 17566 33554432000 4194304 4580107 140736458247648 18446744073709551615 210646813698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=649736 CPUtime=0.06 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2474 0 0 0 5 1 0 0 17 0 8 0 722348427 665329664 17570 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=649736 CPUtime=0.06 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 2715 0 0 0 4 2 0 0 17 0 8 0 722348427 665329664 17586 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251438 0 0 4096 2 18446604453857706304 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=649736 CPUtime=0.05 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2410 0 0 0 4 1 0 0 17 0 8 0 722348427 665329664 17602 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=649736 CPUtime=0.06 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2598 0 0 0 5 1 0 0 17 0 8 0 722348427 665329664 17608 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=649736 CPUtime=0.05 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2615 0 0 0 4 1 0 0 17 0 8 0 722348427 665329664 17634 33554432000 4194304 4580107 140736458247648 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 649604

[startup+0.102807 s]
/proc/loadavg: 7.28 7.89 7.96 2/491 12142
/proc/meminfo: memFree=30309116/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=650732 CPUtime=0.6 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) S 12140 12142 12081 0 -1 4202496 22588 0 0 0 42 18 0 0 17 0 8 0 722348426 666349568 19128 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 162683 19162 348 95 0 157665 0
[pid=12142/tid=12143] ppid=12140 vsize=650732 CPUtime=0.07 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2862 0 0 0 5 2 0 0 17 0 8 0 722348427 666349568 19171 33554432000 4194304 4580107 140736458247648 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=650732 CPUtime=0.05 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 2572 0 0 0 3 2 0 0 17 0 8 0 722348427 666349568 19181 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251438 0 0 4096 2 18446604453857706304 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=650732 CPUtime=0.07 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2678 0 0 0 6 1 0 0 17 0 8 0 722348427 666349568 19217 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=650732 CPUtime=0.07 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2912 0 0 0 5 2 0 0 17 0 8 0 722348427 666349568 19247 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=650732 CPUtime=0.07 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2572 0 0 0 5 2 0 0 17 0 8 0 722348427 666349568 19267 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=650732 CPUtime=0.08 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2769 0 0 0 6 2 0 0 17 0 8 0 722348427 666349568 19286 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=650728 CPUtime=0.07 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 2862 0 0 0 6 1 0 0 17 0 8 0 722348427 666345472 19289 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 650732

[startup+0.384055 s]
/proc/loadavg: 7.28 7.89 7.96 2/491 12142
/proc/meminfo: memFree=30309116/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=656116 CPUtime=2.82 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) D 12140 12142 12081 0 -1 4202496 32211 0 0 0 258 24 0 0 18 0 8 0 722348426 671862784 28733 33554432000 4194304 4580107 140736458247648 18446744073709551615 210646807585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 164062 28865 360 95 0 159044 0
[pid=12142/tid=12143] ppid=12140 vsize=656248 CPUtime=0.34 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 4132 0 0 0 32 2 0 0 18 0 8 0 722348427 671997952 29037 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=656380 CPUtime=0.33 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 3947 0 0 0 30 3 0 0 18 0 8 0 722348427 672133120 29115 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=656380 CPUtime=0.35 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 4042 0 0 0 33 2 0 0 18 0 8 0 722348427 672133120 29244 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=656512 CPUtime=0.36 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 4420 0 0 0 33 3 0 0 18 0 8 0 722348427 672268288 29392 33554432000 4194304 4580107 140736458247648 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=656512 CPUtime=0.35 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) D 12140 12142 12081 0 -1 4202560 4116 0 0 0 33 2 0 0 18 0 8 0 722348427 672268288 29392 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=656512 CPUtime=0.36 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) D 12140 12142 12081 0 -1 4202560 4231 0 0 0 33 3 0 0 18 0 8 0 722348427 672268288 29392 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=656512 CPUtime=0.35 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 3019 0 0 0 34 1 0 0 18 0 8 0 722348427 672268288 29392 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 656116

[startup+0.800691 s]
/proc/loadavg: 7.28 7.89 7.96 2/491 12142
/proc/meminfo: memFree=30309116/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=670012 CPUtime=6 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) D 12140 12142 12081 0 -1 4202496 49743 0 0 0 569 31 0 0 18 0 8 0 722348426 686092288 46256 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647189687 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 167503 46486 371 95 0 162485 0
[pid=12142/tid=12143] ppid=12140 vsize=670340 CPUtime=0.73 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6417 0 0 0 70 3 0 0 18 0 8 0 722348427 686428160 46655 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=670484 CPUtime=0.72 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6335 0 0 0 68 4 0 0 18 0 8 0 722348427 686575616 46711 33554432000 4194304 4580107 140736458247648 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=670840 CPUtime=0.75 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6570 0 0 0 72 3 0 0 18 0 8 0 722348427 686940160 47027 33554432000 4194304 4580107 140736458247648 18446744073709551615 4507544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=671680 CPUtime=0.75 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7041 0 0 0 71 4 0 0 18 0 8 0 722348427 687800320 47341 33554432000 4194304 4580107 140736458247648 18446744073709551615 4413077 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=673820 CPUtime=0.76 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6867 0 0 0 73 3 0 0 18 0 8 0 722348427 689991680 49740 33554432000 4194304 4580107 140736458247648 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=673820 CPUtime=0.78 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7213 0 0 0 74 4 0 0 18 0 8 0 722348427 689991680 49832 33554432000 4194304 4580107 140736458247648 18446744073709551615 4427999 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=673820 CPUtime=0.78 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 3128 0 0 0 77 1 0 0 18 0 8 0 722348427 689991680 49862 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 670012

[startup+1.50053 s]
/proc/loadavg: 7.28 7.89 7.96 9/499 12150
/proc/meminfo: memFree=30071964/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=679464 CPUtime=11.54 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 65350 0 0 0 1115 39 0 0 18 0 8 0 722348426 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292966 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 169866 59928 379 95 0 164848 0
[pid=12142/tid=12143] ppid=12140 vsize=679464 CPUtime=1.42 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9329 0 0 0 138 4 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=679464 CPUtime=1.42 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8396 0 0 0 136 6 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=679464 CPUtime=1.43 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8795 0 0 0 139 4 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=679464 CPUtime=1.44 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8845 0 0 0 139 5 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=679464 CPUtime=1.43 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8252 0 0 0 139 4 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4321240 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=679464 CPUtime=1.45 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8598 0 0 0 140 5 0 0 18 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=679464 CPUtime=1.45 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 3431 0 0 0 144 1 0 0 19 0 8 0 722348427 695771136 59928 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 679464

[startup+3.10126 s]
/proc/loadavg: 7.34 7.90 7.96 9/499 12150
/proc/meminfo: memFree=30067504/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=696144 CPUtime=23.2 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 70220 0 0 0 2269 51 0 0 20 0 8 0 722348426 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 174036 60494 379 95 0 169018 0
[pid=12142/tid=12143] ppid=12140 vsize=696144 CPUtime=3.01 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9982 0 0 0 294 7 0 0 21 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=696144 CPUtime=2.92 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9094 0 0 0 285 7 0 0 21 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=696144 CPUtime=3.01 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9406 0 0 0 296 5 0 0 18 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=696144 CPUtime=3.02 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9575 0 0 0 295 7 0 0 18 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=696144 CPUtime=2.98 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 8914 0 0 0 294 4 0 0 18 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=696144 CPUtime=3.03 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9256 0 0 0 297 6 0 0 21 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=696144 CPUtime=2.26 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 3641 0 0 0 221 5 0 0 22 0 8 0 722348427 712851456 60494 33554432000 4194304 4580107 140736458247648 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.2
Current children cumulated vsize (KiB) 696144

[startup+6.30072 s]
/proc/loadavg: 7.34 7.90 7.96 9/499 12150
/proc/meminfo: memFree=30059816/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=689792 CPUtime=47.95 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 77687 0 0 0 4729 66 0 0 25 0 8 0 722348426 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 172448 63022 380 95 0 167430 0
[pid=12142/tid=12143] ppid=12140 vsize=689792 CPUtime=6.16 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 10823 0 0 0 608 8 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=689792 CPUtime=6.09 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 10069 0 0 0 599 10 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=689792 CPUtime=6.15 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 10310 0 0 0 610 5 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=689792 CPUtime=6.17 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 10429 0 0 0 608 9 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=689792 CPUtime=6.14 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 9704 0 0 0 609 5 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=689792 CPUtime=6.2 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 10304 0 0 0 612 8 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4317260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=689792 CPUtime=4.94 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 4492 0 0 0 485 9 0 0 25 0 8 0 722348427 706347008 63022 33554432000 4194304 4580107 140736458247648 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (KiB) 689792

[startup+12.7006 s]
/proc/loadavg: 7.51 7.91 7.97 9/499 12150
/proc/meminfo: memFree=29985612/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=687756 CPUtime=99.01 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 108204 0 0 0 9823 78 0 0 23 0 8 0 722348426 704262144 82905 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 171939 82905 380 95 0 166921 0
[pid=12142/tid=12143] ppid=12140 vsize=687756 CPUtime=12.56 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15985 0 0 0 1246 10 0 0 25 0 8 0 722348427 704262144 82905 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=687756 CPUtime=12.48 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14716 0 0 0 1237 11 0 0 24 0 8 0 722348427 704262144 82905 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=687756 CPUtime=12.55 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14879 0 0 0 1248 7 0 0 25 0 8 0 722348427 704262144 82906 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=687756 CPUtime=12.57 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14230 0 0 0 1247 10 0 0 25 0 8 0 722348427 704262144 82906 33554432000 4194304 4580107 140736458247648 18446744073709551615 210646812184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=687756 CPUtime=12.54 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 12189 0 0 0 1248 6 0 0 25 0 8 0 722348427 704262144 82906 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=687756 CPUtime=12.6 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 12733 0 0 0 1251 9 0 0 25 0 8 0 722348427 704262144 82906 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=687756 CPUtime=11.33 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6878 0 0 0 1122 11 0 0 23 0 8 0 722348427 704262144 82906 33554432000 4194304 4580107 140736458247648 18446744073709551615 4318621 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 99.01
Current children cumulated vsize (KiB) 687756

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

[startup+13.0006 s]
/proc/loadavg: 7.51 7.91 7.97 9/499 12150
/proc/meminfo: memFree=29985612/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=689340 CPUtime=101.4 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 110332 0 0 0 10062 78 0 0 25 0 8 0 722348426 705884160 84602 33554432000 4194304 4580107 140736458247648 18446744073709551615 4318494 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 172335 84607 380 95 0 167317 0
[pid=12142/tid=12143] ppid=12140 vsize=689340 CPUtime=12.86 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16897 0 0 0 1276 10 0 0 25 0 8 0 722348427 705884160 84608 33554432000 4194304 4580107 140736458247648 18446744073709551615 210646843147 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=689340 CPUtime=12.78 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14777 0 0 0 1267 11 0 0 25 0 8 0 722348427 705884160 84608 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=689340 CPUtime=12.85 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15085 0 0 0 1278 7 0 0 25 0 8 0 722348427 705884160 84612 33554432000 4194304 4580107 140736458247648 18446744073709551615 4484449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=689340 CPUtime=12.87 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14803 0 0 0 1277 10 0 0 25 0 8 0 722348427 705884160 84612 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=689340 CPUtime=12.84 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 12259 0 0 0 1278 6 0 0 25 0 8 0 722348427 705884160 84614 33554432000 4194304 4580107 140736458247648 18446744073709551615 4235215 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=689340 CPUtime=12.9 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 12764 0 0 0 1281 9 0 0 25 0 8 0 722348427 705884160 84614 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=689340 CPUtime=11.63 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 6901 0 0 0 1152 11 0 0 25 0 8 0 722348427 705884160 84614 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 689340

[startup+16.2011 s]
/proc/loadavg: 7.51 7.91 7.97 9/499 12150
/proc/meminfo: memFree=29955232/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=686020 CPUtime=126.95 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 120361 0 0 0 12614 81 0 0 25 0 8 0 722348426 702484480 89665 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 171505 89665 380 95 0 166487 0
[pid=12142/tid=12143] ppid=12140 vsize=686020 CPUtime=16.06 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 18350 0 0 0 1596 10 0 0 25 0 8 0 722348427 702484480 89665 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=686020 CPUtime=15.99 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15755 0 0 0 1587 12 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=686020 CPUtime=16.05 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15919 0 0 0 1598 7 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=686020 CPUtime=16.07 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15771 0 0 0 1597 10 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=686020 CPUtime=16.04 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14670 0 0 0 1597 7 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=686020 CPUtime=16.09 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 14570 0 0 0 1600 9 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4404462 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=686020 CPUtime=14.83 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7380 0 0 0 1472 11 0 0 25 0 8 0 722348427 702484480 89667 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 126.95
Current children cumulated vsize (KiB) 686020

[startup+17.8008 s]
/proc/loadavg: 7.55 7.92 7.97 9/499 12150
/proc/meminfo: memFree=29944568/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=752144 CPUtime=139.78 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 125119 0 0 0 13889 89 0 0 25 0 8 0 722348426 770195456 91006 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 188036 91006 380 95 0 183018 0
[pid=12142/tid=12143] ppid=12140 vsize=752144 CPUtime=17.68 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 18764 0 0 0 1757 11 0 0 25 0 8 0 722348427 770195456 91009 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=752144 CPUtime=17.6 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 17322 0 0 0 1748 12 0 0 25 0 8 0 722348427 770195456 91010 33554432000 4194304 4580107 140736458247648 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=752144 CPUtime=17.66 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16380 0 0 0 1759 7 0 0 25 0 8 0 722348427 770195456 91011 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=752144 CPUtime=17.69 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16221 0 0 0 1758 11 0 0 25 0 8 0 722348427 770195456 91011 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=752144 CPUtime=17.65 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15023 0 0 0 1758 7 0 0 25 0 8 0 722348427 770195456 91011 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=752144 CPUtime=17.71 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15574 0 0 0 1761 10 0 0 25 0 8 0 722348427 770195456 91011 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=752144 CPUtime=16.4 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7476 0 0 0 1623 17 0 0 25 0 8 0 722348427 770195456 91011 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 139.78
Current children cumulated vsize (KiB) 752144

[startup+18.2007 s]
/proc/loadavg: 7.55 7.92 7.97 9/499 12150
/proc/meminfo: memFree=29944568/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=752144 CPUtime=142.86 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 125548 0 0 0 14197 89 0 0 25 0 8 0 722348426 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293280 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 188036 91435 380 95 0 183018 0
[pid=12142/tid=12143] ppid=12140 vsize=752144 CPUtime=18.06 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 18815 0 0 0 1795 11 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=752144 CPUtime=17.98 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 17388 0 0 0 1786 12 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=752144 CPUtime=18.04 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16427 0 0 0 1797 7 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=752144 CPUtime=18.07 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16269 0 0 0 1796 11 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=752144 CPUtime=18.04 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15081 0 0 0 1797 7 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=752144 CPUtime=18.09 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15634 0 0 0 1799 10 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=752144 CPUtime=16.78 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7499 0 0 0 1661 17 0 0 25 0 8 0 722348427 770195456 91435 33554432000 4194304 4580107 140736458247648 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 142.86
Current children cumulated vsize (KiB) 752144

[startup+18.4007 s]
/proc/loadavg: 7.55 7.92 7.97 9/499 12150
/proc/meminfo: memFree=29944568/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=752144 CPUtime=144.46 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 125910 0 0 0 14356 90 0 0 25 0 8 0 722348426 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 188036 91797 380 95 0 183018 0
[pid=12142/tid=12143] ppid=12140 vsize=752144 CPUtime=18.26 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 18826 0 0 0 1815 11 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459386052 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=752144 CPUtime=18.18 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 17408 0 0 0 1806 12 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=752144 CPUtime=18.24 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16442 0 0 0 1817 7 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=752144 CPUtime=18.27 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 16287 0 0 0 1816 11 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=752144 CPUtime=18.24 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15098 0 0 0 1817 7 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=752144 CPUtime=18.29 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 15681 0 0 0 1819 10 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410455 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=752144 CPUtime=16.98 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 7507 0 0 0 1681 17 0 0 25 0 8 0 722348427 770195456 91797 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410451 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 144.46
Current children cumulated vsize (KiB) 752144

[startup+18.5007 s]
/proc/loadavg: 7.55 7.92 7.97 9/499 12150
/proc/meminfo: memFree=29944568/32951132 swapFree=59085544/67111528
[pid=12142] ppid=12140 vsize=752144 CPUtime=144.95 cores=0-7
/proc/12142/stat : 12142 (strangenight2-m) R 12140 12142 12081 0 -1 4202496 125935 0 0 0 14405 90 0 0 25 0 8 0 722348426 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12142/statm: 188036 91822 380 95 0 183018 0
[pid=12142/tid=12143] ppid=12140 vsize=752144 CPUtime=18.36 cores=0-7
/proc/12142/task/12143/stat : 12143 (strangenight2-m) R 12140 12142 12081 0 -1 4202560 18826 0 0 0 1825 11 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12142/tid=12144] ppid=12140 vsize=752144 CPUtime=18.23 cores=0-7
/proc/12142/task/12144/stat : 12144 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 17408 0 0 0 1811 12 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 5 0 0 0
[pid=12142/tid=12145] ppid=12140 vsize=752144 CPUtime=18.29 cores=0-7
/proc/12142/task/12145/stat : 12145 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 16442 0 0 0 1822 7 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 1 0 0 0
[pid=12142/tid=12146] ppid=12140 vsize=752144 CPUtime=18.32 cores=0-7
/proc/12142/task/12146/stat : 12146 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 16287 0 0 0 1821 11 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 3 0 0 0
[pid=12142/tid=12147] ppid=12140 vsize=752144 CPUtime=18.28 cores=0-7
/proc/12142/task/12147/stat : 12147 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 15098 0 0 0 1821 7 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 2 0 0 0
[pid=12142/tid=12148] ppid=12140 vsize=752144 CPUtime=18.34 cores=0-7
/proc/12142/task/12148/stat : 12148 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 15681 0 0 0 1824 10 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 0 0 0 0
[pid=12142/tid=12149] ppid=12140 vsize=752144 CPUtime=17.03 cores=0-7
/proc/12142/task/12149/stat : 12149 (strangenight2-m) S 12140 12142 12081 0 -1 4202560 7507 0 0 0 1686 17 0 0 25 0 8 0 722348427 770195456 91822 33554432000 4194304 4580107 140736458247648 18446744073709551615 47017459410484 0 0 4096 2 18446604453857706304 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 144.95
Current children cumulated vsize (KiB) 752144

Child status: 20
Real time (s): 18.5752
CPU time (s): 145.088
CPU user time (s): 144.164
CPU system time (s): 0.923859
CPU usage (%): 781.084
Max. virtual memory (cumulated for all children) (KiB): 761832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.164
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125938
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= 40120
involuntary context switches= 609

runsolver used 0.080987 second user time and 0.237963 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-23 01:38:08
IDJOB=3394814
IDBENCH=84958
IDSOLVER=1878
FILE ID=node129/3394814-1306107488
RUNJOBID= node129-1306107473-12095
PBS_JOBID= 13388031
Free space on /tmp= 72976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394814-1306107488/watcher-3394814-1306107488 -o /tmp/evaluation-result-3394814-1306107488/solver-3394814-1306107488 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394814-1306107488.cnf

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

MD5SUM BENCH= 51fef6c1c8ac21be9eb125cde1cdd08e
RANDOM SEED=473351902

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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:     32951132 kB
MemFree:      30309148 kB
Buffers:         13256 kB
Cached:         108784 kB
SwapCached:      72244 kB
Active:          78472 kB
Inactive:      2377460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30309148 kB
SwapTotal:    67111528 kB
SwapFree:     59085544 kB
Dirty:            6848 kB
Writeback:           4 kB
AnonPages:     2271568 kB
Mapped:          17480 kB
Slab:            57272 kB
PageTables:      58536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147300096 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72968 MiB
End job on node129 at 2011-05-23 01:38:27