Trace number 3321052

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 371.584 47.4675

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
MD5SUMa61ef2b7b3d16661e8162c430ffb1a51
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.6988
Satisfiable
(Un)Satisfiability was proved
Number of variables135543
Number of clauses404326
Sum of the clauses size943426
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2269550
Number of clauses of size 3134775
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321052-1304322471.cnf'
0.00/0.03	c -- header says num vars:         135543
0.00/0.03	c -- header says num clauses:      404326
2.09/0.53	c -- clauses added:            0 learnts,       404326 normals,            0 xors
2.09/0.53	c -- vars added     135543
2.09/0.53	c Parsing time:  0.18 s
2.09/0.53	c  N st     0         0    135543    134725    269475         0    943125         0   no data   no data
2.09/1.50	c asymm  cl-useful: 0/12383/134595 lits-rem:0 time: 1.01
84.25/10.70	c Flit:   839 Blit:  23912 bXBeca:    0 bXProp: 38638 Bins:      0 BRemL:      0 BRemN:      0 P: 189.3M T:  9.19
84.25/10.73	c Cleaning up after failed var search:     0.03 s 
85.05/10.80	c Replacing    38638 vars Replaced   662546 lits Time:     0.06 s 
85.05/10.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.05/10.85	c bin-w-bin subsume rem         8270 bins  time:  0.02 s
85.05/10.88	c subs with bin:       11  lits-rem:        11  v-fix:    0  time:  0.04 s
87.44/11.10	c Subs w/ non-existent bins:      4 l-rem:      2 v-fix:     2 done:  67032 time:  0.22 s
88.22/11.25	c Removed useless bin:    5894  fixed:     0  props:  20.00M  time:  0.15 s
89.83/11.43	c lits-rem:       340  cl-subs:     2893  v-elim:  22344  v-fix:    0  time:  0.17 s
89.83/11.45	c Finding binary XORs  T:     0.02 s  found:     335
89.83/11.47	c Replacing      335 vars Replaced     2921 lits Time:     0.02 s 
90.60/11.51	c Finding non-binary XORs:     0.02 s (found:    1669, avg size: 3.0)
90.60/11.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    826 locsubst:     0 time:   0.02
90.60/11.52	c calculated reachability. Time: 0.00
90.60/11.53	c Calc default polars -  time:   0.01 s pos:     617 undec:   92263 neg:   42663
90.60/11.53	c =========================================================================================
90.60/11.53	c types(t): F = full restart, N = normal restart
90.60/11.53	c types(t): S = simplification begin/end, E = solution found
90.60/11.53	c restart types(rt): st = static, dy = dynamic
90.60/11.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
90.60/11.53	c  B st     0         0     43525     55144     90795         0    353144         0   no data   no data
104.99/13.31	c  N dy    16      4072     43525     55144     90826      3997    353144    148734      8.69      9.37
115.38/14.63	c  N dy    32      8349     43093     55144     91663      8135    353144    265455      8.19      8.63
124.98/15.80	c  N dy    52     12403     43083     55144     91941     12094    353144    363622      8.19     11.66
135.36/17.16	c  N dy    77     16926     42944     53162     90972     15516    344849    437577      8.33      8.80
143.36/18.17	c  N dy    97     21002     42897     53162     93076     10231    344849    148387      8.25      8.84
144.97/18.38	c Finding binary XORs  T:     0.02 s  found:     953
145.77/18.41	c Replacing      961 vars Replaced    31011 lits Time:     0.03 s 
152.96/19.33	c  F st   112     25000     41485     51703     90175     13254    334285    245363      8.20   no data
152.96/19.36	c Replacing        2 vars Replaced       29 lits Time:     0.02 s 
154.56/19.52	c  N st   113     25250     41354     51431     89850     13250    332887    249149      8.20   no data
167.34/21.10	c  N dy   118     30001     41350     51431     89875     17932    332887    432491      8.20   no data
167.34/21.10	c  S st   118     30001     41350     51431     89875     17932    332887    432491      8.20   no data
169.75/21.40	c  S st   118     30502     41309     51431     90460     18291    332887    437725      8.20   no data
169.75/21.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
220.90/27.86	c Flit:    71 Blit:   1674 bXBeca:    0 bXProp: 3439 Bins: 324484 BRemL: 131253 BRemN:   1255 P: 53.3M T:  6.36
220.90/27.88	c Cleaning up after failed var search:     0.02 s 
221.70/27.94	c Replacing     3453 vars Replaced   236487 lits Time:     0.05 s 
221.70/27.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.49/28.00	c bin-w-bin subsume rem        27850 bins  time:  0.04 s
222.49/28.03	c subs with bin:      792  lits-rem:       499  v-fix:    0  time:  0.03 s
223.29/28.19	c Subs w/ non-existent bins:    812 l-rem:     16 v-fix:     0 done:  35436 time:  0.15 s
224.09/28.23	c Removed useless bin:    1920  fixed:     0  props:   2.20M  time:  0.05 s
225.69/28.43	c lits-rem:       881  cl-subs:     7618  v-elim:  23624  v-fix:    0  time:  0.19 s
225.69/28.45	c subs with bin:      347  lits-rem:      1601  v-fix:    0  time:  0.01 s
225.69/28.48	c lits-rem:       356  cl-subs:      214  v-elim:      0  v-fix:    0  time:  0.02 s
228.09/28.78	c asymm  cl-useful: 6/33675/46058 lits-rem:10 time: 0.29
228.09/28.79	c calculated reachability. Time: 0.01
228.09/28.79	c  N dy   118     30502     11812     46056     43550      3548    179861     97036      8.20   no data
228.89/28.85	c Finding binary XORs  T:     0.06 s  found:      33
232.89/29.36	c  N dy   129     35007     11810     46056     43626      7912    179861    169355      7.91      8.36
237.65/29.93	c  N dy   145     39531     11618     44825     41524     10979    175526    225265      7.76      8.31
242.44/30.53	c Finding binary XORs  T:     0.03 s  found:     160
242.44/30.54	c Replacing      234 vars Replaced    18903 lits Time:     0.02 s 
242.44/30.57	c  N dy   160     43575     11344     44488     75908      8230    173411    217164      7.70      8.14
244.89/30.87	c  S st   166     45753     11343     44488     75940     10342    173411    253607      7.62      4.93
245.63/30.97	c  S st   166     46255     11339     44488     75998     10764    173411    256780      7.62   no data
245.63/30.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.01
252.88/31.84	c Flit:    29 Blit:    226 bXBeca:    1 bXProp:  291 Bins:  38781 BRemL:  57199 BRemN:    399 P:  9.8M T:  0.85
252.88/31.85	c Cleaning up after failed var search:     0.01 s 
252.88/31.87	c Replacing      306 vars Replaced    23245 lits Time:     0.02 s 
252.88/31.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.88/31.89	c bin-w-bin subsume rem        11225 bins  time:  0.01 s
253.68/31.91	c subs with bin:     1265  lits-rem:      1025  v-fix:    0  time:  0.01 s
253.68/31.93	c Subs w/ non-existent bins:   2025 l-rem:     35 v-fix:     0 done:  10732 time:  0.03 s
253.68/31.94	c Removed useless bin:      66  fixed:     0  props:   0.28M  time:  0.01 s
254.42/32.06	c lits-rem:      1915  cl-subs:     4346  v-elim:   4974  v-fix:    0  time:  0.11 s
254.42/32.08	c subs with bin:      303  lits-rem:      2018  v-fix:    0  time:  0.01 s
255.23/32.10	c lits-rem:       611  cl-subs:      319  v-elim:      0  v-fix:    0  time:  0.02 s
255.23/32.11	c vivif2 --  cl tried    30407 cl shrink      229 lits rem        264 time: 0.01
255.23/32.12	c vivif2 --  cl tried     6207 cl shrink      859 lits rem       1568 time: 0.01
256.83/32.31	c asymm  cl-useful: 1084/30282/30282 lits-rem:1153 time: 0.19
256.83/32.32	c calculated reachability. Time: 0.00
256.83/32.32	c  N dy   166     46255      5758     30271     11622      6203    120428     80172      7.62   no data
256.83/32.34	c Finding binary XORs  T:     0.02 s  found:       0
260.02/32.72	c  N dy   179     50428      5753     30271     27323     10264    120428    173704      7.55      8.05
262.47/33.05	c Finding binary XORs  T:     0.02 s  found:      18
263.22/33.18	c  N dy   193     54445      5741     30170     26079     13917    119950    241054      7.50      7.93
267.22/33.69	c Finding binary XORs  T:     0.02 s  found:      12
268.02/33.76	c  N dy   212     58865      5735     30119     36575     18073    119723    345702      7.48      7.88
272.02/34.25	c Finding binary XORs  T:     0.02 s  found:      14
272.02/34.28	c  N dy   228     63123      5726     30015     47170     21594    119369    431837      7.44      7.84
276.01/34.76	c  N dy   253     67183      5725     30015     47179     14253    119369    241912      7.51     13.57
278.41/35.02	c  S st   264     69382      5721     30015     49024     16419    119369    291564      7.52   no data
278.41/35.10	c  S st   264     69883      5721     30015     49040     16894    119369    295814      7.52   no data
279.25/35.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     44 locsubst:     0 time:   0.01
280.80/35.34	c Flit:     6 Blit:     15 bXBeca:    0 bXProp:   17 Bins:   5490 BRemL:  13371 BRemN:     17 P:  2.9M T:  0.23
280.80/35.36	c Replacing       62 vars Replaced     8819 lits Time:     0.02 s 
280.80/35.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.80/35.38	c bin-w-bin subsume rem        18924 bins  time:  0.01 s
280.80/35.39	c subs with bin:      472  lits-rem:       197  v-fix:    0  time:  0.01 s
281.60/35.40	c Subs w/ non-existent bins:     38 l-rem:      4 v-fix:     0 done:   5581 time:  0.01 s
281.60/35.41	c Removed useless bin:      52  fixed:     0  props:   0.12M  time:  0.00 s
281.60/35.44	c lits-rem:       362  cl-subs:      227  v-elim:    191  v-fix:    0  time:  0.03 s
281.60/35.48	c subs with bin:      487  lits-rem:      4827  v-fix:    0  time:  0.03 s
282.40/35.53	c lits-rem:      1841  cl-subs:      685  v-elim:      0  v-fix:    0  time:  0.05 s
282.40/35.54	c vivif2 --  cl tried    28735 cl shrink      100 lits rem        126 time: 0.01
282.40/35.55	c vivif2 --  cl tried    13976 cl shrink     1878 lits rem       4172 time: 0.01
284.81/35.82	c asymm  cl-useful: 996/28726/28726 lits-rem:1463 time: 0.27
284.81/35.82	c calculated reachability. Time: 0.00
284.81/35.82	c  N dy   264     69883      5390     28527     18734     13965    113302    185963      7.52   no data
284.81/35.84	c Finding binary XORs  T:     0.02 s  found:       1
288.84/36.32	c  N dy   279     74538      5387     28527     18923     18467    113301    261117      7.50      7.96
292.79/36.89	c  N dy   309     79298      5373     28527     18934     23142    113301    345959      7.54      8.07
298.28/37.55	c Finding binary XORs  T:     0.02 s  found:      33
301.48/37.91	c  N dy   340     85291      5363     28300     21673     28507    112275    445320      7.54      8.10
302.28/38.05	c Finding binary XORs  T:     0.02 s  found:      14
302.28/38.07	c Replacing       65 vars Replaced     7055 lits Time:     0.02 s 
303.88/38.23	c  F st   352     87500      5261     27923     24648     29515    110642    475579      7.54   no data
307.09/38.63	c  N st   357     90801      5261     27920     24615     17473    110616    228798      7.54   no data
312.68/39.34	c  N dy   379     97076      5186     27361     22935     22406    108777    322826      7.53      8.10
319.08/40.15	c Finding binary XORs  T:     0.02 s  found:      68
319.08/40.16	c Replacing      113 vars Replaced     5794 lits Time:     0.01 s 
319.87/40.23	c  N dy   401    103303      5060     27228     22140     28394    107779    431333      7.52      7.96
321.47/40.44	c  S st   408    104826      5060     27228     22140     29901    107779    455626      7.52      6.29
322.27/40.54	c  S st   408    105328      5060     27228     22163     30371    107779    459911      7.52   no data
322.27/40.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     54 locsubst:     0 time:   0.01
323.91/40.76	c Flit:    13 Blit:     43 bXBeca:    1 bXProp:   56 Bins:   4351 BRemL:   5215 BRemN:     15 P:  2.9M T:  0.21
323.91/40.78	c Replacing       66 vars Replaced     4077 lits Time:     0.01 s 
323.91/40.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
323.91/40.79	c bin-w-bin subsume rem         2811 bins  time:  0.00 s
324.66/40.80	c subs with bin:      473  lits-rem:       167  v-fix:    0  time:  0.01 s
324.66/40.81	c Subs w/ non-existent bins:     29 l-rem:     10 v-fix:     0 done:   4859 time:  0.01 s
324.66/40.82	c Removed useless bin:      10  fixed:     0  props:   0.11M  time:  0.00 s
324.66/40.84	c lits-rem:       170  cl-subs:      124  v-elim:    141  v-fix:    0  time:  0.03 s
325.47/40.92	c subs with bin:      675  lits-rem:      9743  v-fix:    0  time:  0.06 s
326.27/41.07	c lits-rem:      5678  cl-subs:     1672  v-elim:      0  v-fix:    0  time:  0.15 s
326.27/41.08	c vivif2 --  cl tried    25876 cl shrink       81 lits rem        123 time: 0.01
327.07/41.10	c vivif2 --  cl tried    25230 cl shrink     4570 lits rem       9612 time: 0.02
329.47/41.40	c asymm  cl-useful: 399/25874/25874 lits-rem:600 time: 0.30
329.47/41.41	c calculated reachability. Time: 0.00
329.47/41.41	c  N dy   408    105328      4718     25794     15737     25224    102115    346387      7.52   no data
329.47/41.44	c Finding binary XORs  T:     0.02 s  found:       9
336.66/42.34	c Finding binary XORs  T:     0.02 s  found:      25
336.66/42.38	c  N dy   431    112498      4643     25124     16296     30817     99215    448265      7.47      7.92
343.85/43.23	c  N dy   453    119689      4640     25124     17129     21364     99215    231845      7.43      7.82
348.65/43.84	c Finding binary XORs  T:     0.02 s  found:      36
348.65/43.86	c Replacing       77 vars Replaced    11117 lits Time:     0.02 s 
351.04/44.19	c  N dy   482    127437      4466     24298     17390     25612     95546    325862      7.40      7.81
359.83/45.29	c  N dy   517    135706      4423     23831     16387     32514     93890    438480      7.39      7.80
363.03/45.64	c Finding binary XORs  T:     0.02 s  found:      93
363.03/45.66	c Replacing      137 vars Replaced    12346 lits Time:     0.02 s 
367.88/46.22	c Finding binary XORs  T:     0.02 s  found:      24
371.33/47.39	c Following stats are for *FIRST FINISHED THREAD ONLY*
371.33/47.39	c num threads              : 8          
371.33/47.39	c restarts                 : 427        
371.33/47.39	c dynamic restarts         : 409        
371.33/47.39	c static restarts          : 18         
371.33/47.39	c full restarts            : 2          
371.33/47.39	c total simplify time      : 0.62       
371.33/47.39	c learnts DL2              : 0          
371.33/47.39	c learnts size 2           : 895748     
371.33/47.39	c learnts size 1           : 38035       (28.06     % of vars)
371.33/47.39	c filedLit time            : 17.00       (36.24     % time)
371.33/47.39	c v-elim SatELite          : 49207       (36.30     % vars)
371.33/47.39	c SatELite time            : 0.76        (1.62      % time)
371.33/47.39	c v-elim xor               : 867         (0.64      % vars)
371.33/47.39	c xor elim time            : 0.05        (0.11      % time)
371.33/47.39	c num binary xor trees     : 7701       
371.33/47.39	c binxor trees' crown      : 45265       (5.88      leafs/tree)
371.33/47.39	c bin xor find time        : 0.31       
371.33/47.39	c OTF clause improved      : 2015        (0.02      clauses/conflict)
371.33/47.39	c OTF impr. size diff      : 2371        (1.18       lits/clause)
371.33/47.39	c OTF cl watch-shrink      : 56391       (0.45      clauses/conflict)
371.33/47.39	c OTF cl watch-sh-lit      : 155372      (2.76       lits/clause)
371.33/47.39	c tried to recurMin cls    : 31603       (25.12      % of conflicts)
371.33/47.39	c updated cache            : 0           (0.00       lits/tried recurMin)
371.33/47.39	c unit cls recevied        : 563         (1.48      % of units)
371.33/47.39	c unit cls sent            : 4129        (10.86     % of units)
371.33/47.39	c bin cls recevied         : 323707     
371.33/47.39	c bin cls sent             : 116190     
371.33/47.39	c clauses over max glue    : 0           (0.00      % of all clauses)
371.33/47.39	c conflicts                : 125814      (2682.04   / sec)
371.33/47.39	c decisions                : 249291      (11.75     % random)
371.33/47.39	c bogo-props               : 987973600   (21061103.82 / sec)
371.33/47.39	c conflict literals        : 2596833     (35.21     % deleted)
371.33/47.39	c Memory used              : 1869.07     MB
371.33/47.39	c single-thread CPU time   : 46.91       s
371.33/47.39	c all-threads sum CPU time : 369.32      s
371.33/47.39	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321052-1304322471/watcher-3321052-1304322471 -o /tmp/evaluation-result-3321052-1304322471/solver-3321052-1304322471 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321052-1304322471.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.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922866 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7651/statm: 23047 352 299 106 0 18018 0
[pid=7651/tid=7652] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=92188 CPUtime=0 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543846773 94400512 352 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.102608 s]
/proc/loadavg: 6.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=653900 CPUtime=0.49 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 22477 0 0 0 31 18 0 0 17 0 8 0 543846773 669593600 18413 33554432000 4194304 4627427 140737447990640 18446744073709551615 208079929447 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 163475 18427 341 106 0 158446 0
[pid=7651/tid=7652] ppid=7649 vsize=653900 CPUtime=0.06 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 2637 0 0 0 4 2 0 0 17 0 8 0 543846773 669593600 18506 33554432000 4194304 4627427 140737447990640 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=653900 CPUtime=0.06 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 2735 0 0 0 4 2 0 0 17 0 8 0 543846773 669593600 18555 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=654220 CPUtime=0.05 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 2739 0 0 0 4 1 0 0 17 0 8 0 543846773 669921280 18604 33554432000 4194304 4627427 140737447990640 18446744073709551615 4360952 0 0 4096 2 18446604470136477568 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=654540 CPUtime=0.06 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 2973 0 0 0 4 2 0 0 17 0 8 0 543846773 670248960 18604 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=654540 CPUtime=0.04 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) D 7649 7651 7584 0 -1 4202560 2762 0 0 0 2 2 0 0 17 0 8 0 543846773 670248960 18604 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=654540 CPUtime=0.03 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) D 7649 7651 7584 0 -1 4202560 2881 0 0 0 2 1 0 0 17 0 8 0 543846773 670248960 18604 33554432000 4194304 4627427 140737447990640 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=654860 CPUtime=0.07 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 2910 0 0 0 5 2 0 0 17 0 8 0 543846773 670576640 18607 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080290218 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 653900

[startup+0.20358 s]
/proc/loadavg: 6.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=701904 CPUtime=1.03 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) S 7649 7651 7584 0 -1 4202496 49536 0 0 0 59 44 0 0 17 0 8 0 543846773 718749696 41024 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 175476 41123 341 106 0 170447 0
[pid=7651/tid=7652] ppid=7649 vsize=701904 CPUtime=0.12 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 5912 0 0 0 6 6 0 0 17 0 8 0 543846773 718749696 41202 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=701904 CPUtime=0.13 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 6248 0 0 0 8 5 0 0 17 0 8 0 543846773 718749696 41213 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=701904 CPUtime=0.13 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 5951 0 0 0 8 5 0 0 17 0 8 0 543846773 718749696 41325 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=701904 CPUtime=0.12 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 6362 0 0 0 8 4 0 0 17 0 8 0 543846773 718749696 41359 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=701904 CPUtime=0.12 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 5986 0 0 0 6 6 0 0 17 0 8 0 543846773 718749696 41478 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=701904 CPUtime=0.1 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 6066 0 0 0 5 5 0 0 17 0 8 0 543846773 718749696 41524 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=701904 CPUtime=0.13 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 6933 0 0 0 8 5 0 0 17 0 8 0 543846773 718749696 41571 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 701904

[startup+0.305691 s]
/proc/loadavg: 6.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=763080 CPUtime=1.54 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) D 7649 7651 7584 0 -1 4202496 81140 0 0 0 85 69 0 0 17 0 8 0 543846773 781393920 64125 33554432000 4194304 4627427 140737447990640 18446744073709551615 4361048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 190770 64269 341 106 0 185741 0
[pid=7651/tid=7652] ppid=7649 vsize=763080 CPUtime=0.2 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 9981 0 0 0 11 9 0 0 17 0 8 0 543846773 781393920 64390 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=763080 CPUtime=0.19 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 10312 0 0 0 11 8 0 0 17 0 8 0 543846773 781393920 64455 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=763080 CPUtime=0.19 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 9713 0 0 0 11 8 0 0 17 0 8 0 543846773 781393920 64537 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=763080 CPUtime=0.18 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 10274 0 0 0 11 7 0 0 17 0 8 0 543846773 781393920 64542 33554432000 4194304 4627427 140737447990640 18446744073709551615 4313601 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=763080 CPUtime=0.17 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 9888 0 0 0 8 9 0 0 17 0 8 0 543846773 781393920 64675 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=763080 CPUtime=0.17 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 9988 0 0 0 9 8 0 0 17 0 8 0 543846773 781393920 64710 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=763080 CPUtime=0.19 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 10946 0 0 0 11 8 0 0 17 0 8 0 543846773 781393920 64759 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337390 0 0 4096 2 18446604470136477568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 763080

[startup+1.52398 s]
/proc/loadavg: 6.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=876392 CPUtime=10.89 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 143125 0 0 0 968 121 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 208079893189 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 219098 108537 367 106 0 214069 0
[pid=7651/tid=7652] ppid=7649 vsize=876392 CPUtime=1.36 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17667 0 0 0 121 15 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=876392 CPUtime=1.36 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18236 0 0 0 121 15 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=876392 CPUtime=1.35 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17093 0 0 0 121 14 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4228507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=876392 CPUtime=1.35 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17459 0 0 0 123 12 0 0 19 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=876392 CPUtime=1.33 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17915 0 0 0 117 16 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=876392 CPUtime=1.34 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 16683 0 0 0 119 15 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=876392 CPUtime=1.37 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 19723 0 0 0 122 15 0 0 18 0 8 0 543846773 897425408 108537 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 876392

[startup+1.60131 s]
/proc/loadavg: 6.93 4.70 2.03 2/186 7651
/proc/meminfo: memFree=24487580/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=879176 CPUtime=11.51 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 144286 0 0 0 1030 121 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 219794 109698 367 106 0 214765 0
[pid=7651/tid=7652] ppid=7649 vsize=879176 CPUtime=1.44 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17673 0 0 0 129 15 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=879176 CPUtime=1.44 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18254 0 0 0 129 15 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4238416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=879176 CPUtime=1.43 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17519 0 0 0 129 14 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=879176 CPUtime=1.43 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17460 0 0 0 131 12 0 0 19 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=879176 CPUtime=1.41 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17917 0 0 0 125 16 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4238445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=879176 CPUtime=1.41 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17386 0 0 0 126 15 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4297768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=879176 CPUtime=1.45 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 19724 0 0 0 130 15 0 0 18 0 8 0 543846773 900276224 109698 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 879176

[startup+3.10103 s]
/proc/loadavg: 6.93 4.70 2.03 9/194 7659
/proc/meminfo: memFree=24047688/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=880076 CPUtime=23.5 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 146014 0 0 0 2229 121 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 220019 111426 368 106 0 214990 0
[pid=7651/tid=7652] ppid=7649 vsize=880076 CPUtime=2.94 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17902 0 0 0 278 16 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 208079901039 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=880076 CPUtime=2.93 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18455 0 0 0 278 15 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=880076 CPUtime=2.92 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17712 0 0 0 278 14 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=880076 CPUtime=2.93 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17679 0 0 0 281 12 0 0 22 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=880076 CPUtime=2.91 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18148 0 0 0 275 16 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=880076 CPUtime=2.91 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 17583 0 0 0 276 15 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=880076 CPUtime=2.95 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 19971 0 0 0 280 15 0 0 21 0 8 0 543846773 901197824 111426 33554432000 4194304 4627427 140737447990640 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.5
Current children cumulated vsize (KiB) 880076

[startup+6.30042 s]
/proc/loadavg: 7.01 4.75 2.06 9/194 7659
/proc/meminfo: memFree=24031156/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=947672 CPUtime=49.07 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 150541 0 0 0 4783 124 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 236918 115953 368 106 0 231889 0
[pid=7651/tid=7652] ppid=7649 vsize=947672 CPUtime=6.14 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18373 0 0 0 598 16 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4240263 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=947672 CPUtime=6.14 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 19034 0 0 0 598 16 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309038 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=947672 CPUtime=6.12 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18323 0 0 0 598 14 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=947672 CPUtime=6.13 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18270 0 0 0 600 13 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=947672 CPUtime=6.09 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18715 0 0 0 593 16 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4238944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=947672 CPUtime=6.11 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 18183 0 0 0 596 15 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=947672 CPUtime=6.14 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 20520 0 0 0 599 15 0 0 25 0 8 0 543846773 970416128 115953 33554432000 4194304 4627427 140737447990640 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/loadavg: 7.29 4.96 2.19 9/194 7660
/proc/meminfo: memFree=23779904/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1217136 CPUtime=202.52 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 301150 0 0 0 20093 159 0 0 18 0 8 0 543846773 1246347264 180578 33554432000 4194304 4627427 140737447990640 18446744073709551615 208079893537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 304284 180579 391 106 0 299255 0
[pid=7651/tid=7652] ppid=7649 vsize=1217136 CPUtime=25.33 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 37420 0 0 0 2512 21 0 0 25 0 8 0 543846773 1246347264 180579 33554432000 4194304 4627427 140737447990640 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1217136 CPUtime=25.33 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 31521 0 0 0 2514 19 0 0 18 0 8 0 543846773 1246347264 180579 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1217136 CPUtime=25.31 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 31700 0 0 0 2513 18 0 0 25 0 8 0 543846773 1246347264 180581 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1217136 CPUtime=25.32 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 31181 0 0 0 2516 16 0 0 25 0 8 0 543846773 1246347264 180581 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1217136 CPUtime=25.18 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 30862 0 0 0 2499 19 0 0 25 0 8 0 543846773 1246347264 180581 33554432000 4194304 4627427 140737447990640 18446744073709551615 4321648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1217136 CPUtime=25.3 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 39888 0 0 0 2511 19 0 0 25 0 8 0 543846773 1246347264 180582 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309448 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1217136 CPUtime=25.34 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 54990 0 0 0 2515 19 0 0 25 0 8 0 543846773 1246347264 180584 33554432000 4194304 4627427 140737447990640 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.52
Current children cumulated vsize (KiB) 1217136

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

[startup+26.6005 s]
/proc/loadavg: 7.29 4.96 2.19 9/194 7660
/proc/meminfo: memFree=23732040/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1288596 CPUtime=211.3 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 313933 0 0 0 20965 165 0 0 20 0 8 0 543846773 1319522304 193361 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 322149 193364 391 106 0 317120 0
[pid=7651/tid=7652] ppid=7649 vsize=1288596 CPUtime=26.43 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 44108 0 0 0 2619 24 0 0 18 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1288596 CPUtime=26.43 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 34454 0 0 0 2623 20 0 0 20 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1288596 CPUtime=26.41 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 33628 0 0 0 2622 19 0 0 25 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4268021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1288596 CPUtime=26.42 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 31319 0 0 0 2626 16 0 0 25 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1288596 CPUtime=26.28 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 31086 0 0 0 2609 19 0 0 25 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1288596 CPUtime=26.4 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 40107 0 0 0 2621 19 0 0 18 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1288596 CPUtime=26.44 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 55079 0 0 0 2625 19 0 0 25 0 8 0 543846773 1319522304 193364 33554432000 4194304 4627427 140737447990640 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 211.3
Current children cumulated vsize (KiB) 1288596

[startup+39.4011 s]
/proc/loadavg: 7.40 5.06 2.25 9/194 7660
/proc/meminfo: memFree=23236720/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1743140 CPUtime=313.48 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 457197 0 0 0 31134 214 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308425 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 435785 322735 391 106 0 430756 0
[pid=7651/tid=7652] ppid=7649 vsize=1743140 CPUtime=39.23 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 61275 0 0 0 3895 28 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1743140 CPUtime=39.18 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 52162 0 0 0 3892 26 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1743140 CPUtime=39.2 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 53853 0 0 0 3892 28 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1743140 CPUtime=39.22 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 51896 0 0 0 3897 25 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1743140 CPUtime=39.01 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 49023 0 0 0 3875 26 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1743140 CPUtime=39.2 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 54936 0 0 0 3895 25 0 0 18 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4515575 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1743140 CPUtime=39.24 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 71403 0 0 0 3899 25 0 0 25 0 8 0 543846773 1784975360 322735 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 313.48
Current children cumulated vsize (KiB) 1743140

[startup+42.6005 s]
/proc/loadavg: 7.45 5.11 2.28 9/194 7660
/proc/meminfo: memFree=23165964/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1903004 CPUtime=339.05 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 469788 0 0 0 33688 217 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 475751 332501 391 106 0 470722 0
[pid=7651/tid=7652] ppid=7649 vsize=1903004 CPUtime=42.42 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 63009 0 0 0 4214 28 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1903004 CPUtime=42.38 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 56628 0 0 0 4211 27 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4515669 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1903004 CPUtime=42.39 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 55261 0 0 0 4211 28 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1903004 CPUtime=42.42 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 51948 0 0 0 4217 25 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1903004 CPUtime=42.19 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 50550 0 0 0 4193 26 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4407099 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1903004 CPUtime=42.39 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 55594 0 0 0 4214 25 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1903004 CPUtime=42.43 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 71904 0 0 0 4218 25 0 0 25 0 8 0 543846773 1948676096 332501 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 1903004

[startup+45.8009 s]
/proc/loadavg: 7.49 5.16 2.31 9/194 7661
/proc/meminfo: memFree=23135036/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1913928 CPUtime=364.63 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4202496 477875 0 0 0 36245 218 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 478482 338902 391 106 0 473453 0
[pid=7651/tid=7652] ppid=7649 vsize=1913928 CPUtime=45.63 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 63631 0 0 0 4534 29 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1913928 CPUtime=45.58 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 57700 0 0 0 4531 27 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1913928 CPUtime=45.6 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 56408 0 0 0 4531 29 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1913928 CPUtime=45.62 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 51991 0 0 0 4537 25 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1913928 CPUtime=45.37 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 50952 0 0 0 4511 26 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1913928 CPUtime=45.6 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 55621 0 0 0 4535 25 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1913928 CPUtime=45.63 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 76557 0 0 0 4537 26 0 0 25 0 8 0 543846773 1959862272 338902 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 364.63
Current children cumulated vsize (KiB) 1913928

[startup+46.6007 s]
/proc/loadavg: 7.49 5.16 2.31 9/194 7661
/proc/meminfo: memFree=23131436/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1913928 CPUtime=369.92 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) S 7649 7651 7584 0 -1 4202496 478840 0 0 0 36773 219 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 478482 339867 391 106 0 473453 0
[pid=7651/tid=7652] ppid=7649 vsize=1913928 CPUtime=46.24 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 63712 0 0 0 4595 29 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1913928 CPUtime=46.38 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 57768 0 0 0 4611 27 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883897899 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1913928 CPUtime=46.4 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 56446 0 0 0 4611 29 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1913928 CPUtime=46.23 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 52531 0 0 0 4598 25 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1913928 CPUtime=45.98 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 50960 0 0 0 4572 26 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1913928 CPUtime=46.22 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 55662 0 0 0 4596 26 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1913928 CPUtime=46.25 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 76681 0 0 0 4599 26 0 0 25 0 8 0 543846773 1959862272 339867 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 369.92
Current children cumulated vsize (KiB) 1913928

[startup+47.0006 s]
/proc/loadavg: 7.49 5.16 2.31 9/194 7661
/proc/meminfo: memFree=23131436/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=1913928 CPUtime=370.71 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) S 7649 7651 7584 0 -1 4202496 478854 0 0 0 36852 219 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 478482 339881 391 106 0 473453 0
[pid=7651/tid=7652] ppid=7649 vsize=1913928 CPUtime=46.24 cores=0-7
/proc/7651/task/7652/stat : 7652 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 63712 0 0 0 4595 29 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 2 0 0 0
[pid=7651/tid=7653] ppid=7649 vsize=1913928 CPUtime=46.78 cores=0-7
/proc/7651/task/7653/stat : 7653 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 57768 0 0 0 4651 27 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883898052 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7651/tid=7654] ppid=7649 vsize=1913928 CPUtime=46.8 cores=0-7
/proc/7651/task/7654/stat : 7654 (strangenight2-m) R 7649 7651 7584 0 -1 4202560 56460 0 0 0 4651 29 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 4237878 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7651/tid=7655] ppid=7649 vsize=1913928 CPUtime=46.23 cores=0-7
/proc/7651/task/7655/stat : 7655 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 52531 0 0 0 4598 25 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 0 0 0 0
[pid=7651/tid=7656] ppid=7649 vsize=1913928 CPUtime=45.98 cores=0-7
/proc/7651/task/7656/stat : 7656 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 50960 0 0 0 4572 26 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 7 0 0 0
[pid=7651/tid=7657] ppid=7649 vsize=1913928 CPUtime=46.22 cores=0-7
/proc/7651/task/7657/stat : 7657 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 55662 0 0 0 4596 26 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 5 0 0 0
[pid=7651/tid=7658] ppid=7649 vsize=1913928 CPUtime=46.25 cores=0-7
/proc/7651/task/7658/stat : 7658 (strangenight2-m) S 7649 7651 7584 0 -1 4202560 76681 0 0 0 4599 26 0 0 25 0 8 0 543846773 1959862272 339881 33554432000 4194304 4627427 140737447990640 18446744073709551615 47856883922484 0 0 4096 2 18446604470136477568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 370.71
Current children cumulated vsize (KiB) 1913928

[startup+47.4006 s]
/proc/loadavg: 7.49 5.16 2.31 3/194 7661
/proc/meminfo: memFree=23124616/32950928 swapFree=67111356/67111528
[pid=7651] ppid=7649 vsize=0 CPUtime=371.51 cores=0-7
/proc/7651/stat : 7651 (strangenight2-m) R 7649 7651 7584 0 -1 4203524 481098 0 0 0 36931 220 0 0 18 0 1 0 543846773 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7651/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 371.51
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 47.4675
CPU time (s): 371.584
CPU user time (s): 369.317
CPU system time (s): 2.26666
CPU usage (%): 782.818
Max. virtual memory (cumulated for all children) (KiB): 1913928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.317
system time used= 2.26666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481098
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= 104550
involuntary context switches= 1666

runsolver used 0.084987 second user time and 0.185971 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-02 09:47:51
IDJOB=3321052
IDBENCH=70952
IDSOLVER=1709
FILE ID=node127/3321052-1304322471
RUNJOBID= node127-1304322187-7598
PBS_JOBID= 13176799
Free space on /tmp= 73372 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321052-1304322471/watcher-3321052-1304322471 -o /tmp/evaluation-result-3321052-1304322471/solver-3321052-1304322471 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321052-1304322471.cnf

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

MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED=899841227

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24487984 kB
Buffers:       1336404 kB
Cached:        3537616 kB
SwapCached:          8 kB
Active:        3544376 kB
Inactive:      4441184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24487984 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12656 kB
Writeback:           0 kB
AnonPages:     3111248 kB
Mapped:          18268 kB
Slab:           405108 kB
PageTables:      11724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3643268 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= 73364 MiB
End job on node127 at 2011-05-02 09:48:39