Trace number 3394360

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 230.524 29.0504

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark93.9187
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

0.00/0.00	c Outputting solution to console
0.35/0.14	c Using 8 threads
0.35/0.14	c This is CryptoMiniSat 3.0.0
0.35/0.14	c WARNING: for repeatability, setting FPU to use double precision
0.35/0.14	c Reading file 'HOME/instance-3394360-1306094851.cnf'
0.35/0.14	c -- header says num vars:          19995
0.35/0.14	c -- header says num clauses:       66333
0.80/0.21	c -- clauses added:            0 learnts,        66333 normals,            0 xors
0.80/0.21	c -- vars added      19995
0.80/0.21	c Parsing time:  0.02 s
0.80/0.21	c  N st     0         0     19995     30626     31735         0    158899         0   no data   no data
3.90/0.63	c asymm  cl-useful: 8/30626/30626 lits-rem:83 time: 0.41
10.00/1.40	c Flit:    59 Blit:   1904 bXBeca:    0 bXProp: 3257 Bins:      0 BRemL:      0 BRemN:      0 P: 14.4M T:  0.72
10.00/1.40	c Cleaning up after failed var search:     0.00 s 
10.00/1.42	c Replacing     3257 vars Replaced    87417 lits Time:     0.01 s 
10.00/1.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.00/1.43	c bin-w-bin subsume rem          509 bins  time:  0.00 s
10.00/1.44	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
10.00/1.46	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  13673 time:  0.01 s
10.00/1.47	c Removed useless bin:      38  fixed:     0  props:   1.82M  time:  0.01 s
10.74/1.54	c lits-rem:         0  cl-subs:      150  v-elim:   4557  v-fix:    0  time:  0.06 s
10.74/1.57	c Finding binary XORs  T:     0.02 s  found:      13
10.74/1.57	c Replacing       13 vars Replaced      166 lits Time:     0.00 s 
10.74/1.59	c Finding non-binary XORs:     0.01 s (found:    4121, avg size: 3.0)
10.74/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    647 locsubst:  2628 time:   0.01
10.74/1.59	c Replacing     1314 vars Replaced     7884 lits Time:     0.00 s 
11.49/1.60	c calculated reachability. Time: 0.00
11.49/1.60	c Calc default polars -  time:   0.00 s pos:    1080 undec:   12882 neg:    6033
11.49/1.60	c =========================================================================================
11.49/1.60	c types(t): F = full restart, N = normal restart
11.49/1.60	c types(t): S = simplification begin/end, E = solution found
11.49/1.60	c restart types(rt): st = static, dy = dynamic
11.49/1.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.49/1.60	c  B st     0         0      7142     11596      9930         0     76602         0   no data   no data
12.29/1.79	c Decided on static restart strategy
15.60/2.14	c  N st     8      4926      7138     11596      9965      4775     76602    209078   no data   no data
23.47/3.19	c  N st    10     11311      7133     11596     10312      4580     76602    141695   no data   no data
32.26/4.24	c  N st    11     17056      7121     11596     10325     10230     76602    474461   no data   no data
32.26/4.26	c Finding binary XORs  T:     0.02 s  found:       4
42.76/5.53	c  F st    12     25000      7115     11590     10257     12469     75950    572909   no data   no data
42.76/5.55	c Replacing        4 vars Replaced     4467 lits Time:     0.01 s 
42.76/5.55	c  N st    12     25000      7111     11589     10249     12469     75935    572905   no data   no data
47.42/6.18	c Decided on static restart strategy
47.42/6.18	c  N st    18     30001      7109     11589     10394     10610     75935    372958   no data   no data
47.42/6.18	c  S st    18     30001      7109     11589     10394     10610     75935    372958   no data   no data
48.22/6.27	c  S st    18     30504      7109     11589     10444     11063     75935    380074   no data   no data
48.22/6.28	c x-sub:  1314 x-cut:      0 vfix:      0 v-elim:    324 locsubst:     0 time:   0.01
50.73/6.60	c Flit:    53 Blit:     10 bXBeca:    0 bXProp:   23 Bins:  68349 BRemL:  40594 BRemN:     11 P:  5.3M T:  0.31
50.73/6.61	c Replacing       23 vars Replaced     1253 lits Time:     0.01 s 
50.73/6.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.73/6.61	c bin-w-bin subsume rem          261 bins  time:  0.00 s
51.54/6.62	c subs with bin:      553  lits-rem:       417  v-fix:    0  time:  0.01 s
51.54/6.63	c Subs w/ non-existent bins:      0 l-rem:      9 v-fix:     0 done:   6699 time:  0.01 s
51.54/6.63	c Removed useless bin:      16  fixed:     0  props:   0.19M  time:  0.00 s
51.54/6.66	c lits-rem:       176  cl-subs:      161  v-elim:   1233  v-fix:    0  time:  0.03 s
51.54/6.67	c subs with bin:       42  lits-rem:       328  v-fix:    0  time:  0.01 s
51.54/6.68	c lits-rem:       190  cl-subs:      265  v-elim:      0  v-fix:    0  time:  0.01 s
52.20/6.78	c asymm  cl-useful: 167/11174/11174 lits-rem:692 time: 0.10
52.20/6.78	c calculated reachability. Time: 0.00
52.20/6.78	c  N st    18     30504      5466     11174     29406      2245     66059     78146   no data   no data
53.00/6.80	c Finding binary XORs  T:     0.02 s  found:       0
59.52/7.66	c  N st    20     37618      5466     11174     29440      5651     66059    259241   no data   no data
68.30/8.73	c  N st    21     44017      5465     11174     29440     11943     66059    761292   no data   no data
68.30/8.76	c Finding binary XORs  T:     0.01 s  found:       1
69.77/8.94	c  S st    22     45756      5446     11137     49562     13639     65570    837571   no data   no data
70.57/9.03	c  S st    22     46256      5446     11137     49570      7423     65570    306384   no data   no data
70.57/9.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    144 locsubst:     0 time:   0.01
71.37/9.18	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   1581 BRemL:  26504 BRemN:     84 P:  2.4M T:  0.15
71.37/9.18	c Replacing       10 vars Replaced      327 lits Time:     0.00 s 
71.37/9.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.37/9.19	c bin-w-bin subsume rem         5103 bins  time:  0.00 s
71.37/9.19	c subs with bin:       76  lits-rem:        35  v-fix:    0  time:  0.00 s
72.16/9.20	c Subs w/ non-existent bins:      0 l-rem:     30 v-fix:     0 done:   5290 time:  0.00 s
72.16/9.20	c Removed useless bin:       3  fixed:     0  props:   0.14M  time:  0.00 s
72.16/9.21	c lits-rem:         0  cl-subs:       47  v-elim:     41  v-fix:    0  time:  0.01 s
72.16/9.23	c subs with bin:        1  lits-rem:        31  v-fix:    0  time:  0.02 s
72.16/9.25	c lits-rem:        86  cl-subs:      173  v-elim:      0  v-fix:    0  time:  0.02 s
72.16/9.26	c vivif2 --  cl tried    11000 cl shrink       93 lits rem        224 time: 0.00
72.16/9.26	c vivif2 --  cl tried     4973 cl shrink      325 lits rem       1385 time: 0.00
72.96/9.37	c asymm  cl-useful: 61/10987/10987 lits-rem:135 time: 0.11
72.96/9.37	c calculated reachability. Time: 0.00
72.96/9.37	c  N st    22     46256      5249     10987     18399      4973     64113    143887   no data   no data
85.86/10.97	c  N st    23     60655      5249     10987     18400     11387     64113    339105   no data   no data
85.86/10.98	c Finding binary XORs  T:     0.01 s  found:       0
98.52/12.52	c  N st    24     69385      5248     10985     18717     10303     64046    304530   no data   no data
98.52/12.52	c  S st    24     69385      5248     10985     18717     10303     64046    304530   no data   no data
98.52/12.54	c Finding binary XORs  T:     0.01 s  found:       0
99.31/12.62	c  S st    24     69888      5241     10967     19391     10783     63833    314931   no data   no data
99.31/12.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     72 locsubst:     0 time:   0.00
100.11/12.74	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   18 Bins:    275 BRemL:   1460 BRemN:      1 P:  2.8M T:  0.12
100.11/12.75	c Replacing       18 vars Replaced      469 lits Time:     0.01 s 
100.11/12.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.11/12.75	c bin-w-bin subsume rem          545 bins  time:  0.00 s
100.11/12.76	c subs with bin:       58  lits-rem:        28  v-fix:    0  time:  0.00 s
100.11/12.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5150 time:  0.00 s
100.11/12.77	c Removed useless bin:       1  fixed:     0  props:   0.13M  time:  0.00 s
100.11/12.78	c lits-rem:         0  cl-subs:       75  v-elim:     41  v-fix:    0  time:  0.01 s
100.91/12.83	c subs with bin:       12  lits-rem:      1039  v-fix:    0  time:  0.05 s
100.91/12.89	c lits-rem:       730  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.06 s
100.91/12.89	c vivif2 --  cl tried    10811 cl shrink       30 lits rem         36 time: 0.00
101.72/12.91	c vivif2 --  cl tried    10101 cl shrink     1127 lits rem       3680 time: 0.01
102.52/13.01	c asymm  cl-useful: 224/10811/10811 lits-rem:597 time: 0.11
102.52/13.02	c calculated reachability. Time: 0.00
102.52/13.02	c  N st    24     69888      5109     10663     17619     10100     62715    291192   no data   no data
117.68/14.97	c  F st    25     87501      5102     10663     18176     16375     62715    480904   no data   no data
117.68/14.98	c  N st    25     87501      5102     10658     17450     16353     62523    477940   no data   no data
118.48/15.00	c Finding binary XORs  T:     0.01 s  found:      58
118.48/15.00	c Replacing       58 vars Replaced     1498 lits Time:     0.00 s 
123.27/15.64	c Decided on static restart strategy
126.47/16.02	c  N st    32     95545      5041     10658     17698     24185     62407    702476   no data   no data
136.85/17.37	c  N st    34    104834      5039     10658     17747     20885     62407    561958   no data   no data
136.85/17.37	c  S st    34    104834      5039     10658     17747     20885     62407    561958   no data   no data
136.85/17.39	c Finding binary XORs  T:     0.01 s  found:      28
137.65/17.48	c  S st    34    105336      5027     10615     16412     21234     61915    564890   no data   no data
137.65/17.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.37/17.63	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    769 BRemL:   3588 BRemN:      1 P:  4.0M T:  0.14
139.37/17.65	c Replacing       32 vars Replaced     8611 lits Time:     0.02 s 
139.37/17.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.37/17.66	c bin-w-bin subsume rem          599 bins  time:  0.00 s
139.37/17.66	c subs with bin:      135  lits-rem:       145  v-fix:    0  time:  0.00 s
139.37/17.66	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   4994 time:  0.00 s
139.37/17.67	c Removed useless bin:       7  fixed:     0  props:   0.11M  time:  0.00 s
139.37/17.68	c lits-rem:        13  cl-subs:      169  v-elim:     35  v-fix:    0  time:  0.01 s
140.83/17.80	c subs with bin:       33  lits-rem:      4294  v-fix:    0  time:  0.10 s
142.43/18.06	c lits-rem:      1623  cl-subs:     1319  v-elim:      0  v-fix:    0  time:  0.26 s
142.43/18.07	c vivif2 --  cl tried    10270 cl shrink        0 lits rem          0 time: 0.00
142.43/18.09	c vivif2 --  cl tried    19370 cl shrink     3435 lits rem      10342 time: 0.02
144.03/18.22	c asymm  cl-useful: 43/10270/10270 lits-rem:97 time: 0.13
144.03/18.22	c calculated reachability. Time: 0.00
144.03/18.22	c  N st    34    105336      4959     10259     11936     19370     60491    483301   no data   no data
156.93/19.87	c  N st    35    114934      4959     10259     11936     15487     60491    313107   no data   no data
156.93/19.89	c Finding binary XORs  T:     0.01 s  found:       3
173.70/21.93	c  N st    36    129332      4958     10258     12510     29404     60440    785261   no data   no data
202.31/25.50	c  N st    37    150928      4954     10258     12608     20504     60440    427014   no data   no data
202.31/25.51	c Finding binary XORs  T:     0.01 s  found:       3
211.10/26.61	c  S st    38    158004      4939     10250     12302     27051     60332    580083   no data   no data
211.90/26.71	c  S st    38    158505      4939     10250     12302     27549     60332    589559   no data   no data
211.90/26.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.70/26.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    141 BRemL:   1282 BRemN:      2 P:  4.8M T:  0.14
212.70/26.89	c Replacing       22 vars Replaced     6310 lits Time:     0.03 s 
212.70/26.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.70/26.89	c bin-w-bin subsume rem          223 bins  time:  0.00 s
212.70/26.90	c subs with bin:       25  lits-rem:        30  v-fix:    0  time:  0.00 s
213.50/26.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4917 time:  0.00 s
213.50/26.90	c Removed useless bin:       3  fixed:     0  props:   0.14M  time:  0.00 s
213.50/26.91	c lits-rem:        28  cl-subs:       33  v-elim:     38  v-fix:    0  time:  0.01 s
213.50/26.97	c subs with bin:       37  lits-rem:      1424  v-fix:    0  time:  0.04 s
214.30/27.04	c lits-rem:       519  cl-subs:      492  v-elim:      0  v-fix:    0  time:  0.06 s
214.30/27.04	c vivif2 --  cl tried    10089 cl shrink        2 lits rem          4 time: 0.00
214.30/27.05	c vivif2 --  cl tried    15928 cl shrink     2130 lits rem       4905 time: 0.01
215.10/27.17	c asymm  cl-useful: 42/10089/10089 lits-rem:76 time: 0.12
215.10/27.18	c calculated reachability. Time: 0.00
215.10/27.18	c  N st    38    158505      4879     10082     10646     15928     59514    286028   no data   no data
230.27/29.02	c Following stats are for *FIRST FINISHED THREAD ONLY*
230.27/29.02	c num threads              : 8          
230.27/29.02	c restarts                 : 38         
230.27/29.02	c dynamic restarts         : 0          
230.27/29.02	c static restarts          : 38         
230.27/29.02	c full restarts            : 2          
230.27/29.02	c total simplify time      : 0.16       
230.27/29.02	c learnts DL2              : 0          
230.27/29.02	c learnts size 2           : 100145     
230.27/29.02	c learnts size 1           : 3697        (18.49     % of vars)
230.27/29.02	c filedLit time            : 1.13        (3.90      % time)
230.27/29.02	c v-elim SatELite          : 5866        (29.34     % vars)
230.27/29.02	c SatELite time            : 0.35        (1.20      % time)
230.27/29.02	c v-elim xor               : 1115        (5.58      % vars)
230.27/29.02	c xor elim time            : 0.02        (0.08      % time)
230.27/29.02	c num binary xor trees     : 2290       
230.27/29.02	c binxor trees' crown      : 4736        (2.07      leafs/tree)
230.27/29.02	c bin xor find time        : 0.14       
230.27/29.02	c OTF clause improved      : 5959        (0.04      clauses/conflict)
230.27/29.02	c OTF impr. size diff      : 7736        (1.30       lits/clause)
230.27/29.02	c OTF cl watch-shrink      : 96339       (0.57      clauses/conflict)
230.27/29.02	c OTF cl watch-sh-lit      : 233671      (2.43       lits/clause)
230.27/29.02	c tried to recurMin cls    : 38572       (22.67      % of conflicts)
230.27/29.02	c updated cache            : 0           (0.00       lits/tried recurMin)
230.27/29.02	c unit cls recevied        : 134         (3.62      % of units)
230.27/29.02	c unit cls sent            : 2523        (68.24     % of units)
230.27/29.02	c bin cls recevied         : 72856      
230.27/29.02	c bin cls sent             : 14217      
230.27/29.02	c clauses over max glue    : 0           (0.00      % of all clauses)
230.27/29.02	c conflicts                : 170120      (5891.27   / sec)
230.27/29.02	c decisions                : 230822      (6.20      % random)
230.27/29.02	c bogo-props               : 2317313024  (80248790.42 / sec)
230.27/29.02	c conflict literals        : 6180343     (35.50     % deleted)
230.27/29.02	c Memory used              : 851.90      MB
230.27/29.02	c single-thread CPU time   : 28.88       s
230.27/29.02	c all-threads sum CPU time : 229.88      s
230.27/29.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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394360-1306094851/watcher-3394360-1306094851 -o /tmp/evaluation-result-3394360-1306094851/solver-3394360-1306094851 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394360-1306094851.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: 2.02 2.09 2.08 1/457 29413
/proc/meminfo: memFree=10109244/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=92144 CPUtime=0.04 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 411 0 0 0 4 0 0 0 25 0 8 0 721084914 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 23036 352 299 95 0 18018 0
[pid=29413/tid=29414] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29415] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0209869 s]
/proc/loadavg: 2.02 2.09 2.08 1/457 29413
/proc/meminfo: memFree=10109244/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=92144 CPUtime=0.05 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 411 0 0 0 5 0 0 0 25 0 8 0 721084914 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 23036 352 299 95 0 18018 0
[pid=29413/tid=29414] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29415] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178294 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 352 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 92144

[startup+0.100972 s]
/proc/loadavg: 2.02 2.09 2.08 1/457 29413
/proc/meminfo: memFree=10109244/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=92144 CPUtime=0.35 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 413 0 0 0 35 0 0 0 25 0 8 0 721084914 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085177881 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 23036 354 299 95 0 18018 0
[pid=29413/tid=29414] ppid=29411 vsize=92144 CPUtime=0.04 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085168096 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29415] ppid=29411 vsize=92144 CPUtime=0.05 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 5 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085177879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=92144 CPUtime=0.09 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085177881 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=92144 CPUtime=0.08 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 8 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085177881 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085178290 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=92144 CPUtime=0 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721084915 94355456 354 33554432000 4194304 4580107 140736882625904 18446744073709551615 47048085177881 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 92144

[startup+0.300946 s]
/proc/loadavg: 2.02 2.09 2.08 1/457 29413
/proc/meminfo: memFree=10109244/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=582028 CPUtime=1.5 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 22246 0 1 0 138 12 0 0 17 0 8 0 721084914 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 145507 19486 360 95 0 140489 0
[pid=29413/tid=29414] ppid=29411 vsize=582028 CPUtime=0.15 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2536 0 1 0 14 1 0 0 17 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=582028 CPUtime=0.13 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2554 0 0 0 13 0 0 0 17 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4504174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=582028 CPUtime=0.27 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2658 0 0 0 25 2 0 0 18 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293874 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=582028 CPUtime=0.23 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2770 0 0 0 22 1 0 0 17 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=582028 CPUtime=0.15 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2794 0 0 0 14 1 0 0 18 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4289069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=582028 CPUtime=0.15 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2839 0 0 0 14 1 0 0 18 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=582028 CPUtime=0.12 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 3130 0 0 0 11 1 0 0 17 0 8 0 721084915 595996672 19486 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293732 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 582028

[startup+0.700872 s]
/proc/loadavg: 2.02 2.09 2.08 1/457 29413
/proc/meminfo: memFree=10109244/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=586628 CPUtime=4.67 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 28313 0 1 0 452 15 0 0 18 0 8 0 721084914 600707072 25548 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 146657 25551 361 95 0 141639 0
[pid=29413/tid=29414] ppid=29411 vsize=586628 CPUtime=0.54 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 3295 0 1 0 53 1 0 0 18 0 8 0 721084915 600707072 25552 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=586628 CPUtime=0.53 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 2679 0 0 0 53 0 0 0 18 0 8 0 721084915 600707072 25552 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=586628 CPUtime=0.66 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 3607 0 0 0 64 2 0 0 18 0 8 0 721084915 600707072 25553 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=586628 CPUtime=0.63 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 3517 0 0 0 61 2 0 0 18 0 8 0 721084915 600707072 25555 33554432000 4194304 4580107 140736882625904 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=586628 CPUtime=0.55 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 4027 0 0 0 53 2 0 0 18 0 8 0 721084915 600707072 25555 33554432000 4194304 4580107 140736882625904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=586628 CPUtime=0.55 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 4012 0 0 0 53 2 0 0 18 0 8 0 721084915 600707072 25560 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=586628 CPUtime=0.53 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 3310 0 0 0 51 2 0 0 18 0 8 0 721084915 600707072 25560 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 586628

[startup+1.50073 s]
/proc/loadavg: 2.02 2.09 2.08 9/465 29421
/proc/meminfo: memFree=9916804/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=612972 CPUtime=10.74 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 68873 0 1 0 1039 35 0 0 18 0 8 0 721084914 627683328 64934 33554432000 4194304 4580107 140736882625904 18446744073709551615 4409557 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 153243 64934 375 95 0 148225 0
[pid=29413/tid=29414] ppid=29411 vsize=612972 CPUtime=1.3 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 8801 0 1 0 126 4 0 0 18 0 8 0 721084915 627683328 64934 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=612972 CPUtime=1.29 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 8436 0 0 0 127 2 0 0 18 0 8 0 721084915 627683328 64934 33554432000 4194304 4580107 140736882625904 18446744073709551615 4515183 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=612972 CPUtime=1.43 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 8771 0 0 0 138 5 0 0 18 0 8 0 721084915 627683328 64935 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=612972 CPUtime=1.37 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 8886 0 0 0 133 4 0 0 18 0 8 0 721084915 627683328 64935 33554432000 4194304 4580107 140736882625904 18446744073709551615 4439886 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=612972 CPUtime=1.32 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 10626 0 0 0 126 6 0 0 18 0 8 0 721084915 627683328 64935 33554432000 4194304 4580107 140736882625904 18446744073709551615 4497290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=612972 CPUtime=1.29 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 10184 0 0 0 125 4 0 0 19 0 8 0 721084915 627683328 64935 33554432000 4194304 4580107 140736882625904 18446744073709551615 4399657 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=612972 CPUtime=1.3 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 4028 0 0 0 128 2 0 0 19 0 8 0 721084915 627683328 64936 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 612972

[startup+3.10045 s]
/proc/loadavg: 2.50 2.19 2.11 10/465 29421
/proc/meminfo: memFree=9818360/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=605540 CPUtime=23.47 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 84531 0 1 0 2305 42 0 0 20 0 8 0 721084914 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4296072 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 151385 73763 380 95 0 146367 0
[pid=29413/tid=29414] ppid=29411 vsize=605540 CPUtime=2.9 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 11029 0 1 0 284 6 0 0 20 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=605540 CPUtime=2.88 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 11579 0 0 0 285 3 0 0 20 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=605540 CPUtime=3.01 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 10866 0 0 0 295 6 0 0 20 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295036 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=605540 CPUtime=2.96 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 11316 0 0 0 291 5 0 0 20 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4306295 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=605540 CPUtime=2.91 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 11895 0 0 0 285 6 0 0 20 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=605540 CPUtime=2.87 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12167 0 0 0 282 5 0 0 23 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=605540 CPUtime=2.89 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 4700 0 0 0 287 2 0 0 21 0 8 0 721084915 620072960 73763 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 605540

[startup+6.30088 s]
/proc/loadavg: 2.50 2.19 2.11 9/465 29421
/proc/meminfo: memFree=9797732/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=673500 CPUtime=49.02 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 99484 0 1 0 4858 44 0 0 25 0 8 0 721084914 689664000 78562 33554432000 4194304 4580107 140736882625904 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 168375 78564 381 95 0 163357 0
[pid=29413/tid=29414] ppid=29411 vsize=673500 CPUtime=6.1 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12711 0 1 0 604 6 0 0 25 0 8 0 721084915 689664000 78564 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=673500 CPUtime=6.08 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 13248 0 0 0 605 3 0 0 25 0 8 0 721084915 689664000 78566 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=673500 CPUtime=6.22 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12715 0 0 0 615 7 0 0 25 0 8 0 721084915 689664000 78567 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=673500 CPUtime=6.17 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 13050 0 0 0 611 6 0 0 25 0 8 0 721084915 689664000 78568 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=673500 CPUtime=6.11 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 13515 0 0 0 605 6 0 0 25 0 8 0 721084915 689664000 78569 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=673500 CPUtime=6.02 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 14647 0 0 0 597 5 0 0 25 0 8 0 721084915 689664000 78569 33554432000 4194304 4580107 140736882625904 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=673500 CPUtime=6.09 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 6431 0 0 0 607 2 0 0 25 0 8 0 721084915 689664000 78569 33554432000 4194304 4580107 140736882625904 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.02
Current children cumulated vsize (KiB) 673500

[startup+12.7008 s]
/proc/loadavg: 3.34 2.38 2.17 9/465 29421
/proc/meminfo: memFree=9740080/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=657812 CPUtime=100.11 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 127634 0 1 0 9962 49 0 0 25 0 8 0 721084914 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4234223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 164453 93695 381 95 0 159435 0
[pid=29413/tid=29414] ppid=29411 vsize=657812 CPUtime=12.5 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 17892 0 1 0 1243 7 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=657812 CPUtime=12.49 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 17472 0 0 0 1245 4 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=657812 CPUtime=12.62 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 15846 0 0 0 1255 7 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4316745 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=657812 CPUtime=12.56 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 16000 0 0 0 1250 6 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=657812 CPUtime=12.51 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 17349 0 0 0 1244 7 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=657812 CPUtime=12.32 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 17774 0 0 0 1226 6 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=657812 CPUtime=12.49 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 8498 0 0 0 1247 2 0 0 25 0 8 0 721084915 673599488 93695 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.11
Current children cumulated vsize (KiB) 657812

[startup+25.5005 s]
/proc/loadavg: 4.06 2.56 2.23 9/465 29422
/proc/meminfo: memFree=9655232/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=927240 CPUtime=202.31 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 170277 0 1 0 20172 59 0 0 25 0 8 0 721084914 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 231810 114435 381 95 0 226792 0
[pid=29413/tid=29414] ppid=29411 vsize=927240 CPUtime=25.3 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 23160 0 1 0 2521 9 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=927240 CPUtime=25.28 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 25888 0 0 0 2522 6 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4296144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=927240 CPUtime=25.42 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20907 0 0 0 2534 8 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=927240 CPUtime=25.36 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 19573 0 0 0 2529 7 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=927240 CPUtime=25.31 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21107 0 0 0 2523 8 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=927240 CPUtime=24.92 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 23677 0 0 0 2484 8 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=927240 CPUtime=25.29 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12436 0 0 0 2526 3 0 0 25 0 8 0 721084915 949493760 114435 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.31
Current children cumulated vsize (KiB) 927240

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

[startup+27.1012 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29422
/proc/meminfo: memFree=9647172/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=861704 CPUtime=215.1 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 173000 0 1 0 21450 60 0 0 25 0 8 0 721084914 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 215426 115582 381 95 0 210408 0
[pid=29413/tid=29414] ppid=29411 vsize=861704 CPUtime=26.9 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 23558 0 1 0 2681 9 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=861704 CPUtime=26.89 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 26255 0 0 0 2682 7 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=861704 CPUtime=27.02 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20907 0 0 0 2694 8 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=861704 CPUtime=26.96 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20356 0 0 0 2689 7 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=861704 CPUtime=26.91 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21425 0 0 0 2683 8 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=861704 CPUtime=26.51 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24055 0 0 0 2643 8 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=861704 CPUtime=26.89 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12633 0 0 0 2686 3 0 0 25 0 8 0 721084915 882384896 115582 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 215.1
Current children cumulated vsize (KiB) 861704

[startup+27.9011 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29422
/proc/meminfo: memFree=9644940/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=872344 CPUtime=221.49 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 174486 0 1 0 22088 61 0 0 25 0 8 0 721084914 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 218086 116092 381 95 0 213068 0
[pid=29413/tid=29414] ppid=29411 vsize=872344 CPUtime=27.7 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 23752 0 1 0 2761 9 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=872344 CPUtime=27.69 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 26949 0 0 0 2762 7 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=872344 CPUtime=27.82 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20910 0 0 0 2774 8 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=872344 CPUtime=27.76 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20631 0 0 0 2769 7 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=872344 CPUtime=27.71 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21491 0 0 0 2763 8 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=872344 CPUtime=27.29 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24170 0 0 0 2721 8 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=872344 CPUtime=27.69 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12638 0 0 0 2766 3 0 0 25 0 8 0 721084915 893280256 116092 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 872344

[startup+28.7009 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29422
/proc/meminfo: memFree=9642212/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=872344 CPUtime=227.87 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 175752 0 1 0 22725 62 0 0 25 0 8 0 721084914 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 218086 115399 381 95 0 213068 0
[pid=29413/tid=29414] ppid=29411 vsize=872344 CPUtime=28.5 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24399 0 1 0 2841 9 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=872344 CPUtime=28.48 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 27147 0 0 0 2841 7 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=872344 CPUtime=28.62 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20914 0 0 0 2854 8 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=872344 CPUtime=28.56 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20797 0 0 0 2849 7 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=872344 CPUtime=28.51 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21491 0 0 0 2843 8 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=872344 CPUtime=28.07 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24311 0 0 0 2799 8 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=872344 CPUtime=28.49 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12642 0 0 0 2846 3 0 0 25 0 8 0 721084915 893280256 115399 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 227.87
Current children cumulated vsize (KiB) 872344

[startup+28.9009 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29422
/proc/meminfo: memFree=9642212/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=872344 CPUtime=229.47 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 175911 0 1 0 22885 62 0 0 25 0 8 0 721084914 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 218086 115558 381 95 0 213068 0
[pid=29413/tid=29414] ppid=29411 vsize=872344 CPUtime=28.7 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24467 0 1 0 2861 9 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=872344 CPUtime=28.68 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 27194 0 0 0 2861 7 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=872344 CPUtime=28.82 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20914 0 0 0 2874 8 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=872344 CPUtime=28.76 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20838 0 0 0 2869 7 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=872344 CPUtime=28.71 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21491 0 0 0 2863 8 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=872344 CPUtime=28.27 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24312 0 0 0 2819 8 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4323710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=872344 CPUtime=28.69 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12643 0 0 0 2866 3 0 0 25 0 8 0 721084915 893280256 115558 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 229.47
Current children cumulated vsize (KiB) 872344

[startup+29.0009 s]
/proc/loadavg: 4.37 2.65 2.27 9/465 29422
/proc/meminfo: memFree=9642212/32950928 swapFree=62427732/67111528
[pid=29413] ppid=29411 vsize=872344 CPUtime=230.27 cores=0-7
/proc/29413/stat : 29413 (strangenight2-m) R 29411 29413 29387 0 -1 4202496 175987 0 1 0 22965 62 0 0 25 0 8 0 721084914 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29413/statm: 218086 115634 381 95 0 213068 0
[pid=29413/tid=29414] ppid=29411 vsize=872344 CPUtime=28.8 cores=0-7
/proc/29413/task/29414/stat : 29414 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24504 0 1 0 2871 9 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4320749 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=29413/tid=29415] ppid=29411 vsize=872344 CPUtime=28.78 cores=0-7
/proc/29413/task/29415/stat : 29415 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 27210 0 0 0 2871 7 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29413/tid=29416] ppid=29411 vsize=872344 CPUtime=28.92 cores=0-7
/proc/29413/task/29416/stat : 29416 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20914 0 0 0 2884 8 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29413/tid=29417] ppid=29411 vsize=872344 CPUtime=28.86 cores=0-7
/proc/29413/task/29417/stat : 29417 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 20859 0 0 0 2879 7 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29413/tid=29418] ppid=29411 vsize=872344 CPUtime=28.81 cores=0-7
/proc/29413/task/29418/stat : 29418 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 21491 0 0 0 2873 8 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29413/tid=29419] ppid=29411 vsize=872344 CPUtime=28.37 cores=0-7
/proc/29413/task/29419/stat : 29419 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 24313 0 0 0 2829 8 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29413/tid=29420] ppid=29411 vsize=872344 CPUtime=28.79 cores=0-7
/proc/29413/task/29420/stat : 29420 (strangenight2-m) R 29411 29413 29387 0 -1 4202560 12643 0 0 0 2876 3 0 0 25 0 8 0 721084915 893280256 115634 33554432000 4194304 4580107 140736882625904 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 230.27
Current children cumulated vsize (KiB) 872344

Child status: 20
Real time (s): 29.0504
CPU time (s): 230.524
CPU user time (s): 229.881
CPU system time (s): 0.642902
CPU usage (%): 793.531
Max. virtual memory (cumulated for all children) (KiB): 927240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.881
system time used= 0.642902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176011
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36917
involuntary context switches= 2619

runsolver used 0.136979 second user time and 0.317951 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-22 22:07:31
IDJOB=3394360
IDBENCH=83117
IDSOLVER=1878
FILE ID=node123/3394360-1306094851
RUNJOBID= node123-1306094851-29401
PBS_JOBID= 13387962
Free space on /tmp= 73124 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394360-1306094851/watcher-3394360-1306094851 -o /tmp/evaluation-result-3394360-1306094851/solver-3394360-1306094851 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394360-1306094851.cnf

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=966638459

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.80
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10109276 kB
Buffers:        182716 kB
Cached:        3569812 kB
SwapCached:      76116 kB
Active:        8180040 kB
Inactive:     14393704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10109276 kB
SwapTotal:    67111528 kB
SwapFree:     62427732 kB
Dirty:            6744 kB
Writeback:           0 kB
AnonPages:    18753664 kB
Mapped:          30776 kB
Slab:           119296 kB
PageTables:      78560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133347060 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= 73120 MiB
End job on node123 at 2011-05-22 22:08:00