Trace number 3321147

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-mtUNSAT 311.764 41.0757

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
MD5SUM7599aafec7bebba20ceab50260cd7197
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.53746
Satisfiable
(Un)Satisfiability was proved
Number of variables70167
Number of clauses209513
Sum of the clauses size488861
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2139674
Number of clauses of size 369837
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.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321147-1304324331.cnf'
0.00/0.03	c -- header says num vars:          70167
0.00/0.03	c -- header says num clauses:      209513
1.67/0.30	c -- clauses added:            0 learnts,       209513 normals,            0 xors
1.67/0.30	c -- vars added      70167
1.67/0.31	c Parsing time:  0.12 s
1.67/0.31	c  N st     0         0     70167     69837    139674         0    488859         0   no data   no data
1.67/0.75	c asymm  cl-useful: 0/69836/69836 lits-rem:0 time: 0.44
14.43/1.91	c Flit:     6 Blit:      6 bXBeca:    0 bXProp:  242 Bins:      0 BRemL:      0 BRemN:      0 P: 19.6M T:  1.16
14.43/1.94	c Replacing      242 vars Replaced     2951 lits Time:     0.03 s 
14.43/1.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.43/1.98	c bin-w-bin subsume rem            7 bins  time:  0.02 s
15.20/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
16.02/2.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  69911 time:  0.13 s
16.83/2.26	c Removed useless bin:     224  fixed:     0  props:  16.81M  time:  0.11 s
19.72/2.67	c lits-rem:      1786  cl-subs:     1963  v-elim:  23303  v-fix:    0  time:  0.30 s
19.72/2.69	c Finding binary XORs  T:     0.02 s  found:       4
20.44/2.70	c Replacing        4 vars Replaced       86 lits Time:     0.02 s 
20.44/2.74	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
20.44/2.74	c calculated reachability. Time: 0.00
20.44/2.75	c Calc default polars -  time:   0.01 s pos:     828 undec:   23733 neg:   45606
20.44/2.75	c =========================================================================================
20.44/2.75	c types(t): F = full restart, N = normal restart
20.44/2.75	c types(t): S = simplification begin/end, E = solution found
20.44/2.75	c restart types(rt): st = static, dy = dynamic
20.44/2.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
20.44/2.75	c  B st     0         0     46604     66655     95195         0    432943         0   no data   no data
27.64/3.64	c  N dy    18      4280     46601     66655     95401      4001    432930     29800      4.43      4.77
34.83/4.58	c  N dy    43      8402     46600     66655     96062      7907    432916     62457      4.60      4.86
42.88/5.54	c  N dy    57     12643     46587     66655     96223     11956    432915     94422      4.55      4.81
52.41/6.73	c  N dy    84     16753     46586     66655     97388     15897    432911    130484      4.63      4.88
60.47/7.77	c  N dy   111     20801     46586     66655     98388     10305    432910     57540      4.69      4.98
69.26/8.82	c  N dy   132     24805     46586     66655     98466     14187    432907     92720      4.71      5.06
69.26/8.88	c  F st   134     25002     46586     66655     99560     14381    432907     97094      4.72   no data
81.99/10.45	c  N dy   140     30000     46586     66544     99590     19254    432312    152349      4.72   no data
81.99/10.45	c  S st   140     30000     46586     66544     99590     19254    432312    152349      4.72   no data
81.99/10.47	c Finding binary XORs  T:     0.02 s  found:      20
83.59/10.69	c  S st   140     30500     46585     66544     99660     19679    432312    155398      4.72   no data
84.39/10.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.96/13.96	c Flit:     5 Blit:     13 bXBeca:    0 bXProp:  218 Bins: 305621 BRemL:  96053 BRemN:     14 P: 27.6M T:  3.23
110.76/14.01	c Replacing      238 vars Replaced    21438 lits Time:     0.05 s 
110.76/14.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.76/14.07	c bin-w-bin subsume rem         5210 bins  time:  0.03 s
111.56/14.12	c subs with bin:      910  lits-rem:      3604  v-fix:    0  time:  0.04 s
112.40/14.26	c Subs w/ non-existent bins:    129 l-rem:    760 v-fix:     0 done:  46321 time:  0.14 s
113.21/14.32	c Removed useless bin:      39  fixed:     0  props:   3.75M  time:  0.06 s
117.14/14.80	c lits-rem:      3833  cl-subs:     4604  v-elim:  29959  v-fix:    0  time:  0.45 s
117.14/14.82	c subs with bin:      160  lits-rem:       658  v-fix:    0  time:  0.01 s
117.14/14.86	c lits-rem:       332  cl-subs:      516  v-elim:      0  v-fix:    0  time:  0.03 s
117.94/14.91	c asymm  cl-useful: 0/4597/74433 lits-rem:0 time: 0.04
117.94/14.93	c calculated reachability. Time: 0.01
117.94/14.93	c  N dy   140     30500     16362     74433     60775      4975    379371    101812      4.72   no data
117.94/14.95	c Finding binary XORs  T:     0.03 s  found:       5
122.73/15.56	c  N dy   151     34877     16362     74433     61296      9200    379345    137050      4.66      4.96
127.53/16.11	c  N dy   166     39018     16360     74433     80481     13200    379311    208864      4.64      4.90
129.97/16.41	c Finding binary XORs  T:     0.02 s  found:      12
133.12/16.83	c  N dy   177     44041     16360     74417     80528     10223    379205    167946      4.60      4.87
135.50/17.12	c  S st   182     45750     16360     74417     80969     11868    379197    181574      4.58      3.71
136.30/17.27	c  S st   182     46251     16358     74417     81013     12321    379195    184654      4.58   no data
136.30/17.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.69/18.04	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   16 Bins:  17706 BRemL:  41567 BRemN:     94 P: 12.8M T:  0.76
142.69/18.07	c Replacing       33 vars Replaced     2402 lits Time:     0.02 s 
142.69/18.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.49/18.10	c bin-w-bin subsume rem         1567 bins  time:  0.01 s
143.49/18.13	c subs with bin:     2012  lits-rem:      6925  v-fix:    0  time:  0.03 s
143.49/18.17	c Subs w/ non-existent bins:    222 l-rem:   1563 v-fix:     0 done:  16323 time:  0.04 s
143.49/18.19	c Removed useless bin:      22  fixed:     0  props:   0.65M  time:  0.01 s
144.29/18.29	c lits-rem:       616  cl-subs:     1630  v-elim:    784  v-fix:    0  time:  0.10 s
145.09/18.31	c subs with bin:      124  lits-rem:       334  v-fix:    0  time:  0.01 s
145.09/18.36	c lits-rem:       350  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.03 s
145.09/18.40	c vivif2 --  cl tried    71549 cl shrink     1411 lits rem       1658 time: 0.03
145.89/18.40	c vivif2 --  cl tried    10542 cl shrink      940 lits rem       1179 time: 0.01
152.27/19.21	c asymm  cl-useful: 2025/13513/71531 lits-rem:2461 time: 0.81
152.27/19.23	c calculated reachability. Time: 0.01
152.27/19.23	c  N dy   182     46251     15539     71531     48984     10528    354893    109869      4.58   no data
152.27/19.24	c Finding binary XORs  T:     0.02 s  found:       0
156.31/19.78	c  N dy   198     50298     15538     71531     58393     14509    354886    162704      4.58      4.83
157.85/19.95	c Finding binary XORs  T:     0.02 s  found:       2
161.85/20.42	c  N dy   210     54328     15537     71520     58370     18453    354830    195324      4.56      4.81
167.45/21.10	c  N dy   235     58339     15537     71520     66141     22382    354823    246914      4.57      4.82
169.05/21.35	c Finding binary XORs  T:     0.02 s  found:       1
173.04/21.89	c  N dy   262     62389     15537     71520     66182     26340    354806    283637      4.58      4.85
179.44/22.60	c  N dy   288     66425     15536     71520     70679     16207    354797    185859      4.59      4.84
183.48/23.12	c  S st   306     69377     15536     71520     73673     19094    354785    217763      4.60   no data
184.22/23.27	c  S st   306     69877     15536     71520     73705     19554    354784    220850      4.60   no data
184.22/23.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
190.62/24.06	c Flit:     5 Blit:      4 bXBeca:    0 bXProp:   40 Bins:   8841 BRemL:  26803 BRemN:     81 P: 13.4M T:  0.78
190.62/24.09	c Replacing       43 vars Replaced     4739 lits Time:     0.03 s 
191.47/24.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
191.47/24.12	c bin-w-bin subsume rem          982 bins  time:  0.01 s
191.47/24.14	c subs with bin:      979  lits-rem:       479  v-fix:    0  time:  0.02 s
191.47/24.19	c Subs w/ non-existent bins:     85 l-rem:     40 v-fix:     0 done:  15481 time:  0.04 s
191.47/24.20	c Removed useless bin:      23  fixed:     0  props:   0.58M  time:  0.01 s
192.28/24.29	c lits-rem:       192  cl-subs:      701  v-elim:    302  v-fix:    0  time:  0.08 s
193.01/24.31	c subs with bin:      188  lits-rem:       243  v-fix:    0  time:  0.02 s
193.01/24.37	c lits-rem:       358  cl-subs:      817  v-elim:      0  v-fix:    0  time:  0.04 s
193.81/24.41	c vivif2 --  cl tried    69980 cl shrink      521 lits rem        651 time: 0.03
193.81/24.42	c vivif2 --  cl tried    17934 cl shrink     1186 lits rem       1582 time: 0.01
197.01/24.81	c asymm  cl-useful: 2074/7085/69951 lits-rem:2298 time: 0.39
197.01/24.83	c calculated reachability. Time: 0.01
197.01/24.83	c  N dy   306     69877     15179     69903     51875     17931    345375    166038      4.60   no data
197.01/24.85	c Finding binary XORs  T:     0.02 s  found:       2
203.39/25.61	c  N dy   337     74420     15179     69903     51900     22397    345366    208277      4.62      5.42
210.59/26.55	c  N dy   373     79263     15178     69903     52349     27157    345351    254614      4.64      4.90
212.98/26.88	c Finding binary XORs  T:     0.02 s  found:      15
219.38/27.60	c  N dy   411     84402     15175     69891     63902     32203    345278    327734      4.67      4.93
224.18/28.21	c  F st   435     87502     15173     69891     65958     35257    345276    364497      4.68      4.47
224.18/28.24	c Replacing       17 vars Replaced     1365 lits Time:     0.02 s 
228.17/28.79	c  N st   440     90801     15156     69844     65902     22860    345067    224675      4.68   no data
236.96/29.83	c  N dy   473     96670     15156     69844     66027     28647    345061    293190      4.71      4.97
245.74/30.99	c  N dy   524    102872     15156     69844     66174     34770    345057    364163      4.76      5.62
248.15/31.23	c Finding binary XORs  T:     0.02 s  found:       5
248.95/31.35	c  S st   538    104816     15156     69844     66177     36695    345056    385491      4.77      4.70
250.55/31.55	c  S st   538    105318     15156     69844     74815     37159    345055    406248      4.77   no data
250.55/31.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
256.94/32.39	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   41 Bins:   2929 BRemL:  20513 BRemN:     90 P: 15.1M T:  0.83
257.74/32.42	c Replacing       46 vars Replaced     3254 lits Time:     0.03 s 
257.74/32.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.74/32.46	c bin-w-bin subsume rem         1202 bins  time:  0.01 s
257.74/32.48	c subs with bin:      724  lits-rem:       329  v-fix:    0  time:  0.02 s
258.54/32.52	c Subs w/ non-existent bins:    112 l-rem:    103 v-fix:     0 done:  15106 time:  0.04 s
258.54/32.53	c Removed useless bin:      40  fixed:     0  props:   0.56M  time:  0.01 s
259.34/32.62	c lits-rem:       158  cl-subs:      417  v-elim:    148  v-fix:    0  time:  0.08 s
259.34/32.66	c subs with bin:      318  lits-rem:       772  v-fix:    0  time:  0.02 s
260.14/32.77	c lits-rem:      1909  cl-subs:     1335  v-elim:      0  v-fix:    0  time:  0.09 s
260.94/32.80	c vivif2 --  cl tried    68713 cl shrink      344 lits rem        374 time: 0.03
260.94/32.84	c vivif2 --  cl tried    34903 cl shrink     3633 lits rem       5508 time: 0.03
264.14/33.28	c asymm  cl-useful: 809/13069/68678 lits-rem:1751 time: 0.44
264.14/33.29	c calculated reachability. Time: 0.01
264.14/33.29	c  N dy   538    105318     14958     68367     54563     34896    338711    335269      4.77   no data
264.93/33.31	c Finding binary XORs  T:     0.02 s  found:       4
275.32/34.65	c  N dy   592    112223     14955     68367     55277     41686    338704    412806      4.81      5.17
286.51/36.00	c  N dy   645    119433     14955     68367     56935     31816    338703    278829      4.83      5.09
292.90/36.83	c Finding binary XORs  T:     0.02 s  found:       0
297.76/37.42	c  N dy   705    127143     14953     68348     57040     39109    338623    368522      4.87      6.91
305.74/38.43	c  E dy   747    132380     14837     68348     61610     44175    338620    436038      4.90      4.12
311.65/41.02	c Following stats are for *FIRST FINISHED THREAD ONLY*
311.65/41.02	c num threads              : 8          
311.65/41.02	c restarts                 : 747        
311.65/41.02	c dynamic restarts         : 729        
311.65/41.02	c static restarts          : 18         
311.65/41.02	c full restarts            : 2          
311.65/41.02	c total simplify time      : 0.27       
311.65/41.02	c learnts DL2              : 0          
311.65/41.02	c learnts size 2           : 575584     
311.65/41.02	c learnts size 1           : 2650        (3.78      % of vars)
311.65/41.02	c filedLit time            : 6.77        (16.67     % time)
311.65/41.02	c v-elim SatELite          : 54496       (77.67     % vars)
311.65/41.02	c SatELite time            : 1.38        (3.39      % time)
311.65/41.02	c v-elim xor               : 0           (0.00      % vars)
311.65/41.02	c xor elim time            : 0.06        (0.14      % time)
311.65/41.02	c num binary xor trees     : 497        
311.65/41.02	c binxor trees' crown      : 627         (1.26      leafs/tree)
311.65/41.02	c bin xor find time        : 0.22       
311.65/41.02	c OTF clause improved      : 1621        (0.01      clauses/conflict)
311.65/41.02	c OTF impr. size diff      : 1759        (1.09       lits/clause)
311.65/41.02	c OTF cl watch-shrink      : 54107       (0.41      clauses/conflict)
311.65/41.02	c OTF cl watch-sh-lit      : 92098       (1.70       lits/clause)
311.65/41.02	c tried to recurMin cls    : 23989       (18.12      % of conflicts)
311.65/41.02	c updated cache            : 0           (0.00       lits/tried recurMin)
311.65/41.02	c unit cls recevied        : 24          (0.91      % of units)
311.65/41.02	c unit cls sent            : 35          (1.32      % of units)
311.65/41.02	c bin cls recevied         : 78816      
311.65/41.02	c bin cls sent             : 336830     
311.65/41.02	c clauses over max glue    : 0           (0.00      % of all clauses)
311.65/41.02	c conflicts                : 132380      (3261.49   / sec)
311.65/41.02	c decisions                : 505553      (5.11      % random)
311.65/41.02	c bogo-props               : 1106251872  (27255082.23 / sec)
311.65/41.02	c conflict literals        : 1282461     (28.16     % deleted)
311.65/41.02	c Memory used              : 1538.87     MB
311.65/41.02	c single-thread CPU time   : 40.59       s
311.65/41.02	c all-threads sum CPU time : 309.92      s
311.65/41.02	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321147-1304324331/watcher-3321147-1304324331 -o /tmp/evaluation-result-3321147-1304324331/solver-3321147-1304324331 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321147-1304324331.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.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=92188 CPUtime=0.01 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 421 0 0 0 1 0 0 0 21 0 8 0 622663819 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12211/statm: 23047 361 303 106 0 18018 0
[pid=12211/tid=12212] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145559 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=92188 CPUtime=0 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622663820 94400512 361 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145565 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0857631 s]
/proc/loadavg: 7.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=572928 CPUtime=0.47 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) S 12209 12211 11813 0 -1 4202496 14932 0 0 0 36 11 0 0 17 0 8 0 622663819 586678272 13012 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 143232 13027 339 106 0 138203 0
[pid=12211/tid=12212] ppid=12209 vsize=572928 CPUtime=0.05 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1906 0 0 0 4 1 0 0 17 0 8 0 622663820 586678272 13071 33554432000 4194304 4627427 140735440207024 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=572928 CPUtime=0.03 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 1775 0 0 0 2 1 0 0 17 0 8 0 622663820 586678272 13139 33554432000 4194304 4627427 140735440207024 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=572928 CPUtime=0.05 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 1866 0 0 0 4 1 0 0 17 0 8 0 622663820 586678272 13139 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=572928 CPUtime=0.05 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 1721 0 0 0 5 0 0 0 17 0 8 0 622663820 586678272 13139 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=573144 CPUtime=0.05 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 1973 0 0 0 4 1 0 0 17 0 8 0 622663820 586899456 13140 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=574220 CPUtime=0.06 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1817 0 0 0 5 1 0 0 17 0 8 0 622663820 588001280 13340 33554432000 4194304 4627427 140735440207024 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=574220 CPUtime=0.06 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 1799 0 0 0 5 1 0 0 17 0 8 0 622663820 588001280 13346 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 572928

[startup+0.102812 s]
/proc/loadavg: 7.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=585532 CPUtime=0.56 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 20171 0 0 0 42 14 0 0 17 0 8 0 622663819 599584768 16172 33554432000 4194304 4627427 140735440207024 18446744073709551615 224284584692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 146383 16234 339 106 0 141354 0
[pid=12211/tid=12212] ppid=12209 vsize=585532 CPUtime=0.06 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2610 0 0 0 5 1 0 0 17 0 8 0 622663820 599584768 16250 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=585532 CPUtime=0.03 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2406 0 0 0 2 1 0 0 17 0 8 0 622663820 599584768 16259 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=585532 CPUtime=0.07 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 2476 0 0 0 5 2 0 0 17 0 8 0 622663820 599584768 16260 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=585532 CPUtime=0.06 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2320 0 0 0 5 1 0 0 17 0 8 0 622663820 599584768 16260 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=585532 CPUtime=0.06 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2575 0 0 0 5 1 0 0 17 0 8 0 622663820 599584768 16260 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=585532 CPUtime=0.06 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2585 0 0 0 5 1 0 0 17 0 8 0 622663820 599584768 16264 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=585956 CPUtime=0.06 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 2478 0 0 0 5 1 0 0 17 0 8 0 622663820 600018944 16275 33554432000 4194304 4627427 140735440207024 18446744073709551615 224285030894 0 0 4096 2 18446604463231533248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 585532

[startup+0.303899 s]
/proc/loadavg: 7.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=752748 CPUtime=1.67 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 74713 0 0 0 115 52 0 0 17 0 8 0 622663819 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 224284983722 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 188187 58105 350 106 0 183158 0
[pid=12211/tid=12212] ppid=12209 vsize=752748 CPUtime=0.21 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9665 0 0 0 16 5 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=752748 CPUtime=0.18 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 8963 0 0 0 12 6 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=752748 CPUtime=0.2 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 9137 0 0 0 13 7 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4313569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=752748 CPUtime=0.21 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 8672 0 0 0 16 5 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=752748 CPUtime=0.2 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 8838 0 0 0 14 6 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4313864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=752748 CPUtime=0.19 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) D 12209 12211 11813 0 -1 4202560 9556 0 0 0 13 6 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=752748 CPUtime=0.21 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 10430 0 0 0 14 7 0 0 17 0 8 0 622663820 770813952 58105 33554432000 4194304 4627427 140735440207024 18446744073709551615 4515204 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 752748

[startup+1.52051 s]
/proc/loadavg: 7.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=766780 CPUtime=11.39 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 77362 0 0 0 1085 54 0 0 19 0 8 0 622663819 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308248 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 191695 60386 367 106 0 186666 0
[pid=12211/tid=12212] ppid=12209 vsize=766780 CPUtime=1.42 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9667 0 0 0 137 5 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=766780 CPUtime=1.39 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9364 0 0 0 133 6 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4238282 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=766780 CPUtime=1.42 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9274 0 0 0 135 7 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=766780 CPUtime=1.42 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9264 0 0 0 137 5 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=766780 CPUtime=1.41 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9140 0 0 0 135 6 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=766780 CPUtime=1.41 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9739 0 0 0 134 7 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=766780 CPUtime=1.43 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 10972 0 0 0 136 7 0 0 19 0 8 0 622663820 785182720 60386 33554432000 4194304 4627427 140735440207024 18446744073709551615 4325108 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 766780

[startup+1.6005 s]
/proc/loadavg: 7.62 7.69 6.97 1/218 12211
/proc/meminfo: memFree=28890928/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=766780 CPUtime=12.03 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 77369 0 0 0 1149 54 0 0 19 0 8 0 622663819 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 191695 60393 367 106 0 186666 0
[pid=12211/tid=12212] ppid=12209 vsize=766780 CPUtime=1.5 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9667 0 0 0 145 5 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=766780 CPUtime=1.47 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9364 0 0 0 141 6 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=766780 CPUtime=1.5 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9274 0 0 0 143 7 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4238988 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=766780 CPUtime=1.5 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9264 0 0 0 145 5 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=766780 CPUtime=1.49 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9140 0 0 0 143 6 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=766780 CPUtime=1.49 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 9739 0 0 0 142 7 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=766780 CPUtime=1.51 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 10979 0 0 0 144 7 0 0 19 0 8 0 622663820 785182720 60393 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 766780

[startup+3.10126 s]
/proc/loadavg: 7.73 7.71 6.98 9/226 12219
/proc/meminfo: memFree=28569952/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=922468 CPUtime=23.65 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 141815 0 0 0 2273 92 0 0 18 0 8 0 622663819 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4471678 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 230617 114685 386 106 0 225588 0
[pid=12211/tid=12212] ppid=12209 vsize=922468 CPUtime=2.95 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 18720 0 0 0 286 9 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=922468 CPUtime=2.91 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 20142 0 0 0 279 12 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=922468 CPUtime=2.96 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 16997 0 0 0 283 13 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=922468 CPUtime=2.95 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 16526 0 0 0 286 9 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=922468 CPUtime=2.93 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 18325 0 0 0 281 12 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=922468 CPUtime=2.93 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 20423 0 0 0 283 10 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=922468 CPUtime=2.98 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 11912 0 0 0 291 7 0 0 18 0 8 0 622663820 944607232 114685 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.65
Current children cumulated vsize (KiB) 922468

[startup+6.30072 s]
/proc/loadavg: 7.75 7.71 6.98 9/226 12219
/proc/meminfo: memFree=28429028/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=922468 CPUtime=49.22 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 143809 0 0 0 4830 92 0 0 25 0 8 0 622663819 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309004 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 230617 116531 387 106 0 225588 0
[pid=12211/tid=12212] ppid=12209 vsize=922468 CPUtime=6.15 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 19044 0 0 0 606 9 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=922468 CPUtime=6.09 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 20306 0 0 0 597 12 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=922468 CPUtime=6.16 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 17180 0 0 0 603 13 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=922468 CPUtime=6.15 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 16797 0 0 0 606 9 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=922468 CPUtime=6.13 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 18494 0 0 0 601 12 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=922468 CPUtime=6.14 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 20735 0 0 0 603 11 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=922468 CPUtime=6.18 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 12173 0 0 0 611 7 0 0 25 0 8 0 622663820 944607232 116531 33554432000 4194304 4627427 140735440207024 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 52990 0 0 0 2515 18 0 0 25 0 8 0 622663820 1193979904 207724 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1165996 CPUtime=25.33 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 68754 0 0 0 2516 17 0 0 25 0 8 0 622663820 1193979904 207724 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1165996 CPUtime=25.37 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 19525 0 0 0 2526 11 0 0 25 0 8 0 622663820 1193979904 207724 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.59
Current children cumulated vsize (KiB) 1165996

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

[startup+26.6013 s]
/proc/loadavg: 7.82 7.73 7.00 9/226 12219
/proc/meminfo: memFree=28056644/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1232324 CPUtime=211.39 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 503722 0 0 0 20975 164 0 0 25 0 8 0 622663819 1261899776 216240 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 308081 216242 391 106 0 303052 0
[pid=12211/tid=12212] ppid=12209 vsize=1232324 CPUtime=26.44 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 67606 0 0 0 2625 19 0 0 25 0 8 0 622663820 1261899776 216242 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1232324 CPUtime=26.22 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 57015 0 0 0 2601 21 0 0 25 0 8 0 622663820 1261899776 216242 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1232324 CPUtime=26.44 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 73663 0 0 0 2620 24 0 0 25 0 8 0 622663820 1261899776 216242 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1232324 CPUtime=26.44 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 73017 0 0 0 2624 20 0 0 20 0 8 0 622663820 1261899776 216243 33554432000 4194304 4627427 140735440207024 18446744073709551615 4327434 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1232324 CPUtime=26.43 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 59212 0 0 0 2622 21 0 0 25 0 8 0 622663820 1261899776 216243 33554432000 4194304 4627427 140735440207024 18446744073709551615 4412334 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1232324 CPUtime=26.43 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 70331 0 0 0 2625 18 0 0 25 0 8 0 622663820 1261899776 216244 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1232324 CPUtime=26.47 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 19612 0 0 0 2636 11 0 0 25 0 8 0 622663820 1261899776 216244 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 211.39
Current children cumulated vsize (KiB) 1232324

[startup+33.0083 s]
/proc/loadavg: 7.84 7.74 7.01 9/226 12221
/proc/meminfo: memFree=27967132/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1458148 CPUtime=262.59 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 530618 0 0 0 26089 170 0 0 25 0 8 0 622663819 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 364537 231908 391 106 0 359508 0
[pid=12211/tid=12212] ppid=12209 vsize=1458148 CPUtime=32.84 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 69015 0 0 0 3265 19 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1458148 CPUtime=32.58 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 60740 0 0 0 3236 22 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309448 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1458148 CPUtime=32.85 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 74600 0 0 0 3260 25 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4515217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1458148 CPUtime=32.85 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 74580 0 0 0 3265 20 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1458148 CPUtime=32.84 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 63223 0 0 0 3262 22 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1458148 CPUtime=32.83 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 81600 0 0 0 3263 20 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1458148 CPUtime=32.88 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 20247 0 0 0 3277 11 0 0 25 0 8 0 622663820 1493143552 231908 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 262.59
Current children cumulated vsize (KiB) 1458148

[startup+36.2007 s]
/proc/loadavg: 7.85 7.74 7.01 9/226 12221
/proc/meminfo: memFree=27901952/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1544696 CPUtime=288.16 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 550588 0 0 0 28640 176 0 0 25 0 8 0 622663819 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 386174 247954 391 106 0 381145 0
[pid=12211/tid=12212] ppid=12209 vsize=1544696 CPUtime=36.05 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 70345 0 0 0 3585 20 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4435194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1544696 CPUtime=35.76 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 62050 0 0 0 3553 23 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1544696 CPUtime=36.05 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 76122 0 0 0 3580 25 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1544696 CPUtime=36.04 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 75718 0 0 0 3584 20 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1544696 CPUtime=36.04 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 63551 0 0 0 3582 22 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4328738 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1544696 CPUtime=36.03 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 82176 0 0 0 3583 20 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1544696 CPUtime=36.07 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 32785 0 0 0 3592 15 0 0 25 0 8 0 622663820 1581768704 247954 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 288.16
Current children cumulated vsize (KiB) 1544696

[startup+39.4012 s]
/proc/loadavg: 7.85 7.74 7.01 9/226 12221
/proc/meminfo: memFree=27885620/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1546448 CPUtime=308.45 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 555960 0 0 0 30667 178 0 0 25 0 8 0 622663819 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854121003 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 386612 252048 391 106 0 381583 0
[pid=12211/tid=12212] ppid=12209 vsize=1546448 CPUtime=38.37 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 71976 0 0 0 3817 20 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1546448 CPUtime=38.07 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 62250 0 0 0 3784 23 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1546448 CPUtime=38.37 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 78830 0 0 0 3812 25 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1546448 CPUtime=38.36 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 75910 0 0 0 3816 20 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1546448 CPUtime=38.35 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 63744 0 0 0 3813 22 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1546448 CPUtime=38.35 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 82357 0 0 0 3815 20 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1546448 CPUtime=39.26 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 32851 0 0 0 3911 15 0 0 25 0 8 0 622663820 1583562752 252048 33554432000 4194304 4627427 140735440207024 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 308.45
Current children cumulated vsize (KiB) 1546448

[startup+40.2011 s]
/proc/loadavg: 7.85 7.74 7.01 3/226 12221
/proc/meminfo: memFree=27885496/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1558128 CPUtime=310.05 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 558793 0 0 0 30827 178 0 0 25 0 8 0 622663819 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854121156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 389532 254881 391 106 0 384503 0
[pid=12211/tid=12212] ppid=12209 vsize=1558128 CPUtime=38.37 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 71976 0 0 0 3817 20 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1558128 CPUtime=38.07 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 62250 0 0 0 3784 23 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1558128 CPUtime=38.37 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 78830 0 0 0 3812 25 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1558128 CPUtime=38.36 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 75910 0 0 0 3816 20 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1558128 CPUtime=38.35 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 63744 0 0 0 3813 22 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1558128 CPUtime=38.35 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 82357 0 0 0 3815 20 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1558128 CPUtime=40.07 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 35684 0 0 0 3991 16 0 0 25 0 8 0 622663820 1595523072 254881 33554432000 4194304 4627427 140735440207024 18446744073709551615 4300623 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 310.05
Current children cumulated vsize (KiB) 1558128

[startup+40.601 s]
/proc/loadavg: 7.38 7.64 6.99 3/226 12221
/proc/meminfo: memFree=27854744/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1575796 CPUtime=310.86 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 563650 0 0 0 30908 178 0 0 25 0 8 0 622663819 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854121152 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 393949 259728 391 106 0 388920 0
[pid=12211/tid=12212] ppid=12209 vsize=1575796 CPUtime=38.37 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 71976 0 0 0 3817 20 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1575796 CPUtime=38.07 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 62250 0 0 0 3784 23 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1575796 CPUtime=38.37 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 78830 0 0 0 3812 25 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1575796 CPUtime=38.36 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 75910 0 0 0 3816 20 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1575796 CPUtime=38.35 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 63744 0 0 0 3813 22 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1575796 CPUtime=38.35 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 82357 0 0 0 3815 20 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1575796 CPUtime=40.47 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 40541 0 0 0 4031 16 0 0 25 0 8 0 622663820 1613615104 259728 33554432000 4194304 4627427 140735440207024 18446744073709551615 4450294 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 310.86
Current children cumulated vsize (KiB) 1575796

[startup+41.001 s]
/proc/loadavg: 7.38 7.64 6.99 3/226 12221
/proc/meminfo: memFree=27854744/32951124 swapFree=67103364/67111528
[pid=12211] ppid=12209 vsize=1575796 CPUtime=311.65 cores=0-7
/proc/12211/stat : 12211 (strangenight2-m) R 12209 12211 11813 0 -1 4202496 563666 0 0 0 30987 178 0 0 25 0 8 0 622663819 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854121156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12211/statm: 393949 259744 391 106 0 388920 0
[pid=12211/tid=12212] ppid=12209 vsize=1575796 CPUtime=38.37 cores=0-7
/proc/12211/task/12212/stat : 12212 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 71976 0 0 0 3817 20 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 6 0 0 0
[pid=12211/tid=12213] ppid=12209 vsize=1575796 CPUtime=38.07 cores=0-7
/proc/12211/task/12213/stat : 12213 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 62250 0 0 0 3784 23 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 7 0 0 0
[pid=12211/tid=12214] ppid=12209 vsize=1575796 CPUtime=38.37 cores=0-7
/proc/12211/task/12214/stat : 12214 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 78830 0 0 0 3812 25 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 1 0 0 0
[pid=12211/tid=12215] ppid=12209 vsize=1575796 CPUtime=38.36 cores=0-7
/proc/12211/task/12215/stat : 12215 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 75910 0 0 0 3816 20 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 0 0 0 0
[pid=12211/tid=12216] ppid=12209 vsize=1575796 CPUtime=38.35 cores=0-7
/proc/12211/task/12216/stat : 12216 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 63744 0 0 0 3813 22 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 5 0 0 0
[pid=12211/tid=12217] ppid=12209 vsize=1575796 CPUtime=38.35 cores=0-7
/proc/12211/task/12217/stat : 12217 (strangenight2-m) S 12209 12211 11813 0 -1 4202560 82357 0 0 0 3815 20 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 47694854145588 0 0 4096 2 18446604463231533248 0 0 -1 4 0 0 0
[pid=12211/tid=12218] ppid=12209 vsize=1575796 CPUtime=40.87 cores=0-7
/proc/12211/task/12218/stat : 12218 (strangenight2-m) R 12209 12211 11813 0 -1 4202560 40557 0 0 0 4071 16 0 0 25 0 8 0 622663820 1613615104 259744 33554432000 4194304 4627427 140735440207024 18446744073709551615 4299067 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 311.65
Current children cumulated vsize (KiB) 1575796

Child status: 20
Real time (s): 41.0757
CPU time (s): 311.764
CPU user time (s): 309.918
CPU system time (s): 1.84572
CPU usage (%): 758.998
Max. virtual memory (cumulated for all children) (KiB): 1575796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.918
system time used= 1.84572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563669
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= 101745
involuntary context switches= 1429

runsolver used 0.070989 second user time and 0.226965 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-02 10:18:52
IDJOB=3321147
IDBENCH=82465
IDSOLVER=1709
FILE ID=node118/3321147-1304324331
RUNJOBID= node118-1304322187-11827
PBS_JOBID= 13176808
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321147-1304324331/watcher-3321147-1304324331 -o /tmp/evaluation-result-3321147-1304324331/solver-3321147-1304324331 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321147-1304324331.cnf

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

MD5SUM BENCH= 7599aafec7bebba20ceab50260cd7197
RANDOM SEED=629064145

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.75
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28891208 kB
Buffers:        489552 kB
Cached:        1759696 kB
SwapCached:       2876 kB
Active:        1712188 kB
Inactive:      1977592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28891208 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:            9216 kB
Writeback:           0 kB
AnonPages:     1439276 kB
Mapped:          18196 kB
Slab:           295592 kB
PageTables:      13212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21508708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73352 MiB
End job on node118 at 2011-05-02 10:19:33