Trace number 3394940

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 8535.92 1974.9

General information on the benchmark

NameSAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
MD5SUMf98b1abe53ae4846a5f9102253ed913e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark738.98
Satisfiable
(Un)Satisfiability was proved
Number of variables264
Number of clauses1476
Sum of the clauses size3168
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21452
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 524

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394940-1306109648.cnf'
0.00/0.02	c -- header says num vars:            264
0.00/0.02	c -- header says num clauses:        1476
0.00/0.03	c -- clauses added:            0 learnts,         1476 normals,            0 xors
0.00/0.03	c -- vars added        264
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0       264        24      1452         0      3168         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/24/24 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    264 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     24  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     121 undec:      24 neg:     119
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       240       253      1199         0      5280         0   no data   no data
0.00/0.12	c Decided on static restart strategy
0.00/0.85	c  N st     8      4915       240       253      1199      4427      5280    122377   no data   no data
0.00/0.85	c  N st    10     11298       240       253      1199      4152      5280    107065   no data   no data
0.00/0.85	c  N st    11     17041       240       253      1199      9290      5280    246797   no data   no data
0.00/0.85	c  F st    12     25001       240       253      1199     11375      5280    309378   no data   no data
0.00/0.85	c Found part        0 vars:        120 clauses:       726 lits size:      2640
0.00/0.85	c Found part        1 vars:        120 clauses:       726 lits size:      2640
0.00/0.85	c Found parts:          2 time: 0.00 s
0.00/0.85	c Solving part 0
0.00/0.85	c  N st     0         0       120       127       599     11375      2640    309378   no data   no data
0.00/0.85	c asymm  cl-useful: 0/127/127 lits-rem:0 time: 0.00
2.51/0.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
2.51/0.95	c Finding binary XORs  T:     0.00 s  found:       0
2.51/0.95	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.51/0.95	c calculated reachability. Time: 0.00
2.51/0.95	c Calc default polars -  time:   0.00 s pos:      62 undec:     144 neg:      58
2.51/0.95	c =========================================================================================
2.51/0.95	c types(t): F = full restart, N = normal restart
2.51/0.95	c types(t): S = simplification begin/end, E = solution found
2.51/0.95	c restart types(rt): st = static, dy = dynamic
2.51/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.51/0.95	c  B st     0         0       120       127       599     11375      2640    309378   no data   no data
2.51/0.95	c Decided on static restart strategy
8.06/1.05	c  N st     8      4918       120       127       599     15864      2640    440781   no data   no data
10.46/1.35	c  N st    10     11301       120       127       599      6903      2640    169961   no data   no data
11.26/1.49	c  N st    11     17046       120       127       599     12173      2640    334639   no data   no data
14.30/1.82	c  F st    12     25000       120       127       599     12903      2640    350943   no data   no data
14.30/1.82	c  N st    12     25000       120       127       599     12903      2640    350943   no data   no data
16.02/2.08	c Decided on static restart strategy
16.02/2.08	c  N st    18     30193       120       127       599     10717      2640    294268   no data   no data
18.27/2.33	c  N st    20     37303       120       127       599      9638      2640    239415   no data   no data
20.67/2.63	c  N st    21     43703       120       127       599     15386      2640    417037   no data   no data
24.81/3.14	c  N st    22     53301       120       127       599     15344      2640    405479   no data   no data
30.25/3.88	c  N st    23     67701       120       127       599     19536      2640    522757   no data   no data
38.99/4.90	c  F st    24     87500       120       127       599     16796      2640    415297   no data   no data
38.99/4.90	c  N st    24     87500       120       127       599     16796      2640    415297   no data   no data
40.44/5.17	c Decided on static restart strategy
42.05/5.36	c  N st    31     95538       120       127       599     12217      2640    297354   no data   no data
46.20/5.91	c  N st    33    106205       120       127       599     21784      2640    625871   no data   no data
49.86/6.42	c  N st    34    115803       120       127       599     18002      2640    479207   no data   no data
55.22/7.18	c  N st    35    130201       120       127       599     17333      2640    451900   no data   no data
64.00/8.23	c  N st    36    151799       120       127       599     22549      2640    610098   no data   no data
81.54/10.46	c  N st    37    184191       120       127       599     20106      2640    516219   no data   no data
119.16/15.13	c  N st    38    232781       120       127       599     27770      2640    722947   no data   no data
168.52/21.38	c  N st    39    305665       120       127       599     34654      2640    982403   no data   no data
169.33/21.44	c  F st    40    306250       120       127       599     35170      2640    999754   no data   no data
172.65/21.82	c Decided on static restart strategy
187.69/23.74	c  N st    50    334553       120       127       599     39188      2640   1141375   no data   no data
218.79/27.65	c  N st    52    370547       120       127       599     25604      2640    660061   no data   no data
237.95/30.06	c  N st    53    402940       120       127       599     30290      2640    796189   no data   no data
277.96/35.08	c  N st    54    451529       120       127       599     48908      2640   1409640   no data   no data
336.89/42.44	c  N st    55    524412       120       127       599     33767      2640    904763   no data   no data
440.63/55.44	c  N st    56    633735       120       127       599     42369      2640   1172389   no data   no data
571.53/71.85	c  N st    57    797719       120       127       599     59228      2640   1745997   no data   no data
845.33/106.15	c  N st    58   1043698       120       127       599     55691      2640   1492878   no data   no data
873.24/109.64	c  F st    59   1071878       120       127       599     41114      2640   1041564   no data   no data
873.24/109.64	c  N st    59   1071878       120       127       599     41114      2640   1041564   no data   no data
878.83/110.34	c Decided on static restart strategy
899.60/112.97	c  N st    69   1100187       120       127       599     66295      2640   1830559   no data   no data
934.70/117.31	c  N st    71   1136180       120       127       599     57512      2640   1541426   no data   no data
971.55/121.99	c  N st    72   1168572       120       127       599     44812      2640   1150722   no data   no data
1022.50/128.31	c  N st    73   1217160       120       127       599     45489      2640   1164205   no data   no data
1112.00/139.55	c  N st    74   1290045       120       127       600     65923      2640   1818620   no data   no data
1243.69/156.08	c  N st    75   1399370       120       127       600     73996      2640   2035682   no data   no data
1436.85/180.22	c  N st    76   1563354       120       127       602     78496      2640   2132864   no data   no data
1732.85/217.31	c  N st    77   1809332       120       127       602     96731      2640   2806975   no data   no data
2267.65/284.35	c Finding binary XORs  T:     0.00 s  found:       0
2311.54/289.86	c  N st    78   2178296       119       125       593     71282      2589   1950540   no data   no data
3053.89/382.83	c Finding binary XORs  T:     0.00 s  found:       0
3181.61/398.85	c  N st    79   2731743       118       124       583     89703      2548   2575986   no data   no data
4433.47/558.32	c  N st    80   3561913       118       124       585     75552      2548   1932721   no data   no data
4671.10/599.11	c  F st    81   3751563       118       124       585     94661      2548   2490328   no data   no data
4671.10/599.11	c  N st    81   3751563       118       124       585     94661      2548   2490328   no data   no data
4675.10/599.97	c Decided on static restart strategy
4693.67/603.71	c  N st    91   3779866       118       124       585    119737      2548   3223883   no data   no data
4740.60/613.08	c  N st    93   3815861       118       124       585    151511      2548   4296565   no data   no data
4783.10/621.54	c  N st    94   3848254       118       124       585    103102      2548   2779913   no data   no data
4839.09/632.73	c  N st    95   3896842       118       124       585    145561      2548   3996488   no data   no data
4904.08/645.70	c Finding binary XORs  T:     0.00 s  found:       0
4906.59/646.22	c  N st    96   3969726       117       124       570    123772      2515   3496395   no data   no data
5055.09/675.97	c  N st    97   4079049       117       124       571    148571      2515   4074772   no data   no data
5235.54/718.50	c  N st    98   4243033       117       124       571    136946      2515   3796690   no data   no data
5452.39/777.33	c  N st    99   4489010       117       124       571    112874      2515   3080631   no data   no data
5705.29/861.62	c  N st   100   4857974       117       124       571    101541      2515   2682719   no data   no data
6106.44/995.32	c  N st   101   5411420       117       124       571    153271      2515   4289746   no data   no data
6384.18/1087.91	c Finding binary XORs  T:     0.00 s  found:       0
6670.07/1183.21	c  N st   102   6241589       116       122       565    127936      2466   3446863   no data   no data
6771.17/1216.99	c Finding binary XORs  T:     0.00 s  found:       0
6902.87/1260.84	c Finding binary XORs  T:     0.00 s  found:       0
7564.56/1489.27	c  N st   103   7486842       113       119       535    211390      2347   5768991   no data   no data
8502.31/1958.10	c Finding binary XORs  T:     0.00 s  found:       0
8532.92/1973.48	c Finding binary XORs  T:     0.00 s  found:       0
8535.72/1974.88	c  E st   104   9152987        85        96       393     72450      1559   1138198   no data   no data
8535.72/1974.89	c Following stats are for *FIRST FINISHED THREAD ONLY*
8535.72/1974.89	c num threads              : 8          
8535.72/1974.89	c restarts                 : 12         
8535.72/1974.89	c dynamic restarts         : 0          
8535.72/1974.89	c static restarts          : 12         
8535.72/1974.89	c full restarts            : 0          
8535.72/1974.89	c total simplify time      : 0.00       
8535.72/1974.89	c learnts DL2              : 0          
8535.72/1974.89	c learnts size 2           : 1452       
8535.72/1974.89	c learnts size 1           : 0           (0.00      % of vars)
8535.72/1974.89	c filedLit time            : 0.00        (0.00      % time)
8535.72/1974.89	c v-elim SatELite          : 24          (9.09      % vars)
8535.72/1974.89	c SatELite time            : 0.00        (0.00      % time)
8535.72/1974.89	c v-elim xor               : 0           (0.00      % vars)
8535.72/1974.89	c xor elim time            : 0.00        (0.00      % time)
8535.72/1974.89	c num binary xor trees     : 0          
8535.72/1974.89	c binxor trees' crown      : 0           (nan       leafs/tree)
8535.72/1974.89	c bin xor find time        : 0.00       
8535.72/1974.89	c OTF clause improved      : 3093        (0.12      clauses/conflict)
8535.72/1974.89	c OTF impr. size diff      : 3238        (1.05       lits/clause)
8535.72/1974.89	c OTF cl watch-shrink      : 11636       (0.47      clauses/conflict)
8535.72/1974.89	c OTF cl watch-sh-lit      : 30145       (2.59       lits/clause)
8535.72/1974.89	c tried to recurMin cls    : 952         (3.81       % of conflicts)
8535.72/1974.89	c updated cache            : 0           (0.00       lits/tried recurMin)
8535.72/1974.89	c unit cls recevied        : 0           (nan       % of units)
8535.72/1974.89	c unit cls sent            : 0           (nan       % of units)
8535.72/1974.89	c bin cls recevied         : 0          
8535.72/1974.89	c bin cls sent             : 0          
8535.72/1974.89	c clauses over max glue    : 0           (0.00      % of all clauses)
8535.72/1974.89	c conflicts                : 25001       (12.67     / sec)
8535.72/1974.89	c decisions                : 29499       (0.00      % random)
8535.72/1974.89	c bogo-props               : 112885836   (57205.73  / sec)
8535.72/1974.89	c conflict literals        : 773549      (20.29     % deleted)
8535.72/1974.89	c Memory used              : 497.22      MB
8535.72/1974.89	c single-thread CPU time   : 1973.33     s
8535.72/1974.89	c all-threads sum CPU time : 8531.99     s
8535.72/1974.89	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-3394940-1306109648/watcher-3394940-1306109648 -o /tmp/evaluation-result-3394940-1306109648/solver-3394940-1306109648 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394940-1306109648.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: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=92144 CPUtime=0.05 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 420 0 0 0 5 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165942 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12319/statm: 23036 361 302 95 0 18018 0
[pid=12319/tid=12320] ppid=12317 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165529 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=92144 CPUtime=0 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165529 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165529 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=92144 CPUtime=0 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165529 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=92144 CPUtime=0.01 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722564424 94355456 361 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165529 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0706069 s]
/proc/loadavg: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=490304 CPUtime=2.51 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) D 12317 12319 12081 0 -1 4202496 5600 0 0 0 250 1 0 0 18 0 8 0 722564424 502071296 4035 33554432000 4194304 4580107 140734951109856 18446744073709551615 210646843147 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 123515 6388 378 95 0 118497 0
[pid=12319/tid=12320] ppid=12317 vsize=494060 CPUtime=0.91 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1355 0 0 0 91 0 0 0 19 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=494060 CPUtime=0.88 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1458 0 0 0 88 0 0 0 18 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=494060 CPUtime=0.91 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1414 0 0 0 91 0 0 0 19 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4316303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=494060 CPUtime=0.9 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1456 0 0 0 90 0 0 0 19 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=494060 CPUtime=0.9 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1314 0 0 0 90 0 0 0 18 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=494060 CPUtime=0.9 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1393 0 0 0 90 0 0 0 19 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=494060 CPUtime=0.91 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1251 0 0 0 91 0 0 0 19 0 8 0 722564424 505917440 6388 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 490304

[startup+1.02171 s]
/proc/loadavg: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=502944 CPUtime=8.06 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 12940 0 0 0 804 2 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 125736 6838 378 95 0 120718 0
[pid=12319/tid=12320] ppid=12317 vsize=502944 CPUtime=1.01 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1405 0 0 0 101 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=502944 CPUtime=0.98 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1535 0 0 0 98 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=502944 CPUtime=1.01 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1464 0 0 0 101 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=502944 CPUtime=1 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1549 0 0 0 100 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=502944 CPUtime=1 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1384 0 0 0 100 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=502944 CPUtime=1 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1549 0 0 0 100 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=502944 CPUtime=1.01 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1533 0 0 0 101 0 0 0 19 0 8 0 722564424 515014656 6838 33554432000 4194304 4580107 140734951109856 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 502944

[startup+1.1217 s]
/proc/loadavg: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=520972 CPUtime=8.86 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 14365 0 0 0 884 2 0 0 19 0 8 0 722564424 533475328 8263 33554432000 4194304 4580107 140734951109856 18446744073709551615 4301535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 130243 8264 378 95 0 125225 0
[pid=12319/tid=12320] ppid=12317 vsize=520972 CPUtime=1.11 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1481 0 0 0 111 0 0 0 19 0 8 0 722564424 533475328 8264 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=520972 CPUtime=1.08 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2115 0 0 0 108 0 0 0 19 0 8 0 722564424 533475328 8264 33554432000 4194304 4580107 140734951109856 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=520972 CPUtime=1.11 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1531 0 0 0 111 0 0 0 19 0 8 0 722564424 533475328 8264 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=520972 CPUtime=1.1 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1620 0 0 0 110 0 0 0 19 0 8 0 722564424 533475328 8264 33554432000 4194304 4580107 140734951109856 18446744073709551615 210647170967 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=520972 CPUtime=1.1 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1427 0 0 0 110 0 0 0 19 0 8 0 722564424 533475328 8265 33554432000 4194304 4580107 140734951109856 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=520972 CPUtime=1.1 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1755 0 0 0 110 0 0 0 19 0 8 0 722564424 533475328 8265 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=520972 CPUtime=1.11 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1608 0 0 0 111 0 0 0 19 0 8 0 722564424 533475328 8265 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 520972

[startup+1.22168 s]
/proc/loadavg: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=520972 CPUtime=9.66 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 15875 0 0 0 963 3 0 0 19 0 8 0 722564424 533475328 9773 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 130243 9773 378 95 0 125225 0
[pid=12319/tid=12320] ppid=12317 vsize=520972 CPUtime=1.21 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1551 0 0 0 121 0 0 0 19 0 8 0 722564424 533475328 9773 33554432000 4194304 4580107 140734951109856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=520972 CPUtime=1.18 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2378 0 0 0 118 0 0 0 19 0 8 0 722564424 533475328 9773 33554432000 4194304 4580107 140734951109856 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=520972 CPUtime=1.21 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1685 0 0 0 121 0 0 0 19 0 8 0 722564424 533475328 9774 33554432000 4194304 4580107 140734951109856 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=520972 CPUtime=1.2 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1803 0 0 0 120 0 0 0 19 0 8 0 722564424 533475328 9774 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=520972 CPUtime=1.2 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2054 0 0 0 120 0 0 0 19 0 8 0 722564424 533475328 9774 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=520972 CPUtime=1.2 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1833 0 0 0 120 0 0 0 19 0 8 0 722564424 533475328 9774 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=520972 CPUtime=1.21 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1668 0 0 0 121 0 0 0 19 0 8 0 722564424 533475328 9774 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 520972

[startup+1.52163 s]
/proc/loadavg: 6.62 7.52 7.32 1/491 12319
/proc/meminfo: memFree=30287260/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=538896 CPUtime=12.06 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 19463 0 0 0 1203 3 0 0 20 0 8 0 722564424 551829504 12976 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 134724 12977 378 95 0 129706 0
[pid=12319/tid=12320] ppid=12317 vsize=538896 CPUtime=1.51 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2057 0 0 0 151 0 0 0 20 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=538896 CPUtime=1.48 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2858 0 0 0 148 0 0 0 20 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=538896 CPUtime=1.5 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 1975 0 0 0 150 0 0 0 20 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=538896 CPUtime=1.5 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2308 0 0 0 150 0 0 0 19 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=538896 CPUtime=1.49 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2557 0 0 0 149 0 0 0 19 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=538896 CPUtime=1.5 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2148 0 0 0 150 0 0 0 20 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=538896 CPUtime=1.5 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 2235 0 0 0 150 0 0 0 20 0 8 0 722564424 551829504 12978 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 538896

[startup+3.11936 s]
/proc/loadavg: 6.73 7.53 7.33 9/499 12327
/proc/meminfo: memFree=30207196/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=547500 CPUtime=24.81 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 31284 0 0 0 2476 5 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 136875 20234 378 95 0 131857 0
[pid=12319/tid=12320] ppid=12317 vsize=547500 CPUtime=3.11 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3675 0 0 0 311 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=547500 CPUtime=3.08 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 4161 0 0 0 308 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=547500 CPUtime=3.1 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3404 0 0 0 310 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=547500 CPUtime=3.1 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3852 0 0 0 310 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=547500 CPUtime=3.09 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3965 0 0 0 309 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=547500 CPUtime=3.1 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3723 0 0 0 310 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=547500 CPUtime=3.1 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 3803 0 0 0 310 0 0 0 25 0 8 0 722564424 560640000 20234 33554432000 4194304 4580107 140734951109856 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 547500

[startup+6.30083 s]
/proc/loadavg: 6.73 7.53 7.33 9/499 12327
/proc/meminfo: memFree=30201060/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=615592 CPUtime=49.12 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 50458 0 0 0 4899 13 0 0 25 0 8 0 722564424 630366208 21420 33554432000 4194304 4580107 140734951109856 18446744073709551615 4322424 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12319/statm: 153898 21420 378 95 0 148880 0
[pid=12319/tid=12320] ppid=12317 vsize=615592 CPUtime=5.24 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 5240 0 0 0 521 3 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=615592 CPUtime=6.27 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 7047 0 0 0 625 2 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=615592 CPUtime=6.3 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 5899 0 0 0 629 1 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4296104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=615592 CPUtime=6.29 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 6402 0 0 0 628 1 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=615592 CPUtime=6.29 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 6877 0 0 0 628 1 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=615592 CPUtime=6.28 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 5536 0 0 0 628 0 0 0 25 0 8 0 722564424 630366208 21431 33554432000 4194304 4580107 140734951109856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=615592 CPUtime=6.22 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 5498 0 0 0 622 0 0 0 25 0 8 0 722564424 630366208 21432 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 708771840 45793 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=692160 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 708771840 45793 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=692160 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 708771840 45793 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8390.72
Current children cumulated vsize (KiB) 692160

[startup+1962.3 s]
/proc/loadavg: 2.02 2.25 3.68 3/499 12380
/proc/meminfo: memFree=30104764/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=598540 CPUtime=8510.72 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1468744 0 0 0 850681 391 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 149635 44866 378 95 0 144617 0
[pid=12319/tid=12320] ppid=12317 vsize=598540 CPUtime=1961.1 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 196074 36 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046141124 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=598540 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=598540 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=598540 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=598540 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=598540 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=598540 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 612904960 44866 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8510.72
Current children cumulated vsize (KiB) 598540

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

[startup+1965.6 s]
/proc/loadavg: 2.02 2.25 3.68 3/499 12380
/proc/meminfo: memFree=30103648/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=598540 CPUtime=8517.32 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1468981 0 0 0 851341 391 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 149635 45103 378 95 0 144617 0
[pid=12319/tid=12320] ppid=12317 vsize=598540 CPUtime=1964.4 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 196404 36 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046140971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=598540 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=598540 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=598540 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=598540 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=598540 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=598540 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 612904960 45103 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8517.32
Current children cumulated vsize (KiB) 598540

[startup+1968.82 s]
/proc/loadavg: 2.02 2.25 3.67 3/499 12380
/proc/meminfo: memFree=30102776/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=598540 CPUtime=8523.75 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1469214 0 0 0 851984 391 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 4296092 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 149635 45336 378 95 0 144617 0
[pid=12319/tid=12320] ppid=12317 vsize=598540 CPUtime=1967.61 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 196725 36 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046141124 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=598540 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=598540 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=598540 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=598540 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=598540 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=598540 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 612904960 45336 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8523.75
Current children cumulated vsize (KiB) 598540

[startup+1972 s]
/proc/loadavg: 2.02 2.24 3.66 3/499 12380
/proc/meminfo: memFree=30100668/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=693956 CPUtime=8530.15 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1469719 0 0 0 852624 391 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 173489 45841 378 95 0 168471 0
[pid=12319/tid=12320] ppid=12317 vsize=693956 CPUtime=1970.81 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 197045 36 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046141124 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=693956 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=693956 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=693956 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=693956 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=693956 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=693956 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 710610944 45841 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8530.15
Current children cumulated vsize (KiB) 693956

[startup+1973.6 s]
/proc/loadavg: 2.02 2.24 3.66 3/499 12380
/proc/meminfo: memFree=30100296/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=693956 CPUtime=8533.32 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1469821 0 0 0 852941 391 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 173489 45943 378 95 0 168471 0
[pid=12319/tid=12320] ppid=12317 vsize=693956 CPUtime=1972.4 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 197204 36 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046141124 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=693956 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=693956 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=693956 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=693956 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=693956 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=693956 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 710610944 45943 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8533.32
Current children cumulated vsize (KiB) 693956

[startup+1974.4 s]
/proc/loadavg: 2.02 2.24 3.66 3/499 12380
/proc/meminfo: memFree=30100172/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=693956 CPUtime=8534.92 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1469868 0 0 0 853101 391 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 173489 45990 378 95 0 168471 0
[pid=12319/tid=12320] ppid=12317 vsize=693956 CPUtime=1973.2 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 197284 36 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046140971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=693956 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=693956 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=693956 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=693956 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=693956 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=693956 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 710610944 45990 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8534.92
Current children cumulated vsize (KiB) 693956

[startup+1974.8 s]
/proc/loadavg: 2.02 2.24 3.66 3/499 12380
/proc/meminfo: memFree=30100172/32951132 swapFree=59085544/67111528
[pid=12319] ppid=12317 vsize=693956 CPUtime=8535.72 cores=0-7
/proc/12319/stat : 12319 (strangenight2-m) R 12317 12319 12081 0 -1 4202496 1469891 0 0 0 853181 391 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 4295731 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12319/statm: 173489 46013 378 95 0 168471 0
[pid=12319/tid=12320] ppid=12317 vsize=693956 CPUtime=1973.6 cores=0-7
/proc/12319/task/12320/stat : 12320 (strangenight2-m) R 12317 12319 12081 0 -1 4202560 133100 0 0 0 197324 36 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046140971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12319/tid=12321] ppid=12317 vsize=693956 CPUtime=591.62 cores=0-7
/proc/12319/task/12321/stat : 12321 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 152376 0 0 0 59118 44 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12322] ppid=12317 vsize=693956 CPUtime=552.96 cores=0-7
/proc/12319/task/12322/stat : 12322 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 157300 0 0 0 55256 40 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 1 0 0 0
[pid=12319/tid=12323] ppid=12317 vsize=693956 CPUtime=758.87 cores=0-7
/proc/12319/task/12323/stat : 12323 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 183635 0 0 0 75837 50 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 4 0 0 0
[pid=12319/tid=12324] ppid=12317 vsize=693956 CPUtime=541.87 cores=0-7
/proc/12319/task/12324/stat : 12324 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 151291 0 0 0 54149 38 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 3 0 0 0
[pid=12319/tid=12325] ppid=12317 vsize=693956 CPUtime=685.85 cores=0-7
/proc/12319/task/12325/stat : 12325 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 121548 0 0 0 68555 30 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
[pid=12319/tid=12326] ppid=12317 vsize=693956 CPUtime=1465.08 cores=0-7
/proc/12319/task/12326/stat : 12326 (strangenight2-m) S 12317 12319 12081 0 -1 4202560 99697 0 0 0 146463 45 0 0 25 0 8 0 722564424 710610944 46013 33554432000 4194304 4580107 140734951109856 18446744073709551615 47956046165556 0 0 4096 2 18446604452376493120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8535.72
Current children cumulated vsize (KiB) 693956

Child status: 20
Real time (s): 1974.9
CPU time (s): 8535.92
CPU user time (s): 8531.99
CPU system time (s): 3.9244
CPU usage (%): 432.22
Max. virtual memory (cumulated for all children) (KiB): 1006892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8531.99
system time used= 3.9244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1469896
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= 2236
involuntary context switches= 20898

runsolver used 9.43656 second user time and 22.0077 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-23 02:14:08
IDJOB=3394940
IDBENCH=87943
IDSOLVER=1878
FILE ID=node129/3394940-1306109648
RUNJOBID= node129-1306107473-12095
PBS_JOBID= 13388031
Free space on /tmp= 72976 MiB

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

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

MD5SUM BENCH= f98b1abe53ae4846a5f9102253ed913e
RANDOM SEED=996844808

node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30287664 kB
Buffers:         16176 kB
Cached:         128236 kB
SwapCached:      72304 kB
Active:          77936 kB
Inactive:      2400404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30287664 kB
SwapTotal:    67111528 kB
SwapFree:     59085544 kB
Dirty:            5744 kB
Writeback:          12 kB
AnonPages:     2271580 kB
Mapped:          17332 kB
Slab:            57444 kB
PageTables:      58336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147298576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72972 MiB
End job on node129 at 2011-05-23 02:47:03