Trace number 3394942

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 2840.09 668.499

General information on the benchmark

NameSAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
MD5SUMca62f6128dc3cad7229c7b9ee33a7492
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.87
Satisfiable
(Un)Satisfiability was proved
Number of variables286
Number of clauses1742
Sum of the clauses size3718
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21716
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	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-3394942-1306109712.cnf'
0.00/0.03	c -- header says num vars:            286
0.00/0.03	c -- header says num clauses:        1742
0.00/0.04	c -- clauses added:            0 learnts,         1742 normals,            0 xors
0.00/0.04	c -- vars added        286
0.00/0.04	c Parsing time:  0.00 s
0.00/0.04	c  N st     0         0       286        26      1716         0      3718         0   no data   no data
0.00/0.04	c asymm  cl-useful: 0/26/26 lits-rem:0 time: 0.00
0.00/0.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    286 time:  0.00 s
0.00/0.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.04	c lits-rem:         0  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.00 s
0.00/0.04	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     128 undec:      26 neg:     132
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       260       293      1423         0      6240         0   no data   no data
0.00/0.12	c Decided on static restart strategy
0.00/0.37	c  N st     8      4912       260       293      1423      4546      6240    143087   no data   no data
0.00/0.85	c  N st    10     11296       260       293      1423      4029      6240    117333   no data   no data
0.00/0.85	c  N st    11     17040       260       293      1423      8959      6240    263778   no data   no data
10.32/1.32	c  F st    12     25000       260       293      1423     10810      6240    357817   no data   no data
10.32/1.32	c Found part        0 vars:        130 clauses:       858 lits size:      3120
10.32/1.32	c Found part        1 vars:        130 clauses:       858 lits size:      3120
10.32/1.32	c Found parts:          2 time: 0.00 s
10.32/1.32	c Solving part 0
10.32/1.32	c  N st     0         0       130       145       713         0      3120         0   no data   no data
10.32/1.32	c asymm  cl-useful: 0/145/145 lits-rem:0 time: 0.00
10.32/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
10.32/1.32	c Finding binary XORs  T:     0.00 s  found:       0
10.32/1.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
10.32/1.32	c calculated reachability. Time: 0.00
10.32/1.32	c Calc default polars -  time:   0.00 s pos:      67 undec:     156 neg:      63
10.32/1.32	c =========================================================================================
10.32/1.32	c types(t): F = full restart, N = normal restart
10.32/1.32	c types(t): S = simplification begin/end, E = solution found
10.32/1.32	c restart types(rt): st = static, dy = dynamic
10.32/1.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.32/1.32	c  B st     0         0       130       145       713         0      3120         0   no data   no data
10.32/1.35	c Decided on static restart strategy
11.12/1.41	c  N st     8      4914       130       145       713      4509      3120    137348   no data   no data
12.72/1.69	c  N st    10     11297       130       145       713      4112      3120    121972   no data   no data
15.21/1.93	c  N st    11     17043       130       145       713      9266      3120    308852   no data   no data
17.49/2.27	c  F st    12     25001       130       145       713     11488      3120    382646   no data   no data
17.49/2.27	c  N st    12     25001       130       145       713     11488      3120    382646   no data   no data
19.90/2.50	c Decided on static restart strategy
19.90/2.50	c  N st    18     30194       130       145       713      9906      3120    306419   no data   no data
22.30/2.87	c  N st    20     37307       130       145       713      9152      3120    282539   no data   no data
25.48/3.29	c  N st    21     43708       130       145       713     14742      3120    502051   no data   no data
31.87/4.04	c  N st    22     53308       130       145       713     14892      3120    500074   no data   no data
39.86/5.04	c  N st    23     67705       130       145       713     18936      3120    646665   no data   no data
55.03/6.92	c  F st    24     87501       130       145       713     16032      3120    523305   no data   no data
55.03/6.92	c  N st    24     87501       130       145       713     16032      3120    523305   no data   no data
58.23/7.35	c Decided on static restart strategy
60.61/7.63	c  N st    31     95541       130       145       713     11753      3120    356578   no data   no data
67.01/8.46	c  N st    33    106207       130       145       713     20937      3120    709496   no data   no data
74.20/9.30	c  N st    34    115807       130       145       713     17013      3120    538972   no data   no data
82.18/10.38	c  N st    35    130204       130       145       713     16689      3120    527901   no data   no data
103.04/12.94	c  N st    36    151799       130       145       713     21048      3120    707375   no data   no data
134.88/16.95	c  N st    37    184192       130       145       714     18624      3120    598283   no data   no data
173.31/21.76	c  N st    38    232780       130       145       714     27801      3120    959337   no data   no data
253.83/31.87	c  N st    39    305662       130       145       719     30980      3120   1007720   no data   no data
253.83/31.87	c Finding binary XORs  T:     0.00 s  found:       0
254.62/31.94	c  F st    40    306250       130       145       719     31438      3120   1026238   no data   no data
260.23/32.60	c Decided on static restart strategy
283.37/35.57	c  N st    50    334557       130       145       719     35196      3120   1197921   no data   no data
322.60/40.48	c  N st    52    370552       130       145       719     23903      3120    764291   no data   no data
370.40/46.41	c  N st    53    402944       130       145       719     28105      3120    945927   no data   no data
417.52/52.30	c  N st    54    451532       130       145       719     46878      3120   1687599   no data   no data
489.48/61.37	c  N st    55    524414       130       145       719     32471      3120   1079049   no data   no data
643.47/80.64	c  N st    56    633741       130       145       719     41480      3120   1408136   no data   no data
942.09/118.06	c  N st    57    797726       130       145       719     53275      3120   1849526   no data   no data
1288.72/161.47	c  N st    58   1043702       129       145       723     52056      3120   1798390   no data   no data
1354.89/169.75	c  F st    59   1071875       129       145       723     37712      3120   1225677   no data   no data
1354.89/169.75	c  N st    59   1071875       129       145       723     37712      3120   1225677   no data   no data
1360.47/170.49	c Decided on static restart strategy
1390.82/174.23	c  N st    69   1100181       129       145       724     61309      3120   2113656   no data   no data
1445.92/181.15	c  N st    71   1136176       129       145       724     53454      3120   1849836   no data   no data
1468.28/183.95	c Finding binary XORs  T:     0.00 s  found:       0
1515.16/190.65	c  N st    72   1168568       128       145       693     38279      3048   1227403   no data   no data
1610.36/204.26	c  N st    73   1217157       127       145       698     39637      3048   1274110   no data   no data
1653.05/210.36	c Finding binary XORs  T:     0.00 s  found:       0
1723.75/220.45	c  N st    74   1290039       126       145       667     56205      2976   1888341   no data   no data
1861.02/247.61	c Finding binary XORs  T:     0.00 s  found:       0
1869.02/249.26	c  E st    75   1379306        77       121       531     13832      2153    269316   no data   no data
2839.89/668.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
2839.89/668.49	c num threads              : 8          
2839.89/668.49	c restarts                 : 12         
2839.89/668.49	c dynamic restarts         : 0          
2839.89/668.49	c static restarts          : 12         
2839.89/668.49	c full restarts            : 0          
2839.89/668.49	c total simplify time      : 0.00       
2839.89/668.49	c learnts DL2              : 0          
2839.89/668.49	c learnts size 2           : 1716       
2839.89/668.49	c learnts size 1           : 0           (0.00      % of vars)
2839.89/668.49	c filedLit time            : 0.00        (0.00      % time)
2839.89/668.49	c v-elim SatELite          : 26          (9.09      % vars)
2839.89/668.49	c SatELite time            : 0.00        (0.00      % time)
2839.89/668.49	c v-elim xor               : 0           (0.00      % vars)
2839.89/668.49	c xor elim time            : 0.00        (0.00      % time)
2839.89/668.49	c num binary xor trees     : 0          
2839.89/668.49	c binxor trees' crown      : 0           (nan       leafs/tree)
2839.89/668.49	c bin xor find time        : 0.00       
2839.89/668.49	c OTF clause improved      : 2710        (0.11      clauses/conflict)
2839.89/668.49	c OTF impr. size diff      : 2816        (1.04       lits/clause)
2839.89/668.49	c OTF cl watch-shrink      : 13833       (0.55      clauses/conflict)
2839.89/668.49	c OTF cl watch-sh-lit      : 35107       (2.54       lits/clause)
2839.89/668.49	c tried to recurMin cls    : 787         (3.15       % of conflicts)
2839.89/668.49	c updated cache            : 0           (0.00       lits/tried recurMin)
2839.89/668.49	c unit cls recevied        : 0           (nan       % of units)
2839.89/668.49	c unit cls sent            : 0           (nan       % of units)
2839.89/668.49	c bin cls recevied         : 0          
2839.89/668.49	c bin cls sent             : 0          
2839.89/668.49	c clauses over max glue    : 0           (0.00      % of all clauses)
2839.89/668.49	c conflicts                : 25000       (37.41     / sec)
2839.89/668.49	c decisions                : 29328       (0.00      % random)
2839.89/668.49	c bogo-props               : 100120605   (149801.67 / sec)
2839.89/668.49	c conflict literals        : 874749      (18.39     % deleted)
2839.89/668.49	c Memory used              : 561.39      MB
2839.89/668.49	c single-thread CPU time   : 668.35      s
2839.89/668.49	c all-threads sum CPU time : 2838.61     s
2839.89/668.49	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-3394942-1306109712/watcher-3394942-1306109712 -o /tmp/evaluation-result-3394942-1306109712/solver-3394942-1306109712 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394942-1306109712.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=92144 CPUtime=0.06 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 420 0 0 0 6 0 0 0 22 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 23036 360 302 95 0 18018 0
[pid=21029/tid=21030] ppid=21027 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=92144 CPUtime=0 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555660210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=92144 CPUtime=0 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659801 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 703386537 94355456 360 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659795 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.106318 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=559880 CPUtime=7.43 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 12668 0 0 0 741 2 0 0 19 0 8 0 703386537 573317120 6161 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 139970 6162 378 95 0 134952 0
[pid=21029/tid=21030] ppid=21027 vsize=559880 CPUtime=0.93 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1626 0 0 0 93 0 0 0 19 0 8 0 703386537 573317120 6173 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=559880 CPUtime=0.89 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1526 0 0 0 89 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=559880 CPUtime=0.92 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1471 0 0 0 92 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=559880 CPUtime=0.93 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1447 0 0 0 93 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=559880 CPUtime=0.93 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1528 0 0 0 93 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=559880 CPUtime=0.93 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1828 0 0 0 93 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 254261313721 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=559880 CPUtime=0.92 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1512 0 0 0 92 0 0 0 19 0 8 0 703386537 573317120 6174 33554432000 4194304 4580107 140734172448432 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 559880

[startup+1.03986 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=559880 CPUtime=8.23 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 13518 0 0 0 821 2 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 139970 7011 378 95 0 134952 0
[pid=21029/tid=21030] ppid=21027 vsize=559880 CPUtime=1.03 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1795 0 0 0 103 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=559880 CPUtime=0.99 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1601 0 0 0 99 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=559880 CPUtime=1.02 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1549 0 0 0 102 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=559880 CPUtime=1.03 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1542 0 0 0 103 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4302561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=559880 CPUtime=1.03 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1680 0 0 0 103 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=559880 CPUtime=1.03 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1960 0 0 0 103 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=559880 CPUtime=1.02 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1574 0 0 0 102 0 0 0 19 0 8 0 703386537 573317120 7011 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 559880

[startup+1.13983 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=568336 CPUtime=9.02 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 14557 0 0 0 900 2 0 0 19 0 8 0 703386537 581976064 8050 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 142084 8050 378 95 0 137066 0
[pid=21029/tid=21030] ppid=21027 vsize=568336 CPUtime=1.12 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1928 0 0 0 112 0 0 0 19 0 8 0 703386537 581976064 8050 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=568336 CPUtime=1.09 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1721 0 0 0 109 0 0 0 19 0 8 0 703386537 581976064 8051 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=568336 CPUtime=1.12 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1658 0 0 0 112 0 0 0 19 0 8 0 703386537 581976064 8051 33554432000 4194304 4580107 140734172448432 18446744073709551615 4306080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=568336 CPUtime=1.13 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1639 0 0 0 113 0 0 0 19 0 8 0 703386537 581976064 8051 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=568336 CPUtime=1.13 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1912 0 0 0 113 0 0 0 19 0 8 0 703386537 581976064 8052 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=568336 CPUtime=1.13 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2189 0 0 0 113 0 0 0 19 0 8 0 703386537 581976064 8052 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=568336 CPUtime=1.12 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1623 0 0 0 112 0 0 0 19 0 8 0 703386537 581976064 8052 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 568336

[startup+1.23982 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=568600 CPUtime=9.83 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 15663 0 0 0 980 3 0 0 19 0 8 0 703386537 582246400 9156 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 142150 9157 378 95 0 137132 0
[pid=21029/tid=21030] ppid=21027 vsize=568600 CPUtime=1.22 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2098 0 0 0 122 0 0 0 19 0 8 0 703386537 582246400 9161 33554432000 4194304 4580107 140734172448432 18446744073709551615 4318446 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=568600 CPUtime=1.19 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1999 0 0 0 119 0 0 0 19 0 8 0 703386537 582246400 9165 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=568600 CPUtime=1.22 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1791 0 0 0 122 0 0 0 19 0 8 0 703386537 582246400 9171 33554432000 4194304 4580107 140734172448432 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=568600 CPUtime=1.23 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1860 0 0 0 123 0 0 0 19 0 8 0 703386537 582246400 9177 33554432000 4194304 4580107 140734172448432 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=568600 CPUtime=1.23 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2010 0 0 0 123 0 0 0 19 0 8 0 703386537 582246400 9182 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=568600 CPUtime=1.23 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2249 0 0 0 123 0 0 0 19 0 8 0 703386537 582246400 9188 33554432000 4194304 4580107 140734172448432 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=568600 CPUtime=1.22 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1729 0 0 0 122 0 0 0 19 0 8 0 703386537 582246400 9193 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (KiB) 568600

[startup+1.50077 s]
/proc/loadavg: 7.57 7.95 7.97 2/470 21029
/proc/meminfo: memFree=16488124/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=586028 CPUtime=11.92 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 18433 0 0 0 1189 3 0 0 19 0 8 0 703386537 600092672 11926 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 146507 11926 378 95 0 141489 0
[pid=21029/tid=21030] ppid=21027 vsize=586028 CPUtime=1.49 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2512 0 0 0 149 0 0 0 19 0 8 0 703386537 600092672 11926 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=586028 CPUtime=1.45 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2390 0 0 0 145 0 0 0 20 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=586028 CPUtime=1.48 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2054 0 0 0 148 0 0 0 20 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=586028 CPUtime=1.49 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2334 0 0 0 149 0 0 0 20 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=586028 CPUtime=1.49 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2338 0 0 0 149 0 0 0 19 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=586028 CPUtime=1.49 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 2551 0 0 0 149 0 0 0 19 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=586028 CPUtime=1.48 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 1869 0 0 0 148 0 0 0 20 0 8 0 703386537 600092672 11927 33554432000 4194304 4580107 140734172448432 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 586028

[startup+3.11749 s]
/proc/loadavg: 7.60 7.95 7.97 9/478 21037
/proc/meminfo: memFree=16426824/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=659948 CPUtime=24.81 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 31611 0 0 0 2475 6 0 0 25 0 8 0 703386537 675786752 15595 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 164987 15596 378 95 0 159969 0
[pid=21029/tid=21030] ppid=21027 vsize=659948 CPUtime=3.11 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 4189 0 0 0 310 1 0 0 25 0 8 0 703386537 675786752 15596 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=659948 CPUtime=3.03 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 4191 0 0 0 303 0 0 0 25 0 8 0 703386537 675786752 15596 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=659948 CPUtime=3.1 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 3651 0 0 0 310 0 0 0 25 0 8 0 703386537 675786752 15597 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=659948 CPUtime=3.1 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 3424 0 0 0 310 0 0 0 25 0 8 0 703386537 675786752 15597 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=659948 CPUtime=3.1 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 4033 0 0 0 310 0 0 0 25 0 8 0 703386537 675786752 15597 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=659948 CPUtime=3.1 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 4161 0 0 0 310 0 0 0 25 0 8 0 703386537 675786752 15597 33554432000 4194304 4580107 140734172448432 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=659948 CPUtime=3.1 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 3491 0 0 0 309 1 0 0 25 0 8 0 703386537 675786752 15597 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 659948

[startup+6.30092 s]
/proc/loadavg: 7.60 7.95 7.97 9/478 21037
/proc/meminfo: memFree=16413676/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=646576 CPUtime=50.34 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) R 21027 21029 21003 0 -1 4202496 53575 0 0 0 5025 9 0 0 25 0 8 0 703386537 662093824 18653 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21029/statm: 161644 18653 378 95 0 156626 0
[pid=21029/tid=21030] ppid=21027 vsize=646576 CPUtime=6.3 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 8088 0 0 0 629 1 0 0 25 0 8 0 703386537 662093824 18663 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=646576 CPUtime=6.18 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 6485 0 0 0 618 0 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=646576 CPUtime=6.3 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 6252 0 0 0 629 1 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=646576 CPUtime=6.3 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 5431 0 0 0 630 0 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=646576 CPUtime=6.31 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 7223 0 0 0 630 1 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=646576 CPUtime=6.3 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 6718 0 0 0 630 0 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=646576 CPUtime=6.3 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 6332 0 0 0 628 2 0 0 25 0 8 0 703386537 662093824 18664 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 34974 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 34974 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=642.23 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 134710 0 0 0 64194 29 0 0 25 0 8 0 703386537 655761408 34974 33554432000 4194304 4580107 140734172448432 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2787.68
Current children cumulated vsize (KiB) 640392

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

[startup+653.601 s]
/proc/loadavg: 2.01 3.59 5.87 3/478 21058
/proc/meminfo: memFree=16343884/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2810.28 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 641801 0 0 0 280883 145 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 35808 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=653.6 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 65346 14 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=653.53 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 135544 0 0 0 65324 29 0 0 25 0 8 0 703386537 655761408 35808 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2810.28
Current children cumulated vsize (KiB) 640392

[startup+660.001 s]
/proc/loadavg: 2.01 3.56 5.85 3/478 21058
/proc/meminfo: memFree=16342020/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2823.08 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 642317 0 0 0 282163 145 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 36324 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=660 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 65986 14 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=659.93 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 136060 0 0 0 65964 29 0 0 25 0 8 0 703386537 655761408 36324 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2823.08
Current children cumulated vsize (KiB) 640392

[startup+663.201 s]
/proc/loadavg: 2.01 3.53 5.83 3/478 21058
/proc/meminfo: memFree=16340408/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2829.48 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 642659 0 0 0 282803 145 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 36666 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=663.2 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 66306 14 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=663.13 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 136402 0 0 0 66284 29 0 0 25 0 8 0 703386537 655761408 36666 33554432000 4194304 4580107 140734172448432 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2829.48
Current children cumulated vsize (KiB) 640392

[startup+666.418 s]
/proc/loadavg: 2.01 3.53 5.83 3/478 21058
/proc/meminfo: memFree=16331852/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2835.92 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 644815 0 0 0 283446 146 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 38822 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=666.41 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 66627 14 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=666.35 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 138558 0 0 0 66605 30 0 0 25 0 8 0 703386537 655761408 38822 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2835.92
Current children cumulated vsize (KiB) 640392

[startup+667.2 s]
/proc/loadavg: 2.01 3.53 5.83 3/478 21058
/proc/meminfo: memFree=16331852/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2837.49 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 644881 0 0 0 283603 146 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 38888 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=667.2 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 66706 14 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=667.14 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 138624 0 0 0 66684 30 0 0 25 0 8 0 703386537 655761408 38888 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2837.49
Current children cumulated vsize (KiB) 640392

[startup+668 s]
/proc/loadavg: 2.01 3.51 5.81 3/478 21058
/proc/meminfo: memFree=16331480/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2839.09 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 644968 0 0 0 283763 146 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 38975 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=668 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 66786 14 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=667.94 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 138711 0 0 0 66764 30 0 0 25 0 8 0 703386537 655761408 38975 33554432000 4194304 4580107 140734172448432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2839.09
Current children cumulated vsize (KiB) 640392

[startup+668.401 s]
/proc/loadavg: 2.01 3.51 5.81 3/478 21058
/proc/meminfo: memFree=16331480/32951124 swapFree=67057928/67111528
[pid=21029] ppid=21027 vsize=640392 CPUtime=2839.89 cores=0-7
/proc/21029/stat : 21029 (strangenight2-m) S 21027 21029 21003 0 -1 4202496 645015 0 0 0 283843 146 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21029/statm: 160098 39022 378 95 0 155080 0
[pid=21029/tid=21030] ppid=21027 vsize=640392 CPUtime=183.92 cores=0-7
/proc/21029/task/21030/stat : 21030 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 65749 0 0 0 18378 14 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21031] ppid=21027 vsize=640392 CPUtime=218.55 cores=0-7
/proc/21029/task/21031/stat : 21031 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 66256 0 0 0 21841 14 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 6 0 0 0
[pid=21029/tid=21032] ppid=21027 vsize=640392 CPUtime=668.4 cores=0-7
/proc/21029/task/21032/stat : 21032 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 59470 0 0 0 66826 14 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555635243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21029/tid=21033] ppid=21027 vsize=640392 CPUtime=323.65 cores=0-7
/proc/21029/task/21033/stat : 21033 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 83220 0 0 0 32345 20 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 1 0 0 0
[pid=21029/tid=21034] ppid=21027 vsize=640392 CPUtime=220.6 cores=0-7
/proc/21029/task/21034/stat : 21034 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 55444 0 0 0 22048 12 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 3 0 0 0
[pid=21029/tid=21035] ppid=21027 vsize=640392 CPUtime=307.01 cores=0-7
/proc/21029/task/21035/stat : 21035 (strangenight2-m) S 21027 21029 21003 0 -1 4202560 91333 0 0 0 30681 20 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 47890555659828 0 0 4096 2 18446604453943891264 0 0 -1 5 0 0 0
[pid=21029/tid=21036] ppid=21027 vsize=640392 CPUtime=668.34 cores=0-7
/proc/21029/task/21036/stat : 21036 (strangenight2-m) R 21027 21029 21003 0 -1 4202560 138758 0 0 0 66804 30 0 0 25 0 8 0 703386537 655761408 39022 33554432000 4194304 4580107 140734172448432 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2839.89
Current children cumulated vsize (KiB) 640392

Child status: 20
Real time (s): 668.499
CPU time (s): 2840.09
CPU user time (s): 2838.61
CPU system time (s): 1.47178
CPU usage (%): 424.845
Max. virtual memory (cumulated for all children) (KiB): 888888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2838.61
system time used= 1.47178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645024
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= 2090
involuntary context switches= 9262

runsolver used 3.00354 second user time and 7.32988 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-23 02:15:12
IDJOB=3394942
IDBENCH=87946
IDSOLVER=1878
FILE ID=node140/3394942-1306109712
RUNJOBID= node140-1306109712-21017
PBS_JOBID= 13388040
Free space on /tmp= 73224 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer17.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394942-1306109712/watcher-3394942-1306109712 -o /tmp/evaluation-result-3394942-1306109712/solver-3394942-1306109712 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394942-1306109712.cnf

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

MD5SUM BENCH= ca62f6128dc3cad7229c7b9ee33a7492
RANDOM SEED=1786990003

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16488536 kB
Buffers:        358864 kB
Cached:        8829372 kB
SwapCached:       8168 kB
Active:       10809360 kB
Inactive:      5294204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16488536 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     6912508 kB
Mapped:          37232 kB
Slab:           236276 kB
PageTables:      52220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141376972 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= 73220 MiB
End job on node140 at 2011-05-23 02:26:21