Trace number 3321166

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 352.342 48.0066

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
MD5SUM7eb9713591c46f87c512df513290fd7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19.938
Satisfiable
(Un)Satisfiability was proved
Number of variables115266
Number of clauses345359
Sum of the clauses size805835
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2230238
Number of clauses of size 3115119
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.02	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-3321166-1304324630.cnf'
0.00/0.03	c -- header says num vars:         115266
0.00/0.03	c -- header says num clauses:      345359
2.17/0.85	c -- clauses added:            0 learnts,       345359 normals,            0 xors
2.17/0.85	c -- vars added     115266
2.17/0.85	c Parsing time:  0.14 s
2.17/0.85	c  N st     0         0    115266    115119    230238         0    805833         0   no data   no data
2.17/0.85	c asymm  cl-useful: 0/29036/115118 lits-rem:0 time: 0.37
39.62/5.18	c Flit:  1262 Blit:   5781 bXBeca:    0 bXProp: 13306 Bins:      0 BRemL:      0 BRemN:      0 P: 87.9M T:  4.34
40.42/5.20	c Cleaning up after failed var search:     0.02 s 
40.42/5.26	c Replacing    13306 vars Replaced   339601 lits Time:     0.06 s 
41.22/5.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.22/5.33	c bin-w-bin subsume rem          650 bins  time:  0.02 s
41.22/5.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
43.47/5.67	c Subs w/ non-existent bins:     31 l-rem:     31 v-fix:     0 done:  94570 time:  0.28 s
44.32/5.79	c Removed useless bin:    2949  fixed:     0  props:  20.00M  time:  0.11 s
48.55/6.30	c lits-rem:      2866  cl-subs:     4185  v-elim:  31523  v-fix:    0  time:  0.39 s
48.55/6.33	c Finding binary XORs  T:     0.02 s  found:     120
48.55/6.35	c Replacing      120 vars Replaced     1165 lits Time:     0.02 s 
48.55/6.40	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
48.55/6.40	c calculated reachability. Time: 0.00
49.28/6.41	c Calc default polars -  time:   0.01 s pos:    3393 undec:   52392 neg:   59481
49.28/6.41	c =========================================================================================
49.28/6.41	c types(t): F = full restart, N = normal restart
49.28/6.41	c types(t): S = simplification begin/end, E = solution found
49.28/6.41	c restart types(rt): st = static, dy = dynamic
49.28/6.41	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
49.28/6.41	c  B st     0         0     62927     90091    130244         0    582096         0   no data   no data
57.25/7.49	c  N dy    18      4132     62907     90091    130573      3743    582083     47962      5.38      6.18
65.25/8.48	c  N dy    45      8342     62890     90091    135130      7702    582044    107888      5.73      6.05
74.04/9.56	c  N dy    63     12400     62735     90091    136816     11528    582020    160039      5.64      5.95
78.05/10.10	c Finding binary XORs  T:     0.02 s  found:     789
78.91/10.14	c Replacing      789 vars Replaced    32697 lits Time:     0.03 s 
83.64/10.73	c  N dy    80     16819     61765     87208    134702     15546    566014    211582      5.56      5.94
91.63/11.78	c  N dy   100     21065     61597     87208    136073     10330    566006     85855      5.51      5.89
98.82/12.67	c  F st   121     25000     61567     87208    137257     14141    565997    143274      5.50      4.79
103.62/13.23	c  N st   122     25250     61567     85611    136544     14310    557965    148419      5.50   no data
114.07/14.53	c  N dy   127     30000     61446     85611    136586     18966    557954    253186      5.50   no data
114.07/14.54	c  S st   127     30000     61446     85611    136586     18966    557954    253186      5.50   no data
116.40/14.88	c  S st   127     30500     61444     85611    138131     19384    557954    260212      5.50   no data
117.20/14.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
162.76/20.68	c Flit:   133 Blit:    211 bXBeca:    0 bXProp: 2648 Bins: 280308 BRemL: 105879 BRemN:   2891 P: 56.4M T:  5.78
162.76/20.68	c Cleaning up after failed var search:     0.00 s 
163.56/20.76	c Replacing     2648 vars Replaced   214380 lits Time:     0.07 s 
163.56/20.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
165.16/20.92	c bin-w-bin subsume rem        55408 bins  time:  0.13 s
165.16/20.97	c subs with bin:     7029  lits-rem:     11698  v-fix:    0  time:  0.05 s
167.62/21.25	c Subs w/ non-existent bins:    716 l-rem:   5599 v-fix:     0 done:  58244 time:  0.28 s
169.15/21.44	c Removed useless bin:    3359  fixed:     0  props:  18.49M  time:  0.19 s
173.94/22.03	c lits-rem:      7491  cl-subs:     9886  v-elim:  38828  v-fix:    0  time:  0.56 s
173.94/22.06	c subs with bin:      365  lits-rem:      1556  v-fix:    0  time:  0.02 s
174.74/22.11	c lits-rem:       374  cl-subs:      676  v-elim:      0  v-fix:    0  time:  0.04 s
177.93/22.52	c asymm  cl-useful: 1410/32591/77142 lits-rem:1870 time: 0.42
177.93/22.53	c calculated reachability. Time: 0.00
177.93/22.53	c  N dy   127     30500     19416     76962     66866      6339    391956    115574      5.50   no data
177.93/22.55	c Finding binary XORs  T:     0.01 s  found:     112
181.94/23.09	c  N dy   152     34555     19416     76962     66907     10297    391931    164135      5.58      5.89
187.52/23.71	c  N dy   180     38790     19411     76962     68036     14431    391921    218652      5.61      5.93
192.31/24.39	c  N dy   202     42794     19398     76962    152180      9546    391906    296584      5.64      6.71
196.30/24.85	c  S st   223     45751     19397     76962    152203     12450    391905    333285      5.66   no data
197.90/25.03	c Finding binary XORs  T:     0.01 s  found:      52
197.90/25.05	c  S st   223     46252     19389     76565    151627     12901    390494    335255      5.66   no data
197.90/25.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
211.53/26.74	c Flit:    20 Blit:      7 bXBeca:    0 bXProp:  138 Bins:  47731 BRemL:  67731 BRemN:    695 P: 17.4M T:  1.66
211.53/26.78	c Replacing      302 vars Replaced    32312 lits Time:     0.03 s 
212.26/26.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.26/26.85	c bin-w-bin subsume rem        47478 bins  time:  0.05 s
212.26/26.89	c subs with bin:     9124  lits-rem:     20115  v-fix:    0  time:  0.04 s
213.06/26.99	c Subs w/ non-existent bins:   1921 l-rem:  15760 v-fix:     0 done:  19051 time:  0.09 s
213.86/27.03	c Removed useless bin:    2023  fixed:     0  props:   2.74M  time:  0.04 s
215.46/27.21	c lits-rem:      1744  cl-subs:     3466  v-elim:   4473  v-fix:    0  time:  0.18 s
215.46/27.24	c subs with bin:      196  lits-rem:       715  v-fix:    0  time:  0.01 s
215.46/27.29	c lits-rem:       229  cl-subs:      578  v-elim:      0  v-fix:    0  time:  0.03 s
216.26/27.33	c vivif2 --  cl tried    65297 cl shrink    12270 lits rem      30996 time: 0.04
216.26/27.34	c vivif2 --  cl tried     9581 cl shrink     1421 lits rem       3594 time: 0.01
216.26/27.36	c asymm  cl-useful: 0/1745/63372 lits-rem:0 time: 0.02
216.26/27.37	c calculated reachability. Time: 0.01
216.26/27.38	c  N dy   223     46252     14578     63372     51963      9560    280450    106230      5.66   no data
217.06/27.40	c Finding binary XORs  T:     0.03 s  found:       4
221.86/28.07	c  N dy   232     51006     14578     63372     92228     14204    280446    238655      5.57      5.86
224.26/28.38	c Finding binary XORs  T:     0.02 s  found:      37
227.45/28.73	c  N dy   241     55445     14577     63372     92269     18535    280415    289393      5.50      5.80
231.45/29.24	c Finding binary XORs  T:     0.02 s  found:       9
233.85/29.50	c  N dy   249     59539     14577     63372    114002     22556    280413    383505      5.44      5.82
238.64/30.14	c  N dy   258     63780     14576     63372    115036     26720    280410    437623      5.40      5.82
244.23/30.81	c  N dy   270     67946     14574     63372    115378     17853    280407    297547      5.37      5.80
245.89/31.03	c  S st   276     69378     14574     63372    115390     19264    280404    315638      5.36   no data
246.68/31.17	c  S st   276     69878     14574     63372    115412     19738    280404    320247      5.36   no data
246.68/31.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
254.67/32.13	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   24 Bins:  12028 BRemL:  43750 BRemN:   1139 P:  8.1M T:  0.94
254.67/32.16	c Replacing       74 vars Replaced     5085 lits Time:     0.03 s 
254.67/32.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.48/32.24	c bin-w-bin subsume rem        27167 bins  time:  0.06 s
255.48/32.26	c subs with bin:     4174  lits-rem:       629  v-fix:    0  time:  0.02 s
256.20/32.31	c Subs w/ non-existent bins:    340 l-rem:     17 v-fix:     0 done:  14498 time:  0.04 s
256.20/32.33	c Removed useless bin:     991  fixed:     0  props:   1.51M  time:  0.02 s
257.01/32.45	c lits-rem:       572  cl-subs:     2128  v-elim:   2808  v-fix:    0  time:  0.11 s
257.01/32.48	c subs with bin:      294  lits-rem:       696  v-fix:    0  time:  0.02 s
257.80/32.53	c lits-rem:       523  cl-subs:      655  v-elim:      0  v-fix:    0  time:  0.04 s
257.80/32.55	c vivif2 --  cl tried    57780 cl shrink     1027 lits rem       1957 time: 0.02
257.80/32.56	c vivif2 --  cl tried    15338 cl shrink      693 lits rem       1521 time: 0.01
264.26/33.39	c asymm  cl-useful: 4903/57685/57685 lits-rem:15140 time: 0.82
264.99/33.40	c calculated reachability. Time: 0.00
264.99/33.40	c  N dy   276     69878     11690     55196     42002     15334    235599    140780      5.36   no data
264.99/33.42	c Finding binary XORs  T:     0.02 s  found:     171
264.99/33.44	c Replacing      171 vars Replaced     6426 lits Time:     0.02 s 
269.80/34.06	c  N dy   294     74468     11519     55105     54834     19805    234505    220258      5.34      5.64
270.60/34.19	c Finding binary XORs  T:     0.02 s  found:       6
275.39/34.73	c  N dy   317     79257     11517     55105     54782     24527    234476    279220      5.34      6.01
277.78/35.03	c Finding binary XORs  T:     0.02 s  found:      42
282.58/35.61	c  N dy   340     84382     11515     55105     65335     29559    234394    362618      5.34      5.70
286.57/36.13	c  F st   359     87500     11515     55105     65976     32630    234394    405395      5.34      4.94
286.57/36.15	c Replacing       48 vars Replaced     5587 lits Time:     0.02 s 
290.62/36.65	c  N st   364     90797     11467     55023     65856     21480    234027    244269      5.34   no data
297.76/37.53	c  N dy   386     96669     11467     55023     66490     27255    234027    323728      5.34      5.65
305.74/38.53	c  N dy   424    102861     11463     55023     68315     33381    234027    411036      5.35      6.50
307.40/38.80	c  S st   433    104817     11463     55023     68321     35317    234027    433406      5.34      4.60
308.94/38.94	c  S st   433    105319     11463     55023     68526     35801    234027    438104      5.34   no data
308.94/38.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
314.55/39.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   61 Bins:   9915 BRemL:  34827 BRemN:   1369 P:  9.0M T:  0.73
315.35/39.72	c Replacing       61 vars Replaced     5169 lits Time:     0.03 s 
315.35/39.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
315.35/39.74	c bin-w-bin subsume rem         8368 bins  time:  0.01 s
315.35/39.76	c subs with bin:     2199  lits-rem:       473  v-fix:    0  time:  0.02 s
315.35/39.79	c Subs w/ non-existent bins:    666 l-rem:     23 v-fix:     0 done:  11402 time:  0.03 s
315.35/39.80	c Removed useless bin:     337  fixed:     0  props:   0.43M  time:  0.01 s
316.20/39.88	c lits-rem:        87  cl-subs:     1130  v-elim:    694  v-fix:    0  time:  0.07 s
317.00/39.92	c subs with bin:      617  lits-rem:      1896  v-fix:    0  time:  0.02 s
317.74/40.01	c lits-rem:      1690  cl-subs:     1066  v-elim:      0  v-fix:    0  time:  0.08 s
317.74/40.03	c vivif2 --  cl tried    51415 cl shrink      697 lits rem        787 time: 0.02
317.74/40.05	c vivif2 --  cl tried    29022 cl shrink     2091 lits rem       4265 time: 0.02
324.99/40.94	c asymm  cl-useful: 1480/51374/51374 lits-rem:3814 time: 0.89
324.99/40.95	c calculated reachability. Time: 0.00
324.99/40.96	c  N dy   433    105319     10708     50737     31166     29002    211705    259361      5.34   no data
324.99/40.97	c Finding binary XORs  T:     0.02 s  found:      92
333.78/42.03	c  N dy   475    112101     10707     50737     33071     35700    211704    359389      5.37      5.76
341.72/43.01	c Finding binary XORs  T:     0.02 s  found:      32
341.72/43.02	c Replacing      124 vars Replaced     3279 lits Time:     0.01 s 
352.21/47.91	c Following stats are for *FIRST FINISHED THREAD ONLY*
352.21/47.91	c num threads              : 8          
352.21/47.91	c restarts                 : 529        
352.21/47.91	c dynamic restarts         : 511        
352.21/47.91	c static restarts          : 18         
352.21/47.91	c full restarts            : 2          
352.21/47.91	c total simplify time      : 0.33       
352.21/47.91	c learnts DL2              : 0          
352.21/47.91	c learnts size 2           : 809068     
352.21/47.91	c learnts size 1           : 9788        (8.49      % of vars)
352.21/47.91	c filedLit time            : 12.01       (25.36     % time)
352.21/47.91	c v-elim SatELite          : 75549       (65.54     % vars)
352.21/47.91	c SatELite time            : 1.96        (4.13      % time)
352.21/47.91	c v-elim xor               : 0           (0.00      % vars)
352.21/47.91	c xor elim time            : 0.04        (0.09      % time)
352.21/47.91	c num binary xor trees     : 7449       
352.21/47.91	c binxor trees' crown      : 17614       (2.36      leafs/tree)
352.21/47.91	c bin xor find time        : 0.17       
352.21/47.91	c OTF clause improved      : 1194        (0.01      clauses/conflict)
352.21/47.91	c OTF impr. size diff      : 1362        (1.14       lits/clause)
352.21/47.91	c OTF cl watch-shrink      : 45644       (0.38      clauses/conflict)
352.21/47.91	c OTF cl watch-sh-lit      : 105428      (2.31       lits/clause)
352.21/47.91	c tried to recurMin cls    : 21995       (18.38      % of conflicts)
352.21/47.91	c updated cache            : 0           (0.00       lits/tried recurMin)
352.21/47.91	c unit cls recevied        : 145         (1.48      % of units)
352.21/47.91	c unit cls sent            : 183         (1.87      % of units)
352.21/47.91	c bin cls recevied         : 279899     
352.21/47.91	c bin cls sent             : 64738      
352.21/47.91	c clauses over max glue    : 0           (0.00      % of all clauses)
352.21/47.91	c conflicts                : 119646      (2527.76   / sec)
352.21/47.91	c decisions                : 467049      (4.99      % random)
352.21/47.91	c bogo-props               : 885826532   (18714854.33 / sec)
352.21/47.91	c conflict literals        : 1647386     (29.74     % deleted)
352.21/47.91	c Memory used              : 1811.50     MB
352.21/47.91	c single-thread CPU time   : 47.33       s
352.21/47.91	c all-threads sum CPU time : 349.60      s
352.21/47.91	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-3321166-1304324630/watcher-3321166-1304324630 -o /tmp/evaluation-result-3321166-1304324630/solver-3321166-1304324630 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321166-1304324630.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: 8.09 7.90 7.25 2/233 7223
/proc/meminfo: memFree=24921664/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 412 0 0 0 1 0 0 0 23 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 23047 352 299 106 0 18018 0
[pid=7223/tid=7224] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561078 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561078 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=92188 CPUtime=0 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544061685 94400512 352 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080561074 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.099942 s]
/proc/loadavg: 8.09 7.90 7.25 2/233 7223
/proc/meminfo: memFree=24921664/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=648956 CPUtime=0.46 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 17899 0 0 0 32 14 0 0 17 0 8 0 544061685 664530944 15691 33554432000 4194304 4627427 140733333999120 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 162752 15786 339 106 0 157723 0
[pid=7223/tid=7224] ppid=7221 vsize=651008 CPUtime=0.06 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 2218 0 0 0 5 1 0 0 17 0 8 0 544061685 666632192 15529 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=649464 CPUtime=0.03 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) D 7221 7223 6848 0 -1 4202560 2140 0 0 0 2 1 0 0 17 0 8 0 544061685 665051136 15266 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=648436 CPUtime=0.04 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) D 7221 7223 6848 0 -1 4202560 2220 0 0 0 3 1 0 0 17 0 8 0 544061685 663998464 15270 33554432000 4194304 4627427 140733333999120 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=648436 CPUtime=0.04 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 2061 0 0 0 3 1 0 0 17 0 8 0 544061685 663998464 15432 33554432000 4194304 4627427 140733333999120 18446744073709551615 4317173 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=652540 CPUtime=0.06 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 1960 0 0 0 4 2 0 0 17 0 8 0 544061685 668200960 15616 33554432000 4194304 4627427 140733333999120 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=652540 CPUtime=0.06 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) D 7221 7223 6848 0 -1 4202560 2499 0 0 0 4 2 0 0 17 0 8 0 544061685 668200960 15657 33554432000 4194304 4627427 140733333999120 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=652540 CPUtime=0.04 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) D 7221 7223 6848 0 -1 4202560 2523 0 0 0 3 1 0 0 17 0 8 0 544061685 668200960 15400 33554432000 4194304 4627427 140733333999120 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 648956

[startup+0.104974 s]
/proc/loadavg: 8.09 7.90 7.25 2/233 7223
/proc/meminfo: memFree=24921664/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=651440 CPUtime=0.5 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) S 7221 7223 6848 0 -1 4202496 20293 0 0 0 33 17 0 0 17 0 8 0 544061685 667074560 16280 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 162860 16348 339 106 0 157831 0
[pid=7223/tid=7224] ppid=7221 vsize=651440 CPUtime=0.06 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 2475 0 0 0 5 1 0 0 17 0 8 0 544061685 667074560 16398 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=651440 CPUtime=0.03 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 2560 0 0 0 2 1 0 0 17 0 8 0 544061685 667074560 16399 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=651440 CPUtime=0.04 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 2536 0 0 0 3 1 0 0 17 0 8 0 544061685 667074560 16412 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=651440 CPUtime=0.05 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 2449 0 0 0 3 2 0 0 17 0 8 0 544061685 667074560 16428 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=651440 CPUtime=0.06 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 2334 0 0 0 4 2 0 0 17 0 8 0 544061685 667074560 16443 33554432000 4194304 4627427 140733333999120 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=651440 CPUtime=0.06 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 2681 0 0 0 4 2 0 0 17 0 8 0 544061685 667074560 16456 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=651440 CPUtime=0.04 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 2606 0 0 0 3 1 0 0 17 0 8 0 544061685 667074560 16457 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 651440

[startup+0.300926 s]
/proc/loadavg: 8.09 7.90 7.25 2/233 7223
/proc/meminfo: memFree=24921664/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=753504 CPUtime=1.53 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 74771 0 0 0 88 65 0 0 17 0 8 0 544061685 771588096 58175 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 188376 58279 339 106 0 183347 0
[pid=7223/tid=7224] ppid=7221 vsize=753504 CPUtime=0.19 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 8758 0 0 0 12 7 0 0 17 0 8 0 544061685 771588096 58337 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=753504 CPUtime=0.15 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 9178 0 0 0 8 7 0 0 17 0 8 0 544061685 771588096 58399 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=753504 CPUtime=0.17 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) D 7221 7223 6848 0 -1 4202560 9832 0 0 0 10 7 0 0 17 0 8 0 544061685 771588096 58399 33554432000 4194304 4627427 140733333999120 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=753504 CPUtime=0.19 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 9132 0 0 0 10 9 0 0 17 0 8 0 544061685 771588096 58399 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=753504 CPUtime=0.19 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 8935 0 0 0 11 8 0 0 17 0 8 0 544061685 771588096 58399 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=754584 CPUtime=0.2 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 9984 0 0 0 12 8 0 0 17 0 8 0 544061685 772694016 58399 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=754584 CPUtime=0.18 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 9961 0 0 0 11 7 0 0 17 0 8 0 544061685 772694016 58400 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 753504

[startup+0.853361 s]
/proc/loadavg: 8.09 7.90 7.25 2/233 7223
/proc/meminfo: memFree=24921664/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=808424 CPUtime=5.68 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 111407 0 0 0 463 105 0 0 17 0 8 0 544061685 827826176 94314 33554432000 4194304 4627427 140733333999120 18446744073709551615 4238430 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 202106 94340 367 106 0 197077 0
[pid=7223/tid=7224] ppid=7221 vsize=808424 CPUtime=0.71 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13426 0 0 0 59 12 0 0 17 0 8 0 544061685 827826176 94350 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=808424 CPUtime=0.67 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13619 0 0 0 54 13 0 0 17 0 8 0 544061685 827826176 94361 33554432000 4194304 4627427 140733333999120 18446744073709551615 4228527 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=808424 CPUtime=0.69 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 14736 0 0 0 58 11 0 0 17 0 8 0 544061685 827826176 94372 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=808424 CPUtime=0.7 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13341 0 0 0 55 15 0 0 17 0 8 0 544061685 827826176 94382 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=808424 CPUtime=0.72 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 12839 0 0 0 59 13 0 0 17 0 8 0 544061685 827826176 94399 33554432000 4194304 4627427 140733333999120 18446744073709551615 4228527 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=808424 CPUtime=0.72 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 15055 0 0 0 60 12 0 0 17 0 8 0 544061685 827826176 94416 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=808424 CPUtime=0.7 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 14347 0 0 0 58 12 0 0 17 0 8 0 544061685 827826176 94433 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 808424

[startup+1.50069 s]
/proc/loadavg: 8.09 7.90 7.25 11/241 7232
/proc/meminfo: memFree=24541912/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=808424 CPUtime=10.86 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 112632 0 0 0 980 106 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 202106 95264 367 106 0 197077 0
[pid=7223/tid=7224] ppid=7221 vsize=808424 CPUtime=1.36 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13471 0 0 0 124 12 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=808424 CPUtime=1.32 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13807 0 0 0 119 13 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4238972 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=808424 CPUtime=1.33 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 14775 0 0 0 122 11 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=808424 CPUtime=1.35 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13371 0 0 0 120 15 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=808424 CPUtime=1.37 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13216 0 0 0 124 13 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=808424 CPUtime=1.36 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 15075 0 0 0 124 12 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=808424 CPUtime=1.34 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 14796 0 0 0 122 12 0 0 18 0 8 0 544061685 827826176 95264 33554432000 4194304 4627427 140733333999120 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 808424

[startup+3.10043 s]
/proc/loadavg: 8.08 7.90 7.26 9/241 7232
/proc/meminfo: memFree=24532984/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=813828 CPUtime=23.64 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 115385 0 0 0 2257 107 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 203457 98017 368 106 0 198428 0
[pid=7223/tid=7224] ppid=7221 vsize=813828 CPUtime=2.96 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13629 0 0 0 283 13 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4238493 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=813828 CPUtime=2.92 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13965 0 0 0 279 13 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4237935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=813828 CPUtime=2.93 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 14962 0 0 0 282 11 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=813828 CPUtime=2.94 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13569 0 0 0 279 15 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=813828 CPUtime=2.97 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 13379 0 0 0 284 13 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4237895 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=813828 CPUtime=2.96 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 15208 0 0 0 284 12 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=813828 CPUtime=2.93 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 16357 0 0 0 281 12 0 0 21 0 8 0 544061685 833359872 98017 33554432000 4194304 4627427 140733333999120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.64
Current children cumulated vsize (KiB) 813828

[startup+6.30089 s]
/proc/loadavg: 8.08 7.90 7.26 9/241 7232
/proc/meminfo: memFree=24410896/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1053812 CPUtime=48.55 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 192269 0 0 0 4696 159 0 0 18 0 8 0 544061685 1079103488 164212 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 263453 164237 382 106 0 258424 0
[pid=7223/tid=7224] ppid=7221 vsize=1053812 CPUtime=6.07 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 25317 0 0 0 586 21 0 0 18 0 8 0 544061685 1079103488 164251 33554432000 4194304 4627427 140733333999120 18446744073709551615 4468345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1053812 CPUtime=6.02 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 24054 0 0 0 582 20 0 0 18 0 8 0 544061685 1079103488 164265 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1053812 CPUtime=6.06 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 25480 0 0 0 588 18 0 0 17 0 8 0 544061685 1079103488 164280 33554432000 4194304 4627427 140733333999120 18446744073709551615 4440624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1053812 CPUtime=6.04 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 25237 0 0 0 582 22 0 0 18 0 8 0 544061685 1079103488 164281 33554432000 4194304 4627427 140733333999120 18446744073709551615 251813937520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1053812 CPUtime=6.07 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 21904 0 0 0 585 22 0 0 17 0 8 0 544061685 1079103488 164281 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1053812 CPUtime=6.08 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 26946 0 0 0 589 19 0 0 17 0 8 0 544061685 1079103488 164281 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814345198 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1053812 CPUtime=6.07 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 16821 0 0 0 595 12 0 0 18 0 8 0 544061685 1079103488 164281 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0

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

[pid=7223] ppid=7221 vsize=1431452 CPUtime=201.95 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 432201 0 0 0 19984 211 0 0 25 0 8 0 544061685 1465806848 223157 33554432000 4194304 4627427 140733333999120 18446744073709551615 251813907414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 357863 223158 391 106 0 352834 0
[pid=7223/tid=7224] ppid=7221 vsize=1431452 CPUtime=25.25 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 57452 0 0 0 2496 29 0 0 19 0 8 0 544061685 1465806848 223161 33554432000 4194304 4627427 140733333999120 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1431452 CPUtime=25.2 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 65137 0 0 0 2491 29 0 0 18 0 8 0 544061685 1465806848 223162 33554432000 4194304 4627427 140733333999120 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1431452 CPUtime=25.25 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 58691 0 0 0 2501 24 0 0 25 0 8 0 544061685 1465806848 223162 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1431452 CPUtime=25.23 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 59511 0 0 0 2494 29 0 0 19 0 8 0 544061685 1465806848 223162 33554432000 4194304 4627427 140733333999120 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1431452 CPUtime=25.27 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 47896 0 0 0 2498 29 0 0 25 0 8 0 544061685 1465806848 223163 33554432000 4194304 4627427 140733333999120 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1431452 CPUtime=25.28 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 54838 0 0 0 2505 23 0 0 25 0 8 0 544061685 1465806848 223163 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1431452 CPUtime=25.12 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 28908 0 0 0 2497 15 0 0 19 0 8 0 544061685 1465806848 223164 33554432000 4194304 4627427 140733333999120 18446744073709551615 4497763 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.95
Current children cumulated vsize (KiB) 1431452

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

[startup+25.8006 s]
/proc/loadavg: 8.06 7.91 7.27 9/241 7232
/proc/meminfo: memFree=24030856/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1428436 CPUtime=204.27 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 439820 0 0 0 20214 213 0 0 25 0 8 0 544061685 1462718464 225843 33554432000 4194304 4627427 140733333999120 18446744073709551615 4297757 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 357109 225843 391 106 0 352080 0
[pid=7223/tid=7224] ppid=7221 vsize=1428436 CPUtime=25.55 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 58444 0 0 0 2525 30 0 0 20 0 8 0 544061685 1462718464 225844 33554432000 4194304 4627427 140733333999120 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1428436 CPUtime=25.5 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 69795 0 0 0 2519 31 0 0 18 0 8 0 544061685 1462718464 225844 33554432000 4194304 4627427 140733333999120 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1428436 CPUtime=25.54 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 58691 0 0 0 2530 24 0 0 25 0 8 0 544061685 1462718464 225844 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1428436 CPUtime=25.53 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 60863 0 0 0 2523 30 0 0 20 0 8 0 544061685 1462718464 225844 33554432000 4194304 4627427 140733333999120 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1428436 CPUtime=25.56 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 47902 0 0 0 2527 29 0 0 25 0 8 0 544061685 1462718464 225845 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1428436 CPUtime=25.57 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 54852 0 0 0 2534 23 0 0 25 0 8 0 544061685 1462718464 225845 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1428436 CPUtime=25.41 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 29145 0 0 0 2526 15 0 0 20 0 8 0 544061685 1462718464 225845 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 1428436

[startup+38.6004 s]
/proc/loadavg: 8.12 7.93 7.29 9/241 7232
/proc/meminfo: memFree=23595888/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1717344 CPUtime=306.55 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) R 7221 7223 6848 0 -1 4202496 579978 0 0 0 30396 259 0 0 25 0 8 0 544061685 1758560256 339179 33554432000 4194304 4627427 140733333999120 18446744073709551615 4327449 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 429336 339180 393 106 0 424307 0
[pid=7223/tid=7224] ppid=7221 vsize=1717344 CPUtime=38.34 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 66614 0 0 0 3802 32 0 0 25 0 8 0 544061685 1758560256 339180 33554432000 4194304 4627427 140733333999120 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1717344 CPUtime=38.29 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 78358 0 0 0 3796 33 0 0 25 0 8 0 544061685 1758560256 339181 33554432000 4194304 4627427 140733333999120 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1717344 CPUtime=38.34 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 76071 0 0 0 3805 29 0 0 25 0 8 0 544061685 1758560256 339182 33554432000 4194304 4627427 140733333999120 18446744073709551615 4334778 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1717344 CPUtime=38.32 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 86713 0 0 0 3793 39 0 0 25 0 8 0 544061685 1758560256 339182 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1717344 CPUtime=38.35 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 75831 0 0 0 3796 39 0 0 25 0 8 0 544061685 1758560256 339182 33554432000 4194304 4627427 140733333999120 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1717344 CPUtime=38.37 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 79661 0 0 0 3805 32 0 0 25 0 8 0 544061685 1758560256 339183 33554432000 4194304 4627427 140733333999120 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1717344 CPUtime=38.12 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 46458 0 0 0 3791 21 0 0 25 0 8 0 544061685 1758560256 339184 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 306.55
Current children cumulated vsize (KiB) 1717344

[startup+45.0004 s]
/proc/loadavg: 8.11 7.93 7.29 3/241 7232
/proc/meminfo: memFree=23516468/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1789432 CPUtime=346.41 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) S 7221 7223 6848 0 -1 4202496 600975 0 0 0 34377 264 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 447358 351698 393 106 0 442329 0
[pid=7223/tid=7224] ppid=7221 vsize=1789432 CPUtime=44.73 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 67823 0 0 0 4441 32 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080536107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1789432 CPUtime=42.81 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81941 0 0 0 4247 34 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1789432 CPUtime=42.85 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 77379 0 0 0 4256 29 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1789432 CPUtime=42.84 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 87513 0 0 0 4245 39 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1789432 CPUtime=42.87 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 76596 0 0 0 4248 39 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1789432 CPUtime=42.88 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81845 0 0 0 4256 32 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1789432 CPUtime=44.48 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 53601 0 0 0 4425 23 0 0 25 0 8 0 544061685 1832378368 351698 33554432000 4194304 4627427 140733333999120 18446744073709551615 4240904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 346.41
Current children cumulated vsize (KiB) 1789432

[startup+46.6011 s]
/proc/loadavg: 8.11 7.93 7.29 3/241 7232
/proc/meminfo: memFree=23505728/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1854968 CPUtime=349.61 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) S 7221 7223 6848 0 -1 4202496 605140 0 0 0 34697 264 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 463742 355863 393 106 0 458713 0
[pid=7223/tid=7224] ppid=7221 vsize=1854968 CPUtime=46.33 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 67823 0 0 0 4601 32 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1854968 CPUtime=42.81 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81941 0 0 0 4247 34 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1854968 CPUtime=42.85 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 77379 0 0 0 4256 29 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1854968 CPUtime=42.84 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 87513 0 0 0 4245 39 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1854968 CPUtime=42.87 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 76596 0 0 0 4248 39 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1854968 CPUtime=42.88 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81845 0 0 0 4256 32 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1854968 CPUtime=46.08 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 57766 0 0 0 4584 24 0 0 25 0 8 0 544061685 1899487232 355863 33554432000 4194304 4627427 140733333999120 18446744073709551615 4534837 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 349.61
Current children cumulated vsize (KiB) 1854968

[startup+47.401 s]
/proc/loadavg: 8.11 7.93 7.29 3/241 7232
/proc/meminfo: memFree=23505728/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1854968 CPUtime=351.21 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) S 7221 7223 6848 0 -1 4202496 611599 0 0 0 34856 265 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 463742 360542 393 106 0 458713 0
[pid=7223/tid=7224] ppid=7221 vsize=1854968 CPUtime=47.13 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 67823 0 0 0 4681 32 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080536260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1854968 CPUtime=42.81 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81941 0 0 0 4247 34 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1854968 CPUtime=42.85 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 77379 0 0 0 4256 29 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1854968 CPUtime=42.84 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 87513 0 0 0 4245 39 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1854968 CPUtime=42.87 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 76596 0 0 0 4248 39 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1854968 CPUtime=42.88 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81845 0 0 0 4256 32 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1854968 CPUtime=46.88 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 64225 0 0 0 4663 25 0 0 25 0 8 0 544061685 1899487232 360542 33554432000 4194304 4627427 140733333999120 18446744073709551615 4450304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 351.21
Current children cumulated vsize (KiB) 1854968

[startup+47.8009 s]
/proc/loadavg: 7.62 7.83 7.26 3/241 7232
/proc/meminfo: memFree=23480556/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=1854968 CPUtime=352.01 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) S 7221 7223 6848 0 -1 4202496 611894 0 0 0 34936 265 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 463742 360517 393 106 0 458713 0
[pid=7223/tid=7224] ppid=7221 vsize=1854968 CPUtime=47.53 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 67823 0 0 0 4721 32 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080536260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7223/tid=7225] ppid=7221 vsize=1854968 CPUtime=42.81 cores=0-7
/proc/7223/task/7225/stat : 7225 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81941 0 0 0 4247 34 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 1 0 0 0
[pid=7223/tid=7226] ppid=7221 vsize=1854968 CPUtime=42.85 cores=0-7
/proc/7223/task/7226/stat : 7226 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 77379 0 0 0 4256 29 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 3 0 0 0
[pid=7223/tid=7227] ppid=7221 vsize=1854968 CPUtime=42.84 cores=0-7
/proc/7223/task/7227/stat : 7227 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 87513 0 0 0 4245 39 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 6 0 0 0
[pid=7223/tid=7228] ppid=7221 vsize=1854968 CPUtime=42.87 cores=0-7
/proc/7223/task/7228/stat : 7228 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 76596 0 0 0 4248 39 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 5 0 0 0
[pid=7223/tid=7229] ppid=7221 vsize=1854968 CPUtime=42.88 cores=0-7
/proc/7223/task/7229/stat : 7229 (strangenight2-m) S 7221 7223 6848 0 -1 4202560 81845 0 0 0 4256 32 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 47138080560692 0 0 4096 2 18446604455777227840 0 0 -1 0 0 0 0
[pid=7223/tid=7230] ppid=7221 vsize=1854968 CPUtime=47.28 cores=0-7
/proc/7223/task/7230/stat : 7230 (strangenight2-m) R 7221 7223 6848 0 -1 4202560 64520 0 0 0 4703 25 0 0 25 0 8 0 544061685 1899487232 360517 33554432000 4194304 4627427 140733333999120 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 352.01
Current children cumulated vsize (KiB) 1854968

[startup+48.0009 s]
/proc/loadavg: 7.62 7.83 7.26 3/241 7232
/proc/meminfo: memFree=23480556/32950928 swapFree=67111448/67111528
[pid=7223] ppid=7221 vsize=0 CPUtime=352.33 cores=0-7
/proc/7223/stat : 7223 (strangenight2-m) Z 7221 7223 6848 0 -1 4203548 611903 0 0 0 34959 274 0 0 18 0 2 0 544061685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7223/statm: 0 0 0 0 0 0 0
[pid=7223/tid=7224] ppid=7221 vsize=0 CPUtime=47.74 cores=0-7
/proc/7223/task/7224/stat : 7224 (strangenight2-m) R 7221 7223 6848 0 -1 4202564 67826 0 0 0 4733 41 0 0 25 0 2 0 544061685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 352.33
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 48.0066
CPU time (s): 352.342
CPU user time (s): 349.596
CPU system time (s): 2.74658
CPU usage (%): 733.946
Max. virtual memory (cumulated for all children) (KiB): 1854968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.596
system time used= 2.74658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611903
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= 160333
involuntary context switches= 1608

runsolver used 0.116982 second user time and 0.242963 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-02 10:23:50
IDJOB=3321166
IDBENCH=82492
IDSOLVER=1709
FILE ID=node126/3321166-1304324630
RUNJOBID= node126-1304322187-6862
PBS_JOBID= 13176800
Free space on /tmp= 73716 MiB

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

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

MD5SUM BENCH= 7eb9713591c46f87c512df513290fd7f
RANDOM SEED=1038482535

node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24921944 kB
Buffers:        328796 kB
Cached:        1848928 kB
SwapCached:         76 kB
Active:        5879724 kB
Inactive:      1804892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24921944 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           11680 kB
Writeback:          32 kB
AnonPages:     5507012 kB
Mapped:          20756 kB
Slab:           260732 kB
PageTables:      21340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 27245896 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= 73708 MiB
End job on node126 at 2011-05-02 10:24:38